In More Electric Aircraft, different power system activities are attributed to electrical means such as the start-up of the main engine. In this context, the study of the sensorless control of the Brushless Synchronous Starter Generator (BSSG) that is used to electrically start the main engine is revealed to be a very interesting issue. For long time, the elimination of the mechanical sensor was highly recommended for reliability, cost, weight, integration issues.Hence, this work aims to transpose the results obtained in the research area to an avionic testbench. It presents an adaptive sensorless technique to use when electrically starting the main engine of the aircraft. This is achieved by elaborating three different methods selected depending on the speed of the machine and based on the :- injection of a high frequency signal- use of the back-emf of the Permanent Magnet Generator (PMG)- use of the extended Kalman Filter EKFIn this work, it is shown that the …first method gives good position estimation results from standstill up to 8% of the rated speed. Then, the back-emfs of the PMG are used to detect the position of the BSSG when the speed exceeds the 8% of the rated speed. Good results are observed with this method at medium and high speed.For redundancy reasons, the EKF was also used in this work. Thus, the estimated position can be delivered via two different estimation algorithms in medium and high speed region.The implementation of the algorithm was achieved on an FPGA board since the latter can ensure a very tiny execution time. The fastness of the treatment ensures quasi-instantaneous position estimation and does not practically introduce any phase lag in the position estimation. / Aujourd'hui, l'aviation est en train de vivre des évolutions technologiques concernant surtout l'attribution de différentes fonctionnalités aux équipements électriques et ceci au détriment d'équipements hydrauliques et mécaniques assurant les mêmes fonctionnalités.Dans le cadre de l'avion plus électrique, le démarrage électrique sans capteurs mécaniques de la turbine de l'avion préoccupe les avionneurs de nos jours. Les problèmes introduits par ce capteur ont été identifiés : problèmes de coût et de poids, problèmes de fiabilité et d'intégration.Ce travail présente alors une commande sans capteurs pour la machine synchrone à trois étages à utiliser durant le démarrage électrique de l'avion. Ceci est réalisé avec trois méthodes de détection de la position selon la vitesse de rotation, basées sur :- l'injection d'un signal à haute fréquence- l'utilisation d'un filtre de Kalman étendu FKE- les fém. du PMG (Permanent Magnet Generator) La première méthode donne de bons résultats d'estimation depuis l'arrêt jusqu'à 8% de la vitesse nominale de la machine. Au-delà de cette vitesse, es valeurs des fém. du PMG deviennent assez élevées pour être utilisées dans l'estimation de la position. De bons résultats sont obtenus à moyenne et haute vitesse.Pour des questions de redondance, le FKE est aussi utilisé. Ainsi, la position estimée peut être fournie par l'un des deux algorithmes à moyenne et haute vitesse.L'implémentation de ces algorithmes est réalisée via une carte FPGA étant donné que celui-ci garantit un temps d'exécution. La rapidité de traitement garantit une estimation de la position quasi-instantanée et donc n'introduit pratiquement pas des retards dans l'estimation.

Cette thèse s'inscrit dans le cadre du projet Compacité qui vise à développer un compresseur électrique pour véhicules électriques à l’aide d’une démarche mécatronique. Dans cette thématique, le rôle du LGEP est de développer la partie électromécanique du compresseur. Cette thèse est constituée de deux parties, la première concerne la conception d’un moteur pour le compresseur et la deuxième a trait à la commande sans capteur mécanique de ce moteur. La première partie de la thèse est d'abord consacrée au dimensionnement d'une machine électrique pour un compresseur électrique. Le cahier des charges impose une machine compacte (97mm de diamètre et une profondeur inférieure à 50mm) et ayant une puissance massique élevée (6kW pour une masse de 1.8kg). Au préalable, un modèle analytique a été développé pour effectuer un dimensionnement rapide. Par la suite, la méthode des éléments finis a été appliquée à différents modèles physiques (magnétique, thermique, mécanique (résistance des matériaux et vibration)) pour une étude approfondie de la structure choisie. A l'issue de ces études, un prototype et un banc expérimental ont été réalisés. Dans un second temps, des algorithmes de commande avec ou sans capteur mécanique ont été étudiés pour le pilotage du moteur. La particularité de cette deuxième partie de thèse est la réalisation d'une commande peu gourmande en temps de calcul et implantable dans des microcontrôleurs de faibles performances. A l'issue de cette partie, une nouvelle loi de commande appelée commande passive échantillonnée ainsi qu'un observateur adaptatif étendu (observateur fondé sur l'estimation des fem) ont été développés et testés sur un banc expérimental. / This thesis is part of the project Compacite which aims to develop an electric compressor for electrical vehicles using a mechatronic approach. In this way, the LGEP contribution is to develop the electromechanical part of the compressor.The document is divided in two parts: the first one is related to the design of the motor and the second part is dedicated to the sensorless control.In the first part, the electromagnetic design is proposed to comply with the industrial constraints according to the compressor operation. The specifications require a compact motor (external diameter equal to 97 mm and an active depth less than 50 mm) and a good power/mass ratio (6 kW for a weight of 1.8 kg). At first the design is based on an analytical model in order to obtain a fast sizing. Thereafter the finite element method is used for multiphysical studies (magnetic, thermal and mechanical (in terms of strength of materials and vibration)). A prototype is built and characterized on a test bench. In the second part, some algorithmic control laws have been developed with sensor and sensorless control. In this part a particular control law (sampled data passivity based control) with a low algorithmic cost has been developed for driven the motor and has been validated on the test bench. At the end an observer based on the estimation of the electromotive force is used for sensorless control and validated on the test bench.

Cette thèse s'inscrit dans le cadre du projet Compacité qui vise à développer un compresseur électrique pour véhicules électriques à l'aide d'une démarche mécatronique. Dans cette thématique, le rôle du LGEP est de développer la partie électromécanique du compresseur. Cette thèse est constituée de deux parties, la première concerne la conception d'un moteur pour le compresseur et la deuxième a trait à la commande sans capteur mécanique de ce moteur. La première partie de la thèse est d'abord consacrée au dimensionnement d'une machine électrique pour un compresseur électrique. Le cahier des charges impose une machine compacte (97mm de diamètre et une profondeur inférieure à 50mm) et ayant une puissance massique élevée (6kW pour une masse de 1.8kg). Au préalable, un modèle analytique a été développé pour effectuer un dimensionnement rapide. Par la suite, la méthode des éléments finis a été appliquée à différents modèles physiques (magnétique, thermique, mécanique (résistance des matériaux et vibration)) pour une étude approfondie de la structure choisie. A l'issue de ces études, un prototype et un banc expérimental ont été réalisés. Dans un second temps, des algorithmes de commande avec ou sans capteur mécanique ont été étudiés pour le pilotage du moteur. La particularité de cette deuxième partie de thèse est la réalisation d'une commande peu gourmande en temps de calcul et implantable dans des microcontrôleurs de faibles performances. A l'issue de cette partie, une nouvelle loi de commande appelée commande passive échantillonnée ainsi qu'un observateur adaptatif étendu (observateur fondé sur l'estimation des fem) ont été développés et testés sur un banc expérimental.

Ce mémoire de thèse traite la problématique des émissions vibroacoustiques dès les premières phases de conception de machines électriques dans le but de mettre en œuvre des machines robustes, fiables et surtout efficientes répondant aux contraintes dans un large domaine d’applications et spécialement pour le véhicule électrique et hybride. Ce manuscrit ne s’intéresse pas seulement à l’identification et la mise en exergue de la problématique vibroacoustique mais surtout a apporté des solutions et des éléments de réponse à certaines contraintes. La problématique vibroacoustique étant trop vaste et trop complexe, ce travail de thèse se focalise sur les aspects vibroacoustiques d’origine électromagnétiques. Pour ce faire, les méthodes de réduction de bruit sont présentées mais seules les solutions de réduction passive sont évoquées. Ces solutions se basent sur le dimensionnement et la conception par optimisation de machines électriques performantes et moins bruyantes. Cela nous ramène au cœur de ce travail qui est le développement d’outils et de modèles multi-physique réunissant les critères de généricité, rapidité, précision et facilité de couplage. Dans ce cadre, plusieurs modèles électriques, magnétiques, mécaniques, thermiques, et acoustiques sont présentés. Différentes stratégies de couplages et d’approches de modélisation sont investiguées. Des conclusions sont tirées à chaque fois en fonction des besoins pour le cas d’application. / This PhD thesis deals with the issue of vibroacoustic emissions from the first design phases of electrical machines in order to have robust, reliable and above all efficient machines that meet the constraints in a wide range of applications and especially electrical vehicles. This manuscript is not only interested in the identification and highlighting the vibroacoustic problem, but above all to brought solutions and response elements to certain constraints. Knowing that the vibroacoustic problem is too vast and complex, this thesis focuses on vibroacoustic aspects of electromagnetic origin. To do so, the methods of noise reduction are presented but only the passive reduction solutions are used. These solutions are based on the design and optimization of efficient and less noisy electrical machines. This brings us back to the core of this work, which is the development of tools and multi-physics models combining the criteria of genericity, speed, accuracy and simplicity of coupling. In this context, several electric, magnetic, mechanical, thermal and acoustic models are presented. Different coupling strategies and modeling approaches are investigated. Conclusions are drawn each time according to the needs for the application use case.

Le microbiote intestinal constitue un réservoir d'activités enzymatiques riche et varié dont l'expression fait partie intégrante de la physiologie de l'organisme et influe sur sa santé. La mise en évidence par méthodes culturales classiques des Archaea méthanogènes est difficile et n'a permis à ce jour que la mise en évidence de 2 Methanobacteriales hydrogénotrophes au sein de ce microbiote : Methanobrevibacter smithii et Methanosphaera stadtmanae. Les travaux de cette thèse ont eu pour but d'apporter une vision moléculaire nouvelle de la diversité des Archaea méthanogènes du microbiote et de rechercher l'influence de l'âge sur ces communautés. Ces travaux ont été menés par analyse d'une partie du cistron mcrA, marqueur moléculaire spécifique de la méthanogenèse, et du gène codant pour l'ARNr 16S. Ces études ont révélé une plus grande diversité des Archea colonisant cet écosystème et ont mis en évidence de nouveaux phylotypes ne pouvant être rattachés à aucun des 5 ordres méthanogènes précédemment décrits. Ils correspondent probablement à d'autres espèces méthanogènes affiliées aux Thermoplasmatales ou cohabitent avec des membres encore inconnus des Thermoplasmatales. Une étude réalisée sur 63 individus répartis en nouveau-nés, adultes et seniors a montré que la fréquence de ces nouveaux phylotypes augmente avec le vieillissement. Ces résultats interrogent à la fois sur l'origine de ces divers organismes et leur présence au sein du mcrobiote intestinal du sujet âgé et soulignent notre relative méconnaissance d'un des trois domaines du vivant.

Avec l'intégration croissante des fonctions, les systèmes embarqués modernes deviennent très intelligents et sophistiqués. Les exemples les plus emblématiques de cette tendance sont les téléphones portables de dernière génération, qui offrent à leurs utilisateurs un large panel de services pour la communication, la musique, la vidéo, la photographie, l'accès à Internet, etc. Ces services sont réalisés au travers d'un certain nombre d'applications traitant d'énormes quantités d'informations, qualifiées d'applications de traitements intensifs de données. Ces applications sont également caractérisées par des comportements multi-horloges car elles comportent souvent des composants fonctionnant à des rythmes différents d'activations lors de l'exécution. Les systèmes embarqués ont souvent des contraintes temps réel. Par exemple, une application de traitement vidéo se voit généralement imposer des contraintes de taux ou de délai d'affichage d'images. Pour cette raison, les plates-formes d'exécution doivent souvent fournir la puissance de calcul requise. Le parallélisme joue un rôle central dans la réponse à cette attente. L'intégration de plusieurs cœurs ou processeurs sur une seule puce, menant aux systèmes multiprocesseurs sur puce (en anglais, "multiprocessor systems-on-chip - MPSoCs") est une solution-clé pour fournir aux applications des performances suffisantes, à un coût réduit en termes d'énergie pour l'exécution. Afin de trouver un bon compromis entre performance et consommation d'énergie, l'hétérogénéité des ressources est exploitée dans les MPSoC en incluant des unités de traitements aux caractéristiques variées. Typiquement, des processeurs classiques sont combinés avec des accélérateurs (unités de traitements graphiques ou accélérateurs matériels). Outre l'hétérogénéité, l'adaptativité est une autre caractéristique importante des systèmes embarqués modernes. Elle permet de gérer de manière souple les paramètres de performances en fonction des variations de l'environnement et d'une plate-forme d'exécution d'un système. Dans un tel contexte, la complexité du développement des systèmes embarqués modernes paraît évidente. Elle soulève un certain nombre de défis traités dans nos contributions, comme suit : 1) tout d'abord, puisque les MPSoC sont des systèmes distribués, comment peut-on aborder avec succès la correction de leur conception, de telle sorte que les propriétés fonctionnelles des applications multi-horloges déployées puissent être garanties ? Cela est étudié en considérant une méthodologie de distribution "correcte-par-construction" pour ces applications sur plates-formes multiprocesseurs. 2) Ensuite, pour les applications de traitement intensif de données à exécuter sur de telles plates-formes, comment peut-on aborder leur conception et leur analyse de manière adéquate, tout en tenant pleinement compte de leur caractère réactif et de leur parallélisme potentiel ? 3) Enfin, en considérant l'exécution de ces applications sur des MPSoC, comment peut-on analyser leurs propriétés non fonctionnelles (par exemple, temps d'exécution ou énergie), afin de pouvoir prédire leurs performances ? La réponse à cette question devrait alors servir à l'exploration d'espaces complexes de conception. Nos travaux visent à répondre aux trois défis ci-dessus de manière pragmatique, en adoptant une vision basée sur des modèles. Pour cela, ils considèrent deux paradigmes complémentaires de modélisation flot de données : la "modélisation polychrone" liée à l'approche synchrone réactive, et la "modélisation de structures répétitives" liée à la programmation orientée tableaux pour le parallélisme de données. Le premier paradigme permet de raisonner sur des systèmes multi-horloges dans lesquels les composants interagissent, sans supposer l'existence d'une horloge de référence. Le second paradigme est quant à lui suffisamment expressif pour permettre la spécification du parallélisme massif d'un système.

The field of statistical machine translation has made tremendous progress due to the rise of statistical methods, making it possible to obtain a translation system automatically from a bilingual collection of text. Some approaches do not even need any kind of linguistic annotation, and can infer translation rules from raw, unannotated data. However, most state-of-the art systems do linguistic structure little justice, and moreover many approaches that have been put forward use ad-hoc formalisms and algorithms. This inevitably leads to duplication of effort, and a separation between theoretical researchers and practitioners. In order to remedy the lack of motivation and rigor, the contributions of this dissertation are threefold: 1. After laying out the historical background and context, as well as the mathematical and linguistic foundations, a rigorous algebraic model of machine translation is put forward. We use regular tree grammars and bimorphisms as the backbone, introducing a modular architecture that allows different input and output formalisms. 2. The challenges of implementing this bimorphism-based model in a machine translation toolkit are then described, explaining in detail the algorithms used for the core components. 3. Finally, experiments where the toolkit is applied on real-world data and used for diagnostic purposes are described. We discuss how we use exact decoding to reason about search errors and model errors in a popular machine translation toolkit, and we compare output formalisms of different generative capacity.

Afin de rendre les machines synchrones à aimants permanents plus attractives pour l'aéronautique (actionneurs de commande de vol, systèmes de freinage, train d'atterrissage ...), il peut être intéressant de réduire le nombre de modules d'électronique de puissance utilisés en les mutualisant. De nombreuses études ont été réalisées pour des systèmes composés de plusieurs machines asynchrones et principalement en traction ferroviaire, mais peu concernent les machines synchrones. Après avoir étudié différentes structures envisageables, les travaux développés lors de cette thèse présentent une étude originale d'un système composé de deux machines synchrones à aimants permanents connectées en parallèle sur un onduleur unique mutualisé. Ces machines ont des caractéristiques identiques ou proches et doivent être pilotées à la même vitesse. La structure de commande retenue lors de cette thèse est de type maître-esclave: seule une des deux machines est autopilotée (la machine maître), l'autre (la machine esclave) fonctionnant en boucle ouverte. Afin d'assurer la stabilité d'un tel système, le synchronisme des deux moteurs doit toujours être respecté. Une stratégie de commande, qui choisit quel est le moteur maître, en prenant en compte la variation des paramètres internes et externes du système, est alors instaurée. Dans ces conditions, les évolutions théoriques des différentes variables sont déterminées. Pour valider ces résultats, un processus expérimental est mis en place. Les nombreux résultats obtenus en simulation et expérimentalement permettent alors de confirmer les résultats théoriques: que ce soient les paramètres mécaniques ou électriques qui varient, la stabilité du système est toujours garantie. Le cas supplémentaire où les deux machines déplacent une charge mécanique commune avec une liaison mécanique rigide entre les deux machines, est finalement développé. Une autre stratégie de commande, dont la structure et les résultats sont également présentés dans cette thèse, est alors nécessaire. / To make permanent magnet synchronous machines more attractive for aerospace (flight control actuators, braking systems, landing gear ...), it may be advantageous to reduce the number of power electronic modules used in the pooling. Many studies have been performed for systems composed of several machines and asynchronous traction primarily, but little concern synchronous machines. After considering various possible structures, this Ph.D. thesis presents an original study of a system consisting of two permanent magnet synchronous machines connected in parallel on a single shared inverter. These machines have characteristics identical or similar and must be driven at the same speed. The control structure chosen in this Ph.D. thesis is a master-slave : only one machine, called master machine is self-piloted, the other (the slave machine) operating in open loop. To ensure the stability of such a system, the timing of the two engines should always be respected. A control strategy, which selects which is the master motor, taking into account the variation of internal and external parameters of the system is then introduced. Under these conditions, the theoretical developments of the different variables are determined. To validate these results, an experimental process is established. The numerous results obtained in simulation and experiments are then used to confirm the theoretical results : whatever the mechanical or electrical parameters variation, system stability is always guaranteed. The additional case, when both machines move a mechanical load with a common rigid mechanical connection between two machines, is finally developed. Another required control strategy, the structure and the results are also presented in this Ph.D. thesis.

Cette thèse s'est déroulée dans le cadre du projet SECMAR qui visait à sécuriser le Grand Port Maritime de Marseille. Notre objectif était d'aider les personnels du port à identifier les comportements menaçant des navires afin de pouvoir agir efficacement en cas de danger réel. A ce titre, nous avons développé un système d'analyse et de reconnaissance de comportements de navires formé de deux sous-modules complémentaires. Le premier est construit à partir de l'approche probabiliste Modèle de Markov Cachée et traite principalement des comportements nominaux des gros bateaux qui se caractérisent par un déplacement régulier et récurrent dans le port. Le second est construit à partir du langage réactif synchrone Esterel et prend en compte les comportements agressifs et transgressifs de tous types de navires, notamment ceux des petits bateaux qui circulent librement et aléatoirement dans le port. Le système global d'aide à la décision a permis une bonne reconnaissance en temps-réel des différents comportements de navires au cours de leurs évolutions dans le port. Au regard des résultats prometteurs que nous avons obtenu à travers ce module, il est envisageable de le généraliser à d'autres ports mondiaux ainsi qu'à d'autres domaines d'application, notamment le domaine aéroportuaire. / The overall aim of this thesis was to create a decision support system that identifies discrepancies in ship behavior. The thesis was a part of the SECMAR project that aimed to improve security at the Marseilles harbor by the creation of decision support system for port staff. For this purpose, we developed a recognition behavior system consisting of two complementary sub-systems.The first system was based on the probabilistic Hidden Markov model approach and deals with nominal behavior of large to medium size commercial ships showing regular and recurrent behavior. The second system was based on the reactive synchronous language Esterel and concerns aggressive and transgressive behavior of small ships that may navigate freely in the harbor. Real-time evaluations showed that the proposed decision support system efficiently captured and evaluated ship behaviors. The promising results of the system and its diversity in origin makes it suitable for applications in other harbors as well as other environment such as airports.

Une nouvelle chaîne de traction dédiée à un véhicule hybride électrique de poids lourds a été développée dans ces travaux de recherche. A ce stade, la conception et l'optimisation des composants électriques de la chaîne de traction ont été étudiées, notamment les machines synchrones à aimants permanents et les onduleurs de tension associés, ainsi que le train Ravigneaux. En ce qui concerne la conception, un modèle analytique a été créé et qui permet de répondre au cahier des charges simultanément. Les différentes contraintes multiphysiques ont été prises en compte dans le modèle analytique. Ensuite, un modèle numérique via la méthode élément fini a été mise en œuvre. Le modèle numérique nous a permis de valider les performances de la machine électrique. En ce qui concerne l'optimisation, une stratégie de l'optimisation globale a été étudiée. Un exemple d'optimisation a été basé sur un système composé par deux machines électriques et deux onduleurs associés, ainsi que le train Ravigneaux. La comparaison basée sur cet exemple pour l'optimisation locale et globale nous a permis de valider l'avantage de la stratégie de l'optimisation globale. L'expérimentation a été réalisée sur un banc d'essais qui est constitué par la machine prototype et la machine de charge, les deux machines électriques ont été alimentées et pilotées par deux variateurs de fréquence. Les résultats expérimentaux nous ont permis de valider les modèles théoriques. / A new powertrain for a hybrid electric vehicle of heavy duty was developed in this research work. In this case, the design and the optimization of electrical components of powertrain have been investigated involving the permanent magnet synchronous machines, the associated inverters and the Ravigneaux train. Regarding the design, an analytical model was created and that permits simultaneously answering to specification. The various multiphysic constraints have been taken into account in analytical model. And then the numerical model was carried out via finite element method has been implemented. The numerical model allowed us to valid electrical machine performances. Regarding the optimization, a global optimization strategy was investigated. An optimization example was based on a system which was composed of two electrical machines, two associated inverters and the Ravigneaux train; The comparison based on this example between the local optimization and the global optimization, which allowed us to valid the advantage of global optimization strategy. The experimentation has been performed with a test bench involving the prototype machine and the load machine, the two electrical machines were fed and controlled by two frequency drives. The experimental results permit to valid the theoretical models.