Cette thèse traite de problèmes inverses en propagation d'ondes acoustiques pour des milieux inhomogènes avec des mesures en champ lointain. Dans la première partie nous nous intéressons à la localisation de défauts, c'est-à-dire à la recherche du lieu où l'indice effectif est différent d'un indice de référence. Nous obtenons une caractérisation du support des défauts à partir des mesures par une extension de la "Factorization Method" d'A. Kirsch. Nous proposons plusieurs méthodes numériques permettant de déterminer la localisation des défauts dont une permettant de traiter le cas de directions d'émission et de réception distinctes. Ces algorithmes sont validés numériquement. Dans une seconde partie, nous considérons la reconstruction des valeurs d'un indice inconnu. A partir de la méthode de localisation de défauts introduite précédemment, nous proposons deux stratégies pour déterminer des zones d'intérêt sur lesquelles la reconstruction est focalisée. Enfin, nous introduisons un nouveau type de fonction coût pour la reconstruction, qui exploite les propriétés établies dans la première partie.

Les systèmes contrôlés en réseau (SCR) ont fait l'objet de nombreux travaux de recherche au cours des dernières années, principalement pour ce qui concerne la synthèse de lois de commande. Les systèmes contrôlés en réseau présentent de nombreux avantages, notamment en terme de flexibilité, mais différent problèmes se posent quand une boucle de contrôle est fermée par un réseau de communication. (ex. retards et des pertes, contraintes de communication). Diagnostic et tolérance aux défauts sont des enjeux importants pour les systèmes de contrôle, particulièrement dans les systèmes de sécurité fondamentaux. La théorie et l'application des approches classiques de diagnostic et tolérance aux défauts doivent être re-visités lorsqu'il s'agit de SCR. L'objectif de cette thèse est de proposer de nouvelles approches de diagnostic pour les systèmes contrôlés en réseau en considérant la perte de paquets et la contrainte de communication. De plus, les algorithmes de l'ordonnancement et de diagnostic proposés sont implémentés dans un mini hélicoptère. Nous considérons d'abord les problèmes de perte de paquets et de contrainte de communication pour ensuite adapter un modèle où la détection des défauts et l'allocation des ressources de communication sont fortement liés. En interprétant ce modèle comme un modèle périodique, nous formalisons et résolvons le problème de détection et localisation de défauts avec un ordonnancement périodique et hors-ligne. L'approche proposée garantit la robustesse des résidus aux perturbations ainsi que perte de paquets sur la commande du système. Il est parfois nécessaire de fournir une séquence de communication prédéfinie avant de concevoir le système de détection de défauts. IL spécifie l'ordre de l'accès des capteurs et des actionneurs au réseau. Cependant, le choix d'une séquence de communication dépend forcément à la structure du système. Un algorithme graphique proposé dans cette thèse garantit la génération de séquences de communication permettant de préserver certaines propriétés structurelles du système. En outre, cet algorithme peut être utilisé sur les systèmes incertains et assez grands. Traditionnellement, allocation des ressources et l'ordonnancement sont basés sur les stratégies hors ligne. Mais la performance du système de diagnostic ne peut pas être garantie sous l'ordonnancement hors-ligne, si le système est objet à des perturbations imprévisibles. En plus, L'ordonnancement en ligne nécessite une grande charge de calcul qui ne peut être toujours possible en cas de système embarqué. Par conséquent, un ordonnancement semi-en ligne qui permet de préserver les avantages de l'ordonnancement en ligne et évite certaines limitations d'ordonnancement hors ligne peut être considéré comme une solution de compromis. Les drones ou UAVs pour Unmanned Aerial Vehicules font actuellement l'objet de beaucoup de recherches en raison de leurs utilités dans des situations qui nécessitent des opérations autonomes ou autopiloté. Ils peuvent être classés comme des systèmes dynamiques rapides. Par conséquent, ils peuvent être banc d'essai idéal pour étudier les effets du réseau sur les performances de contrôle/diagnostique en boucle fermée. Le dernier chapitre de cette thèse est dédié à implémentation d'une stratégie de commande tolérante aux défauts et les approches de détection et localisation des défauts proposées dans les chapitres précédents sur le drone.

Un système technologique piloté est constitué d'une variété de composants interagissant ensemble et combinant de multiples phénomènes physiques. Ces composants, subissant un stress en fonctionnement, finissent par être affectés par des défauts pouvant avoir de graves conséquences pour l'intégrité du système lui-même ou son environnement. Ces défauts sont généralement répertoriés par des techniques de sureté de fonctionnement et classés par ordre de criticité.Une solution, pour réduire les sinistres consécutifs à la survenue d'un défaut critique, est de mettre en place un diagnostiqueur embarqué capable, dans un délai bref, de détecter cette survenue puis d'identifier le défaut, en vue de placer le système dans un mode de fonctionnement plus sûr. Il apparaît alors impératif, durant la conception du diagnostiqueur, d'étudier la diagnosticabilité des défauts, étude consistant à s'assurer que le diagnostiqueur sera toujours capable de détecter et d'identifier sans ambiguïté les défauts préalablement répertoriés.Cette thèse établit une chaîne complète de développement d'un diagnostiqueur embarqué pour les systèmes technologiques pilotés. Y sont décrites, dans un cadre théorique unifié et cohérent basé sur l'utilisation de modèles homogènes, toutes les étapes depuis la conception jusqu'à la réalisation du diagnostiqueur : représentation comportementale du système et modélisation des défauts, étude de la diagnosticabilité de ces défauts, puis génération du diagnostiqueur lui-même. Le lien rigoureux établi entre l'étude de la diagnosticabilité et la génération du diagnostiqueur, qui fonde la correction et la cohérence de l'approche, constitue un aspect saillant et original de ces travaux.Cette thèse résulte d'un projet collaboratif réunissant l'entreprise Sherpa Engineering, le Laboratoire de Recherche en Informatique (LRI) unité mixte de recherche de l'Université Paris-Sud et du CNRS et enfin le Laboratoire d'Ingénierie des Systèmes Embarqués (LISE) du CEA LIST.

Un système technologique piloté est constitué d'une variété de composants interagissant ensemble et combinant de multiples phénomènes physiques. Le stress subit par ces composants finit par engendrer des défauts (casse, usure, perforation, blocage) pouvant avoir de graves conséquences pour l'intégrité du système lui-même ou pour son environnement. Une solution, pour réduire les conséquences de tels défauts, est de mettre en place un outil embarqué de diagnostic qui permette de les détecter et les identifier rapidement et précisément pour, par exemple, placer le système dans un mode de fonctionnement approprié (mode dégradé, arrêt complet, etc.). À cette fin il apparaît alors comme impératif, lors de la phase de conception d'un tel outil de diagnostic, d'étudier la diagnosticabilité des défauts, étude qui consiste à s'assurer que l'outil sera toujours capable de diagnostiquer sans ambiguïté un défaut préalablement répertorié. Cette thèse présente une chaîne de conception outillée d'un tel outil de diagnostic appliquée à ce type de systèmes. Nous l'avons élaborée de manière complète en incluant l'ensemble des étapes nécessaires et suffisantes à la conception : les étapes préalables de représentation du système et des défauts potentiels, puis l'étude de la diagnosticabilité des défauts ainsi que la génération de l'outil associé à cette étude. L'élaboration d'un cadre théorique unifié, utilisé durant toutes les étapes de la chaîne, nous a par ailleurs permis de la garantir cohérente. Cette cohérence est de plus renforcée par le lien rigoureusement établi entre une étude de diagnosticabilité et la génération du diagnostiqueur associé. Cette thèse est le résultat d'un projet commun entre l'entreprise Sherpa Engineering ainsi que les laboratoires LRI de l'université Paris-Sud et du CNRS et LISE du CEA/LIST de Saclay.

Cette thèse porte sur la modélisation du comportement humain dans les simulations de combat naval. Au sein de l'entreprise DCNS, les simulations de combat naval permettent d'évaluer les performances opérationnelles des navires militaires, dans un scénario donné. Les simulations actuelles ne permettent pas de prendre en compte l'analyse et la décision d'un opérateur, qui peuvent parfois conduire à des réactions inattendues. Le but de cette thèse est donc de modéliser le comportement d'un opérateur pour les simulations de combats navals.Pour représenter les connaissances, la logique non monotone la plus employée a été utilisée: la logique des défauts. Une prise en compte du temps a été ajoutée à cette logique des défauts. La logique des défauts va permettre de calculer des extensions. Chaque extension correspond à une action possible pour l'opérateur.Une méthode qui permet de choisir une extension a été définie. Cette méthode simule la décision de l'opérateur et elle prend en compte le caractère de l'opérateur.

Le travail présenté dans ce mémoire de thèse porte sur la tolérance aux défauts dans le cas des systèmes linéaires. Les moyens de communication numériques sont utilisés dans le cadre de la mise en oeuvre d'une architecture de commande tolérante aux défauts pour des systèmes complexes. Une coopération entre les modules de commande/diagnostic assure la tolérance à certains types de défauts qui affectent le système. La commande des systèmes est traditionnellement réalisée à partir d'un calculateur central qui collecte l'ensemble des informations relevées sur le procédé, puis les traite pour élaborer un ensemble de commande qui est appliqué au procédé. Avec le développement des systèmes commandés en réseaux (Networked Control System) et des systèmes embarqués, l'architecture des systèmes s'oriente vers une distribution des algorithmes de commande et de diagnostic. On se propose d'aborder le problème de la conception des stratégies de distribution de diagnostic/commande et de coopération des tâches de commande entre les sous-contrôleurs associés à chaque sous-système qui composent le système complexe et de prendre en compte les défauts des actionneurs et de capteurs affectant les sous-systèmes. Il s'agit alors d'élaborer une stratégie de commande coopérative visant à compenser les effets des défauts affectant le système. Les commandes locales sont des commandes prédictives à base de modèle (MPC : Model Predictive Control). Une analyse de stabilité a été faite en prenant en considération la défaillance du réseau de communication.

Ce travail présente une approche originale de la synthèse par implantation ionique de nanostructures enterrées. Cette synthèse hors équilibre thermodynamique comprend deux étapes, la première consiste à maîtriser la formation de nanocavités dans la matrice semi-conductrice, la seconde à utiliser les surfaces libres ainsi générés pour favoriser la croissance de siliciure en piégeant les défauts ponctuels (lacunes interstitiels) liés à l'implantation ou encore les éléments implantés. La maitrise de la première étape implique le contrôle de la distribution en taille, de la densité et de la localisation des nanocavités. Cette thèse présente, à travers la variation des paramètres expérimentaux tels que l'énergie d'implantation, la température ou encore le temps de recuit, une étude détaillée de la formation des nanocavités. Les mécanismes de germination croissance impliqués ont été étudiés et sont présentés. Un résultat remarquable de cette première étape est la mise en évidence d'un processus de croissance faisant intervenir deux contributions pondérées dans le temps. Dans les tous premiers instant du recuit un processus de migration coalescence de nanobulles et complexes lacunes-hélium prédomine conduisant à la formation des cavités. Puis, associé à l'exodiffusion d'hélium un mécanisme de murissement d'Oswald apparaît progressivement entr¬e les nanocavités et les cavités. La deuxième étape a été abordée dans le cas du cobalt et du nickel. Nous avons notamment mis en évidence que la présence des nanocavités conduit à une croissance épitaxiale de nano précipités de CoSi2 lors de l'implantation de Co à 650°C, alors que la synthèse classique de précipités de CoSi2 cohérents avec la matrice de Si nécessite un recuit à 1000°C. Nous faisons le lien entre ce résultat et les modèles de germination croissance de ce type de siliciure métallique, et proposons une explication liée au piégeage des lacunes par les nanocavités. À coté des techniques d'implantation et de caractérisation par faisceau d'ions, utilisées lors de la synthèse des échantillons, la technique d'investigation principale sur laquelle repose ce travail est la Microscopie Electronique à Transmission conventionnelle (MET). Les observations en champ clair, ont permis d'identifier et de quantifier la formation des nanocavités alors qu'à partir des observations en champ sombre, j'ai pu déterminer la nature des précipités (interface de croissance cohérente ou semi-cohérente avec la matrice).

Le soudage par friction malaxage FSW est un procédé de soudage à l'état solide, sans fusion du matériau. La soudure est réalisée par l'action d'un outil composé d'un épaulement et d'un pion positionné à l'interface des deux pièces à souder. L'outil a deux rôles : échauffement de la matière par frottement de l'épaulement, malaxage de la matière par l'intermédiaire du pion. Ce travail de thèse s'inscrit dans le cadre d'un partenariat entre Arts et Métiers ParisTech et l'Institut de Soudure. Son objectif est de développer un modèle de simulation du FSW afin de réduire le nombre d'essais expérimentaux nécessaire à l'optimisation du procédé. Ainsi, plusieurs points ont été abordés dans ce manuscrit. Une analyse expérimentale des cycles thermiques et des mouvements de matière dans le cas où les pions sont non filetés a été menée. Cette situation permet (1) de faciliter la comparaison avec la simulation numérique et (2) de se placer dans les conditions de pions usés. L'analyse des formulations (lagrangienne, eulérienne et ALE) en vue de choisir celle la plus appropriée pour représenter les écoulements de matière a permis de retenir une formulation eulérienne (mise en œuvre dans le logiciel FLUENT) pour estimer les champs thermiques et de vitesses à l'état stationnaire. La mise en place d'un modèle numérique dans le logiciel FLUENT est présentée. Nous avons en particulier étudier l'influence des paramètres numériques sur les résultats et mis en place une stratégie d'identification de certains paramètres non accessibles expérimentalement. Une comparaison fine entre nos résultats expérimentaux et ceux issus des simulations a été effectuée avec succès. L'étude de l'impact des paramètres process (vitesse d'avance, vitesse de rotation) et de la géométrie du pion sur les champs thermiques et de vitesses a permis de mettre en évidence le lien entre les champs de vitesse et la présence de défauts de type tunnel.

Ce travail expérimental a consisté en l'étude des défauts ponctuels induits par une irradiation électronique dans la structure cristallographique cubique du carbure de silicium (SiC) au moyen des techniques spectroscopiques de photoluminescence à basse température (LTPL) et de résonance paramagnétique électronique (RPE). Le premier de ces deux outils de mesures a permis d'estimer l'énergie seujl de déplacement dans le sous-réseau silicium puis d'analyser la stabilité thermique des défauts d'irradiation dans le domaine des basses températures (10 – 300K) puis dans la gamme des hautes températures (300 – 1400 K). Par ailleurs, sur la base d'un modèle théorique récent, cette thèse a corroboré la proposition de l'antisite de silicium isolé pour le centre D! 1 dont la persistance au-delà de la température nominale de fonctionnement des réacteurs nucléaires à fission de génération IV, pour lequel SiC est en partie destiné, se révèle particulièrement problématique. Des mesures entreprises par RPE sous illumination ont enfin permises de détecter un nouveau défaut dans son état métastable de spin S=1, possiblement associé à une configuration d'interstitiel de silicium.

Cette étude porte sur la modélisation des machines électriques par réseaux de reluctances en vue du diagnostic. Une méthode de modélisation des machines électriques a été établie, en tenant compte de la simplicité du modèle, qui est défini directement à partir des données géométriques de la machine. Cette méthode a été appliquée à la machine synchrone et à la machine asynchrone. Le modèle de la machine synchrone est utilisé pour simuler les différents défauts sur la machine : excentricité statique et dynamique, courts-circuits au stator et au rotor. Le comportement de différents grandeurs caractéristiques de la machine (tension d'arbre, courant entre les voies d'enroulement, tension entre les neutres) est étudié. Le modèle est validé en comparant les résultats des simulations avec les résultats des mesures expérimentales et les résultats obtenus par la méthode des éléments finis. Il est possible d'utiliser le modèle présenté pour localiser les défauts dans la machine. Le modèle de la machine asynchrone a été testé pour les défauts suivants : excentricités, rupture des barres rotoriques, courts-circuits au stator en utilisant l'analyse spectrale des courants statoriques comme moyen de diagnostic. Le modèle est validé par les résultats d'essais. Le comportement dynamique de la machine asynchrone est simulé par ce modèle.