Le nombre grandissant de véhicules électriques implique une grande quantité d’accumulateurs devant être alimentés par le réseau électrique. Le principe d’échange d’énergie véhicule-réseau (V2G) permet des transferts énergétiques bidirectionnels entre le réseau et les véhicules électriques. Il est ainsi possible de compter sur ces accumulateurs pour alimenter le réseau. Le chargeur intégré assure l’interface entre le réseau et ces accumulateurs. Son rendement constitue un élément majeur de la viabilité du principe V2G. Son caractère mobile est tout aussi important puisque cet appareil est intégré au véhicule. Les semi-conducteurs au carbure de silicium (SiC) présentent une percée substantielle pour atteindre le rendement et la densité énergétiques nécessaires pour un tel convertisseur. Les impacts de l’utilisation du SiC dans la conception et la mise en œuvre d’un chargeur bidirectionnel seront démontrés dans ce mémoire. La topologie du convertisseur est initialement déterminée puis dimensionnée pour les paramètres de l’étude, soit en tension et puissance. Les simulations du convertisseur exposent les différences entre une solution n’utilisant que des composants au SiC à une seconde n’utilisant que des composant au silicium (Si) traditionnellement utilisés. Une dernière solution combinant les deux types de composant a aussi été évaluée. Finalement, la mise en œuvre d’un chargeur bidirectionnel prototype démontre des phénomènes distincts entre les solutions exposant l’impact des semi-conducteurs au carbure de silicium sur le rendement du convertisseur bidirectionnel.

Mise en contexte : Au Canada, environ 600 000 personnes font de l’insuffisance cardiaque (IC) avec une incidence de 50 000 par année. L’insuffisance cardiaque (IC) représente la 2ème cause d’hospitalisation chez les personnes âgées de 65 ans et plus avec une incidence plus élevée chez les hommes. L’IC pourrait être améliorée par les sessions éducatives selon l’approche d’enseignement bidrectionnel (‘teach-back’). Les autosoins sont de meilleure qualité lorsque la conjointe est activement impliquée dans tout le processus de prise en charge du patient. Cette étude a permis d’évaluer l’impact de l’approche d’enseignement bidirectionnel adapté aux couples sur les autosoins des franco-ontariens vivant en situation linguistique minoritaire dans la région d’Ottawa. Méthodologie : Afin de mieux répondre aux questions de recherche en lien avec la rétention des connaissances des couples et l’apport sur la relation conjugale, le devis mixte d’une étude de cas intégrée avec unités d’analyse multiples a été utilisé auprès de six couples franco-ottaviens dont le conjoint était atteint d’IC. Résultats : Les participants ont présenté une augmentation des connaissances des autosoins de l’IC de l’ordre de 27% entre la période avant l’intervention jusqu’à 30 jours après la formation. Il n’y a pas eu de réadmissions hospitalières parmi les participants. L’adaptation de l’approche d’enseignement bidirectionnel à la réalité individuelle des couples participants a eu un effet thérapeutique systémique sur la relation conjugale car cette approche a offert aux partenaires un cadre pour avoir une discussion ouverte sur l’impact réciproque de l’IC sur leur vécu quotidien. En assurant des visites aux domiciles des participants durant une phase post-hospitalisation considérée de grande vulnérabilité chez les patients IC, ce projet a pallié à la faille du système des soins parce qu’elle a permis à une transition sécuritaire des patients (et leurs conjointes) du milieu hospitalier en communauté. Conclusion : L’adaptation de l’approche d’enseignement bidirectionnel en français est une nouveauté pour les infirmières francophones œuvrant auprès des francophones vivant en situation linguistique minoritaire. Cette étude soutient l’importance d’intégrer la gérontandragogie dans les interventions éducatives des personnes âgées en matière de santé.

Afin de répondre à des problématiques bâtimentaires et des enjeux de sécurité incendie, cette thèse aborde l’écoulement de convection mixte à travers un orifice horizontal reliant deux compartiments. L’objectif est d’améliorer la connaissance et la modélisation de l’échange de gaz de masse volumique variable à travers l’orifice. Une étude expérimentale à échelle réduite couplée à une approche théorique est proposée. L'étude est d'abord focalisée sur l’influence du rapport géométrique L/D de l’orifice sur la variation de débit échangé pour un régime de convection naturelle. Les mesures non intrusives de ces débits, par suivit de l'interface entre deux liquides non miscibles lors d'une première approche densimétrique, ainsi que par Stéréo PIV en sortie d'orifice dans une approche thermique, permettent de décrire le processus d'échange bidirectionnel et de conforter les corrélations existantes.Des expériences en régime de convection mixte visent ensuite à caractériser l’influence d’une ventilation mécanique (en soufflage et en extraction) sur les débits échangés. La confrontation des corrélations existantes avec les points expérimentaux montre des écarts importants. Une modification de la corrélation de Cooper 89 est proposée et permet d'en accroître la précision. En parallèle, une approche théorique issue des équations de Navier Stokes simplifiées et sous l’approximation de Boussinesq permet de discuter la construction des corrélations existantes. L'ajustement de coefficients de pertes de charge à partir des points expérimentaux permet de proposer un modèle plus performant que ceux disponibles dans la littérature. / To answer to building issues and fire safety challenges, this thesis deals with the mixed convection flow through a horizontal orifice linking two compartments. The aim is to improve the understanding and modeling of the exchange of variable density gas through the opening. A small scale experimental study and a theoretical approach are proposed.The study is first focussed on the impact of the geometrical ratio L/D of the opening on the exchanged flow rate variation for free convection regime. Non-intrusive measurements of these flow rates, via the tracking of the interface between two non miscible liquids in an isothermal approach, and thanks to the SPIV in a thermal approach, permit to describe the bidirectional exchange process and to consolidate existing correlations.Experiments in mixed convection regime aim to study the impact of mechanical ventilation (in blowing and extracting mode) on the exchanged flow rates. The comparison between existing correlations and experimental data shows large differences. A change making the coorelation of Cooper 89 more accurate is proposed. A theoretical approach from the simplified Navier Stokes equations and with the Boussinesq approximation permits to discuss the construction of existing correlations. From this theory, a model more accurate than those available in the literature is proposed thanks to an adjustment of discharge coefficients from experimental data.

Cette thèse a eu pour objectif d'étudier des questions naturelles de définissabilité autour des transducteurs bidirectionnels.Il est bien connu que les transducteurs bidirectionnels définissent une plus grande classe de transductions que celles des transducteurs unidirectionnels. La première question que nous avons étudiée est donc de décider si un transducteur bidirectionnel est définissable par un transducteur unidirectionnel. Il a été montré en 2013 que cette question est décidable pour des transducteurs fonctionnels (nous montrons aussi en paralèlle que cette question devient indécidable si les transducteurs ne sont plus fonctionnels) mais la complexité de la procédure de décision était non-élémentaire.Nous proposons une caractérisation de la "définissabilité par transducteur unidirectionnel" décidable en espace doublement exponentiel. Cette caractérisation est effective en ce sens qu'elle produit en temps triplement exponentiel le transducteur équivalent. De plus, nous avons étudié ce problème aussi pour les transducteurs "sweeping", pour lesquels la procédure de décision et la construction du transducteur équivalent requièrent une exponentielle de moins. Comme nous avons par ailleurs montré qu'il existe des familles de fonctions réalisables de façon unidirectionnelle avec au minimum deux sauts exponentiels, notre procédure est optimale dans le cas "sweeping".Le fait d'avoir particulièrement étudié les transducteurs"sweeping" nous a poussé à étudier d'autres questions dedéfinissabilité~: est-ce qu'un transducteur donné estréalisable par un transducteur sweeping ? Et par un transducteursweeping réalisant au maximum k passages ? Nous montrons que cesquestions sont décidables avec les mêmes complexitésobtenues précédemment. Comme nous avons montré qu'ilexiste une borne sur le nombre de passages nécéssaires pourréaliser avec un transducteur sweeping une transductiondonnée, cela nous permet aussi de minimiser le nombre de passages d'untransducteur sweeping.Enfin nous avons cherché à caractériser la classe destransductions sweeping dans d'autres modèles de transductions,les Streaming String Transducers (SST) et lestransductions MSO. Cela a en autres permis, en établissant unecorrespondance entre le nombre de passages des transducteurssweeping et le nombre de registres d'une sous-classe de SST, deminimiser le nombre de registres pour une classe intéressantede SST. Dans l'ensemble, notre travail a permis de couvrir l'ensembledes relations entre ces modèles, et les questions dedéfinissabilité qui se posent naturellement. / The goal of this thesis was to study definability questionsabout finite-state transducers and in particular two-waytransducers. It is known that two-way transducers cover a larger classof transductions than one-way transducers. Then the first question wetackled is the one-way definability problem: is it possible torealize a given two-way transduction by a one-way transducer? Thisproblem was shown to be decidable for functionaltransducers (we also show as a side result that one-way definability becomes undecidable for non-functional transducers) but the decision procedure had non-elementary complexity.We proposed a characterization of one-way definability thatallows us to decide it in double-exponential space, and provide anequivalent one-way transducer of triple-exponential size. We firststudied this question for a restricted class, namely sweepingtransducers, for which the decision procedure and the construction ofthe one-way transducer take one less exponential. For suchtransducers, our procedure is optimal in the sense that we have shownthat there exists a family of functions that are one-way definable andfor which an equivalent one-way transducer requires doubly exponentialsize.The study of sweeping transducers raised other definability questions: Is a given transducer equivalent to some sweeping transducer? And to some sweeping transducer that performs at most k passes? We showed that those questions are decidable and the decision procedure, as well as the equivalent transducer, have the same complexity as in the one-way case. Moreover, as we have shown that there exists a bound on the number of passes required to realize a transduction by a sweeping transducer, we managed to obtain a procedure to minimize the number of passes of a sweeping transducer.Finally we tried to characterize sweeping transducers in other models for regular transductions such as Streaming String transducers (SST) and MSO transductions. As we obtained an equivalence between the number of passes of a sweeping transducer and the number of registers of the equivalent SST we provided a minimization procedure for the number of registers of a large class of SST's. To conclude, our work allowed us to provide a good overall understanding of the definability questions between the models for regular transductions and in particular regarding the resources, whether it is the number of passes (and of course one-way definability is crucial in that aspect) or the number of registers.

Le sujet de cette thèse se divise en trois parties: les deux premières traitent chacune d'une extension du modèle utilisé en théorie des automates, tandis que la dernière aborde une partie plus concrète qui consiste à générer des automates avec des propriétés particulières. Tout d'abord, nous donnons une extension du concept d'automate universel, défini sur les mots finis, aux omega-langages. Pour cela, nous avons défini une forme normale pour tenir compte de la spécificité du mode d'acceptation des automates de Büchi qui nous permettent de reconnaître les omega-langages. Ensuite nous avons défini deux types d'omega-factorisations, "classiques" et "pures", qui sont des extensions du concept de factorisation d'un langage, ce qui nous a permis de définir l'automate universel d'un omega-langage. Nous avons prouvé que ce dernier dispose bien des différentes propriétés attendues: il est le plus petit automate de Büchi reconnaissant l'omega-langage et qui possède la propriété d'universalité (moyennant la forme normale). Nous présentons également une méthode pour calculer efficacement les omega-factorisations maximales d'un langage à partir d'un automate prophétique reconnaissant le dit langage. Dans la seconde partie, nous traitons le cas des automates bidirectionnels à multiplicité dans un semi-anneau. Dans un premier temps, nous donnons une version légérement différente de la construction permettant de passer d'un automate bidirectionnel à multiplicité à un automate unidirectionnel à multiplicité et nous prouvons qu'elle préserve la non-ambiguïté mais pas le déterminisme. Nous montrons, également à l'aide d'une construction, que les automates bidirectionnels à multiplicité non-ambigus sont équivalents aux automates unidirectionnels à multiplicité déterministes. Dans un second temps, nous nous concentrons sur les semi-anneaux tropicaux (ou min-+). Nous montrons que sur N-min-+, les automates bidirectionnels sont équivalents aux automates unidirectionnels. Nous montrons également que sur Z-min-+, les automates bidirectionnels n'ont pas toujours un comportement défini et que cette propriété est décidable tandis qu'il n'est pas décidable s'il existe un mot pour lequel le comportement est défini. Dans la dernière partie, nous proposons un algorithme de génération aléatoire d'automate acycliques, accessibles et déterministes ainsi que d'automates acycliques minimaux avec une distribution qui est quasiment uniforme, tout cela à l'aide de chaîne de Markov. Nous prouvons l'exactitude de chacun de ces deux algorithmes et nous expliquons comment adapter en tenant compte de contraintes sur l'ensemble des états finals / The subject of this thesis is decided into three parts: two of them are about extensions of the classical model in automata theory, whereas the third one is about a more concrete aspect which consists in randomly generate automata with specific properties. We first give an extension of the universal automaton on finite words to infinite words. To achieve this, we define a normal form in order to take account of the specific acceptance mode of Büchi automata which recognize omega-langages. Then we define two kinds of omega-factorizations, a "regular" one and the "pure" kind, which are both extensions of the classical concept of factorization of a language. This let us define the universal automaton of an omega-language. We prove that it has all the required properties: it is the smallest Buchi automaton, in normal form, that recognizes the omega-language and which has the universal property. We also give an effective way to compute the "regular" omega-factorizations of a language using a prophetic automaton recognizing the language. In the second part, we deal with two-way automata weighted over a semi ring. First, we give a slightly different version of the computation of a weighted one-way automaton from a weighted two-way automaton and we prove that it preserves the non-ambiguity but not the determinism. We prove that non-ambiguous weighted two-way automata are equivalent to deterministic weighted one-way automata. In a later part, we focus on tropical semi rings (or min-+). We prove that two-way automata on N-min-+ are equivalent to one-way automata on N-min-+. We also prove that the behavior of two-way automata on Z-min-+ are not always defined and that this property is decidable whereas it is undecidable whether or not there exists a word on which the behavior is defined. In the last section, we propose an algorithm in order to randomly generate acyclic, accessible and determinist automata and minimal acyclic automata with an almost uniform distribution using Morkov chains. We prove the reliability of both algorithms and we explain how to adapt them in order to fit with constraints on the set of final states

Dans ce mémoire, nous proposons une structure IGBT symétrique en courant et en tension. Cet interrupteur monolithique et commandé par MOS devrait pouvoir remplacer la structure triac, actuellement le seul dispositif bidirectionnel monolithique commercialisé, dans des applications sur le réseau alternatif. En effet, le triac est un composant commandé en courant et nécessite une énergie de commande élevée par rapport aux structures commandées en tension. Nous avons dans un premier temps analysé les principales structures bidirectionnelles commandées en tension proposées dans la littérature afin de déterminer leurs avantages et leurs limitations. Nous avons ensuite étudié, conçu et réalisé la structure IGBT bidirectionnelle en courant et en tension. L'étude menée utilise des simulations 2D afin d'évaluer l'influence des paramètres technologiques et géométriques sur les performances en conduction et en commutation de l'IGBT bidirectionnel. Deux voies technologiques pour la réalisation du composant ont été proposées et intégrées dans la filière IGBT du LAAS. La première voie est basée sur l'utilisation de la technique de photolithographie double face et la deuxième est basée sur la technique de soudure directe Si/Si. Une analyse approfondie des deux techniques nous a permis de mettre en évidence les atouts et les limites de chaque technique. Enfin, nous avons proposé une autre structure bidirectionnelle en courant et en tension, commandée par MOS et à électrodes coplanaires. En effet, cette structure originale a toutes ses électrodes de puissance et de commande sur une seule face du substrat ce qui permet de remédier à la difficulté d'encapsulation rencontrée avec la plupart des structures bidirectionnelles proposées dans la littérature. Cette architecture originale devrait en outre faciliter, en utilisant des techniques d'interconnexion 3D, l'intégration in package du dispositif de puissance avec sa commande. Une analyse du fonctionnement de cette structure est effectu ée à l'aide de simulations 2D et des éléments de conception et de réalisation ont été donnés.

La plupart des processus dans notre vie quotidienne sont des processus hors équilibre. Un exemple de système hors équilibre est la cellule biologique et le transport qui a lieu dedans. Dans cette thèse ce transport intracellulaire est modélisé par des processus stochastiques. Pour cela deux approches différentes ont été utilisées : d’une part une modélisation explicite de particules actives avec des degrés de liberté internes obtenus expérimentalement, d’autre part une description phénoménologique des effets collectifs, qui est réalisée au moyen de processus d’exclusion.Un des résultats principaux pour le modèle explicite est qu’il est crucial de prendre en compte les fluctuations des forces pour reproduire les caractéristiques principales du mou- vement. Un autre élément important est la prise en considération de l’environnement cellu- laire, qui peut produire des effets non-triviaux, comme par exemple une inversion du sens de déplacement moyen. Pour étudier les effets collectifs il est possible de représenter le mou- vement des particules d’une manière simplifiée, en utilisant un processus d’exclusion avec des particules ayant des états internes. Le désordre sur les taux de saut qui en résulte peut provoquer une condensation dépendant de la densité.Un autre modèle étudié est un processus d’exclusion sur un réseau à deux voies. On suppose que deux types de particules se déplacent dans une géométrie tubulaire, inspirée par les champignons filamenteux. Ces hypothèses définissent un modèle minimal qui présente une transition de phase d’une phase de basse densité vers une phase pulsante caractérisée par des oscillations de densité. / Most processes in our daily life are far from equilibrium. The prime example is a cell and the transport occurring within. In this thesis intracellular transport is modeled by means of stochastic processes. For this, two different approaches are applied: the explicit mod- eling of active particles with internal degrees of freedom with characteristics as they were determined experimentally. And secondly, the collective effects occurring in many particle systems are studied in a phenomenological way by means of exclusion processes.In the explicit model one important result is given by the fact that force fluctuations are essential to capture the relevant motion characteristics. Further, the influence of the cellular environment creates counter-intuitive effects, like a possible inversion of the bias. The motion characteristics can be represented in a coarse-grained manner as an exclusion process for particles with internal states. Due to the resulting disorder in the hopping rates a density-dependent condensation occurs.In a second part, a two-lane exclusion model is studied. Two species in a tubular geometry inspired by filamentous fungi are considered.This can be seen as a minimal model exhibiting a phase transition from a low density phase to an intriguing phase with periodically changing particle densities.

Ces travaux s'inscrivent dans le contexte de la gestion de l'énergie électrique dans les applications domestiques 230V - 50Hz. Le niveau de puissance visé se situe aux environs de la centaine de watts, et les structures de conversion utilisent des interrupteurs bidirectionnels bicommandables réalisés aujourd'hui à l'aide d'associations anti-série de composants de type MOS. Malgré les améliorations apportées par certains de ces dispositifs, leur coût de fabrication reste encore élevé et limite leur plus large diffusion sur ce marché partagé avec le triac à ce jour. Nous proposons une architecture de structure bipolaire bidirectionnelle en courant et symétrique en tension appelée BipAC. Le BipAC est une structure verticale bidirectionnelle, contrôlable à la fermeture et à l'ouverture, réalisable sur substrat N (BipAC PNP) ou P (BipAC NPN). Sa faible chute de tension à l'état passant et sa commande ON/OFF avec une seule électrode de référence la rendent intéressante pour des applications spécifiques à faible niveau de courant (<1A). L'étude de la structure BipAC s'appuie sur des simulations physiques 2D effectuées à l'aide du logiciel SentaurusTM. Afin d'améliorer le gain en courant de la structure BipAC initiale, une nouvelle version du BipAC a été proposée et validée par des simulations physiques 2D (de type process et électrique). Ensuite, des masques sont conçus sous le logiciel CadenceTM. La structure initiale est réalisée sur les deux types de substrat et pour deux épaisseurs différentes de chaque type. La fonctionnalité du BipAC est validée par des caractérisations électriques. / This thesis work deals with the design of an AC switch structure for specific ac mains applications 230V - 50 Hz. The targeted power level is about a hundred watts, and the currently used converter circuits make use of bidirectional switches that are realized using anti-series connected MOS transistors. Despite the improvements in performance provided by some of these structures, their fabrication cost is still high and limits their widespread diffusion in a market shared with the triac. We propose a current and voltage bidirectional bipolar device called a BipAC. It can be realized in an N-substrate (PNP BipAC) or a P-substrate (NPN BipAC). It can be controlled both to turn-on and turn-off with respect to a single reference electrode. It exhibits a very low on-state voltage that makes it attractive for specific mains applications with low load current (< 1A rms). The study of the BipAC structure is carried-out using 2D SentaurusTM physical simulations. In order to improve the current gain of the initial BipAC structure, a new version of the BipAC structure is proposed and its operating modes validated using 2D physical simulations (both process and electrical). Masks were then designed under CadenceTM software. The initial BipAC structure is realized on N and P substrates and for two different thicknesses. The operating modes of the monolithic bidirectional BipAC switch were validated through electrical characterizations.

Afin de répondre aux besoins en management efficace de l’énergie électrique dans les bâtiments intelligents, le laboratoire GREMAN a proposé une nouvelle topologie d’interrupteur bidirectionnel de 600 V nommé TBBS. Les études antérieures ont validé la bidirectionnalité en courant et en tension de cette nouvelle topologie. Les travaux de recherche menées dans cette thèse avaient pour l’objectif d’approfondir, de compléter nos connaissances sur ce nouvel interrupteur bidirectionnel ainsi que sur le transistor bipolaire à fort gain. Le premier chapitre introduit le fonctionnement principal du TBBS et sa modélisation physique sous un environnement de simulation à éléments finis. Le deuxième chapitre présente le travail concernant la caractérisation expérimentale du TBBS et du transistor bipolaire à fort gain sous température contrôlée. Enfin la modélisation électrique du TBBS et du transistor bipolaire à fort gain est présentée dans le troisième et dernier chapitre. / In order to meet the requirement of more efficient electrical energy management for intelligent buildings, a new 600V bidirectional switch, named as TBBS, has been proposed by the GREMAN laboratory. Previous studies have validated the current and voltage bidirectionality of this newly proposed topology. The research work carried out in this thesis deals with a deeper and more comprehensive study of this bidirectional switch and its elementary component - the High-gain bipolar juncion transistor. The first chapter introduces the operation of the TBBS and its physical modeling in a finite element simulation environment. The second chapter presentes the research work related to the experimental caracterisation of the TBBS and the High-gain bipolar junction transistor. At last the third chapter deals with the electrical modeling of these two bipolar components.

L'alignement d'images paramétrique a de nombreuses applications pour la réalité augmentée, la compression vidéo ou encore le suivi d'objets. Dans cette thèse, nous nous intéressons notamment aux techniques de recalage d'images (template matching) reposant sur l'optimisation locale d'une fonctionnelle d'erreur. Ces approches ont conduit ces dernières années à de nombreux algorithmes efficaces pour le suivi d'objets. Cependant, les performances de ces algorithmes ont été peu étudiées lorsque les images sont dégradées par un bruit important comme c'est le cas, par exemple, pour des captures réalisées dans des conditions de faible luminosité. Dans cette thèse, nous proposons un nouveau formalisme, appelé formalisme bidirectionnel, qui unifie plusieurs approches de l'état de l'art. Ce formalisme est utilisé dans un premier temps pour porter un éclairage nouveau sur un grand nombre d'approches de la littérature et en particulier sur l'algorithme ESM (Efficient Second-order Minimization). Nous proposons ensuite une étude théorique approfondie de l'influence du bruit sur le processus d'alignement. Cette étude conduit à la définition de deux nouvelles familles d'algorithmes, les approches ACL (Asymmetric Composition on Lie Groups) et BCL (Bidirectional Composition on Lie Groups) qui permettent d'améliorer les performances en présence de niveaux de bruit asymétriques (Rapport Signal sur Bruit différent dans les images). L'ensemble des approches introduites sont validées sur des données synthétiques et sur des données réelles capturées dans des conditions de faible luminosité.