On propose une nouvelle approche pour l'optimisation des PLA (réseaux logiques programmes ou programmables) par des méthodes heuristiques réalisant le compactage des matrices ou plans et-ou par une permutation préalable des monômes (ou termes produits) et par brisure de lignes d'entrée-sortie en segments, dits internes, afin de les réorganiser en un nombre réduit de niveaux. Diverses stratégies d'optimisation des circuits VLSI (transparence, déformabilite, connectabilite des blocs) et certaines contraintes influencent les techniques proposées. La nouvelle approche permet l'automatisation du dessin des masques de PLA optimisés en introduisant une nouvelle notion de cellule algorithmique. L'optimisation électrique et géométrique des matrices, des amplificateurs d'entrée, de sortie et d'interface, améliore les performances des PLA tout en gardant leur structure optimisée. Cet ensemble de propositions est la base du système PAOLA, outil de conception assistée testé sur des circuits de complexité d'environ 10 k avec un temps de traitement d'environ 7 minutes pour une réduction de surface de 50%.

L'étude des moyens de déductions pour entreprendre une construction assistée de programmes mène à la définition d'un système de déduction automatique capable :<br />- de traiter l'égalité d'une façon générale ;<br />- d'entreprendre la preuve de formules qui ne sont pas des théorèmes, d'étudier les causes d'échec ;<br />- d'effectuer un tri pour retirer d'un large ensemble d'informations, celles utiles à la preuve.<br /><br />Ces caractères ont pu être pris en compte dans le cadre d'un système général, de genre "déduction matérielle".<br />Certaines classes d'expression reçoivent toutefois un traitement particulier. Ainsi une méthode de codage permet de déterminer, sans simplification ni mise en forme normale, l'équivalence d'expressions numériques.

En radiologie interventionnelle, le praticien se sert actuellement de plusieurs acquisitions scanner (coupes 2D) pour pouvoir atteindre sa cible au cours d'une ponction percutanée dans la zone abdominale. Notre objectif est de concevoir un système de guidage minimisant ces acquisitions et donc le temps de l'intervention. Pour cela, nous proposons un système de réalité augmentée superposant des reconstructions 3D pré-opératoires des structures abdominales du patient dans des images vidéo externes de son corps. En plus d'être précis, rapide et fiable, cet outil devra pouvoir être introduit aisément en salle d'opération.<br />Dans notre cas, le patient est intubé et sa ventilation contrôlée, nous pouvons donc négliger les effets de la respiration : un recalage rigide 3D/2D de marqueurs radio-opaques collés sur la peau est suffisant pour atteindre la précision requise. Les hypothèses statistiques des critères classiques n'étant pas adéquates pour notre application, nous avons dérivé un nouveau critère généralisant les approches standard. Une évaluation rigoureuse des performances démontre la supériorité de notre méthode en terme de précision et de robustesse.<br />Pour atteindre le temps réel en salle d'opération, nous avons ensuite développé un ensemble d'algorithmes d'extraction et de mise en correspondance des marqueurs radio-opaques dont nous avons validé la robustesse sur de nombreuses images réelles. La précision du système dépendant de nombreux paramètres (nombre de marqueurs radio-opaques, position des caméras...), elle ne peut pas être établie préalablement de manière définitive. Afin de fournir un système fiable, nous proposons donc une technique de propagation des covariances qui permet d'estimer dynamiquement l'erreur de repositionnement des modèles reconstruits. Une phase de validation méticuleuse, sur des données synthétiques et réelles, démontre que notre prédiction est fiable dans les conditions de notre application.<br />Après cette validation de chacun des modules, nous montrons la faisabilité et l'intérêt de notre système complet en menant une évaluation sur un mannequin : quatre chirurgiens ont réussi à atteindre des cibles en des temps dix fois inférieurs à ceux usuellement nécessaires pour ce type d'intervention et avec une précision supérieure. Finalement, plusieurs expériences cliniques sur des patients démontrent que notre système est utilisable en salle d'opération et suggèrent son utilisation en routine dans un futur proche.

Le carbure et le nitrure de titane ont été élaborés par des procédés chimiques et physiques en phase vapeur. Ces procédés ont permis l'obtention d'un revêtement céramique épais et dense en vue de la protection d'un dispositif métallique en tungstène. L'influence des différents paramètres expérimentaux, propres à chaque procédé, a été étudiée sur la germination, la microstructure et la texturation des revêtements, tout en intégrant l'interaction avec le substrat. L'analyse des contraintes résiduelles, réalisée par la méthode de sin2 ψ , a permis d'expliquer le comportement vis-à-vis de la fissuration de différents dépôts.

Cette recherche s'articule autour d'un objectif central, celui des apports éventuels de la relation aux animaux pour les enfants avec autisme. Pour répondre cette question complexe, nous avons rassemblé des compétences pluridisciplinaires (éthologie, psychologie, pédopsychiatrie) et utilisé leurs méthodologies: évaluation clinique, questionnaire, observation en condition habituelle et expérimentation. Nous avons aussi étudié un groupe contrôle d'enfants typiques pour une approche comparative. Nos résultats montrent que les enfants avec autisme sont sensibles à leur environnement social, leur développement langagier étant lié au niveau d'éducation de leurs parents. De plus, les animaux familiers pourraient être des partenaires "sociaux". Les interactions entre les enfants avec autisme et leurs animaux sont diverses, influencées par les caractéristiques des deux partenaires et de leur environnement. L'observation des interactions avec les chiens familiers révèle que les enfants, quelque soit leur diagnostic, ne différent pas dans leurs comportements tournés vers l'animal. Les chiens, quant à eux, semblent moins interagir avec les enfants avec autisme. En parallèle, notre paradigme expérimental, la Strange Animal Situation, a permis l'étude des comportements de l'enfant face à un animal non familier. Il révèle l'existence de profils comportementaux généraux avec une continuité entre les comportements des enfants typiques et avec autisme. Dans cette situation, une partie des enfants avec autisme présente un biais attentionnel vers les êtres humains. Pour finir, nous avons montré un lien entre l'arrivée d'un animal dans une famille et l'amélioration de compétences sociales des enfants avec autisme. Via une approche pluridisciplinaire, cette recherche contribue à la compréhension des relations entre les enfants avec autisme et les animaux de compagnie, tout en donnant des pistes de réflexion pour les interventions assistées par l'animal.

Ces travaux portent sur l'intégration du processus de fabrication des poches en CFAO. Le but est de proposer des trajets d'usinage ne perturbant pas le comportement des machines outils UGV et qui minimisent le temps d'usinage. Deux axes fondamentaux sont abordés. Le premier traite de la modélisation du comprtement mécanique de l'outil et cinématique de la machine via le calcul de la loi de vitesse de l'outil en fonction de la géométrie du trajet. Ces modèles permettent d'extraire des règles géométriques de calcul liées à l'évolution de la courbure et de la continuité des trajets. Ensuite, le second axe concrene l'adaptation géométrique des méthodes de calcul à ces règles, pour contrôler l'engagement radial et la vitesse d'avance de l'outil. Enfin, une méthode d'interpolation continue C2 est proposée. Diverses applications permettent de valider les gains apportés et l'applicabilité de l'approche à des pièces industrielles.

Ces travaux se placent dans le cadre de l'utilisation de la réalité virtuelle pour la conception et le développement de produits. Les revues d'intégration virtuelles utilisées, au niveau industriel, sont actuellement limitées à la revue de projet statique, sans possibilité de modification de la conception initiale. Nous proposons une méthode destinée à la revue de projet virtuelle, dont le but est de permettre à l'utilisateur de modifier le plus naturellement possible la maquette numérique depuis l'environnement virtuel. Cette méthode appelée D3 est basée sur trois étapes : une étape de sélection par dessin, une étape de déformation par manipulation de la zone sélectionnée et une étape de reprise qui permet aux ingénieurs de reprendre les modifications. Afin que la méthode soit un support de communication, elle se doit d'être simple, intuitive et utilisable par tous. Une expérimentation a été menée dans le but d'évaluer la méthode au niveau de la facilité d'apprentissage et des erreurs commises par les sujets lors d'une tâche de modification. Enfin, dans le but de faciliter le travail de reprise, cette méthode offre plusieurs moyens permettant aux ingénieurs de répliquer les modifications sur la maquette CAO.

L'évaluation génétique de reproducteurs dans les espèces d'intérêt agronomique repose depuis des années sur un modèle polygénique. Ce modèle utilise exclusivement l'information des généalogies et des phénotypes. La disponibilité de marqueurs moléculaires permettant de suivre les gènes influençant les performances, a ouvert la voie à une amélioration des évaluations. Différents modèles d'intégration de l'information moléculaire sont décrits dans la littérature, s'adaptant à l'état des connaissances et aux informations moléculaires disponibles. Ainsi, les gènes peuvent être parfaitement identifiés et l'effet de leurs allèles connu ; plus fréquemment, les gènes ne sont pas identifiés mais localisés dans une région chromosomique dite QTL, grossièrement ou finement. Une évaluation des reproducteurs intégrant des informations moléculaires a été mise en place en 2001 pour l'ensemble des trois principales races bovines laitières françaises et cette thèse présente d'abord un premier bilan de la qualité de ces évaluations, à partir de travaux de simulation et de données réelles. Ce travail présente dans un second temps les résultats obtenus dans le cadre d'un projet de cartographie fine de QTL à l'aide de marqueurs SNP à haut débit. La meilleure localisation des QTL et leur meilleur suivi permettant une évolution des modèles d'évaluation, les gains de fiabilité ainsi permis sont présentés dans une troisième partie avant de conclure sur les répercussions de ces nouvelles technologies en sélection.

Ce travail de thèse s'insère dans le cadre plus général du développement par le Centre Scientifique et Technique du Bâtiment d'un Environnement de Simulation Intelligent destiné à faciliter l'accès aux logiciels de calculs scientifiques dans le secteur Bâtiment. Il s'agit d'un programme pluriannuel de recherches dont les objectifs sont de mettre à la disposition des professionnels de nouveaux outils d'aide à la conception et d'aide à l'analyse des systèmes "Bâtiments", basés sur la simulation numérique suivant divers points de vue (thermique, acoustique, structure, etc.). Le présent travail de recherche s'articule donc avec d'autres travaux menés en parallèle sur le même thème. Dans ce contexte, les objectifs fixés sont de trois ordres : - contribuer à la définition des spécifications de l'environnement de simulation générique notamment en analysant le processus de modélisation/simulation et en proposant des solutions pour la réalisation du dialogue Homme/machine ; - réaliser une application concrète que l'on peut considérer comme une phase expérimentale de mise en oeuvre des concepts développés ; cette application est réalisée autour du logiciel de calculs thermiques TRNSYS ; - définir, pour de tels environnements, les possibilités d'utilisation des systèmes à bases de connaissances (buts et moyens, évaluation de la pertinence des solutions). Après une première partie consacrée aux réflexions conceptuelles générales menées sur la base d'une analyse bibliographique et aux analyses nécessaires à la réalisation de l'application, la seconde partie du travail est consacrée à l'application proprement dite ; un environnement dénommé IISIBât (Interface Intelligente pour la Simulation dans le Bâtiment) est développé suivant les concepts précédemment définis ; dans une première phase, la stratégie de développement d'une telle interface est précisée ; le processus de conception est fondé sur la mise en oeuvre séquentielle de quatre modèles : les modèles cognitif, conceptuel, structurel et perceptif. Le modèle cognitif met en évidence les tâches que l'utilisateur est amené à réaliser dans le cadre d'un outil de simulation ; le processus de modélisation/simulation est décortiqué en ses diverses étapes ; ce travail permet de définir une interface homme/machine possible (et en particulier les outils nécessaires) spécialisée pour ce type de process. Le modèle conceptuel identifie les objets génériques sur lesquels se fonde l'interface, les fonctions rattachées à ces objets, et la représentation graphique de ces objets. Le modèle structurel s'intéresse à l'implémentation proprement dite. Le modèle perceptif représente la façon dont l'utilisateur perçoit le système final ; ce modèle conduit à une analyse critique des choix effectués et à la proposition d'améliorations. Au final, l'application réalisée (IISIBât- TRNSYS) permet de juger de la pertinence des concepts développés tant du point de vue du fond que des méthodes utilisées ; ainsi, l'intérêt de l'application développée pour des utilisateurs "développeurs de modèles" ou "créateurs de projets" a pu être démontré ; par ailleurs, il s'est avéré que cette application ne possédait pas toutes les fonctionnalités nécessaires à une utilisation efficace par des utilisateurs terminaux (analystes de systèmes) ; pour combler ces manques, il faut rajouter à l'interface des mécanismes de raisonnement. La dernière partie de ce travail s'intéresse à l'introduction au sein de l'application interactive de mécanismes de raisonnement faisant appel à des bases de connaissances.

Dans le contexte général des thérapies minimalement invasives, les travaux de cette thèse portent sur le planning d'une thérapie interstitielle de tumeurs du foie par ultrasons haute intensité. Dans un premier temps, une caractérisation des structures anatomiques hépatiques à partir de données scanner X est proposée selon deux méthodes de segmentation basée sur le graph cut : l'une semi-interactive et rapide pour extraire le foie et les éventuelles tumeurs ; et l'autre automatique et spécifique à la segmentation de la vascularisation hépatique par l'introduction d'un a priori local de forme estimé à partir de moments géométriques 3D. La seconde partie de cette étude est consacrée à la modélisation des effets de la thérapie sur les tissus. Le modèle proposé offre la possibilité de simuler différents types de sonde composée d'une matrice d'éléments contrôlables en phase et intensité. La description de la vascularisation locale dans le milieu peut également être intégrée dans le modèle. Les travaux et résultats obtenus portent sur trois aspects et/ou applications de ce modèle : 1) une méthode pour accélérer la résolution de la BHTE sous certaines hypothèses, 2) des résultats préliminaires de modélisation d'une sonde 64 éléments à focalisation dynamique et 3) le design géométrique d'une sonde endocavitaire 256 éléments.