Literatura científica selecionada sobre o tema "Isolation matérielle"

Résumé En vue de retracer les phases d'isolation postglaciaire d'un lac côtier situé près de Kuujjuaraapik-Whapmagoostui (baie d'Hudson), le contenu diatomifère d'une carotte de sédiments a été analysé. La séquence sédimentaire recueillie dans le lac Kachishayoot démontre trois unités de changements paléoenvironnementaux provoqués par le relèvement isostatique postglaciaire. Ces unités se distinguent entre elles par une sédimentologie et des assemblages fossiles de diatomées contrastants. Le passage de l'argile marine à la gyttja et l'évolution des assemblages diatomifères successivement dominés par des espèces poly-mésohalobes, oligohalobes, puis halophobes, démontrent bien les effets de la salinité décroissante sur le milieu aquatique. De plus, les valeurs décroissantes d'alcalinité calculées par l'intermédiaire d'une fonction de transfert (basée sur les assemblages de diatomées) reflètent le passage d'un environnement riche à un environnement pauvre en nutriments lors de l'isolation du bassin lacustre des eaux de la Mer postglaciaire de Tyrrell. Le recyclage graduel de ses eaux a ainsi éliminé les nutriments et les ions majeurs (carbone inorganique dissous, Ca, Mg) issus du délavement du till et des argiles marines. La datation, par spectrométrie de masse à l'aide d'un accélérateur de particules (SMA) de matériel provenant de la carotte a permis d'évaluer le taux de sédimentation et d'estimer la durée des trois différentes étapes de la succession lacustre dans le bassin du lac Kachishayoot (conditions marines de 5400-4500 ans cal. BP, phase d'isolation entre 4500-1600 ans cal. BP et la phase lacustre depuis 1600 ans cal. BP). Cette étude biostratigraphique fournit aussi des indices quant à l'évolution du paysage dans le sud de l'Hudsonie par suite du retrait de la Mer postglaciaire de Tyrrell, il y a environ 5000 ans.

English. Molecular genetic analysis of Arar tree [Tetraclinis articulata (Vahl) Masters] is often limited by the availability of fresh tissue and an efficient and reliable protocol for high quality genomic DNA extraction. In this study, two DNA extraction protocols were specifically developed for extracting high quality genomic DNA from Arar tree leaves: modified QIAgen DNA Kit and protocol developed by Ouenzar et al. (1998). DNA yield and purity were monitored by gel electrophoresis and by determining absorbance at UV (A260/A280 and A260/A230). Both ratios were between 1.7 and 2.0, indicating that the presence of contaminating metabolites was minimal. The DNA yield obtained ranged between 20 to 40 µg/g of plant materiel. The Ouenzar and collaborators protocol gave higher yield but was more time consuming compared to QIAgen Kit. However, both techniques gave DNA of good quality that is amenable to RAPD-PCR reactions.Additionally, restriction digestion and PCR analyses of the obtained DNA showed its compatibility with downstream applications. Randomly Amplified Polymorphic DNA profiling from the isolated DNA was optimized to produce scorable and clear amplicons. The presented protocols allow easy and high quality DNA isolation for genetic diversity studies within Arar tree.Français. Les analyses en génétique moléculaire chez le thuya de Berberie [Tetraclinis articulata (Vahl) Masters] sont souvent limitées par la disponibilité du matériel végétal frais et le temps nécessaire pour l’extraction l’ADN ainsi que par sa qualité. Dans cette étude, deux protocoles d’extraction, à partir des feuilles du thuya, de l’ADN génomique de haute qualité, ont été développés : le Kit Qiagen et le protocole mis au point par Ouenzar et al. (1998) modifiés. La qualité et la quantité de l’ADN sont évaluées par électrophorèse sur gel d’agarose et par la mesure de l’absorbance en UV à (A260/A280) et (A260/A230). Ces deux rapports varient entre 1,7 et 2,0 indiquant la faible fréquence des métabolites contaminants. Le rendement d’ADN varie entre 20 et 40 µg/g du matériel végétal. Le protocole de Ouenzar et collaborateurs donne le meilleur rendement d’ADN mais nécessite plus de temps. Néanmoins, les deux protocoles donnent un ADN de bonne qualité utilisable dans les réactions RAPD-PCR. En outre, la restriction enzymatique et l’analyse PCR de l’ADN obtenu ont montré sa compatibilité avec les applications moléculaires ultérieures. Les paramètres intervenant dans les réactions RAPD ont été optimisés. Les protocoles présentés permettent l’extraction facile de l’ADN de haute qualité nécessaire pour des études de la diversité génétique au sein du thuya.

This article examines the tendencies to define the scope of application of jus ad bellum negatively in relation to the scope of application of jus in bello and demonstrates their neutralizing effect on the prohibition on the use of force under Article 2(4) of the Charter of the United Nations. It argues that individual acts of use of force during an international armed conflict regulated by jus in bello, whether in combat, in restricting the freedom of enemy nationals or in maintaining an occupation, are equally regulated by jus ad bellum. It clarifies the concept of ‘separation’ between jus ad bellum and jus in bello as the insulation between the results of their respective application, not the differentiation between their respective temporal, material and normative scopes of application. It also addresses the practical concerns raised by this conception of ‘separation’ between jus ad bellum and jus in bello. Cet article examine les tendances à définir négativement le champ d’application du jus ad bellum par rapport au champ d’application du jus in bello et démontre l’effet neutral­isateur qu’elles ont sur l’emploi de la force tel que défini à l’article 2(4) de la Charte des Nations Unies. L’auteur affirme que les actes individuels de recours à la force lors d’un conflit armé international réglementé par le jus in bello, que ce soit lors d’un combat, en limitant la liberté des ressortissants ennemis ou en maintenant une occupation, sont réglementés de façon identique par le jus ad bellum. Il clarifie le concept de ‘séparation’ entre le jus ad bellum et le jus in bello comme étant l’isolation entre les résultats de leur application respective, et non comme la différenciation entre leurs champs d’application temporel, matériel et normatif. Il aborde également les préoccupations pratiques engen­drées par cette conception de la « séparation » entre jus ad bellum et jus in bello. In dit artikel worden de tendensen onderzocht om het toepassingsgebied van het jus ad bellum negatief te definiëren ten opzichte van het toepassingsgebied van het jus in bello en wordt het neutraliserende effect ervan op het verbod op het gebruik van geweld volgens artikel 2(4) van het Handvest van de Verenigde Naties aangetoond. De auteur betoogt dat het individuele gebruik van geweld tijdens een internationaal gewapend conflict dat door het jus in bello wordt geregeld, hetzij in gevechtssituaties, hetzij bij de vrijheidsbeperking van vijandige staatsburgers, hetzij bij de handhaving van een bezetting, evenzeer door het jus ad bellum wordt geregeld. Het artikel verduidelijkt het begrip ‘scheiding’ tussen het jus ad bellum en het jus in bello als de isolatie van de resultaten van hun respectieve toepassing en niet het onderscheid tussen hun respectieve temporele, materiële en normatieve toepassingsgebieden. In het artikel wordt ook ingegaan op de praktische bezwaren die deze opvatting van 'scheiding' tussen jus ad bellum en jus in bello met zich meebrengt. El artículo examina las tendencias conducentes a definir el ámbito de aplicación del jus ad bellum por defecto frente al ámbito de aplicación del jus in bello y demuestra su efecto inocuo partiendo de la prohibición del uso de la fuerza prevista en el Artículo 2(4) de la Carta de las Naciones Unidas. Se mantiene que los actos individuales de uso de la fuerza durante un conflicto armado internacional regulados por el jus in bello y ya sea en combate o restringiendo la libertad de ciudadanos enemigos o durante la ocupación, se encuentran igualmente regulados por el jus ad bellum. Se aclara el concepto de “separación” entre el jus ad bellum y el jus in bello partiendo de la base de los resultados de su aplicación respectiva y no a través de sus correspondientes ámbitos de aplicación temporal, material y normativa. También se abordan los problemas prácticos suscitados por el concepto de “separación” entre el jus ad bellum y el jus in bello. Questo articolo esamina le tendenze a definire negativamente il campo di applicazione dello jus ad bellum in relazione al campo di applicazione dello jus in bello e dimostra il loro effetto neutralizzante sulla proibizione all’uso della forza ai sensi dall’Articolo 2(4) della Carta della Nazioni Unite. L’articolo sostiene che i singoli atti dell’uso della forza durante un conflitto armato internazionale disciplinato dallo jus in bello, che siano in combattimento, nella limitazione della libertà dei cittadini nemici o nel mantenere un’occupazione, siano ugualmente disciplinati dallo jus ad bellum. Chiarisce il concetto di "separazione" tra jus ad bellum e jus in bello isolandone gli effetti della loro rispettiva applicazione, non come differenziazione tra i rispettivi ambiti di applicazione temporale, materiale e normativa. Risponde anche alle preoccupazioni pratiche sollevate da questa concezione di 'separazione' tra jus ad bellum e jus in bello. Dieser Artikel prüft die Tendenzen, den Anwendungsbereich des jus ad bellum im negativen Sinne gegenüber dem Anwendungsbereich des jus in bello zu bestimmen, und weist ihre neutralisierende Wirkung auf das Verbot der Gewaltanwendung gemäß Artikel 2(4) der Charta der Vereinten Nationen nach. Der Autor behauptet, dass individuelle Taten der Gewaltanwendung während eines internationalen bewaffneten Konflikts, die dem jus in bello unterliegen – sei es im Kampf, bei der Freiheitsbeschränkung feindlicher Staatsangehöriger oder bei der Aufrechterhaltung einer Besatzung – ebenso gut dem jus ad bellum unterliegen. Er erklärt das Konzept der ‘Trennung’ zwischen dem jus ad bellum und dem jus in bello als die Isolierung der Ergebnisse ihrer jeweiligen Anwendung, und nicht als Differenzierung zwischen ihren jeweiligen zeitlichen, materiellen und normativen Anwendungsbereichen. Er befasst sich auch mit den praktischen Fragen, die diese Auffassung der ‘Trennung’ zwischen dem jus ad bellum und dem jus in bello aufwirft.

O presente artigo objetiva analisar a relação entre vulnerabilidade social e as tendências à segmentação e segregação residencial em nossas grandes cidades. Tem-se como pressuposto que, em todas as sociedades capitalistas, existiram diferentes sistemas de gestão dos riscos à reprodução material e à coesão social. Nas metrópoles brasileiras, a vulnerabilidade social decorre da crise de um regime de bem-estar social dual, fundado a partir da combinação das livres forças de mercado e da mobilização das estruturas familiar-comunitárias, particularidades do nosso desenvolvimento capitalista. Escolhemos como indicador de vulnerabilidade social os segmentos da população de 4 a 24 anos, que correspondem a vários ciclos de socialização e de aquisição dos recursos necessários à reprodução e à integração sociais, cuja situação de vulnerabilidade se diferencia de acordo com a importância da família, da escola e (ou) do mercado na reprodução social desse grupo. Os resultados indicam que, independentemente da localização da moradia, se no centro ou na periferia das metrópoles, se nas regiões mais favorecidas ou não, o contexto social do “bairro” onde há pouco capital social na forma de relações estáveis com o mercado de trabalho aumenta os riscos de que essa população esteja em situação de vulnerabilidade. Portanto, é possível pensar num padrão de sociabilidade marcado por um isolamento social com baixo grau de exposição aos ativos que permitem superar essa situação que, ao mesmo tempo, é marcada pela instabilidade da vida social.PALAVRAS-CHAVE: metrópoles, questão social, vulnerabilidade social, segregação residencial. INEQUALITIES OF OPPORTUNITIES AND RESIDENTIAL SEGREGATION: the metropolization of the social issue in Brazil Luiz Cesar de Queiroz Ribeiro The present article aims to analyze the relationship between social vulnerability and tendencies in the residential segregation and segmentation in our large cities. It is considered that, in all capitalist societies, there were different systems of risk management for material production and social cohesion. In Brazilian cities, the social vulnerability stems from the crisis of a dual system of social welfare, funded from a combination of free market forces and the mobilization of family-community structures, peculiarities of our capitalist development. We chose as an indicator of social vulnerability the segments of the population aged from 4 to 24 years, corresponding to different cycles of socialization and acquisition of resources necessary to social integration and reproduction, whose vulnerability is differentiated according to the importance of family, school and (or) market in the social reproduction of that group. Results indicate that, irrespective of place of residence, if in the center or the periphery of cities, if in the most privileged regions or not, the social context of “neighborhood” where there is little social capital in the form of stable relations with the labor market increases the risks that this population be in a situation of vulnerability. Therefore, it is possible to think of a pattern of sociability marked by social isolation with low exposure to assets that allow people to overcome this situation that, at the same time, is marked by the instability of social life. KEYWORDS: large cities, social issue, social vulnerability, residential segregation. INÉGALITÉS D’OPPORTUNITÉS ET SÉGRÉGATION RÉSIDENTIELLE: la métropolisation de la question sociale au Brésil Luiz Cesar de Queiroz Ribeiro L’objectif de cet article est d’analyser le lien qui existe entre la vulnérabilité sociale et les tendances à la segmentation et à la ségrégation résidentielle dans nos grandes villes. On part du présupposé qu’il y a toujours eu différents systèmes de gestion des risques pour la reproduction matérielle et la cohésion sociale dans toutes les sociétés capitalistes. Dans les métropoles brésiliennes, la vulnérabilité sociale découle de la crise d’un régime de bien-être social duel, basé sur la combinaison des forces livres du marché et de la mobilisation des structures familialescommunautaires, particularités de notre développement capitaliste. Nous avons choisi comme indicateur de vulnérabilité sociale, les segments de population de 4 à 24 ans qui correspondent à divers cycles de socialisation et d’acquisition des ressources nécessaires à la reproduction et à l’intégration sociales, dont la condition de vulnérabilité change en fonction de l’importance de la famille, de l’école et (ou) du marché dans la reproduction sociale de ce groupe. Les résultats indiquent que, indépendamment de leur localisation, c’est-à-dire que les résidences soient au centre ou dans les banlieues des grandes villes, qu’elles se situent dans des régions plus riches ou non, le contexte social du “quartier” où il y a peu de capital social en termes de relations stables avec le marché du travail, les risques sont plus grands de voir la population en situation de vulnérabilité. Il est donc possible de concevoir un modèle de sociabilité marqué par un isolement social ayant un faible degré d’exposition aux actifs qui permettraient de surmonter cette situation touchée, en même temps, par l’instabilité de la vie sociale. MOTS-CLÉS: métropoles, questions sociales, vulnérabilité sociale, ségrégation résidentielle. Publicação Online do Caderno CRH: http://www.cadernocrh.ufba.br

Les machines virtuelles langage (VM) sont l’environnement d’exécution des langages de haut niveau les plus répandus. Elles permettent une portabilité du code applicatif et la gestion automatique de la mémoire. Leur large diffusion couplée à l’exécution de tâches de bas niveau les rendent intéressantes pour les attaquants. Les solutions purement logicielles entraînent souvent une perte de performance incompatible avec la compilation just-in-time (JIT). Des solutions accélérées matériellement sont ajoutées dans des processeurs commerciaux pour concilier des garanties de sécurité fortes avec la performance. Pour comparer ces solutions, cette thèse s’intéresse au jeu d’instructions RISC-V et à ses capacités d’extension. Nous présentons Gigue, un générateur de binaires similaires au code JIT directement exécutables sur les softcores RISC-V. Il fournit une interface pour des instructions personnalisées et garantit leur exécution. Nous présentons une solution d’isolation de domaine au niveau des instructions ajoutée aux binaires de Gigue et déployée dans un processeur avec des modifications minimales. La solution ajoute un surcoût de performance négligeable tout en garantissant des propriétés fortes sur les domaines. Afin de motiver le déploiement dans des cas d’utilisation réels, nous étendons le compilateur JIT Pharo au jeu d’instructions RISC-V, ainsi que son infrastructure de test
Language Virtual Machines (VMs) are the run-time environment of popular high level managed languages. They offer portability and memory handling for the developer and are deployed on most computing devices. Their widespread distribution, handling of untrusted user inputs, and low-level task execution make them interesting to attackers. Software-only solutions that isolate their different components often incur a high performance overhead incompatible with just-in-time (JIT) compilation. Hardware-accelerated run time protections are pushed in vendor processors as a solution to conciliate strong security guarantees with performance. To allow experimentation in the design and comparison of such solutions, this thesis is interested in the RISC-V instruction set and its extension capabilities. We present Gigue, a workload generator that outputs binaries similar to JIT code directly executable on RISC-V softcores. It provides an interface for custom instructions and guarantees their execution. We present an instruction-level domain isolation solution added to Gigue binaries and implemented in an application-class processor with processor modifications. The solution adds negligible performance overhead while enforcing strong properties on domains. As an effort to motivate deployment in real use cases, we extend the Pharo JIT compiler to the RISC-V instruction set along with its testing infrastructure

Dans cette etude, nous adoptons une approche geometrique pour la detection et l'isolation de pannes (dip) de certaines classes de systemes non-lineaires. Un logiciel de test d'observabilite d'une classe de systemes a egalement ete developpe. La detection et l'isolation de pannes est une tache importante et difficile. Pour resoudre le probleme de la detection et l'isolation de pannes (pdip), nous avons propose une methodologie permettant de construire une serie de generateurs residuels basee sur la theorie des observateurs non-lineaires. Chaque generateur est consacre a la detection d'un defaut specifique du systeme. Il s'agit de construire pour chaque panne un residu qui ne soit sensible qu'a cette panne. Des resultats de simulation sont presentes et ils correspondent a une colonne a distiller, a un echangeur thermique et a un reacteur chimique. Le logiciel developpe permet de tester si un systeme non-lineaire affine en la commande, est observable pour toute entree. Il met en oeuvre le calcul formel et il est ecrit en maple

Nous développons dans ce travail un logiciel détaillé de simulation thermique des bâtiments essentiellement axé vers des applications de recherche. Après une étude critique sur les méthodes de calcul des densités de flux conductif à travers les parois basées sur la notion de fonction de transfert, nous présentons le cheminement algorithmique conduisant à la modélisation thermique des enveloppes de bâtiment. Nous insistons plus particulièrement sur le fait que le logiciel admet une description multi zone de l'habitat. Les transferts aérauliques constituent un des couplages thermiques importants entre les différentes zones d'un même bâtiment ainsi qu'entre un bâtiment et son environnement. Nous développons également un modèle aéraulique qui permet de modéliser ces transferts d'air. Les modèles thermique et aéraulique sont validés par rapport à des résultats expérimentaux quand il s sont disponibles ou bien par rapport à d'autres codes de calcul. Enfin, la dernière partie est consacrée à une étude de sensibilité de paramètres qui nous permet de quantifier l'importance d'une modélisation correcte des couplages thermiques entre surfaces intérieures et l'influence d'une description plus ou moins complexe de l'habitat
Ln the present work, we develop a detailed software of thermal simulation of buildings essentially turned towards research applications. After a critical study of conduct ion transfer function met hods used to calculate heat flux trough walls , we explain the algorithmic mechanism driving to the building thermal model. We especialy insist on the fact that the software admits a multi zone description of dwellings. Aeraulic transfers are among the major thermal connect ions between the different zones of a building as well as between the buildings ans its surroundings. We also develop an "air f low" model. Both thermal and ventilation models are checked by experimental results when available or by others calculation codes. Finally the last part is devoted to a study of parameters sensibi1ity allowing to evaluate importance of a correct model of thermal relations between inner surfaces and also of the more or less complex description of dwellings

Depuis le développement des composants d'électronique de puissance qui ont permis la fabrication d'onduleurs fiables et efficaces, les entraînements à vitesse variable utilisant des moteurs asynchrones sont devenus de plus en plus populaires. La technique MLI s'est avérée être une méthode très efficace de contrôle de la vitesse de rotation. Cependant, les impulsions de tension, avec des pentes très raides (de l'ordre de quelques kV/µs), ont apporté de nouveaux risques pour le système d'isolation électrique des moteurs. La richesse harmonique de la tension MLI entraînera une surtension significative due à une différence d'impédance entre le câble et le moteur. En effet, la tension observée par certaines parties du système d'isolation peut dépasser la tension d'apparition des décharges partielles (ang. PDIV); ce qui amorcera une activité de décharges partielles localisée. Le système d'isolation des machines basse tension (appelé type I) est basé presque entièrement sur des matériaux polymères qui ne sont pas conçus pour supporter des décharges partielles tout au long de leur vie. En raison de l'utilisation de variateurs de fréquence, l'isolation primaire du fil émaillée est en danger par rapport aux machines alimentées par réseau. En conséquence, c'est souvent le point le plus faible du système d'isolation qui conduira à la panne prématurée d'une machine. Le but de cette thèse est d'étudier et d'analyser le processus de vieillissement du fil émaillé exposé aux différents facteurs et de proposer une méthode permettant de prédire les durées de vie dans des conditions fixées. Cette étude introduit une prédiction basée sur la méthode des plans d'expériences et la distribution statistique de Weibull. Grâce au modèle obtenu avec des tests de vieillissement courts multicontraintes (température, tension, fréquence) il est possible de prédire les résultats de tests significativement plus longs. De plus, la méthodologie proposée permet de prédire la dispersion des essais longs en se basant sur la dispersion des résultats à court terme. Les prédictions sont comparées avec les données expérimentales afin de prouver la précision du modèle
Since the development of power electronic components, which allowed the manufacturing of reliable and efficient inverters, variable speed drives using inductive motors have become more and more popular. The PWM technique has proven to be a very effective method of rotational speed control. However, the fast changing voltage pulses, with very steep slopes (in the order of a few kV/µs), has brought new hazards for the electrical insulation system of such motors. Very high frequency harmonic components of PWM voltage will result in significant overvoltage due to an impedance mismatch between the cable and the motor. As an effect, the voltage seen by some parts of the insulation system may exceed the Partial Discharge Inception Voltage (PDIV) stating localized partial discharges activity. The insulation system in low-voltage machines (called type I) is based almost entirely on polymer materials, which are not able to support partial discharge activity throughout their lives. Due to the use of frequency inverters especially the primary insulation of the magnet wire is endangered in comparison with system-powered machines. As a result this is often the weakest link of the insulation system leading to a premature breakdown of the machine. The aim of this thesis is to investigate and analyze the aging process of the enameled wire exposed to different factors and to propose a method allowing to predict their lifespans in given conditions. This study introduces a prediction based on the Design of Experiments method and the statistical Weibull distribution. Thanks to the model obtained with short multi-stress (temperature, voltage, frequency) aging tests, it is possible to predict the results of significantly longer ones. Moreover, the adapted methodology is proposed that allows to predict the scatter of the long tests basing on the short-time results dispersion. The predictions are compared with the experimental data in order to prove the model accuracy

La thèse étudie la sécurité de la technologie ARM TrustZone dans le cadre des SoCs complexes hétérogènes. La thèse présente des attaques matérielles qui touchent des éléments de l’architecture des SoCs et elle présente aussi des stratégies de contremesure
The thesis studies the security of the ARM TrustZone technology in the context of complex heterogeneous SoCs. The thesis presents hardware attacks that affect elements of the SoCs architecture and it also presents countermeasure strategies