Le mémoire scientifique de l'HDR aborde dans un premier temps les problèmes de commande de systèmes en électronique de puissance et se focalise ensuite sur une nouvelle architecture utilisée pour des applications ferroviaires. Les systèmes en électronique de puissance présentent généralement la particularité de fonctionner en régime de commutation. Dans ce cas, même si le système est constitué par des sous-systèmes linéaires, le comportement global est non linéaire. Les non-linéarités sont de plusieurs natures : valeurs des paramètres dépendant du point de fonctionnement ou présentant des discontinuités ou encore variation de l'ordre du système suivant la phase de fonctionnement. On entend ici, par ordre, le degré de l'équation différentielle décrivant l'évolution dynamique des grandeurs du procédé. Ce fonctionnement en commutation est caractéristique de la plupart des systèmes en électronique de puissance. Ainsi, la commande de ce type de systèmes peut s'avérer relativement complexe, et cette difficulté s'accroît fortement lorsque le nombre d'éléments en commutation augmente (interrupteurs commandés, diodes, etc.). Dès lors il est nécessaire d'aborder le problème de la commande dans un cadre formalisé, d'une part afin de faciliter l'analyse et la synthèse de ce type de systèmes, d'autre part dans le but d'améliorer les performances lorsque leur recherche conduit à des fonctionnements aux limites des éléments composant le procédé. Cette nécessité d'outils méthodologiques est encore confirmée par les orientations actuelles d'implantation numérique des lois de commande. En effet, les progrès technologiques en termes de micro-contrôleurs ou de DSP facilitent l'implantation de lois de commandes plus complexes permettant une meilleure robustesse, éventuellement un gain de performances. Les fréquences de commande utilisées peuvent alors augmenter et se rapprocher de la fréquence de commutation des semi-conducteurs, ou même être synchronisées sur cette dernière. Ainsi certaines méthodes utilisées couramment en électronique de puissance, comme le moyennage par exemple, trouvent leurs limites lorsque la dynamique nécessaire pour satisfaire le cahier des charges se rapproche de la fréquence de commutation des interrupteurs commandés. Ce type de méthodes est souvent utilisé pour la commande de certaines classes de convertisseurs. Dans ce contexte, des modèles trop simples peuvent s'avérer insuffisants sur certaines réalisations, et conduire à des problèmes importants du point de vue de la commande. Cela est vrai en particulier lorsque la variation des paramètres du système (par exemple la charge ou la tension d'alimentation) conduit à des changements de mode de fonctionnement entraînant des variations de modèle non seulement paramétriques mais aussi d'ordre. Les outils de l'Automatique offrent une base méthodologique permettant d'aborder la commande de ce type de système. Une manière de traiter le problème de la modélisation et de la commande de certaines classes de systèmes en électronique de puissance est celle que nous avons utilisée dans les travaux concernant les convertisseurs à double résonance ou encore celle utilisée dans le cadre du projet Katium sur le développement d'un nouveau type de convertisseur multicellulaire pour applications ferroviaires.

L'électronique de puissance prend une place croissante dans le domaine automobile, avec notamment l'apparition de systèmes de motorisation mixte thermique-électrique (véhicules hybrides). Dans cette optique, les outils de conception des convertisseurs basse tension doivent être suffisamment précis pour réduire les phases de prototypage, mais également pour analyser la robustesse d'un convertisseur face aux inévitables dispersions d'une fabrication en grande série.<br>Dans la première partie, nous proposons un modèle de MOSFET valide dans les différentes phases de fonctionnement rencontrées dans un onduleur (commutation du transistor, de sa diode interne, et fonctionnement en avalanche notamment). La nécessité de modélisation du câblage est ensuite démontrée, puis nous présentons la méthode de modélisation, reposant sur l'utilisation du logiciel InCa. <br>La seconde partie de cette thèse, qui repose principalement sur une démarche expérimentale, permet d'identifier les paramètres du modèle de MOSFET puis de valider la modélisation complète du convertisseur vis-à-vis de mesures. Pour cela, nous avons choisi un critère de comparaison très sensible aux erreurs de modélisation : le niveau de pertes du convertisseur. La mesure de ces pertes est effectuée par calorimétrie. <br>Nous en concluons que la modélisation proposée atteint une précision satisfaisante pour pouvoir être exploitée dans une démarche de conception, ce qui fait l'objet de la dernière partie de cette thèse. La simulation est alors utilisée pour étudier l'influence du câblage et de la commande sur les pertes d'un bras d'onduleur, puis pour étudier la répartition du courant entre transistors d'un assemblage en parallèle en tenant compte de leurs dispersions de caractéristiques. Une telle étude ne pourrait que très difficilement être effectuée de façon expérimentale (elle nécessiterait la modification du circuit pour insérer les instruments de mesure), ce qui montre l'intérêt de la conception assistée par ordinateur en tant qu'outil d'analyse.

En adéquation avec l'objectif général de la productique, l'optimisation du triptyque qualité, coût, délai, nous proposons ici une modélisation des dysfonctionnements dans le processus de prise de décision. Pour cela, nous considérons l'entreprise comme un réseau d'acteurs pouvant prendre des décisions en vue d'atteindre un objectif général.<br />Nous proposons un premier modèle : la DTL ou Decision Time Line. La DTL représente toute décision comme un processus de prise de décision, qui suit une ligne de vie. L'enchaînement d'un certain nombre d'étapes peut se dérouler dans des ordres différents à partir d'une question posée jusqu'à la transmission de la réponse à l'interlocuteur.<br />Un deuxième modèle permet de représenter et de quantifier l'impact des dysfonctionnements dans le processus de décision. Un espace de représentation des dysfonctionnements, au sein de la DTL, est proposé. Il s'agit de décomposer tout dysfonctionnement en dysfonctionnements élémentaires, d'identifier les étapes de la DTL ayant généré les dysfonctionnements et de mesurer les écarts induits. Nous considérons, ici, la décision de façon globale et la modélisation proposée est applicable à tout type de prise de décision.<br />L'étude des dysfonctionnements dans les processus de prise de décision se concrétise, ensuite, par une application au choix d'acteur et par une présentation des outils développés pour faciliter ce type particulier de décision. Ces outils sont regroupés sous le nom de SACADO : Système d'Aide au Choix d'Acteur et aux Décisions d'Organisation. SACADO propose un processus cible à suivre pour réduire les risques de dysfonctionnements. Cette méthode permet également, pour un dysfonctionnement donné, d'en analyser les causes potentielles et d'en déduire des préconisations. Enfin, les dysfonctionnements analysés par SACADO alimentent l'analyse globale de l'organisation d'une entreprise.<br />Finalement, une application industrielle au sein de deux sites du groupe Vallourec a permis une première validation de la méthode mise au point. Elle a permis de confirmer que SACADO répond à un réel besoin industriel.

Les différentes façons de décrire un circuit intégré (niveau architectural, logique, électrique, implante; mode structurel, fonctionnel). L'accent est mis sur les descriptions tenant compte de l'aspect temporel. La sûreté de la description, ou cohérence, est traitée à part. Le modèle par événements du comportement des systèmes temporisés est présenté partiellement. Le modèle classique d'automate d'état fini est cité, avec les difficultés de son utilisation pour les systèmes temporisés. On propose une définition d'automate d'état fini temporisé combinant les deux approches. Le fonctionnement est caractériser par un calcul algébrique. Analyse de deux réalisations de base et de variantes de l'une d'entre elles, ainsi qu'une 3eme famille. Étude d'un automate plus complexe forme d'une partie contrôle et d'une partie opératoire. Calcul de la synchronisation.

Les travaux présentés dans ce manuscrit proposent plusieurs contributions dans le développement de modèles algorithmiques du cerveau et de ses pathologies. Le point commun entre tous ces travaux est un modèle dit de "seconde génération", spécifique à la géométrie du patient et capable de simuler le comportement mécanique du cerveau. La première partie de cette thèse présente l'utilisation de ce modèle pour l'estimation des déformations du cerveau au cours de deux opérations : l'électrostimulation pour le traitement de la maladie de Parkinson et la résection de tumeur. Dans le premier cas, le pouvoir prédictif du modèle est utilisé pour simuler les déplacements du cerveau à partir des données disponibles avant l'opération. Dans le second, le modèle est utilisé conjointement avec de l'imagerie par résonance magnétique per-opératoire pour estimer les déplacements observés dans les images. Dans la deuxième partie, nous abordons une classe de modèles faisant intervenir les pathologies cérébrales. Ainsi nous proposons un nouveau modèle 3D d'hydrocéphalie consécutive à une hémorragie méningée. Ce modèle permet d'introduire sous la forme d'un couplage entre modèles scalaires et volumiques une composante temporelle dynamique nécessaire en simulation de chirurgie. Ensuite, nous nous intéressons à la modélisation de la croissance du glioblastome. L'évolution de la densité de cellules tumorales dans le parenchyme est simulée par une équation de réaction-diffusion anisotrope prenant en compte la direction des fibres. Enfin, une nouvelle relation d'équilibre est introduite pour modéliser le couplage entre la densité de cellules tumorales et le modèle mécanique.

Une étude bibliographique sur les supercondensateurs a permis de faire le bilan des technologies développées et des applications potentielles, d'expliquer le principe de fonctionnement et la physique assez particulière de ces dispositifs et surtout de dégager un modèle théorique équivalent, tenant compte des différents phénomènes liés aux caractéristiques de la couche double électrique et aux procédés et matériaux entrant dans la fabrication de ces composants. En se basant sur cette théorie, nous avons pu élaboré un modèle équivalent de supercondensateurs, avec pour objectif un degré de complexité ne pénalisant ni la fidélité (précision du modèle), ni l'accessibilité (détermination et mesure des paramètres du modèle), ni l'exploitation (utilisation et intégration du modèle dans les outils et supports de simulation). Une procédure expérimentale bien déterminée a été établie pour l'identification des paramètres du modèle et un travail expérimental et de simulation conséquent a permis de valider le modèle proposé.

Nos travaux de thèse s'inscrivent dans le cadre des recherches menées sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH) et plus particulièrement les systèmes supports aux activités collectives en contexte d'apprentissage (activités collectives qui favorisent l'apprentissage d'aptitudes ou l'acquisition de connaissances). Parmi ces activités, nous nous intéressons particulièrement à celles dont un des objectifs est l'apprentissage du travail collectif.<br /><br />Nos travaux ont conduit à la conception d'un environnement malléable support aux activités collectives, Symba. A travers la conception de Symba nous abordons les problématiques du support à la modélisation de l'activité collective par les apprenants, de la perception de l'activité et de la malléabilité de l'environnement.<br />Symba est un environnement qui permet à un enseignant de proposer à un groupe d'apprenants distants une activité qu'ils devront réaliser collectivement. L'environnement permet de décomposer l'activité en différentes étapes suivant un modèle alternant des étapes individuelles et collectives, puis propose aux apprenants de s'organiser pour réaliser chacune des étapes. Décider de l'organisation de l'étape revient à composer un plan, puis à décrire chacune des tâches le composant. A partir de l'organisation définie par les apprenants, Symba propose un environnement intégrant les ressources et outils décrits au niveau organisation, environnement d'activité au sein duquel les apprenants vont pouvoir réaliser les tâches qu'ils ont définies.

Ce document présente tout d'abord un état de l'art pour la modélisation de la gestion des ressources renouvelables, puis différents outils et modèles développés avant de proposer un projet de recherche.

Le séquençage à grande échelle a permis d'accéder aux génomes complets de nombreux organismes. Les modèles de Markov cachés sont une des méthodes probabilistes les plus utilisées pour l'analyse des séquences. L'objectif de ces travaux est de participer à l'analyse de l'organisation et à la compréhension de l'évolution des génomes. Une méthode de prédiction des isochores adaptée au génome humain a été développée. L'originalité de cette approche consiste à identifier des ruptures d'homogénéité des séquences mais surtout leurs causes biologiques, comme l'influence des régions UTRs lors du classement des gènes dans un isochore. Cette méthode a ensuite été appliquée au génome du tetraodon, pour lequel l'existence d'une structure en mosaïque nouvelle le long de son génome a été mise en évidence.

Cette thèse se situe dans le domaine de la microélectronique à haute température, et concerne particulièrement les applications industrielles à bas coût et grand volume de production. A partirde l'étude de la physique des composants semiconducteurs et des<br />matériaux pour la microélectronique, cette thèse élargit jusqu'à environ 250C la plage de température d'utilisation des technologies CMOS et BiCMOS standards, sur substrat de silicium, à travers des techniques de conception de circuits intégrés, sans toutefois modifier les procédés de fabrication. Les études et les tests ont été expérimentés sur une technologie CMOS et une technologie BiCMOS commerciales. Deux applications industrielles, représentatives du marché potentiel des applications des circuits intégrés à haute température, ont permis de vérifier dans la pratique les résultats théoriques obtenus.