Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La programmation synchrone est utilisée pour faciliter la description des systèmes réactifs, devant réagir de façon continue avec leur environnement physique. Ces systèmes sont souvent répartis, pour des raisons d'implantation physique ou de tolérance aux fautes. D'autre part, de tels systèmes sont aussi critiques et temps-réel. Le but de ce travail est d'étudier des méthodologies d'implantation de tels systèmes sur des réseaux de calculateurs. Nous montrons comment l'application de la programmation synchrone pose des problèmes de robustesse pour la programmation de tels systèmes en raison de la non correspondance du temps logique au temps réel. Nous étudions la robustesse dans divers cas: systèmes continus et systèmes discrets. En particulier nous fournissons des outils de simulation pour des architectures réparties quasi-synchrones et des outils de vérification de la robustesse. Nous proposons aussi un protocole de synchronisation dans les cas de systèmes non robustes. Nous proposons enfin une approche de tolérance aux fautes pour les systèmes répartis quasi-synchrones.

Le problème de la commande sans capteur mécanique de la machine synchrone à aimants permanents (MSAP) est un problème très étudié dans le domaine de l'automatique et de l'électrotechnique. Le travail présenté s'intéresse au problème particulier de la commande sans capteur à basse vitesse des MSAP à pôles lisses. L'objectif est de proposer une méthode permettant de contrôler en position un actionneur électromécanique utilisé dans un contexte aéronautique (ici pour des ailerons). Une étude théorique des deux familles de machines, saillantes et non saillantes, a permis de montrer une différence d'observabilité des modèles de la MSAP selon la vitesse de la machine, avec en particulier une perte d'observabiltié à basse vitesse pour les machines à pôles lisses. Pour pallier cette perte, de nouveaux modèles sont développés, qui prennent en compte des vibrations de la machine, sollicitée par une injection de signaux. Une nouvelle analyse, appliquée à ces modèles, permet de garantir l'observabilité de la machine sur toute la gamme de vitesse, y compris à l'arrêt. Nous avons donc proposé une approche d'observation de la position et de la vitesse basée sur ces nouveaux modèles avec une injection bien choisie. Contrairement aux méthodes classiques basées sur la saillance, cette approche est applicable à tous les types de machine. Elle a été validée sur plusieurs bancs d'essais par l'application d'un observateur de Kalman étendu. De nombreux tests ont été réalisés sur un benchmark dédié aux applications industrielles. Les résultats ont montré les performances, la robustesse et les limites des observateurs proposés. Nous nous sommes également intéressés à l'asservissement en vitesse sans capteur mécanique de la machine, pour lequel nous avons proposé deux méthodes de synthèse d'observateurs. La première est basée sur la synthèse d'un observateur LPV robuste par approche polytopique. La seconde utilise un observateur à modes de glissement d'ordre deux à gains adaptatifs. La faisabilité expérimentale de ces deux observateurs a été démontrée.

Dans ce mémoire, je présente essentiellement des travaux de recherche sur les machines à commutation de flux, à simple et à double excitation. A l'origine de ces travaux, il y a eu l'étude des pertes magnétiques dans les machines à réluctance variable à double saillance. Et en parallèle de ces travaux, il y a eu l'étude des limites thermiques et électroniques dans la conversion d'énergie d'une machine synchrone associée à son convertisseur et l'étude de l'optimisation sur cycles de fonctionnement des machines synchrones à encochage fractionnaire.

Le but de cette thèse est d'apporter de nouvelles possibilités au domaine de la programmation Web, dont les technologies répandues ne capturent pas toutes les problématiques engendrées par les interactions dans une application. Notre solution est un langage, Pendulum, inspiré de la programmation synchrone réactive en Esterel et se présentant comme une extension à OCaml. Il permet de gagner en sûreté et en expressivité en particulier dans la gestion d'interaction multiples. Dans une première partie, nous présentons notre perception de la programmation Web d'aujourd'hui en partant du standard pour aller vers les technologies plus modernes qui tentent de subvenir aux besoins des programmes par d'autres approches, notamment la programmation multitier et les modèles de concurrence en flot de données. Dans une seconde partie, nous introduisons le langage Pendulum et ses constructions, ce qu'il propose comme interopérabilité avec le client Web le différenciant d'autres langages synchrones, et l'interface de programmation qui le connecte avec le langage hôte. Dans les parties trois et quatre, nous présentons la méthode de compilation utilisée, GRC, pour GraphCode, qui produit un graphe de flot de contrôle à partir du programme synchrone source. On revient sur la structure du GRC, les règles permettant de le construire, ainsi que notre méthode d'ordonnancement statique. Nous décrivons ensuite la génération de l'environnement d'exécution d'un programme synchrone dans le programme hôte. Dans une cinquième partie, nous montrons l'intérêt de la programmation synchrone dans le client et en quoi son modèle d'exécution s'adapte naturellement à celui du navigateur Web. Nous montrons qu'il est possible de profiter de cet avantage pour réagir aux évènements plus efficacement sans efforts d'optimisation. Avant de conclure, nous présentons de multiples exemples implémentés en Pendulum pour mettre en avant les qualités d'expressivité et de sûreté de la programmation synchrone sur différentes problématiques impliquant du multimédia et des interactions. / The goal of this thesis is to bring new capabilities to Web programming, whose languages, frameworks don't handle all the problematics raised by interactions in a Web application. Our solution is a programming language, Pendulum, taking its roots in synchronous reactive model à la Esterel. It brings safety and expressiveness, especially when handling multiple interactions. In the first chapter, we give our point of view on what is Web programming today, from the standard to the newest frameworks trying to fill programers needs by other approaches, like multitier programming or dataflow programming. In the second chapter, we introduce Pendulum and its instructions, its interface with the host language, and what it brings to both synchronous and Web programming. In the third and fourth chapter, we present the compilation method, GRC a.k.a GraphCode, that produces a control flow graph from the source code. In the first part, we insist mainly on GRC structure, the rules describing its creation and our technic to linearize parallel branches. Then, we describe the how to initialize synchronous execution environment in OCaml. In the fifth chapter, we show why it is a benefit to use synchronous programming in client programming and how its execution model can natively match the Web browser execution model. We use those ideas to show how a synchronous program can be fast to handle events without optimisation attempt. Before we conclude, we detail several examples implemented with our language to show how expressive and safe synchronous programming can be on diverse programs, implying multimedia and interactions.

Dans le champ des méthodologies dédiées à la caractérisation des microorganismes, les méthodes spectroscopiques comme la spectroscopie de fluorescence apparaisent des outils particulièrement sensibles. Leur puissance est renforcée par l'utilisation d'outils chimiométriques qui autorisent le traitement de l'ensemble des informations spectrales. Ce mémoire présente les étapes de mise au point de la méthode pour la caractérisation des Pseudomonads qui constituent une des flores les plus adaptatives et présentant la plus grande diversité phénotypique et génotypique décrite à ce jour. Par l'utilisation de fluorophores intrinsèques (NADH, Acides aminés aromatiques + Acides nucléiques ou tryptophane) l'analyse de suspensions bactériennes préparées directement à partir de colonies permet d'obtenir plus de 90% de bonne classification pour des souches de référence même réparties en taxons proches. Cette méthode a permis, également, une identification aisée d'isolats et les résultats obtenus sont apparus cohérents avec ceux issus de PCR tout en apportant des informations complémentaires à ceux obtenus par identification sur galerie API 20 NE. LA méthode a été développée pour une lecture directe des colonies sur un milieu gélosé. Après différentes étapes de cadrage, la meilleure pertinence a été obtenue pour une lecture des colonies en fluorescence synchrone avec un décalage constant de 30 nm. L'analyse de la variance a montré une excellente répétabilité des résultats mais aussi des effets" position de la fibre optique vis à vis de la colonie" et durée d'incubation avant lecture (entre 48 et 72 heures) négligeables. Utilisée à des fins taxonomiques, la méthode s'est révélée très cohérente et complémentaire des méthodes relevant de la génomique. Elle permet d'analyser extrêmement rapidement et sans ajout de réactifs les proximités ou distance entre souches et de décrire les zones spectrales les plus identitaires. Enfin, nous avons aussi montré les potentialités de la spectroscopie de fluorescence pour la mise en place d'un outil de "traçabilité bactérienne" susceptible de répondre aux besoins des producteurs agroalimentaires dans leur démarche d'analyse des risques.

Cette thèse présente de nouveaux résultats liant la théorie des systèmes dits insensibles à la latence, à une sous-classe des réseaux de Pétri dénommée Marked Event Graph et son extension dite Synchronous Data Flow. Ces travaux sont intimement associés avec le problème d'ordonnancement général dénommé problème central répétitif. Nous introduisons les modèles synchrones, Marked Event Graphs, Synchronous Data Flow (SDF) et Latency Insensitive. Après, nous discutons des liens existants entre les modèles synchrones, Marked Event Graphs et Latency Insensitive ; nous montrons que le modèle Latency Insensitive est un cas particulier du modèle Marked Event Graph. Nous présentons ensuite une implémentation vérifiée formellement de Latency Insensitive. Après, nous rappelons un résultat connu : tout Marked Event Graph ayant au moins une partie fortement connexe (et s'évaluant avec une règle d'exécution As Soon As Possible (ASAP)) a un comportement ultimement répétitif : c'est à dire qu'il existe un ordonnancement statique. À partir de ce résultat, nous construisons une technique d'ordonnancement particulière dénommée Égalisation qui altère virtuellement la topologie des communications du système afin de ralentir des chemins trop rapides en rajoutant des "registres", tout en conservant les performances en terme de débit du système originel. Enfin, nous introduisons une notion de contrôle limité au modèle Latency Insensitive, avec des noeuds appelés select et merge dont les conditions sont connueset indépendantes des flots de données, plus exactement les conditions d'aiguillage des données sont dirigées par des mots binaires ultimement périodiques (comme dans le cadre de l'ordonnancement statique). Nous effectuons ensuite une abstraction sur le modèle SDF afin de déterminer si le modèle accepte un ordonnancement où la taille de toute place est bornée. Nous pouvons vérifier ensuite la vivacité du système grâce à une simulation, si le modèle originel disposait d'au moins d'une partie fortement connexe. Finalement, nous concluons et discutons des possibilités de travaux futurs.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Nous proposons dans ces travaux, une solution aux problèmes de longue date posés par le control sans capteur d’une machine électrique. Cette solution consiste à élaborer un contrôleur asymptotiquement stable qui régule la vitesse du moteur en mesurant uniquement les coordonnées électriques. Nous l’avons appliqué à un moteur synchrone à aimant permanent non saillant, perturbé par un couple de charge constant non connu. Le schéma proposé est un observateur non linéaire d’ordre 4, basé sur le control qui ne dépend pas d’opérations non robustes intrinsèques au système, comme l’intégration de boucle ouverte à un système dynamique et ce schéma peut être facilement intégrée en temps réel. Le contrôleur est facile à commander par l’ajustement du gain qui détermine directement le taux de convergence de la position et de la vitesse et charge le couple d’observateurs. Les simulations et les résultats expérimentaux mettent en évidences les bonnes performances ainsi que la robustesse des paramètres d’incertitudes du schéma que nous proposons. La comparaison par simulation avec un contrôleur sans capteur à champ orienté présenté récemment dans la littérature, a également été effectuée. La thèse se termine par des remarques de conclusion et des propositions de sujet de recherche s’inscrivant dans la continuité de ces travaux. / A solution to the longstanding problem of sensorless control of an electrical machine is provided in this work. That is, the construction of an asymptotically stable controller that regulates the mechanical speed of the motor, measuring only the electrical coordinates. The result is presented for a non-salient permanent magnet synchronous motor perturbed by an unknown constant load torque. The proposed scheme is a fourth order nonlinear observer-based controller that does not rely on-intrinsically nonrobust-operations like open-loop integration of the systems dynamical model nor signal differentiation, and can be easily implemented in real time. The controller is easy to commission, with the tuning gains directly determining the convergence rates of the position, speed and load torque observers. Simulation and experimental results that illustrate the good performance, as well as the robustness to parameter uncertainty, of the scheme are presented. A simulated comparison with a sensorless field-oriented controller, recently proposed in the drives literature, is also carried out. The thesis is closed with some concluding remarks and some potential research topics generated from this work.

Dans ce travail, nous avons réalisé et validé le fonctionnement d’une nouvelle structure de moteur supraconducteur composé d’un inducteur supraconducteur et d’un induit en cuivre. La structure originale de ce moteur est basée sur le principe de modulation de flux par l’utilisation d’un écran supraconducteur massif. Après avoir modélisé la machine par éléments finis, la construction du moteur a été achevée avec succès, une étape très délicate présentant de nombreuses difficultés. Les résultats montrent, non seulement la faisabilité technique de la machine, mais également son bon fonctionnement. Les essais, à vide, en court-circuit et en charge nous ont permis de déterminer les éléments d’un modèle de Ben-Eschenburg de ce moteur. En conclusion l’objectif de ce projet a été atteint avec succès / In this work, we have achieved and validated a new superconductor motor structure, consisting of a superconducting inductor and of an armature of copper. The original structure of this motor is based on the principle of flux modulation by the use of a bulk superconductor screen. After modeling the machine by finite elements, the construction of the engine has been achieved successfully, a very delicate stage with many difficulties. The results show not only the technical feasibility of the machinery, but also its good operation. The experiments with and without load, and the one under short circuit, allowed to determine the elements of the Ben-Eschenburg model for this machine. As conclusion, the aim of the project was successfully achieved