Le constat des inégalités sociales de santé est aujourd'hui solidement établi dans la majorité des pays industrialisés. Parmi les facteurs susceptibles d'expliquer une partie de ces inégalités ont été avancées les expositions environnementales, notamment celles à la pollution atmosphérique. En effet, les populations socio-économiquement défavorisées peuvent être à la fois plus exposées à la pollution atmosphérique et plus sensibles aux effets sanitaires en résultant. L'objectif de cette thèse était d'explorer la contribution de la pollution atmosphérique aux inégalités sociales de santé, en avançant dans la compréhension des mécanismes en jeu. Dans ce contexte, nous avons choisi de nous intéresser à l'association à court terme entre la pollution atmosphérique et la survenue de l'infarctus du myocarde et d'investiguer cette relation par une approche écologique.<br />Cette étude a été conduite dans la Communauté Urbaine de Strasbourg (CUS, Bas-Rhin) à l'échelle du quartier de résidence (IRIS). Les infarctus du myocarde survenus parmi la population âgée de 35 à 74 ans entre le 1er janvier 2000 et le 31 décembre 2003 (n = 1193) ont été recueillis auprès du registre bas-rhinois des cardiopathies ischémiques. Les concentrations horaires de pollution atmosphérique (NO2, PM10, O3 et CO) ont été modélisées par IRIS à l'aide du modèle ADMS Urban. Le niveau socio-économique des IRIS a été estimé à l'aide d'un indice de défaveur construit par analyse en composantes principales à partir des données du recensement.<br />Nous avons tout d'abord cherché à évaluer le degré d'injustice environnementale qui prévalait sur notre zone d'étude afin de vérifier l'hypothèse d'un différentiel d'exposition à la pollution atmosphérique selon le niveau socio-économique des IRIS. Notre analyse de régression spatiale a démontré l'existence d'inégalités socio-économiques dans l'exposition à la pollution atmosphérique ; les quartiers de défaveur moyenne, localisés aux abords des principales infrastructures routières entourant le centre urbain, étaient les plus exposés à la pollution liée au trafic.<br />Nous nous sommes ensuite intéressés à examiner l'association entre le niveau socio-économique des IRIS et la survenue de l'infarctus du myocarde afin de vérifier l'hypothèse d'inégalités sociales de santé sur notre zone d'étude. Notre analyse bayésienne a montré l'existence de forts gradients socio-économiques du risque d'infarctus du myocarde chez les hommes et les femmes et mis en exergue une vulnérabilité particulière des femmes vivant dans les quartiers les plus défavorisés.<br />Nous avons finalement exploré la contribution de la pollution atmosphérique aux inégalités sociales de santé en examinant si le niveau socio-économique des IRIS modifiait les effets de la pollution atmosphérique sur le risque d'infarctus du myocarde. Notre analyse cas-croisés a révélé un effet plus élevé de la pollution particulaire chez les individus vivant dans les quartiers défavorisés, en particulier les femmes âgées de 55 à 74 ans. Ces résultats, au vu de ceux précédemment rapportés, semblent s'expliquer davantage par un différentiel de sensibilité que par un différentiel d'exposition. La recherche des mécanismes responsables de cette sensibilité exacerbée nécessite d'être poursuivie dans de futurs travaux afin que des actions de santé publique efficaces puissent être mises en œuvre pour protéger ces populations vulnérables.

Les travaux présentés dans ce document sont orientés vers la vérification formelle de propriétés de sûreté dans le cadre de la conception des systèmes enfouis. Nous nous plaçons dans le formalisme du modèle polyédrique, combinaison des systèmes d'équations récurrentes affines avec les polyèdes entiers. Ce modèle permet de faire de la synthèse de haut niveau pour générer des architectures parallèles à partir de la description d'un système régulier dont les dimensions sont définies par des paramètres symboliques. Nous nous intéressons à la vérification de propriétés de sûreté portant sur des signaux booléens de contrôle, générés ou introduits manuellement lors de la synthèse. Les propriétés sur de tels signaux seront appelées propriétés de contrôle. Nous montrons dans ce document que le modèle polyédrique est adapté pour la vérification formelle de propriétés de contrôle.<br /> Dans ce travail, nous développons une "logique polyédrique" qui nous permet de spécifier et prouver des propriétés dans le modèle polyédrique. La syntaxe et la sémantique des formules logiques s'appuient sur celles d'un langage de description de systèmes d'équations récurrentes affines sur des domaines polyédriques. Les règles de déduction sont de différents types : des règles "classiques" sur les connecteurs logiques, des règles de réécriture et des règles induites par des calculs dans le modèle. Nous développons des algorithmes pour automatiser la construction des preuves, ainsi que des techniques heuristiques permettant d'accélérer cette construction. Ces algorithmes nous permettent de prouver des propriétés simples, comme par exemple la propriété qu'un signal vaut toujours vrai pour un ensemble de processeurs et une durée déterminés. Nous présentons ensuite et commençons à développer des pistes afin d'enrichir notre logique pour exprimer des propriétés plus complexes, comme par exemple des propriétés d'exclusion mutuelle. Nous présentons quelques tactiques de preuve pour ces propriétés plus riches.

L'objectif de ce travail de recherche est de (1) définir l'évolution du rivage et de la bathymétrie sur le long terme (siècle) sur différents types de plages de Méditerranée française (plages de poche de Provence, plages ouvertes du Golfe du Lion), (2) définir l'impact de l'élévation du niveau marin moyen, (3) déterminer l'impact des tempêtes. Ce travail se base sur un suivi topographique et bathymétrique important et sur une analyse par emboîtement d'échelles spatiales et temporelles qui s'inscrit dans une démarche de géomorphologie littorale quantitative. L'approche croisée de terrain et de modélisation (simulation des transports sédimentaires selon différents types de conditions d'agitation) permet d'adopter également une approche prospective nécessaire à la gestion de ce type de milieu. Les résultats indiquent que les plages de poche de Provence conservent un volume constant alors qu'elles ont perdu en moyenne ½ de leur surface en un siècle essentiellement du fait de la montée de la mer. Si la montée de la mer se poursuit, les plages de poche semblent menacées de disparition d'ici 2100. En Camargue, l'élévation du niveau marin joue un rôle minime dans les mouvements sédimentaires observés, car ils sont liés principalement liés à la houle. Enfin, l'analyse des tempêtes dans le Languedoc-Roussillon montre qu'elles peuvent être érosives ou constructives car leur impact morphologique dépend principalement du budget sédimentaire de l'avant côte plutôt que des caractéristiques hydrodynamiques des houles. A partir de ces constats, il s'agit de s'interroger sur la pertinence de concepts d'évolution de l'avant côte utilisés dans les études des dynamiques sédimentaires littorales.

La coulée continue est une étape importante dans la chaîne de fabrication de l'acier. Ce procédé agit comme un échangeur thermique qui permet de solidifier l'acier en fusion. De nombreuses études ont révélé qu'une partie importante des défauts de surface du produit solidifié est provoquée par les perturbations du niveau d'acier liquide en lingotière. Chaque ligne de production dispose d'un système de régulation de niveau dont l'objectif est de maintenir un niveau stable d'acier liquide. En présence de certaines perturbations ou lors des phases transitoires, les performances de ces systèmes de régulation se dégradent fortement. L'objectif principal de la thèse est de développer des solutions de contrôle robuste de niveau afin de rejeter les perturbations internes et externes à la boucle de régulation quelles que soient les conditions de coulée. Un outil d'estimation a été développé pour diagnostiquer et rejeter certaines perturbations. L'activité de recherche a porté également sur le recensement et l'évaluation des lois de commande utilisées actuellement dans les usines ou proposées par les fournisseurs dans le but d'établir un référentiel de performances que nous avons ensuite amélioré en mettant en oeuvre de nouvelles stratégies de régulation. Enfin, une commande adaptative multi-modèles combinant à la fois les fonctions de régulation robuste de niveau et d'identification des paramètres a été implantée. Une maquette hydraulique a été utilisée à plusieurs reprises pour reproduire le fonctionnement de la coulée continue sur site afin d'évaluer le gain en performance de la solution retenue. Les solutions proposées présentent un caractère générique et peuvent s'appliquer à d'autres procédés sidérurgiques avec seulement quelques ajustements.

L'analyse de la sécurité dynamique en temps réel est très difficile à réaliser en raison du nombre important de calculs à réaliser en quelques minutes seulement. Jusqu'à aujourd'hui, aucune méthode ne s'est révélée suffisamment efficace pour remplir cette tâche. Dans ce contexte, le filtrage des contingences représente un enjeu majeur puisqu'il permet d'économiser beaucoup de temps de calculs. Le but de nos travaux de recherche a été de mettre au point une stratégie de filtrage basée sur les méthodes d'analyse de la stabilité transitoire existantes. Dans un premier temps, les principales méthodes d'analyse de la stabilité transitoire ont été étudiées et testées à l'aide de quatre réseaux électriques de tailles différentes. Les méthodes qui sont apparues comme les plus efficaces ont ensuite été développées et modifiées, afin d'améliorer leur rapidité, leur fiabilité et leur précision. Deux nouvelles méthodes ont ainsi été crées. La première méthode permet de déterminer très rapidement et de manière très fiable la stabilité du réseau. La deuxième permet de calculer précisément le TEC avec un minimum de simulations. A partir de ces deux méthodes qui ont des caractéristiques complémentaires, une stratégie de filtrage multi-niveau, réalisant un bon compromis entre la rapidité, la fiabilité et la précision, a été proposée.

Concevoir un système embarqué implique de trouver un compromis algorithme/architecture en fonction des contraintes temps-réel. Thèse : pour concevoir un MPSoC et plus particulièrement avec les circuits reconfigurables modifiant le support d'exécution en cours de fonctionnement, la nécessaire validation des comportements fluctuants d'un système réactif impose une évaluation préalable que l'on peut réaliser par simulation (de haut niveau) tout en permettant l'exploration de l'espace de conception architectural, matériel mais aussi logiciel, au plus tôt dans le flot de conception. Le point de vue du gestionnaire de la plateforme est adopté pour explorer à haut niveau les réactions du système aux choix de partitionnement impactés par l'algorithmique des services du système d'exploitation et leurs implémentations possibles. Pour cela un modèle modulaire de services d'OS simule fonctionnellement et conjointement en SystemC le matériel, les tâches logicielles et le système d'exploitation, répartis sur plusieurs noeuds d'exécution hétérogènes communicants. Ce modèle a permis d'évaluer l'architecture temps-réel idéale d'une application dynamique de vision robotique conjointement à l'exploration des services de gestion d'une zone reconfigurable modélisée. Ce modèle d'OS a aussi été intégré dans un simulateur de MPSoC hétérogène d'une puissance estimé à un Tera opérations par seconde.

L'étude des systèmes en réseau supports d'applications collaboratives, distribuées et interconnectées par un réseau repose sur l'identification des exigences de fonctionnement de l'application appelées Qualité de Contrôle (QdC), et sur l'évaluation des performances du réseau pour obtenir son niveau de Qualité de Service (QdS). « Cette thématique comporte d'importants verrous de nature fondamentale relevant du domaine de l'automatique, de la robotique, des capteurs, de la théorie de l'information, des réseaux. Par souci de simplification, les travaux sur les systèmes en réseau se repartissent selon deux approches: la première compense les perturbations générées par les communications au niveau de l'application (« control over network »). La seconde adapte les performances du réseau en fonction des besoins applicatifs (« control of network »). L'objectif de nos travaux de thèse est donc de proposer un environnement de modélisation intégré permettant de représenter le comportement des SCRs. Nous avons choisi les Réseaux de Petri de haut niveau qui possède un fort pouvoir d'expression, de formalisation et dont la modularité permet d'ajouter et/ou de faire évoluer les modèles qui sont développés dans ce travail. Dans un premier temps, nous avons proposé un modèle Ethernet Commuté gérant des mécanismes d'ordonnancement. Le choix de ce réseau a été guidé par le fait qu'il est de plus en plus utilisé dans les SCRs. Ensuite, le modèle d'un SCR a été proposé, et modélisé par des Réseaux de Petri de haut de niveau, en intégrant au modèle Ethernet Commuté, l'environnement applicatif : Contrôleur, Process,.. Enfin, des stratégies pour commander le réseau de façon à adapter sa Qualité de Service en regard de la Qualité de Contrôle requise par l'application, ont été mises en oeuvre. Pour cela, des ordonnanceurs à priorité stricte et de type WRR sont utilisés. Les résultats de simulation montrent clairement que des dispositifs de compensation du réseau pour améliorer les performances du système de communication, permettent aussi d'améliorer les performances du système à commander.

La Mer intracontinentale endoréique de l'Aral, éloignée de toute influence océanique, constitue en Asie Centrale une excellente archive sédimentaire pour des études paléoclimatiques à haute résolution. Nous avons effectué une analyse palynologique, sédimentologique et géochimique sur des carottages sédimentaires effectués dans la Baie de Chernyshov, située au nord-ouest de l'actuelle Grande Mer d'Aral. La séquence sédimentaire la plus complète mesure 11 m et représente les 2000 dernières années de l'Holocène terminal.<br /><br />L'étude palynologique, conduite conjointement sur des assemblages de kystes de dinoflagellés et de grains de pollen, a mis en évidence de profonds changements environnementaux en Mer d'Aral, ainsi que dans le bassin Aralien. Les variations d'assemblages de kystes de dinoflagellés (diversité, distribution des espèces) ont permis d'établir la séquence des variations de salinité et du niveau du lac au cours des 2000 dernières années (Chapitre III). En raison de l'étroite dépendence de l'hydrologie de la Mer d'Aral aux apports fluviaux de l'Amu Darya et de la Syr Darya, les variations de niveau du lac sont étroitement liées à l'apport d'eaux résultant de la fonte des neiges en altitude au printemps. Or, l'amplitude de ces apports étant principalement contrôlée par les variations de température printanières dans les massifs du Tien Shan et du Pamir au cours de la fonte, les variations de salinité et de niveau de la Mer d'Aral traduisent essentiellement des fluctuations de température dans le bassin versant au cours des 2000 dernières années. Ainsi, les assemblages de kystes de dinoflagellés caractérisent des épisodes de bas niveau de la Mer d'Aral accompagnés d'une forte augmentation de la salinité au cours des périodes 0–425, 900–1230, 1500, 1600–1650 et 1800 après J.C., ainsi qu'après les années 1960. Inversement, un retour vers des conditions de faible salinité associées à une hausse du niveau du lac est documenté pour les périodes intermédiaires. Par ailleurs, la présence de kystes de dinoflagellés remaniés des dépôts Paléogène et Néogène alentours caractérise des évènements de désagrégation intense des berges lors d'une hausse significative des précipitations sur le bassin Aralien, notamment au cours de la période 1230–1450 après J.C. Nous proposons que les changements environnementaux enregistrés sont principalement liés à des changements climatiques mais qu'ils ont également pu être amplifiés par l'homme lors de conditions extrêmes, via une irrigation non-maîtrisée et/ou des conflits militaires (Chapitre VI). En outre, les variations de salinité montrent de fortes similitudes avec celles de l'activité solaire au cours du dernier millénaire, notamment pour les périodes 1000–1300, 1450–1550 et 1600–1700 après J.C. où les périodes de bas niveau du lac correspondent à une activité solaire accrue, suggérant qu'une augmentation du bilan radiatif ait renforcé les régressions de la Mer d'Aral dans le passé. <br /><br />Parallèlement, le contenu du sédiment en grains de pollen a été analysé afin de mettre en évidence des changements environnementaux, et notamment des variations d'humidité dans le bassin Aralien au cours des 2000 dernières années (Chapitre IV). Une reconstruction quantitative à haute résolution du taux de précipitation (moyenne annuelle) et des températures (moyenne annuelle, mois le plus froid versus le plus chaud) a été réalisée à l'aide de la méthode dite de “probabilité des sphères climatiques mutuelles”, permettant d'obtenir la séquence chronologique des changements climatiques en Asie Centrale. Un climat froid et aride domine au cours des périodes 0–400, 900–1150 et 1500–1650 après J.C., caractérisé par l'extension d'une végétation de type désertique avec des éléments de steppe. En revanche, un climat plus chaud et moins sec apparaît au cours des périodes 400–900 et 1150–1450 après J.C., caractérisé par une végétation steppique enrichie en plantes exigeant des conditions d'humidité plus élevées. Les variations de précipitation enregistrées dans le bassin Aralien au cours des 2000 dernières années sont principalement contrôlées par le système cyclonique de la Méditerranée Orientale qui fournit l'humidité nécessaire au Moyen Orient et en Asie Centrale à la transition hiver–printemps. Ce système cyclonique étant étroitement lié aux modulations de pression régulées par l'Oscillation de l'Atlantique Nord (NAO), une relation entre humidité en Asie Centrale et le NAO en phase négative est proposée.<br /><br />Enfin, les sédiments laminés des carottages étudiés ont enregistré des changements marqués de la sédimentation au cours de l'Holocène terminal qui révèlent des bouleversements importants de la dynamique d'apports du matériel sédimentaire (Chapitre V). En Asie Centrale, la fréquence des tempêtes de poussières s'intensifie au printemps lorsque le continent se réchauffe, et est ainsi principalement contrôlée par l'intensité et la position de l'anticyclone Sibérien sur le continent. Une analyse semi-quantitative du contenu du sédiment en Titanium, révélateur fiable d'apports détritiques d'origine éolienne, a permis d'établir la séquence chronologique des variations de la dynamique éolienne en Asie Centrale au cours des 1500 dernières années, représentant aussi la plus longue reconstruction dans le temps de l'intensité de l'anticyclone Sibérien établie jusqu'ici. Ainsi, une intensification de la dynamique éolienne est documentée pour les périodes 450–700, 1210–1265, 1350–1750 et 1800–1975 après J.C. En revanche, de faibles concentrations en Titanium (1750–1800 ; 1980–1985 après J.C.) caractérisent une réduction significative de l'intensité de l'anticyclone Sibérien et une circulation atmosphérique plus stable. Au cours des périodes 1180–1210 et 1265–1310 après J.C., une profonde modification de la circulation atmosphérique s'installe en Asie Centrale. En Mer d'Aral, elle se caractérise par une réduction considérable des apports détritiques éoliens.<br /><br />En définitive, si l'ensemble des intéractions entre différents systèmes climatiques ont contrôlé les changements environnementaux en Asie Centrale et modulé les variations climatiques au cours de l'Holocène terminal, il est probable que les variations de l'activité solaire aient eu un impact notable sur l'évolution du bilan hydrique de la Mer d'Aral au cours des 1000 dernières années (Chapitre VI).

Les systemes monopuce deviennent de plus en plus complexes, integrant composants a la fois logiciels et materiels dans le but de procurer une capacite de calcul croissante aux applications embarquees. L'interconnexion des composants devient un element crucial de la conception ; il fournit aux concepteursdes fonctionalites avancees telles qu'operations atomiques, transactions paralleles et primitives de communication permettant des systemes securises. Le concept de reseau sur puce s'impose comme element de communicationpour les architectures d'interconnexion des systemes de la prochaine generation. Le role des reseaux sur puce consiste a remplacer les bus partages dont la mise a l'echelle comporte de serieux problemes de conception et represente un goulot d'etranglement pour le systeme global. La modelisation d'un reseau sur puce est une tache extremement complexe ; ces modeles doivent etre a la fois rapides en terme d'execution, precis et il doivent exporter des interfaces standard an d'en ameliorer la reutilisation. Les principales contributions de cet ouvrage sont representees par : (1) le developpement d'un simulateur de reseaux sur puce complet, precis au cycle pres, base sur OCCN, un logiciel de simulation libre disponible sur sourceforge a l'adresse http://occn.sourceforge.net , (2) l'integration de plusieurs environnements de simulation heterogenes en plate-formes tres complexes utilisees pour etudier des systemes monopuce reels produits par STMicroelectronics et (3) une connaissance complete des concepts sous-jacents aux reseaux sur puce qui a apporte une contribution importante au developpement de STNoC., la nouvelle technologie d'interconnexion de STMicroelectronics developpee au sein du laboratoire Advanced System Technology (AST) de Grenoble. L'environnement de modelisation realise a ete utilise pour l'etude de deux systemes monopuce reels developpes par STMicroelectronics orientes vers la television numerique a tres haute denition (HDTV).

De leur source continentale à leur lieu de stockage ultime, les particules sédimentaires détritiques vont être produites en fonction de la nature et de l'intensité des processus continentaux : climat, contexte géodynamique. Sur les plates-formes, elles vont subir l'action des agents hydrodynamiques, vont se déplacer, constituer des corps sédimentaires qui seront préservés ou non selon la nature et l'intensité des processus : agitation s.l., apports sédimentaires, création d'espace par subsidence et variation du niveau marin... Enfin, dans les domaines océaniques profonds, elles vont se déposer.<br />L'objectif des travaux présentés dans ce mémoire est, par une approche sédimentologique, de reconstituer les conditions environnementales, tant sur les continents que sur les plates-formes, ayant conduit aux dépôts étudiés. Sur cette base, nous avons entrepris des études sur des dépôts du Pléistocène en mer du Nord ainsi que dans les mers de Chine de l'Est et du Sud. Cette époque, par sa proximité, permet des études à très haute résolution temporelle tandis qu'elle est caractérisée par des oscillations climatiques et eustatiques importantes et rapides. De plus, les dépôts les plus récents portent la trace de l'Homme.<br />Sur la plate-forme, l'étude des grands corps sableux, bancs et très grandes dunes, a permis de préciser les mécanismes de leur mise en place. A court terme, même dans les environnements dominés par la marée, l'importance de phénomènes sporadiques tels que les houles de tempêtes, a été démontrée. Ils impriment aux formes et à la structure des fonds marins leur marque tandis que les agents tidaux sont les pourvoyeurs du matériel sédimentaire. A plus long terme, ce ne sont plus les agents dynamiques qui conditionnent la préservation des corps sédimentaires mais la création d'espace disponible et l'importance des apports sédimentaires. Au niveau de l'estuaire de l'Authie, des séries de carottages nous ont aidé à mesurer les conséquences du mouvement vers le nord des divers ensembles sédimentaires sur le type de sédiment rencontré ainsi que sur les modifications d'un espace naturel convoité par l'Homme.<br />Dans les bassins profonds, en mer de Chine du Sud, nos études ont permis de préciser les sources du matériel sédimentaire et son transport en faisant la part des contributions éolienne, fluviatile et marine. L'étude des caractères sédimentologiques de la fraction détritique a permis également d'étudier la balance ntre l'érosion et l'altération sur les zones émergées ainsi que de voir quelle est la réponse des marqueurs détritiques aux changements climatiques globaux depuis 2 millions d'années.