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

Il existe aujourd'hui de nombreux procédés de soudage répondant à la très grande variété d'assemblage à réaliser et aux caractéristiques des métaux utilisés. Le premier chapitre décrit les différentes sources d'énergie utilisées en soudage. Suite à cela, une explication plus détaillée du soudage à l'arc électrique est donnée. Enfin nous présentons la conception d'une plateforme d'essai de soudage.<br />Il est possible, bien sûr, d'utiliser une approche empirique pour optimiser un procédé. Néanmoins il y a des avantages à choisir une approche analytique puisqu'on peut en attendre des avancées significatives dans la compréhension des interactions dynamiques présentes dans l'arc. C'est pourquoi nous présentons dans le chapitre 2 les connaissances théoriques de la physique quant au comportement du métal liquide transféré en soudage MIG/MAG.<br />Ce travail comporte donc également un aspect expérimental nécessaire à l'élaboration des bases de données utilisées pour la construction des modèles. Les différents enregistrements ont été effectués au CTAS sur une plate forme équipée d'un système d'acquisition de données pour les mesures de tension, courant, vitesse fil et d'un système de vidéo rapide. Le chapitre 3 présente notre recherche d'une méthode de segmentation permettant d'obtenir le suivi de variables pertinentes. Nous y proposons un capteur logiciel basé sur la théorie des contours actifs et montrons de bons résultats obtenus sur des vidéos expérimentales.<br />Une étape d'ajustement de certains paramètres est indispensable. Elle est donnée dans le chapitre 4. Le simulateur créé permet d'interpréter certains phénomènes importants en soudage, de réaliser une étude de sensibilité « sans risque » et de donner les signatures théoriques de défauts.

Discussion des termes clés des langages de description; nécessité d'une sémantique matérielle. Le langage IRENE sert à la description comportemental et structurelle des circuits intégrés VLSI. Principes du simulateur fonctionnel du langage IRENE, des outils de synthèse KARENE et MACSIM et d'une interface avec le compilateur de silicium SYCO. KASRENE assure l'intégration des langages IRENE et KARL. Solution basée sur une organisation centrée objet de la base de données d'un système de conception assistée de VLSI

Les travaux effectués au cours de cette thèse s'inscrivent dans le cadre des projets de plateformes d'imagerie métabolique et fonctionnelle consacrées au petit animal. Ils ont mené à la réalisation d'un simulateur Monte Carlo (GePEToS), développé sous GEANT 4 et dédié aux systèmes TEP. GePEToS a été validé sur données réelles et publiées d'une ECAT EXACT HR+ suivant le protocole NEMA. Les fonctions d'un tel simulateur sont de pouvoir produire des données TEP pour le test d'algorithmes de reconstruction d'image et permettre également l'exploration de nouvelles configurations de détecteurs.<br> D'autre part, cette thèse a porté sur la conception d'un TEP au xénon liquide pour l'imagerie du petit animal (µTEP). La partie instrumentale a démarré par une approche conceptuelle d'un détecteur au xénon liquide. Une simulation Monte Carlo complète a permis de définir et caractériser les performances d'un futur µTEP composé de 16 modules de détection disposés en couronne autour de l'animal. L'originalité de ce détecteur réside dans sa capacité à pouvoir fournir la profondeur d'interaction pour chaque particule détectée, ce qui reste encore inaccessible pour l'ensemble des détecteurs TEP actuels. Une partie importante de R&D a consisté à développer et mettre en œuvre la cryogénie du xénon liquide ainsi qu'à définir le système de détection de lumière UV de scintillation du xénon (Lambda = 178 nm). Un module prototype a été réalisé et mis en situation de détection de photons gamma d'annihilation.

Au cours de ce travail de doctorat, j'ai participé au montage complet d'une expérience visant à refroidir et manipuler deux espèces atomiques alcalines fermioniques, 6Li et 40K. Le dispositif expérimental a pour objectifs l'étude des mélanges de fermions ultra-froids de masses différentes et la réalisation d'un simulateur analogique quantique flexible. En effet, là où certains problèmes quantiques à N corps en interaction, comme la supraconductivité à haute température critique ou l'antiferromagnétisme frustré, sont difficiles à aborder analytiquement et numériquement, les atomes froids, systèmes purs et contrôlables jusque dans leur interaction, offrent un point de vue complémentaire intéressant. Lors de la conception du dispositif expérimental, nous avons assemblé une enceinte à ultra-vide, réalisé un système laser stabilisé complet pour chaque espèce et mis en place deux sources atomiques performantes, un ralentisseur Zeeman de 6Li et un piège magnéto-optique bidimensionnel de 40K; la plupart des grandeurs optiques et électriques ainsi que les diagnostiques d'imagerie étant contrôlés par voie informatique. Ces premières étapes ont permis l'obtention d'un piège magnéto-optique à deux espèces performant, contenant typiquement 5x10^9 atomes de 6Li et 8x10^9 atomes de 40K. Dans cette configuration, nous avons produit les premières molécules hétéronucléaires de 6Li40K* par photoassociation, pour lesquelles nous avons observé et identifié 70 raies rovibrationnelles. Dans une seconde partie, je décris en détail le transport magnétique du mélange atomique entre la cellule du piège magnéto-optique et une cellule d'expérience, où règne un vide poussé et bénéficiant d'un grand accès optique. Ce dispositif complet, de sa conception à son optimisation expérimentale, en passant par son assemblage mécanique et la mise en place du programme de contrôle et des diagnostiques numériques, constitue le coeur de mon travail. Son efficacité a pu être testée et optimisée, permettant ainsi un transfert performant du mélange vers la cellule finale. Aussi, à l'issue de cette thèse, tous les outils sont opérationnels pour poursuivre le refroidissement du mélange par évaporation dans un piège magnétique, et par conséquent le champ est ouvert pour la simulation quantique et la compréhension de problèmes à N corps dans les mélanges de gaz de Fermi ultra-froids.

Nous proposons dans cette thèse, différents outils de réglage de tension et de gestion de la puissance réactive en fonction des conditions de raccordement des éoliennes au réseau électrique. Trois cas figure sont étudiés : raccordement direct sur un poste source de distribution, raccordement des éoliennes réparties dans un réseau de distribution et raccordement d'un ensemble de parcs éoliens au réseau de transport.Un algorithme de réglage basé sur l'asservissement de la puissance réactive est proposé pour le raccordement direct d'un parc sur un poste source. Un réglage coordonné de tension en présence de régleur en charge est proposé (D-RCT) pour le raccordement des éoliennes reparties dans un réseau de distribution. On propose aussi une version plus décentralisée du réglage coordonné (D2-RCT) qui pourrait être implantée sous forme de système multi-agents intelligents (SMA). Un system de control multi-niveaux est proposé pour le raccordement d'un ensemble de parcs éoliens au réseau de transport. Il permet de répondre de manière optimale à une demande puissance réactive envoyée par le gestionnaire du réseau de transport. Les différents types de réglages proposés sont basés sur des algorithmes d'optimisation multi-objectifs. Afin de valider en temps réel le bon fonctionnement des stratégies de réglages développées ainsi que leurs modes de communication, une implantation expérimentale sous simulateur temps réel RT-Lab a été effectuée. Enfin, les résultats des simulations montrent l'amélioration de l'intégration de la production décentralisée dans les réseaux électriques

La consommation de cannabis et la conduite sous l’influence du cannabis sont des préoccupations grandissantes dans la société d’aujourd’hui. Le but de la présente étude est d’examiner plus en profondeur la relation entre la fréquence de consommation de cannabis chez les jeunes adultes et la prise de risque sur la route. Les participants (n=48) sont tous des hommes âgés de 18 à 26 ans. Ils ont complété une batterie de questionnaires ainsi qu’une tâche sur simulateur de conduite. Les résultats indiquent que la fréquence de consommation de cannabis est associée positivement avec la prise de risque auto rapportée et suggèrent une tendance positive avec les comportements risqués observés lors de la simulation de conduite en laboratoire. Lorsque les différents groupes de consommateurs sont comparés, ceux qui font un usage quotidien ou multihebdomadaire de cannabis semblent prendre plus de risques au volant que ceux qui consomment une fois semaine et moins ou encore une fois par mois et moins. De plus, il semble que plus les individus consomment fréquemment de la marijuana, plus ils ont tendance à adopter des attitudes permissives en lien avec la conduite sous l’influence de cannabis. Les implications quant à l’intervention sont discutées. / Cannabis use and driving under the influence of cannabis have become a growing concern in today’s society. The aim of the present study was to further examine the relationship between the use frequency of cannabis among young adults and on-road risk taking. Participants (n=48) were all men aged between 18 and 26 years old who were asked to complete questionnaires and to perform in a simulation task. Results indicate that the use frequency of cannabis is positively associated with self-report of risky driving and suggest a trend with observed risk taking behaviour during the simulation. When comparing the different cannabis users, participants who consumed daily or multiple times a week seem to take more risk on the road than those who use cannabis once a week or less and less than monthly. Moreover, it seems that marijuana users who consume more frequently have a tendency of adopting more permissive attitudes toward smoking cannabis and taking the wheel. Implications for interventions are discussed.

La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation et la simulation. Habituellement, des simulateurs sont reliés et synchronisés en employant un bus de co-simulation. Les approches courantes ont beaucoup d’inconvénients : elles ne sont pas toujours adaptées aux environnements distribués, le temps d’exécution de simulation peut être très décevant, et chaque simulateur a son propre noyau de simulation. Nous proposons une nouvelle approche qui consiste au développement d’un simulateur compilé multi-langage où chaque modèle peut être décrit en employant différents langages de modélisation tel que SystemC, ESyS.Net ou autres. Chaque modèle contient généralement des modules et des moyens de communications entre eux. Les modules décrivent des fonctionnalités propres à un système souhaité. Leur description est réalisée en utilisant la programmation orientée objet et peut être décrite en utilisant une syntaxe que l’utilisateur aura choisie. Nous proposons ainsi une séparation entre le langage de modélisation et la simulation. Les modèles sont transformés en une même représentation interne qui pourrait être vue comme ensemble d’objets. Notre environnement compile les objets internes en produisant un code unifié au lieu d’utiliser plusieurs langages de modélisation qui ajoutent beaucoup de mécanismes de communications et des informations supplémentaires. Les optimisations peuvent inclure différents mécanismes tels que le regroupement des processus en un seul processus séquentiel tout en respectant la sémantique des modèles. Nous utiliserons deux niveaux d’abstraction soit le « register transfer level » (RTL) et le « transaction level modeling » (TLM). Le RTL permet une modélisation à bas niveau d’abstraction et la communication entre les modules se fait à l’aide de signaux et des signalisations. Le TLM est une modélisation d’une communication transactionnelle à un plus haut niveau d’abstraction. Notre objectif est de supporter ces deux types de simulation, mais en laissant à l’usager le choix du langage de modélisation. De même, nous proposons d’utiliser un seul noyau au lieu de plusieurs et d’enlever le bus de co-simulation pour accélérer le temps de simulation. / The design of heterogeneous systems requires two main steps, modeling and simulation. Usually, simulators are connected and synchronized by using a cosimulation bus. These current approaches have many disadvantages: they are not always adapted to the distributed environments, the execution time can be very disappointing, and each simulator has its own core of simulation. We propose a new approach which consists in developing a multi-language compiled simulator where each model can be described by employing various modeling languages such as SystemC, ESyS.Net or others. Each model contains modules and communication links between them. These modules describe functionalities for a desired system. Their description is realized by using the programming object and can be described by using a syntax that a user will have chosen. We thus propose a separation between the language of modeling and simulation. The models are transformed into the same internal representation which could be seen like unique objects. Our environment compiles these internal objects by producing a unified code instead of using several languages of modeling which add many mechanisms of communications and extra informations. Optimizations can include various mechanisms such as merging processes into only one sequential process while respecting the semantics of the models. We will use two abstraction levels, the “register transfer level”(RTL) and the “transaction-level modeling”(TLM). RTL allows a low level abstraction for modeling and the communication between the modules is done with signals. The TLM is a modeling for transactional communication with a higher abstraction level than RTL. Our aim is to support these two types of simulation, but the user can choose the language of modeling. In the same way, we propose to use a single core and to remove the cosimulation bus to accelerate the simulation time.

Les travaux de recherche développés dans le cadre de cette thèse traitent d'une manière générale du problème de la commande dynamique ''orientée tâche'' de systèmes sous-actionnés et redondants en considérant plus spécifiquement les systèmes robotiques humanoïdes. Nous avons cherché à apporter des contributions au problème de la ''synthèse par la commande d'activités motrices'' pour des systèmes contraints par leurs capacités intrinsèques et par leurs interactions. Les problèmes plus spécifiques qui ont été traités sont relatifs à : 1) la commande dynamique des systèmes humanoïdes pour la réalisation d'activités motrices nécessitant la coordination tâche/posture perturbées par des interactions physiques, 2) l'enchaînement dynamique continu des activités d'un répertoire de coordinations motrices, 3) la planification et l'adaptation des activités élémentaires dans l'objectif d'un enchaînement automatique supervisé pour la réalisation de tâches complexes dans des contextes non déterministes. Le premier chapitre de ce mémoire de thèse est consacré à la description d'un moteur de simulation physique et de lois de commande pour le développement de comportements dynamiques. Le deuxième chapitre propose une commande générique fondée sur la réalisation de plusieurs tâches sous contraintes. Le troisième chapitre développe une implémentation de ce contrôleur générique sur des activités types au travers du modèle virtuel du robot iCub. Le quatrième chapitre développe un contrôleur haut-niveau permettant de planifier et d'adapter une séquence pour la matérialisation d'activités plus complexes, tout en garantissant la continuité de la commande.

La spectrométrie gamma à haute résolution offre un outil d'analyse performant pour effectuer des mesurages environnementaux. Dans le cadre de la caractérisation radiologique d'un site (naturelle ou artificielle) ainsi que pour le démantèlement d'installations nucléaires, la cartographie des radionucléides est un atout important. Le principe consiste à déplacer un spectromètre HPGe sur le site à étudier et, à partir des données nucléaires et de positionnements, d'identifier, de localiser et de quantifier les radionucléides présents dans le sol. Le développement de cet outil fait suite à une intercomparaison où un exercice orienté intervention a montré les limites des outils actuels. Une partie de ce travail s'est portée sur la représentation cartographique des données nucléaires. La connaissance des paramètres d'un spectre in situ a permis la création d'un simulateur modélisant la réponse d'un spectromètre se déplaçant au-dessus d'un sol contaminé. Ce simulateur a lui-même permis de développer les algorithmes de cartographie et de les tester dans des situations extrêmes et non réalisables. Ainsi, ce travail ouvre sur la réalisation d'un prototype viable donnant en temps réel les informations nécessaires sur l'identité et la position possible des radionucléides. La recherche réalisée sur la déconvolution des données permet de rendre en post traitement une carte de l'activité du sol par radionucléide mais également une indication sur la profondeur de la source. Le prototype nommé OSCAR (Outil Spectrométrique de Cartographie de Radionucléides) a ainsi été testé sur des sites contaminés (Suisse et Japon) et les résultats obtenus sont en accord avec des mesures de référence.