Les systèmes intégrés sont aujourd’hui de plus en plus fréquemment confrontés à des contraintes de faible consommation ou d’efficacité énergétique. Ces problématiques se doivent d’être intégrées le plus en amont possible dans le flot de conception afin de réduire les temps de design et d’éviter de nombreuses itérations dans le flot. Dans ce contexte, le projet collaboratif HiCool, partenariat entre les laboratoires LIRMM et TIMA, les sociétés Defacto, Docea et ST Microelectronics, a mis en place une stratégie et un flot de conception pour concevoir des systèmes intégrés faible consommation tout en facilitant la réutilisation de blocks matériels (IPs) existants. L’approche proposée dans cette thèse s’intègre dans cette stratégie en apportant une petite dose d’asynchronisme dans des systèmes complètement synchrones. En effet, la réduction de la consommation est basée sur le constat que l’activation permanente de la totalité du circuit est inutile dans bien des cas. Néanmoins, contrôler l’activité avec des techniques de « clock gating » ou de « power gating » nécessitent usuellement d’effectuer un re-design du système et d’ajouter un organe de commande pour contrôler l’activation des zones effectuant un traitement. Le travail présenté dans ce manuscrit définit une stratégie basée sur des contrôleurs d’horloge et de domaine d’alimentation, asynchrones, distribués et facilement insérables dans un circuit avec un coût de re-design des plus réduit. / Today integrated systems are increasingly faced with the constraints of low consumption or energy efficiency. These issues need to be integrated as far upstream as possible in the design flow to reduce design time and avoid much iteration in the flow. In this context, the collaborative project HiCool, between LIRMM and TIMA laboratories, Defacto, Docea and ST Microelectronics companies, has set up a strategy and design flow to design integrated low power systems while facilitating the reuse of existing hardware blocks (IPs). The approach proposed in this thesis fits into this strategy by bringing a small dose of asynchrony in completely synchronous systems. Indeed, the reduction in consumption is based on the observation that permanent activation of the entire circuit is unnecessary in many cases. However, controlling the activity with techniques of "clock gating" or "power gating" usually need to perform a re-design of the system and to add a control device for controlling activation of areas effecting treatment. The work presented in this manuscript provides a strategy based clock controllers and power domain, asynchronous, distributed and easily insertable into a circuit with a low cost design.

Dans un contexte ou la question de la préservation de l'environnement est devenue un sujet sociétal majeur, la recherche de nouvelles technologies pour remplacer la voiture à essence constitue un véritable enjeu industriel. Les véhicules hybrides et électriques sont une alternative prometteuse aux véhicules conventionnels. Ce travail de thèse porte sur la conception et l'optimisation des machines électriques pour la motorisation de ces voitures.Au cours de ces travaux, nous avons développé une nouvelle méthodologie de dimensionnement et d'optimisation des machines synchrones à double excitation. L'intérêt de cette méthode est son bon compromis entre la précision et le temps de calcul et sa capacité d'adaptation à plusieurs types de machines. Le second volet de la thèse est consacré à la proposition d'une nouvelle structure de machine synchrone à rotor bobiné. Une technique originale de compensation de la réaction magnétique d'induit est mise en place, elle consiste en l'insertion d'aimants secondaires permettant de créer un flux dans l'axe q de la machine. Ce dernier a pour rôle d'affaiblir le flux de la réaction magnétique d'induit. / In a context where the question of the environmental protection has become a major social problem, research new technologies to replace the gasoline car is a real industrial challenge. The hybrid and electric vehicles are a promising alternative to conventional vehicles. This thesis focuses on the design and optimization of electrical machines for electric and hybrid cars.In this work, we developed a new methodology for design and optimization of hybrid excitation synchronous machines. The advantage of this method is its good compromise between accuracy and computation time and its ability to be adapted to a wide range of machines. The second part of this thesis is devoted to the development of a new structure of a wound rotor synchronous machine. A novel technique for compensating the armature reaction of this machine is introduced, it involves the insertion of secondary magnets to produce a quadratic axis flux (q-axis), this latter has the function of weakening the armature reaction flux.

Les travaux de cette thèse portent sur l’optimisation de gammes dans laconception des machines synchrones à concentration de flux. Dans un premier temps, unmodèle de dimensionnement multi physique dédié à l’optimisation a été développé pourchaque machine retenue pour cette étude. Un modèle analytique pour la structure à bobinagereparti et un modèle semi-analytique à base de réseaux de réluctances pour la machineà bobinage sur dents. Dans un second temps, nous avons validé nos modèles par comparaisonavec des essais expérimentaux. L’aspect gamme de notre étude nous a contraints à fairecette validation sur différentes machines et pour différents points de fonctionnement. Unepremière phase d’optimisation classique, réalisée grâce au couplage de nos modèles avec uneméthode déterministe à base de gradient a montré la possibilité d’optimiser nos machines.Une démarche originale d’optimisation de gammes basée sur le partage des composants aété mise au point. Son application sur une série de machines a montré que la discrétisationoptimale de tôles dans un diamètre donné est fonction de la vitesse des machines. / The works of this thesis concern the ranges optimization for radial synchronousmachines conception. At first, a multiphysical sizing model dedicated to optimizationwas developed for every retained machine for our study. An analytical model for distributedwinding structure and a semi-analytical model with network reluctances for concetratedwinding motors. Secondly, we validated the models by comparison with the experimentalmesures. The range aspect of the study forced us to make this validation on variousmachines and for various operating points. A first phase of classic optimization, whichis realized due to the coupling of the models with a gradient based determinist methodshowed the possibility to optimize the motors. An original approach of range optimizationbased on the components sharing was developed. Its application on a series of motors showedthat, the optimal discretization of steel sheets in a given diameter is a function of themotor speed.

Le travail présenté dans cette thèse s’inscrit dans le cadre de différents programmes de recherches sur la modélisation et la conception des machines synchrones à aimants permanents, pour des applications de transports terrestres. En effet, la tendance actuelle, que ce soit dans la traction ferroviaire, ou dans les véhicules électriques et/ou hybrides électriques, est d’utiliser de tels moteurs pour leurs grandes performances massiques et leur bon rendement. Cette tendance est également observable dans les grandes éoliennes à attaque directe. Toutefois, un inconvénient de ces machines est l’existence de pertes pouvant être importantes dans les aimants permanents. Ces pertes sont d’une part à l’origine d’une dégradation du rendement, mais elles peuvent aussi être à l’origine d’échauffements excessifs des aimants, avec des risques de désaimantation d’une part et des risques de décollement d’autre part. Dans ce contexte, l’objectif de notre travail de thèse a été d’établir de nouveaux modèles, plus précis, des pertes par courants de Foucault dans les aimants. Les modèles utilisés actuellement sont généralement des modèles bidimensionnels qui ignorent donc le fait que les courants de Foucault ont une répartition tridimensionnelle dans les aimants. Afin de valider le modèle développé, une maquette expérimentale a été mise en place. Dans un premier temps, le modèle de calcul des pertes par courants induits dans les pièces massives a été validé en utilisant une approche qui combine les résultats expérimentaux et ceux calculés analytiquement et numériquement. Ensuite différentes grandeurs globales et locales issues du modèle analytique ont été comparées aux éléments finis aussi bien en 2D qu'en 3D de même qu'aux mesures expérimentales. Les modèles et méthodes de calcul et de mesures proposés pourront être efficacement utilisés ultérieurement pour estimer les pertes par courants induits dans les aimants permanents de moteurs synchrone à aimants. / The work presented in this thesis is part of various research programs on the modeling and design of permanent magnet synchronous machines for land transport applications. Indeed, the current trend, whether in railway traction, or in electric and / or hybrid electric vehicles, is to use such engines for their high mass performance and good efficiency. This trend is also observable in large direct-attack wind turbines. However, one disadvantage of these machines is the existence of significant losses in the permanent magnets. These losses can cause a deterioration in efficiency, and also be the cause of excessive heating of the magnets, with risks of demagnetization and risks of. In this context, the aim of our thesis work was to establish new, more accurate models of eddy current losses in magnets. The models currently used are generally two-dimensional models which therefore ignore the three-dimensional distribution of eddy currents in the magnets. In order to validate the model developed, we set up an experimental test bench. In a first step, the calculation of induced current losses in massive pieces was validated using an approach that combines the experimental results with those calculated analytically and numerically. Then, different global and local quantities from the analytical model were compared to the finite elements in both 2D and 3D as well as experimental measurements. The models and methods of computation and measurements proposed can be effectively used later to estimate eddy current losses in the permanent magnets of synchronous magnet motors.

Le travail présenté dans ce mémoire traite de la problématique de recherche de structures innovantes de génératrices pour les turbines de l’éolien offshore atteignant la dizaine de mégawatts et du dimensionnement de ces structures. À cet effet, les machines synchrones à aimants permanents, à flux axial, à entraînement direct sont celles qui ont plus de potentiel énergétique pour répondre aux besoins de ces futures turbines éoliennes offshore de grande puissance. L’étude de ces structures a rendu nécessaire le développement d’un outil de dimensionnement analytique multiphysique « léger » et suffisamment précis servant à l’analyse et l’exploration de l’espace de solutions. Une nouvelle approche de modélisation analytique magnétique quasi-3D qui prend compte des effets 3D (variations des formes d’aimants permanents au rotor et les effets de bords aux extrémités radiales), est développée à cet effet pour ces structures tridimensionnelles et confirmée par une modélisation tridimensionnelle par éléments finis. La modélisation magnétique est basée sur l’approche mathématique permettant la résolution formelle des équations de Maxwell par la méthode de séparation des variables dans les différentes régions à faible perméabilité de la machine. Couplé à une modélisation thermique nodale ainsi qu’une modélisation des pertes, ce travail aboutit à un modèle dimensionnant multiphysique des machines à flux axial avec un excellent rapport « temps de calcul/précision » servant pendant les phases préliminaires du dimensionnement. / This work deals with the search for innovative structures of generators for the offshore wind turbines reaching about ten megawatts and their design. The direct drive, axial flux, permanent magnet synchronous machines are the ones which have more energy potential for these future high power offshore wind turbines. The study of these axial flux machines required the development of a fast analytical design help tool with a good accuracy for their analysis and their design. To do so, a new approach of quasi-3D magnetic analytical modeling, which takes into account 3D effects (end effects and variations of magnets forms in the rotor) is then developed and confirmed by a 3D finite elements method. Its mathematical approach is based on the formal solution of Maxwell’s equations, in low permeability regions of the machine, by the separation of variables method. Coupled with a nodal thermal modelling and the evaluation of losses, this work succeeds in a multi-physical design tool for axial flux machines with an excellent computation time to accuracy ratio.

Cette thèse s’inscrit dans le cadre des études des phénomènes électromagnétiques dansles régions frontales des grands turbo-générateurs. L’objectif de la thèse est d’estimer apriori le champ magnétique axial en fonction du point de fonctionnement afin d’éviterles possibles dégradations du circuit magnétique (dus aux points chauds et tensions entretôles, qui sont liés à la composante axiale du champ).Une maquette à échelle réelle a été spécialement conçue et réalisée dans le but d’améliorerla compréhension physique des phénomènes : les pertes, la pénétration du champ magnétiqueet les tensions entre tôles sont analysés.Les simulations par éléments finis sont ensuite utilisées : les avantages et inconvénientsseront discutés, ainsi qu’une comparaison critique des résultats par rapport aux mesuresexpérimentales sur la maquette. La région frontale d’un turbo-alternateur est aussi entièrementmodélisée.Enfin, un modèle simple du flux axial est développé. Ses coefficients sont déterminés àl’aide de simulations par éléments finis, mais il peut ensuite être utilisé en temps réel afind’estimer le flux axial correspondant à un point de fonctionnement quelconque. / This work aims to improve the knowledge of electromagnetic phenomena that occurin the end region of large turbo-generators. The goal of this work is to evaluate theaxial magnetic flux density with regard to the operating conditions (such as active orreactive power) in order to prevent potential deterioration of the stator. Indeed, the axialmagnetic field is known to induce hot points or voltages between laminations that maycause insulation breakdown and thus stator faults.An experimental apparatus in real scale has been designed and built. Its purpose is tostudy precisely the following phenomena: losses, axial magnetic flux density penetration,voltage across adjacent voltages.Finite element simulations (FEM) are also used: their advantages and drawbacks arediscussed, and the results are compared with the experimental measures. The wholeend-region of a turbo-generator is also simulated.Finally, a simple model of the axial magnetic flux is proposed. Its parameters are basedon the results of the FEM model, but it may be used in real time to evaluate the axialmagnetic flux density of any operating point.

Higher education is still mainly based on traditional face-to-face teaching formats such as lectures. Although known for a long time, the demand for alternative lecture designs has only recently grown significantly due to the present pandemic crisis, which requires a physical separation between the students and also the lecturer. This separation results in challenges of its own: While most solutions already allow the lecture to be held via streaming, it is even more challenging to involve students, or to create interactions with them or between them. Some approaches allow to activate students through simple polls, chats, or collaboration in breakout sessions. However, either the functional scope of these activities is severely limited or they are restricted to small scenarios. The contents of this paper have been under investigation for some time, but in lieu of the current CoViD-19 pandemic, the authors have decided to apply their preliminary findings in actual lectures and present the results here. The main goal is to investigate the addition of more advanced activities that can be adapted to the current scenario. Therefore, an approach is presented that enables lecturers to create custom workflows of interactive activities such as several types of polls, question and answer, instant feedback, or group formations with corresponding interactions. The application in real scenarios is currently being investigated.

Lors du diagnostic de cancer colorectal, près d’un quart des patients ont des métastases hépatiques dites synchrones. Lorsque la tumeur primitive est asymptomatique, la stratégie chirurgicale (chirurgie première de la tumeur primitive versus chirurgie première des métastases hépatiques) reste débattue. Les recommandations actuelles ne reposent que sur des accords d’experts qui elles-mêmes sont basées sur des études cliniques rétrospectives. L’étude du microenvironnement tumoral a pris ces dernières années une place majeure dans la recherche sur le cancer. Elle a permis de changer de paradigme avec une nouvelle conception du processus métastatique : une tumeur primitive peut agir sur le microenvironnement du futur site métastatique pour créer une "niche pré-métastatique". Cette niche pré-métastatique permettrait secondairement la croissance des cellules tumorales via une angiogénèse tumorale et la formation de métastases. Par une triple approche à la fois fondamentale, translationnelle et clinique, nous avons obtenu des données qui suggèrent qu’une chirurgie première de la tumeur colique ou rectale permet de moduler l’angiogénèse au sein du microenvironnement hépatique. Cette stratégie chirurgicale permettrait également d’améliorer le pronostic oncologique des malades et l’efficacité des anti-angiogéniques. / At the time of the diagnosis of colorectal cancer, nearly 25% of patients have synchronous liver metastases. When this tumor is asymptomatic, the question of surgical strategy (primary tumor first versus liver-first strategy) remains debated. Current recommendations are based on agreements of experts which are by themselves based on retrospective clinical studies. The study of the tumor microenvironment has taken in recent years a major place in the field of cancer research. It leads to new paradigm with a new conception of the metastatic process. It may be possible that the microenvironment of the metastatic sites can be modulated by the primary tumor to promote the formation of the pre-“metastatic niche”. This leads to promote the growth of cancer cells and increase the metastatic potential of primary tumor. By a multidisciplinary research including fundamental, translational and clinical approaches, we have shown that primary tumor first strategy could modulate tumor angiogenesis and liver metastatic process. It is associated with improved survival of patients and efficacy of the anti-angiogenic therapy.

Nous nous intéressons dans ce manuscrit au langage ReactiveML, qui est une extension de ML avec des constructions inspirées des langages synchrones. L'idée de ces langages est de diviser l'exécution d'un programme en une suite d'instants logiques discrets. Cela permet de proposer un modèle de concurrence déterministe que l'on peut compiler vers du code séquentiel impératif. La principale application de ReactiveML est la simulation discrète, par exemple de réseaux de capteurs. Nous cherchons ici à programmer des simulations à grande échelle, ce qui pose deux questions : sait-on les programmer de façon simple et modulaire ? sait-on ensuite exécuter ces programmes efficacement ? Nous répondons à la première question en proposant une extension du modèle synchrone appelée domaines réactifs. Elle permet de créer des instants locaux invisibles de l'extérieur. Cela rend possible le raffinement temporel, c'est-à-dire le remplacement d'une approximation d'un système par une version plus détaillée sans changer son comportement externe. Nous développons dans ce manuscrit la sémantique formelle de cette construction ainsi que plusieurs analyses statiques, sous forme de systèmes de types-et-effets, garantissant la sûreté des programmes dans le langage étendu. Enfin, nous montrons également plusieurs implémentations parallèles du langage pour tenter de répondre à la question du passage à l'échelle des simulations. Nous décrivons tout d'abord une implémentation avec threads communiquant par mémoire partagée et basée sur le vol de tâches, puis une seconde implémentation utilisant des processus lourds communiquant par envoi de messages.

Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de Signal. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé. / Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.