Cette thèse propose une analyse assistée par ordinateur des espaces imaginaires dans un corpus de littérature de jeunesse. Elle part du constat qu’il existe, dans ce genre littéraire particulier, une dualité dans la construction spatiale. En effet, on y trouve d’une part un espace quotidien (que Tolkien nomme monde primaire), et de l’autre un espace magique (le monde secondaire). Le périple du héros-enfant, qui prend la forme d’un ou de plusieurs aller-retours entre ces deux mondes, le conduit à grandir et à se métamorphoser. En ce sens, l’espace participe à sa transformation. Le parcours du protagoniste est jalonné de lieux et de motifs spatiaux récurrents dans le corpus tels que les maisons, les forêts, les jardins, les souterrains. Plus que de simples éléments de décors, ils apparaissent comme signifiants parce qu’ils traduisent à la fois les étapes nécessaires à la construction du héros et son état d’esprit. Il s’agit, dans cette perspective, de comprendre les enjeux symboliques de ces espaces imaginaires. L’étude de l’organisation des espaces narratifs à partir de données quantitatives montre qu’il existe une dualité entre les deux mondes, renforcée par une série de dichotomies. Malgré cet antagonisme structurel, le héros est capable de passer d’un univers à l’autre. L’analyse des modalités et des moments du passage de la frontière révèle que le monde secondaire est un espace mental et spirituel. En effet, il est à a fois l’espace du rêve, de la mort et du sacré. / This thesis is a computer-aided analysis of a corpus composed of twenty British children’s novels. It is based on the fact that, in this literary genre, space is organized by a structural opposition. Indeed, there is, on one hand, a daily environment (the primary world according to Tolkien) and, on the other hand, a magical space (the secondary world). The hero’s journey leads him to grow up and to metamorphose. In this respect, the narrative space is part of his transformation. The hero’s journey is marked out by a series of recurring places and motifs such as houses, forests, gardens and undergrounds. More than mere settings, they are meaningful because they reflect the protagonist’s state of mind. All these topographical elements are interdependent and constitute the spatial system of the narrative. The aim of this research is to understand what is symbolically at stake regarding imaginary spaces. The study of the spatial organization, based on quantitative data, shows a duality between the two worlds, emphasized by a series of dichotomies. Despite this structural antagonism, the hero is able to pass from one land to the other. Focusing on how and when the crossing of the border is possible reveals that the secondary world is a mental and spiritual space. Indeed, it is at the same time the land of dreams, of death and of the sacred.

Ce travail de thèse porte sur les activités coopératives prenant place entre les conducteurs et les assistances à la conduite. Le cadre théorique traite des processus cognitifs impliqués dans la conduite. Il propose également une classification des différents types d'assistance au contrôle latéral envisageables en fonction des problématiques associées en termes de coopération homme-machine. Trois études expérimentales sont présentées. Les deux premières ont cherché à évaluer l'influence de l'introduction d'avertissements aux sorties de voie dans l'activité de conduite. Les résultats mettent en avant la plus grande efficacité d'un dispositif d'assistance fournissant un indice moteur (subsymbolique) sur le volant, en supplément à l'amélioration du diagnostic de la situation propre à l'avertissement. La troisième étude s'intéresse à l'impact de la délégation du contrôle latéral à un automate sur les comportements des conducteurs. Des modifications dans les prises d'informations visuelles, ainsi que des difficultés de reprise en main en situation d'invalidité du dispositif sont apparues.

La chirurgie mini-invasive limite les incisions et le traumatisme pour le patient. Elle bénéficie de l'assistance robotisée qui améliore précision et confort du geste opératoire. Cependant des difficultés subsistent. Ainsi dans les opérations de pontage des artères coronaires, la localisation et l'identification des artères cibles de l'intervention posent problème. Nous proposons alors de guider le chirurgien en superposant le modèle des artères du patient dans les images endoscopiques intra-opératoires. L'une des contributions de cette thèse consiste à définir une approche basée sur l'analyse de l'intervention et du geste chirurgical: tout d'abord nous nous intéressons à la modélisation statique des artères coronaires à partir de moyens standards d'imagerie. Nous initialisons ensuite le recalage dans les images endoscopiques en calibrant l'endoscope stéréoscopique robotisé et en recalant l'enveloppe externe du patient au bloc opératoire. Nous affinons enfin ce résultat pour tenir compte du déplacement intra-opératoire du coeur et des erreurs successives. Un mécanisme multi-modèles robuste original, basé sur la traduction des indications données par le chirurgien en mesures, permet d'aboutir à la précision nécessaire au guidage. Cet outil novateur de chirurgie assistée par ordinateur est intégré au sein d'une architecture commune expérimentée avec le robot Da Vinci au cours de nombreux tests in-vivo.

Le contexte général de cette thèse se situe dans le domaine de la synthèse RTL (Register Transfer Level). Une spécification initiale en termes de transferts de registres décrite dans un langage de haut niveau (VHDL, Verilog) définit l'ordre des opérations. A partir de cette spécification, le système de synthèse RTL génère une description structurelle fonctionnellement équivalente interconnectant des portes de base et des macro blocs de la cible technologique. Le langage de description considéré ici est le langage VHDL standardisé par le groupe IEEE en 1987. Ce choix est justifié par une étude comparative entre différents langages. Les principales caractéristiques du langage VHDL ainsi que les améliorations apportées par la nouvelle norme de 1992 sont évoquées. Dans une seconde partie, les limitations du langage VHDL pour son utilisation en synthèse et le flot de conception à partir d'une spécification RTL sont présentés. Plusieurs modèles VHDL d'éléments simples et de macro blocs sont décrits pour la synthèse. Le flot général de conception utilisant ces macro blocs est analysé et détaillé pour deux cas pratiques: l'utilisation des générateurs XBLOX de Xilinx et ACTgen d'Actel dans le logiciel de synthèse ASYL+. La dernière partie s'attache plus précisément à la modélisation d'éléments de bibliothèques en vue de leur utilisation en synthèse. Un format de bibliothèque, permettant de décrire tout aussi bien des portes simples que des macro blocs, est défini. Le nouveau format de bibliothèque standard VITAL est analysé ainsi que ses perspectives d'utilisation en simulation et en synthèse. La norme LPM qui définit un ensemble d'éléments standards indépendants de la technologie est également présentée. Cette dernière partie a conduit à la définition d'un nouveau flot de synthèse unifié utilisant les macro blocs et à la mise en place de plusieurs optimisations basées sur la notion de dérivation

Les outils informatiques prennent une place de plus en plus importante dans la conception de circuits VLSI. Les langages de description de matériel constituent l'interface entre ces outils et les utilisateurs. Parmi ceux-ci, il existe un standard qui est VHDL, destiné à la description de systèmes numériques. Actuellement une extension analogique est en cours de normalisation. Les deux premiers chapitres de cette thèse sont consacrés l'un aux langages de description de matériel et à une présentation de VHDL, ainsi que des remarques et analyses à propos de son extension analogique. Le second thème de cette thèse est la mise en évidence de l'importance de la simulation en mode mixte numérique-analogique. Le troisième chapitre présente les principes généraux de la simulation mixte; différentes implémentations de simulateurs mixtes sont présentés. Enfin, le dernier chapitre est consacré à la réalisation d'un simulateur mixte dont la partie numérique est un simulateur VHDL. Cette réalisation repose sur une approche de description qui permet d'utiliser la souplesse de description structurelle de VHDL pour des systèmes analogiques et mixtes

Un des obstacles majeurs pour démarrer une activité dans le domaine des microsystèmes est le fait que des technologies particulières et donc coûteuses sont nécessairement requises. D'autre part, alors que les outils de CAO pour la microélectronique ont acquis un degré de maturité élevé, où toutes les séquences de fabrication sont simulées et le fonctionnement d'un composant ou systèmes peut être complètement prévu, l'art de la modélisation et de la conception des microsystèmes ne fait que débuter. Le développement de la Microélectronique vers la fin des années 70 a été rendu possible par l'utilisation d'outils CAO et par la mise à disposition de fonderies. Sans apports comparables, les Microsystèmes resteraient des curiosités de laboratoire, des prouesses techniques de chercheurs, mais ne deviendraient pas des produits industriels. Ainsi, l'objectif de cette thèse est d'assurer un accès à la technologie des microsystèmes en adaptant des lignes de production industrielles pour la microélectronique, de développer un environnement de conception et de simulation basé sur des outils existants étendus et de définir une architecture générique de microsystèmes

.

Ce travail de thèse propose une méthodologie et des outils pour un environnement d'aide à la conception. L'objectif est le support des outils et méthodes du concepteur durant le processus de conception en considérant la complexité des produits à concevoir et l'imprévisibilité de ce processus. Nous utilisons pour cela le concept de composant logiciels métiers à partir duquel il est possible, par exemple, d'intégrer des logiciels de simulation existants sans programmation, puis de les utiliser dans des services tels que l'optimisation. L'environnement dispose également d'un service de composition visuelle et récursive pour agréger les modèles, ainsi que pour définir et mettre en oeuvre le séquencement du processus de conception. Nous détaillons des applications de l'environnement pour dimensionner un transformateur de tensions triphasées, concevoir un micro-actionneur magnétique ou assister la conception collaborative d'un contacteur électromécanique.

Présentation d'une infrastructure de représentation de connaissances centrée objet, développée pour la conception, la manipulation et le contrôle de l'intégrité des bases de données des environnements de conception assistée par ordinateur. Cette infrastructure intégré des concepts et des techniques développées dans les domaines des bases de données, de l'intelligence artificielle et des langages de programmation, tels que l'héritage de propriétés , l'attachement procédural et l'emploi de mécanismes d'abstraction

Le compilateur de parties opératives Apollon qui est présenté dans cette thèse, génère automatiquement le dessin des masques de parties opératives de circuits VLSI de type microprocesseur à partir d'une description comportementale de niveau transfert de registres constituée d'un ensemble non ordonné d'instructions opératives. Une instruction opérative est formée d'un ensemble d'actions opératives dont le format est prédéfini (transferts - opérations unaires ou binaires et entrées-sorties) devant se dérouler en parallèle en au plus deux cycles opératifs. Un cycle opératif comprend 4 phases qui correspondent aux 4 phases d'exécution d'un transfert entre 2 registres. Apollon est basé sur un modèle dérivé de la partie opérative du MC68000. Ce modèle fournit à la fois: un modèle architectural: la partie opérative est formée d'un ensemble de sous parties opératives alignées à deux bus qui traversent tous les éléments d'une sous partie opérative; un modèle temporel: une opération prend 2 cycles, un transfert un seul; un modèle électrique: les bus sont complémentés et à précharge; un modèle topologique: le plan de masse est basé sur la structure en tranches appelée communément bis slice. Le compilateur génère d'abord l'architecture de la partie opérative, puis les spécification des masques à partir de cette architecture. Pour générer l'architecture de la partie opérative en un temps raisonnable, le compilateur doit recourir à des heuristiques. Pour générer le dessin des masques, le compilateur utilise l'assembleur de silicium Lubrick qui permet d'assembler et de connecter automatiquement les cellules de base des éléments fonctionnels de la partie opérative. Les spécifications des masques sont générées à partir des spécifications des cellules prédéfinies d'une bibliothèque NMOS.