Avec l'expérience, nous acquérons une panoplie de règles, associations arbitraires entre des stimuli externes et des actes moteurs, qui nous permettent d'adapter notre comportement à l'environnement (apprentissage associatif conditionnel). Ce type d'apprentissage met en jeu les boucles reliant les ganglions de la base (GGB) et le cortex frontal. Ce travail visait à préciser le rôle des GGB dans l'apprentissage de règles visuo-motrices conditionnelles en utilisant plusieurs approches : 1) l'enregistrement de l'activité des neurones du striatum chez le singe éveillé, 2) l'étude chez des patients atteints de la maladie de Parkinson (une pathologie neurodégénérative touchant les GGB) et 3) la neuroimagerie fonctionnelle chez l'homme sain. Les résultats des trois expériences convergent pour indiquer que les GGB sont impliqués à la fois dans l'acquisition et la rétention des associations visuo-motrices.

Nous étudions l'approximation cinétique discrète de lois de conservation scalaires quasi-linéaires dans le quart d'espace positif. Cette approximation est obtenue par l'introduction de systèmes de type BGK relaxant la loi scalaire. Nous démontrons la convergence des systèmes semi-linéaires vers la loi scalaire. Nous discrétisons ces modèles pour obtenir une gamme de schémas numériques adaptés au problème avec bord. Dans une troisième partie, nous appliquons ces schémas à un certain nombre de cas test numériques.

Notre recherche se situe dans le domaine des "Environnements Interactifs d'Apprentissage par Ordinateur", et concerne plus spécialement la conception et la production de simulations pédagogiques. Cette thèse se propose d'aborder la définition de nouveaux environnements de production d'un point de vue pragmatique en partant de cas concrets rencontrés dans la formation professionnelle technique en milieu industriel. Le résultat essentiel de ce travail est la définition du modèle MARS (Modèle-Associations-Représentation-Scénario), cadre conceptuel permettant de structurer l'approche de conception. MARS propose trois espaces de travail dédiés à la spécification du modèle de simulation, du scénario pédagogique, de la représentation et un quatrième espace permettant l'intégration des différents résultats obtenus. La volonté de fournir des solutions opérationnelles nous a amené à définir un processus de développement basé sur le déroulement en parallèle des activités de conception organisées chacune selon un cycle de prototypage automatisé. Nous abordons également la définition des environnements de production en insistant, dans chaque espace de travail, sur l'importance des interfaces et des concepts manipulés par les concepteurs. Nous définissons l'architecture d'un environnement intégré adaptatif qui permet de proposer différents niveaux d'accès adaptés aux compétences des auteurs, au domaine technique étudié, au contexte de production, etc... Nous décrivons enfin un exemple d'environnement que nous avons développé pour TPEC, centre de formation de Hewlett-Packard. L'environnement MELISA proposé aux responsables de formation technique un ensemble de méthodes et outils pour créer, modifier ou adapter, rapidement et à moindre coût, leurs propres applications de simulation, et résoudre ainsi des problèmes non couverts par les techniques traditionnelles de formation.

Cette thèse concerne l'analyse de la stabilité et la synthèse de lois de commande pour les multimodèles. La démarche proposée est exclusivement basée sur la deuxième méthode de Lyapunov et sa formulation en termes d'Inégalités Matricielles Linéaires (LMI). L'étude que nous avons menée est organisée autour de deux axes : le premier traite l'analyse de la stabilité par des fonctions de Lyapunov quadratiques, le deuxième fait appel aux fonctions de Lyapunov non quadratiques. Dans le volet consacré à la méthode quadratique, nous avons développé des conditions suffisantes de stabilité en nous appuyant sur les propriétés des M-matrices. La conception de multiobservateurs dans le cas de variables de décision non mesurables est abordée ainsi que celle de multiobservateurs à entrées inconnues. Une loi de commande statique non linéaire basée sur le retour de sortie est également proposée. Deux techniques de synthèse de cette loi de commande sont exposées. La première est basée sur une formulation convexe sous forme de LMI. La deuxième technique, quant à elle, est basée sur la transformation du problème (non convexe) de synthèse en un problème de complémentarité sur le cône. Pour réduire le pessimisme de la méthode quadratique, deux types de fonction de Lyapunov non quadratiques sont considérées : les fonctions dites polyquadratiques et les fonctions quadratiques par morceaux. En utilisant la procédure S, les conditions de stabilité obtenues sont formulées sous forme de LMI. Ces résultats ont abouti à réduire considérablement le conservatisme de la méthode quadratique et permettent d'envisager des extensions intéressantes concernant la commande par retour d'état ou de sortie ainsi que l'estimation d'état des multimodèles. Les conditions obtenues étant bilinéaires par rapport aux variables de synthèse, elles sont résolues en utilisant des algorithmes de linéarisation ou à l'aide de formulation LMI sous contrainte de rang.

Cette thèse est consacrée à l'étude des interactions rovibroniques au sein de complexes octaédriques pour lesquels l'approximation de Born-Oppenheimer n'est plus valide. Pour la première fois, un modèle rovibronique tensoriel effectif complet a été développé à partir des travaux portant sur les toupies sphériques dans un état électronique non dégénéré. Ce modèle inclut le cas de systèmes moléculaires possédant un nombre pair ou impair d'électrons et sa validité a pu être testée sur deux molécules, toutes deux octaédriques : V(CO)6 et ReF6. Pour ces deux systèmes, nous avons alors considéré quatre sous-niveaux vibroniques en interaction. Dans les deux cas, la comparaison entre les profils simulés et observés à basse résolution est satisfaisante. En parallèle, nous avons mis en place, par une approche de type algébrique, un modèle permettant le traitement d'un état électronique doublet, triplet ou quadruplet. L'effet Jahn-Teller a pu alors être rééxaminé au moyen de ce type d'approche.

Les nouvelles technologies de l'information sont entrées au cœur de notre société et provoquent de profonds changements dans notre vie quotidienne, notamment dans le monde du travail. Or le métier d'enseignant n'a pas vraiment évolué, même si les méthodes éducatives changent, car toute tentative d'introduction de l'informatique se heurte à la méfiance des enseignants qui ont peur de perdre leur liberté de choix éducatifs. De plus, les avancées technologiques n'ont d'intérêt que si elles sont intégrées dans un processus global de conception d'applications éducatives. Nos recherches ont donc pour objectif principal de faciliter la tâche de l'enseignant dans la préparation de ses séquences pédagogiques. Nous définissons ainsi le support méthodologique d'un environnement informatique d'aide à la spécification des connaissances éducatives. Nous organisons alors nos travaux autour de trois axes. Tout d'abord, nous proposons la mise en place d'enseignements axés sur la notion de situations-problèmes au sens IUFM car elle met les apprenants en situation de projet tout en répondant aux objectifs pédagogiques fixés. Nous exposons ensuite la nécessité pour les enseignants de se reposer sur un processus de spécification formelle que nous définissons et pour lequel nous proposons un cycle de vie basé sur le prototypage rapide. Nous proposons aussi une ontologie de l'enseignement s'appuyant sur une architecture orientée-objet. Nous montrons enfin que l'utilisation de méta-outils CASE permet de développer un environnement ayant une assistance adaptée et suffisamment flexible pour permettre différentes façons de spécifier et différents points de vue et-ou formalismes de représentation sur une spécification. Le prototype développé couple le méta-outil CASE HARDY, qui fournit une interface diagrammatique supportant les étapes du processus de développement, et le générateur de système expert CLIPS qui assure la cohésion globale en terme de guidage et de flexibilité.

Le principal objet de cette thèse est de montrer que le karst est un vecteur pertinent d'informations morpho géniques. Pour utiliser à bon escient ce vecteur, il est nécessaire d'avoir une bonne connaissance des paramètres intervenant dans la formation et la structuration des vides endokarstiques et sur les processus de sédimentation carbonatée (spéléothème et travertin). Ces paramètres sont abordés, dans le Livre l, au travers de l'approche systémique. Cette approche apparaîtt la plus appropriée pour, d'une part, aborder les notions de structure, de flux et d'évolution du système karstique et, d'autre part, pour définir des stratégies méthodologiques cohérentes. Sur la base de cette approche, deux domaines géographiques ont été traités: le Vercors (Livre II) et la Transversale de Ronda (Livre III). L'intérêt de travailler sur deux entités différentes est double: il permet de s'affranchir des spécificités locales qui ont, parfois, pour effet de parasiter les essais morphogéniques ; le second intérêt est de pouvoir déterminer les différentes réponses du karst aux événements d'ordre tectonique, eustatique et/ou climatique. L'étude du karst, comme vecteur d'informations, a permis de définir la part d'événements dans l'évolution morphologique de ces deux domaines, comme la crise messinienne, le soulèvement pliocène et les oscillations climatiques pléistocènes, dont les effets n'étaient pas toujours perceptibles à partir des seules données superficielles. De ce travail, il ressort que les paléodrains constituent l'une des entrées les plus pertinentes car ils permettent de saisir l'existence de structures de substitution induites par des événements paléogéographiques de "premier ordre".

Cette thèse porte sur l'auscultation de fondations de pylônes électriques par contrôle non destructif. Une procédure d'imagerie par ondes sismiques est utilisée, ce qui consiste à générer une onde sismique au voisinage de la fondation avec une source vibratoire et à mesurer la vitesse de l'onde résultante à l'aide d'un réseau de géophones. Le travail présenté s'intéresse spécifiquement à la résolution du problème inverse. L'objectif est de concevoir un algorithme permettant de déterminer la géométrie de la fondation auscultée à partir des données enregistrées par les capteurs. Il s'agit d'un problème de tomographie de diffraction. Son caractère mal posé ainsi que la forte non-linéarité du modèle direct rendent sa résolution particulièrement difficile. Deux méthodes d'inversion ont été développées. Elles consistent toutes deux à reconstruire plusieurs cartes du sous-sol, chaque carte étant associée à une caractéristique physique du sous-sol. Dans les deux cas, un critère des moindres carrés régularisé est minimisé de façon itérative. Pour la première approche, peu d'a priori sont pris en compte. Elle se base sur une régularisation markovienne et la différence entre pixels voisins est pénalisée de manière à favoriser la reconstruction de régions lisses séparées par des contours francs. La seconde approche tient compte d'informations a priori plus nombreuses et plus précises. Elles sont liées à la structure particulière des fondations et aux caractéristiques de la terre et du béton. La méthode se base sur une segmentation du milieu à imager en deux régions. Des tests ont été réalisés sur des données simulées afin d'évaluer et de comparer les performances de ces deux méthodes.

La Réaction Alcali-Silice (RAS) est une réaction chimique de dégradation des bétons occasionnant des désordres irréversibles au niveau de l'ouvrage. La modélisation de l'endommagement et de la fissuration d'une structure en béton tridimensionnelle victime de la RAS est donc de première importance en génie civil. Le logiciel FEMCAM (Finite Element Model for Concrete Analysis Method) a été développé dans ce cadre, afin de modéliser le comportement mécanique tridimensionnel des matériaux quasi-fragiles tels que les bétons. Dans cette thèse, nous avons développé une approche mésoscopique où le béton est considéré comme un matériau biphasé en présence de granulats et d'une pâte de mortier. Le modèle non local de Mazars avec formulation implicite a ainsi été implémenté et validé dans notre code Eléments Finis pour rendre compte du comportement élastique endommageable de la pâte de mortier. Nous abordons ensuite l'identification des paramètres élastiques et d'endommagement de ce modèle. Une attention particulière est portée à la campagne expérimentale menée au département Génie Civil de l'Ecole des Mines de Douai. Ces résultats expérimentaux ont été comparés aux résultats numériques via le module d'analyse inverse "RheOConcrete ". Des tests de compression, flexion trois points, essais brésiliens ont été ainsi réalisés. Les exemples d'applications proposés montrent l'influence du volume, de la répartition et du diamètre des granulats sur le comportement du béton. Nous utilisons ces résultats pour analyser les conséquences mécaniques de la RAS sur une éprouvette en béton. Les résultats numériques d'un béton soumis à un gonflement granulaire sont comparés aux résultats expérimentaux obtenus à l'Ecole des Mines de Douai. Cela permet de vérifier non seulement la cohérence du modèle numérique mais aussi de mieux comprendre l'influence de certains paramètres sur le mécanisme de la RAS. Enfin, nous soulignons l'importance de décrire avec précision les macrofissures générées par la réaction chimique. La dernière partie du mémoire concerne l'implémentation et la validation de la fissuration discrète en trois dimensions.

La cuve des réacteurs à eau sous pression forme la seconde barrière de confinement de l'assemblage combustible nucléaire. Dans les centrales françaises, elle est constituée d'acier 16MND5 faiblement allié (équivalent de la nuance ASTM A508 Cl.3). Diverses techniques expérimentales (microscopie électronique, diffraction des rayons X etc.) sont mises en oeuvre lors d'essais de tractions in-situ afin de mettre en évidence les hétérogénéités mécaniques apparaissant au sein du matériau. Ces mesures se font en cours de sollicitation pour diverses basses températures [-150°C;-60°C]. Les hétérogénéités mécaniques sont principalement dues aux deux aspects "polycristallins" et "composite"(effet des amas de cémentite) de la microstructure. Des écarts de contraintes résiduelles interphases (jusqu''a 150 MPa en moyenne entre bainite et ferrite), et intraphases (jusqu''a 100 MPa en moyenne par orientation pour la ferrite) sont mis en évidence. Une modélisation complexe est mise en oeuvre afin de représenter le comportement. Elle inclut une loi micromécanique, un modèle de transition d'échelle, et une représentation par éléments finis d'agrégats 3D, le tout associé dans une démarche multi-échelles. L'identification se fait sur le comportement à différentes températures, et permet de reproduire les hétérogénéités de contraintes mises en évidence expérimentalement. Cette modélisation sert de base à l'application déterministe d'un critère local de rupture fragile micromécanique et cristallographique. L'utilisation de divers tirages de répartitions de carbures réalistes permet d'obtenir une probabilité de rupture du volume élémentaire en accord avec les hypothèses formulées par l'approche locale de la rupture. A ceci près que contrairement aux approches habituelles, on ne suppose pas de dépendance de cette probabilité par rapport au chargement ou à la microstructure, celle-ci est naturellement introduite.