Dans ce travail de recherche, nous nous intéressons à une étude didactique des objets équation, inéquation et fonction en faisant référence à la théorie sémantique de la vérité introduite par Frege et Russell et développée par Tarski et Quine, en particulier les notions de phrase ouverte ; satisfaction d'une phrase ouverte par un élément ; quantification, qui permettent de mieux expliciter les notions d'égalité et d'inégalité d'une part, le statut des lettres d'autre part.<br />Notre recherche s'inscrit dans la continuité des travaux de recherche de Durand-Guerrier et nous soutenons la thèse selon laquelle la logique des prédicats est pertinente pour l'analyse des questions liées l'articulation des deux points de vue sémantique et syntaxique dans l'enseignement et l'apprentissage des équations, inéquations et fonctions au secondaire.<br />Pour compléter les éclairages apportés par la sémantique logique, nous avons conduit une étude historique circonscrite des relations entre ces concepts mathématiques. Nous avons ainsi croisé cette étude avec notre perspective logique en vue de repérer la dyade sémantique/ syntaxe au moment de la formation de ces concepts.<br />La question principale étudiée dans l'exploration didactique concerne la possibilité de repérer, dans le développement des concepts d'équation, d'inéquation et de fonction, des phénomènes liés à la dialectique sémantique / syntaxe. Pour cela, nous avons conduit une analyse des programmes et des manuels de l'enseignement secondaire tunisien ; soumis un questionnaire à des élèves du secondaire et des étudiants de classes préparatoires ; proposé une situation d'apprentissage à quelques élèves volontaires et réalisé quelques entretiens avec des enseignants. Nos travaux montrent un recul du point de vue sémantique dès que les techniques syntaxiques sont disponibles, et une quasi absence d'articulation entre syntaxe et sémantique.

L'objet de ces travaux de these est l'etude de la conception des systemes mixtes logiciels/materiels, et le prototypage de ces systemes sur des architectures multiprocesseurs (microprocesseur, asics, fpgas, etc..). Ce sujet de recherche fait partie de la synthese de systemes vlsi et de la conception mixte logicielle/materielle. Ces travaux traitent principalement des problemes de co-simulation, des architectures pour le co-design et de la communication logicielle/materielle. Afin d'atteindre ces objectifs, une methodologie permettant la co-simulation et la co-synthese du logiciel et du materiel dans un environnement unifie a ete developpee. Cette methodologie part d'une specification c-vhdl de haut niveau. Le modele c-vhdl est raffine au cours de plusieurs etapes de conception pour aboutir a un prototype fonctionnel valide sur une architecture multiprocesseurs modulaire et flexible. L'originalite de ce travail vient du fait que les memes specifications c-vhdl sont utilisees pour la co-simulation et la co-synthese. Cela est realise grace a un style de description independant de l'architecture cible. La combinaison de l'utilisation des outils de conception disponibles et de la methodologie proposee permet de concevoir des applications de plus en plus complexes. Cette methodologie est validee par la realisation d'une application d'un systeme de commande de moteur base sur la logique floue. La conception de cette application part d'une description c-vhdl. Ce systeme est valide en premier lieu par la co-simulation, puis par les differentes etapes de synthese pour aboutir finalement a un prototype fonctionnel. Ce prototype est transpose sur une plate-forme comportant des modules logiciels et materiels (microprocesseur plus des fpgas)

L'étude géomorphologique et la datation de séquences de terrasses marines, le long de la côte des Andes centrales, a permis de mettre en évidence une variabilité longitudinale et temporelle de la réponse de la plaque sud-américaine à la subduction de la plaque Nazca, au cours du Pléistocène. Les vitesses de soulèvement moyennes, déduites des âges 10Be, varient de 229 ± 40 (17,8°S) à 696 ± 53 mm/ka (15,33°S) le long de la côte. Des périodes de soulèvement rapide alternent avec des périodes de soulèvement plus lent au cours du Pléistocène. L'évolution morphologique de l'avant-arc est contrôlée par des processus tectoniques actifs liés à la zone de subduction. En-dessous d'une valeur seuil de 100-110 km de distance fosse-côte, les terrasses marines sont préservées et enregistrent les plus forts taux de soulèvement de la côte. Le soulèvement épisodique résulterait d'une variation de la surface de la zone sismogénique au cours du Pléistocène, en relation avec la variation de la distance fosse-côte.

L'objet de la thèse est l'étude des méthodes d'implantation automatisée de deux types de circuits: précaractérisés et les circuits prédiffusés. On propose des méthodes et des logiciels effectuant une initialisation du placement des blocs qui est améliorée par transformations élémentaires successives. Les méthodes sont principalement des méthodes stochastiques et des méthodes d'analyse factorielle. Un «préroutage» des connexions conduit à un écartement des blocs assurant le tracé total des équipotentiels. Etude de l'implantation des circuits dans les réseaux prédiffusés de technologie CML (current mode logic). Elle est effectuée en trois phases: affectation des portes logiques au quadrant, placement à l'intérieur de chaque quadrant, et tracé des connexions

Nous avons caractérisé et estimé les erreurs du modèle océanique barotrope MOG2D en réponse aux incertitudes sur les forçages météorologiques à haute fréquence (pression et vent ARPEGE), dans le Golfe de Gascogne et la Manche. Les covariances d'erreur sont obtenues par méthode d'ensemble sous forme d'EOFs d'ensemble multivariés. En Manche, les erreurs océaniques sont fortement liées aux erreurs de vent, tandis que sur le Golfe de Gascogne elles sont surtout contrôlées par les incertitudes sur la pression. Puis ces statistiques d'erreur sont utilisées dans le système d'assimilation de données à ordre réduit SEQUOIA/MOG2D pour évaluer le contrôle du modèle via des expériences jumelles, dans différentes configurations du système et dans plusieurs scenarii de réseau d'observation in situ et altimétriques. Moyennant une correction du forçage atmosphérique, les réseaux marégraphiques permettent un contrôle efficace de l'erreur modèle et apparaissent complémentaires des réseaux de radars HF.

Alors que depuis un peu plus de 2000 ans, le niveau moyen de la mer a peu varié, ce niveau s'est élevé d'environ 2 mm/an au cours du 20ème siècle. Cette hausse soudaine est attribuée au réchauffement climatique d'origine anthropique enregistré depuis plusieurs décennies. Depuis une douzaine d'années, on mesure de façon globale et précise les variations du niveau de la mer grâce aux satellites altimétriques Topex/Poseidon et Jason-1. Ces observations indiquent une hausse moyenne globale d'environ 3 mm/an depuis 1993, valeur sensiblement plus grande que celle des dernières décennies. <br />Diverses observations disponibles depuis peu nous ont permis de quantifier les contributions des divers facteurs climatiques à la hausse observée du niveau de la mer : expansion thermique de la mer due au réchauffement des océans, fonte des glaciers de montagne et des calottes polaires, apport d'eau des réservoirs continentaux. Le bilan de ces nouvelles observations nous permet d'expliquer en partie la hausse observée du niveau de la mer. En particulier, nous montrons que l'expansion thermique des océans n'explique que 25% de la hausse séculaire du niveau de la mer enregistrée par les marégraphes depuis 50 ans, tandis qu'elle contribue à la hauteur de 50% à la montée du niveau marin au cours de la dernière décennie. Parallèlement, des études récentes estiment que la fonte des glaciers de montagne et des calottes polaires pourraient contribuer pour environ 1 mm/an à l'élévation du niveau de la mer au cours de la dernière décennie. <br />De plus, la forte variabilité régionale des vitesses d'évolution du niveau de la mer révélée par les observations altimétriques de Topex/Poseidon résulte en grande partie de l'expansion thermique. Nous mettons également en lumière l'importante variabilité spatio-temporelle décennale de l'expansion thermique des océans au cours des 50 dernières années, qui semble dominée par les fluctuations naturelles du climat. De plus nous posons pour la première fois la question du lien qui existe entre les fluctuations décennales de l'expansion thermique des océans et la contribution climatique des eaux continentales au niveau de la mer. Enfin, une analyse préliminaire des observations gravimétriques de la mission spatiale GRACE sur les océans nous permet d'évaluer les variations saisonnières du niveau moyen de la mer liées aux variations du bilan de masse d'eau des océans.

La recherche dans le domaine des Environnements Virtuels (EV) pour la formation s'est souvent attachée aux aspects techniques, sans proposer une réelle démarche de conception centrée sur les utilisateurs (formés et formateurs). Pour concevoir un EV efficace, utilisable et utile pour la formation, nous proposons une méthodologie de conception prenant en compte divers aspects. En effet, dans un premier temps, il est essentiel de s'interroger sur les objectifs pédagogiques des formateurs et sur les capacités sensori-motrices et cognitives des formés. Ensuite, les capacités technologiques doivent être étudiées. Enfin, l'EV et les fonctionnalités utiles peuvent être spécifiées. Notre méthodologie de conception est basée sur trois composantes fondamentales dans les EV : l'immersion et l'interaction sensori-motrices (i.e. les interactions physiques des utilisateurs avec le système), l'immersion et l'interaction cognitives (i.e. les raisonnements et les comportements des utilisateurs) et l'immersion et l'interaction fonctionnelles (i.e. l'apprentissage et le transfert de la tâche).<br />La réalité virtuelle (RV) est souvent utilisée comme moyen technique pour immerger un formé dans des environnements le plus proche possible de la réalité. Les limitations technologiques actuelles ne permettent pas de s'approcher parfaitement de la réalité. De plus, les formateurs ont souvent besoin de fournir des explications s'appuyant sur des situations éloignées du réel afin d'aider les formés à prendre du recul et à mieux comprendre cette réalité. Les nombreuses potentialités de la RV permettent de proposer différents niveaux de réalisme.<br />Pour gérer ces niveaux de réalisme et optimiser les fonctionnalités offertes par la RV en fonction de objectifs pédagogiques et des difficultés des formés, nous proposons un Agent Pédagogique Intelligent (HAL : Help Agent for Learning)<br />HAL a été conçu pour aider les formateurs à construire un discours pédagogique en environnement virtuel en proposant deux types de stratégies pédagogiques adaptatives. Les premières modifient des aspects du scénario (pannes, conditions météorologiques, etc.). Les secondes fournissent des aides pour la compréhension de la situation (suggérer où le formé peut trouver la connaissance, expliquer une règle, montrer la conséquence de ses erreurs, etc.). Ces stratégies peuvent être mise en œuvre grâce à différentes formes d'assistance pédagogique gérant différents niveaux de réalisme (enrichissement, visualisation de mécanismes cachés, modélisation de concepts abstraits, etc.) HAL est basé sur un système multi-agent permettant de décrire une architecture modulaire et distribuée.<br />Une application professionnelle et industrielle réelle nous a permis de mettre en œuvre notre méthodologie de conception basée sur les aspects cognitifs, d'exploiter un grand nombre de potentialités de la RV et de mettre en évidence l'apport de HAL pour gérer ces fonctionnalités. L'objectif de cette application est de former des conducteurs de TGV à l'intervention sur Lignes à Grande Vitesse (descente sur les voies et manipulation d'appareils de voie.)

Cette these a pour objet l'etude de la production d'antiproton dans l'atmosphere. Une parametrisation de la section efficace inclusive pour la production d'antiprotons dans les collisions p+p et p+A est presentee, basee sur les regles de comptage de quarks, la phenomenologie de Regge et l'ajustement aux donnees. Cette parametrisation est en accord avec les donnees experimentales pour une energie incidente du nucleon au moins jusqu'a 24 GeV/n dans le laboratoire. Selon l'analyse de la distribution de la multiplicite moyenne d'antiprotons, cette parametrisation peut etre etendue sa validite jusqu'au moins s^1/2 environ 25 GeV dans le centre de masse. Avec cette parametrisation, le modele des nucleons touches est applique pour obtenir la section efficace de production d'antiprotons lors d'une collision A+A. Le flux atmospherique d'antiprotons aux altitudes des ballons et des satellites est calcule en incluant les protons et heliums cosmiques. Les collisions generees par l'helium contribuent pour environ 30% au flux total d'antiprotons atmospherique. Pour l'etude de l'origine exotique d'antiprotons, par exemple l'annihilation de la matiere sombre supersymetrique (les neutralinos) et l'evaporation des trous noirs primordiaux, les energies incidentes des particules cosmiques jusqu'a E=200 GeV/n contribuent le plus magnifiquement a la production d'antiprotons atmospheriques. Il est montre que le flux atmospherique d'antiprotons utilise pour corriger le flux d'antiprotons au dessus de l'atmosphere est sous-estime dans certains travaux precedents. Dans ce travail, le flux d'antiprotons au dessus de l'atmosphere est donc diminue de 10-15% par rapport au resultat original dans le domaine d'energie E_k> 1 GeV. Une experience de mesure d'antiprotons au sol est proposee pour valider la justesse de la production d'antiprotons calcules par les differents groupes. Les resultats de l'experience BESS 1999 a l'altitude de 2.77 km ont confirme la justesse de ce travail. A l'altitude d'AMS, le flux d'antiprotons mesure par cette experience dans la region polaire est pratiquement exclusivement constitue d'antiprotons cosmiques, avec une composante de seulement 2-3% d'antiprotons atmospheriques. Il est observe que, meme a tres haute altitude, quelques milliers de kilometres par exemple, il existe encore un flux residuel d'antiprotons atmospheriques dont les trajectoires sont tres compliquees et ne peuvent pas etre bien expliquees au moyen des variables habituelles. Finalement, le flux atmospherique de protons dans l'atmosphere est calcule. La deviation entre les calculs et les donnees ainsi que les origines possibles de cette deviation sont discutees.

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.