Ce travail porte sur l'étude d'antennes agiles en directivité et polarisation, et de leurs circuits d'alimentation. Cette agilité est obtenue au moyen de différents éléments actifs dont les propriétés sont mises à profit pour modifier le fonctionnement électromagnétique des antennes. Des composants semi-conducteurs classiques comme les diodes PIN ou les varactors sont ainsi reportés sur des circuits d'alimentation des antennes selon les techniques MIC (microwave integrated circuit). Une architecture innovante de coupleur reconfigurable à base de varactors est proposée, étudiée et théorisée. Ce coupleur hybride est associé à une antenne à double alimentation orthogonale. Le système complet permet une reconfiguration de la polarisation de l'onde rayonnée par l'antenne, allant d'une polarisation parfaitement linéaire à une polarisation circulaire. Les mesures de cette antenne montrent un rapport axial pour la polarisation circulaire de 0,8dB. Une seconde application proposée permet de réaliser électroniquement une variation sur un angle de 90° de la direction de polarisation d'une antenne. Les mesures montrent qu'une polarisation linéaire de qualité est conservée tout au long de la rotation. Dans une troisième étude, une antenne microruban est associée à deux éléments parasites sur un même substrat. En modifiant la réactance de charge des deux éléments parasites, une reconfiguration du diagramme de rayonnement de l'antenne est observée. Enfin, différentes solutions sont proposées pour alimenter un réseau linéaire. Une première solution utilisant deux coupleurs hybrides en mode réflexion et des diodes PIN permet de réduire le nombre de composants nécessaires à la conception. Un second déphaseur basé sur le coupleur reconfigurable et la méthode de la sommation des vecteurs en quadrature est étudiée. Ce déphaseur est associé à un réseau de deux antennes pour modifier l'angle de focalisation du réseau. Enfin, une solution totalement intégrée sur Silicium haute résistivité à 60 GHz utilisant des composants microsystèmes est étudiée et réalisée grâce au procédé micro-électronique de la société MEMScap. Les déphaseurs utilisent la technique des lignes commutées. Des commutateurs MEMS de type série et parallèles sont conçus, simulés et réalisés. Le système final occupe une place de 0,5*1mm².

La mécatronique est l'intégration de différentes sciences et techniques de la mécanique, de l'automatique, de l'électronique et de l'informatique. L'évolution rapide des marchés concurrents exige la diminution du temps de développement d'un produit tout en augmentant la qualité et la performance du système. Il est donc nécessaire d'augmenter l'efficacité du processus de conception. Pour répondre à cette nécessité, en complément des outils d'analyse, la simulation, et spécialement le prototypage virtuel, est devenu l'une des clés technologiques. Il est difficile de trouver des outils de simulation capables d'analyser des systèmes pluridisciplinaires dépendants de différents domaines. Pourtant, un environnement qui permet une simulation intégrée multidisciplinaire de systèmes mécatroniques est nécessaire pour une évaluation fonctionnelle plus précise de la conception du produit et pour améliorer la qualité et l'efficacité de cette conception. La présente contribution décrit une méthode de conception et de simulation des systèmes mécatroniques. On identifie d'abord le modèle de comportement et le modèle géométrique 3D associé. Ensuite, le modèle de comportement est vu comme un système dynamique hybride formé de deux automates hybrides couplés (Partie Opérative, Partie Commande). Nous présentons ensuite les simulateurs OpenMASK, OpenModelica, le standard IEEE1516 HLA et les travaux reliés à cette architecture de simulation distribuée. Dans une démarche descendante, nous présentons ensuite notre approche et notre expérimentation pour intégrer les fonctionnalités de HLA dans ces simulateurs, pour distribuer les éléments de modélisation de systèmes mécatroniques de haut niveau et enfin pour compléter Modelica sur le formalisme des automates hybrides qui nous est indispensable. Nous proposons des extensions pour intégrer le temps réel en vue de simulations interactives. Nous appliquons enfin cette approche sur les simulateurs cités en utilisant le bus HLA CERTI sous un environnement Linux à partir d'un exemple représentatif d'un système mécatronique

Cette thèse est consacrée au calcul des états atteignables des systèmes linéaires et hybrides. La première partie est consacrée aux systèmes linéaires. Après avoir présenté les méthodes existantes, nous introduisons notre principale contribution: un nouveau schéma algorithmique pour l'analyse d'accessibilité des systèmes linéaires invariants qui surclasse nettement les algorithmes existants. Une implémentation exacte peut produire des ensembles difficiles à manipuler, nous proposons donc une version produisant une sur-approximation non soumise à l'effet d'emballage, une accumulation incontrôlée des erreurs d'approximation, ainsi qu'une variante dédiée aux fonctions support, une représentation fonctionnelle des ensembles convexes. La deuxième partie adapte ces résultats aux systèmes hybrides. Nous montrons d'abord comment gérer les invariants, avant de nous intéresser à l'approximation de l'intersection entre l'ensemble atteignable par la dynamique continue et des gardes hyperplanaires.

Le développement des convertisseurs haute tension pour les applications de traction ou de distribution électrique nécessite de travailler à la fois sur la réalisation de transistors IGBT à plus forts calibres en tension et sur leur association en série. L'objectif est d'obtenir des systèmes fiables et compacts, aspects critiques dans les applications embarquées par exemple. L'étude s'intéresse à la mise en série. Son originalité repose sur une évaluation d'une large palette de solutions avec un objectif d'intégration hybride élevée. Cette intégration génère d'importantes contraintes, que ce soit électrique ou thermique, entre autres, au sein des boîtiers. Les valeurs de ces contraintes et leur degré de couplage ont été étudiés. Le travail a été mené à l'aide de simulations éléments finis couplées à des mesures ceci afin de servir de base à une aide à la conception intelligente de boîtiers dans le futur.

La neurofibromatose de type 1 est une maladie génétique fréquente puisqu'elle touche 1 individu sur 3500. Le gène responsable de la maladie a été identifié et code pour une protéine, la neurofibromine (Nf1), exprimée de manière ubiquitaire mais plus abondamment dans les neurones, les astrocytes, les cellules de Schwann et les oligodendrocytes. Il est un enjeu de taille de comprendre la régulation de cette protéine. Une étude modèle a été développée chez la levure afin de caractériser les bases moléculaires de l'interaction entre l'homologue de Nf1, Ira2p, et une protéine qui l'inhibe, Tfs1p. Cette étude a permis d'identifier les régions de Tfs1p importantes pour l'interaction à savoir l'extrémité N-terminale, la cavité de surface, ainsi qu'une région électropositive contenant ces deux déterminants. Nous nous sommes intéressés ensuite au rôle physiologique de Tfs1p dans les cellules. Des études systématiques ont suggéré un rôle prédominant de l'inhibition d'Ira2p dans des conditions de surproduction de Tfs1p. Ce rôle a été précisé et nous avons montré que Tfs1p participait, via cette inhibition, à la boucle de rétrocontrôle négatif de la réponse au stress. Sur la base de cette étude, nous avons cherché à savoir si l'interaction Ira2p/Tfs1p était conservée chez l'homme entre Nf1 et RKIP, homologue de Tfs1p. Nous avons en parallèle développé un crible double hybride sur Nf1 dans une banque d'ADNc de cerveau humain afin de mettre en évidence de nouveaux régulateurs de ses fonctions. 1464 candidats positifs ont été isolés. Actuellement, sur 8% de candidats identifiés 3 partenaires intéressants ont déjà pu être mis en évidence.

La tyrosine hydroxylase (TH) est l'enzyme clé de la biosynthèse des catécholamines, classe fondamentale de neurotransmetteurs regroupant la dopamine, la noradrénaline et l'adrénaline. Une expression atypique des catécholamines pourrait conduire à de nombreuses complications neuropsychiatriques. L'étude des facteurs qui régulent le gène de la TH est donc déterminante.<br /><br />Ce travail a pour objectif l'isolement de facteurs de transcription potentiellement impliqués dans l'expression cellulaire restreinte du gène TH de rat. Dans ce but, nous avons développé une stratégie de simple-hybride dans la levure en utilisant la boîte E et les sites octamérique/heptamérique du promoteur TH comme cibles. Deux banques d'ADN complémentaire différentes ont été criblées, issues respectivement de cerveau de rat adulte et de mésencéphale embryonnaire. Ces criblages ont conduit à l'identification de 3 facteurs de transcription candidats : rITF2, un facteur bHLH ubiquitaire déjà décrit pour son aptitude à interagir avec la boîte E du promoteur TH, Lhx9, une protéine LIM à homéodomaine, et ZENON, une nouvelle protéine à doigts de zinc spécifiquement exprimée dans les neurones. La caractérisation de ces 3 facteurs a révélé des propriétés tout à fait intéressantes. Ils sont capables d'interagir spécifiquement avec le promoteur TH, et modulent la transcription du gène TH dans des lignées cellulaires. Leurs patrons d'expression sont complexes et s'inscrivent dans une dynamique développementale très particulière, mais ne sont pas spécifiques du système catécholaminergique. Pour comprendre le rôle de ces facteurs dans l'expression cellulaire restreinte de la TH, nous avons mené une étude de transgenèse des sites cibles utilisés en simple-hybride. La boîte E joue un rôle subtil dans le système catécholaminergique périphérique, illustrant la complexité des mécanismes conduisant à l'expression cellulaire restreinte de la TH. <br /><br />Ce travail souligne les difficultés rencontrées pour isoler des facteurs de transcription impliqués dans des processus d'expression cellulaire restreinte et définit une nouvelle famille de protéines à doigts de zinc, dont ZENON, le premier membre, semble lié au phénotype neuronal. L'identification et l'étude d'autres protéines appartenant à cette famille pourraient donc s'avérer capitales pour la compréhension des mécanismes impliqués dans la mise en place et le maintien des caractères neuronaux au cours du développement.

Depuis l'invention du scanner, les détecteurs à intégration de charges sont largement employés pour les applications d'imagerie biomédicale utilisant des rayons X. Néanmoins, des alternatives existent. Les développements réalisés en instrumentation pour les expériences en physique des hautes énergies ont permis l'émergence d'une nouvelle technologie de détection directe à base de semiconducteur. Cette nouvelle technologie, appelée détecteur à pixels hybrides, fonctionne en mode comptage de photons et permet de sélectionner l'énergie minimum des photons comptés. Le groupe imXgam du CPPM développe le démonstrateur PIXSCAN, un tomodensitomètre à rayons X basé sur le détecteur à pixels hybrides XPAD. L'objectif de ce développement est d'évaluer l'impact de la technologie à pixels hybrides sur la qualité des images et sur la dose délivrée lors d'examens tomodensitométriques du petit animal. Suite à un premier prototype de détecteur à pixels hybrides XPAD1 démontrant la faisabilité du projet, un imageur complet XPAD2 a été conçu et intégré dans le démonstrateur PIXSCAN. Depuis, avec l'évolution de l'industrie de la microélectronique, des améliorations notables ont été envisageables. Pour réduire la taille des pixels et améliorer la précision en énergie des détecteurs, une troisième version XPAD3 a été développée et sera prochainement intégrée dans un démonstrateur PIXSCAN de deuxième génération. Dans ce projet, mon travail de thèse a porté sur une participation à la conception des électroniques de lecture des détecteurs, la caractérisation des circuits et des détecteurs à pixels hybrides ainsi que sur la définition d'une architecture d'autocalibration des pixels en énergie.

Ces dernières années ont vu le marché automobile évoluer de manière importante, chahuté par un ensemble de contraintes géopolitiques et environnementales nouvelles, dont la principale est la nécessité de réduire les émissions de gaz à effet de serre. Une des solutions à moyen terme les plus prometteuses pour répondre à ce problème est l'hybridation des groupes moto-propulseurs. La complexification des transmissions alors engendrée pose des problèmes de contrôle dont les points clés sont : la rapidité des suivis du couple à la roue, du régime moteur et de la tension de l'élément de stockage dans un cadre multivariable, le découplage de ces suivis et la robustesse de la loi de commande face à un certain nombre de perturbations identifiées et aux non-linéarités. Un outil moderne répond à ces attentes, en proposant une approche fréquentielle, qui permet donc la traduction d'un cahier des charges précis : la synthèse H1. Dans cette thèse, nous poserons tout d'abord le contexte du marché automobile actuel, et nous déterminerons un modèle générique pour un ensemble de transmissions hybrides. Deux axes seront alors étudiés indépendamment. D'une part, nous présenterons une structure de loi de commande avantageuse reprenant l'approche moteur / boîte de vitesse que l'on retrouve dans un véhicule classique. D'autre part, nous mettrons en relief le fait que le système, bien que non linéaire, peut être abordé dans le cadre des systèmes linéaires à paramètres variants (LPV). Deux approches sont alors possibles : synthétiser un correcteur linéaire invariant, ou un correcteur également LPV. Pour faire ce choix nous mettrons en place plusieurs outils d'analyse, adaptés au cadre LPV, et réaliserons des simulations significatives. Dans le but d'implanter la loi de commande choisie dans un véhicule d'essais, une architecture logicielle sera alors définie, assurant la discrétisation et la bonne initialisation du correcteur. Les résultats obtenus sur prototype montrent que les outils utilisés sont bien adaptés aux transmissions hybrides, et qu'ils permettent un réglage fin des objectifs du cahier des charges.

Les travaux de recherche de ce mémoire porte sur l'étude d'une classe particulière de systèmes dynamiques hybrides (s.d.h.) à commutations autonomes, ces dernières étant engendrées par un phénomène d'hystérésis. Plus particulièrement, après avoir introduit le système mathématique étudié, une analyse de cette classe de s.d.h. est réalisée avec notamment une étude des cycles li- mites (équations qui les déterminent, stabilité, conditions d'existence) et des phénomènes de bifurcations (noeud selle, doublement de période). L'existence de propriétés caractéristiques des systèmes chaotiques comme la sensibilité aux conditions initiales est également mise en avant de façon graphique et calculatoire (exposants de Lyapunov). Enfin, une partie optimisation paramétrique a aussi été traitée dans le but d'améliorer certaines performances du système. Tous ces résultats théoriques sont appliqués à un système thermique (thermostat à résistance d'anticipation) et à un système électronique (convertisseur statique) à l'aide du calcul formel (Maple), de l'analyse par intervalles (Proj2D) et de simulations numériques (Matlab).

Les systèmes hybrides sont des systèmes qui combinent des composantes discrètes et des composantes continues. Les composantes continues peuvent représenter un environnement physique obéissant à des règles de changement continu, par contre les composantes discrètes peuvent représenter des contrôleurs discrets qui sondent et manipulent les composantes continues en temps réel. Deux approches peuvent être adoptées pour spécifier ces systèmes, la première étant basée sur des automates (hybrides) et utilise des méthodes d'analyse algorithmiques. La seconde est basée sur les logiques et utilise des preuves formelles comme méthodes d'analyse. Dans une première partie de cette thèse nous considérons l'approche basée sur les automates. Nous étudions la décidabilité du problème de la vérification pour certaines classes de systèmes hybrides linéaires. Nous prenons comme modèles des automates hybrides linéaires avec des structures de données discrètes non bornées. Nous exhibons différents cas de tels systèmes dont le problème de la vérification est décidable. Dans une seconde partie nous considérons l'approche basée sur les logiques et plus particulièrement celle basée sur le «Calcul de Durées». Nous étudions les relations existantes entre cette approche et la précédente ; nous montrons comment cette liaison permet de mettre en évidence un fragment important du «Calcul de Durées» pour lequel le problème de la vérification est décidable