MASL PROPOSE UNE APPROCHE UNIFIEE ET MACROSCOPIQUE A L'EXPRESSION DE CALCULS HETEROGENES ET DISTRIBUES SUR DES AGENTS CONÇUS EN SUIVANT LE MODELE DELIBERATIF, REACTIF OU HYBRIDE. C'EST UN LANGAGE DE HAUT NIVEAU INDEPENDANT DE L'EXECUTIF OU CHAQUE AGENT, VU COMME UNE ENTITE CONCURRENTE, DETERMINE LOCALEMENT SA PARTICIPATION A DES BLOCS D'EXECUTION COLLECTIFS (E-BLOCS). CHAQUE E-BLOC EST UN PROGRAMME COLLECTIF ANONYME POUVANT S'EXECUTER SUR UN RESEAU D'AGENTS SELON DES CRITERES LOCAUX. LE MODE D'ORCHESTRATION (SCALAIRE, SYNCHRONE, ASYNCHRONE) EST DETERMINE STATIQUEMENT PAR UN ATTRIBUT DU BLOC, LES COMMUNICATIONS SUPPORTENT LE MODELE A MEMOIRE PARTAGEE, LE MODELE A ENVOI DE MESSAGES ET LE MODELE D'EVENEMENTS. L'HETEROGENEITE DES AGENTS EST ASSUREE PAR HERITAGE ET POLYMORPHISME ALORS QUE L'AUTONOMIE EST PROPOSEE PAR UN MECANISME (APPELE PERMEABILITE) DE FILTRAGE OU CHAQUE AGENT PEUT MASQUER/OUVRIR SON INTERFACE DYNAMIQUEMENT ET SELON LA POSITION DE L'EMETTEUR DANS LA HIERARCHIE D'E-BLOCS. DANS UN CONTEXTE D'ALLOCATION DYNAMIQUE DES AGENTS, DE REPRISE APRES ECHEC OU DE REMPLACEMENT D'UN AGENT ROBOTIQUE DANS UNE FLOTTE DE ROBOTS (CAS D'UNE PANNE OU PERTE DE FONCTIONNALITE COMPROMETTANT LA MISSION), LE E-BLOC PROPOSE UNE PERSPECTIVE DE POINT D'ENTREE D'UN TRAITEMENT COLLECTIF. DANS LE CAS D'E-BLOC SYNCHRONES, LE PARADIGME SOUS-JACENT EST ISSU DU MODELE DATA-PARALLELE, PERMETTANT ICI DES TRAITEMENTS ITERATIFS PAR VAGUES SUCCESSIVES D'AGENTS. AU FINAL, MASL PROPOSE DES AVANCEES DANS LE DOMAINE DES SMA (APPARTENANCE DYNAMIQUE A DES GROUPES, PRECISION DU RYTHME DES ACTIONS A ENTREPRENDRE POUR PERMETTRE UNE COOPERATION DESIREE) ET AU NIVEAU DE LA GESTION DES ERREURS.

Nous nous intéressons à la conception sûre de systèmes répartis. Nous montrons qu'avec la complexité et l'intégration croissante des systèmes embarqués, la structure fonctionnelle du système peut entrer en conflit avec la structure de son architecture. L'approche traditionnelle de conception par raffinement de cette architecture compromet alors la modularité fonctionnelle du système. Nous proposons donc une méthode permettant de concevoir un système réparti défini comme un programme unique, dont la structure fonctionnelle est indépendante de l'architecture du système. Cette méthode est basée sur l'ajout de primitives de répartition à un langage flots de données synchrone. Ces primitives permettent d'une part de déclarer l'architecture sous la forme d'un graphe définissant les ressources existantes et les liens de communication existant entre ces ressources, et d'autre part de spécifier par des annotations la localisation de certaines valeurs et calculs du programme. Nous définissons ensuite la sémantique formelle de ce langage étendu. Cette sémantique a pour but de rendre compte de manière formelle l'effet des annotations ajoutées par le programmeur. Un système de types à effets permet ensuite de vérifier la cohérence de ces annotations. Ce système de types est muni d'un mécanisme d'inférence, qui permet d'inférer, à partir des annotations du programmeur, la localisation des calculs non annotés. Nous définissons ensuite, à partir de ce système de types, une méthode de répartition automatique permettant d'obtenir, à partir d'un programme annoté, un fragment de programme par ressource de l'architecture. La correction du système de types avec la sémantique du langage est prouvée, ainsi que l'équivalence sémantique de l'exécution des fragments obtenus par la méthode de répartition automatique avec le programme initial. Cette méthode a été implémentée dans le compilateur du langage Lucid Synchrone, et testée sur un exemple de radio logicielle.

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.

Cette thèse aborde la conception optimale des chaînes de traction par l'exemple d'une chaîne de traction pour métro. Les données d'entrée de la conception d'une chaîne de traction sont la performance attendue et l'encombrement des équipements nécessaires. Pour aider le concepteur, l'outil informatique donne aujourd'hui la possibilité de construire une grande variété de modèles. D'autre part, les algorithmes d'optimisation permettent de trouver les configurations optimales. Ces possibilités ont été exploitées au cours de ce travail. Les modèles développés permettent d'estimer un large nombre de critères. A travers l'exemple de ces modèles, la méthode de conception suivie est détaillée dans le rapport. D'un point de vue technique, la chaîne de traction proposée est détaillée dans le dernier chapitre

Cette thèse s'inscrit dans la thématique de planification d'expériences numériques. Elle porte plus précisément sur l'optimisation de simulateurs numériques coûteux à évaluer, par des stratégies d'échantillonnage basées sur des représentations simplifiées du simulateur, les metamodèles. Une fois choisi un metamodèle parmi les familles existantes (polynômes, splines, modèles additifs, Krigeage, réseaux de neurones), on estime les paramètres du metamodèle. On dispose alors d'une représentation simplifiée du simulateur, que l'on pourra faire évoluer en fonction des informations apportées par de nouvelles évaluations. Etant donné qu'il est difficile de savoir a priori quel sera le type de metamodèle capable de guider au mieux un algorithme d'optimisation, une des motivations de ce travail est d'examiner comment une construction ad hoc de la structure du metamodèle, voire la prise en compte de plusieurs metamodèles, peuvent améliorer les méthodes d'approximation et les stratégies d'optimisation globale actuellement employées. Cela soulève à la fois des questions mathématiques et statistiques de sélection de modèle (quelles familles de métamodèles considérer ? Comment estimer les termes de covariance et/ou de tendance d'un métamodèle de Krigeage, et selon quels critères les évaluer ? Comment prendre en compte certaines formes d'instationnarité dans la covariance de Krigeage que sont les symétries et la présence de bruits d'observation hétérogènes ?), de combinaison de modèles (Une fois un ensemble de metamodèles choisis, comment agrège-ton les pseudo-informations qu'ils nous apportent ?), et de définition de critères décisionnels pour guider les évaluations au sein d'algorithmes d'optimisation (Comment paralléliser EGO ou des procédures similaires d'exploration sur base de Krigeage ?).

Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus lent si on devient plus sûr. Afin d'augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d'une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s'appelle la compilation, et évite des erreurs introduites par l'homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d'un sous-ensemble large de C vers l'assembleur PowerPC pour lequel il a été prouvé dans l'assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d'éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d'avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l'est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne.

Thèse de doctorat : Informatique : Nice : 2004. / Bibliogr. p. 155-159. Résumés en français et en anglais.

La traction hybride et/ou électrique est un domaine d'application en pleine croissance présentant une forte restriction en termes d'encombrement. Cela a poussé les concepteurs à créer des structures de machine adaptées. Parmi ces topologies, nous trouvons les machines synchrones à double excitation (MSDE). Ces machines permettent de combiner les avantages d'une machine à aimants et ceux d'une machine à excitation bobinée. Le choix d'un modèle pour ces machines est un élément important dans les étapes d'analyse, d'optimisation et de pré-dimensionnement. Ce mémoire présente une contribution à la modélisation des machines synchrones à simple et à double excitation basée sur la méthode des réseaux de perméances. Trois parties sont ainsi proposées. La première partie de la thèse présente deux états de l'art- un sur les machines synchrones à double excitation et l'autre sur les méthodes de modélisation des machines électriques et principalement la modélisation par réseau de perméances. Dans la deuxième partie, nous abordons la modélisation 2D de la machine synchrone à aimants permanents à concentration de flux avec prise en compte de la rotation et de la saturation. Le but de cette partie est de trouver des méthodes permettant de combiner à la fois temps de calcul et précision. On commence par la modélisation par réseau de perméances en se basant sur un maillage de l'espace d'étude par des réluctances bidirectionnelles, ainsi qu'une comparaison entre calcul du couple par le tenseur de Maxwell et flux-FMM. La deuxième section présente un couplage entre réseaux de perméances et éléments finis. La méthode proposée consiste à résoudre les deux modèles (réluctant et éléments finis) simultanément avec un logiciel EF. Le couplage s'effectue par une équivalence entre les dimensions géométriques et les caractéristiques magnétiques des matériaux. La présentation des différents modèles dans le plan précision-temps de calcul montre l'efficacité de l'utilisation des réseaux de perméances et du couplage comparé au modèle éléments finis. La troisième partie porte sur la modélisation tridimensionnelle des machines synchrones à double excitation. Dans un premier temps, nous présentons une adaptation de la modélisation par réseau de perméances aux structures tridimensionnelles. Puis, nous appliquons ce modèle aux machines synchrones à double excitation. La machine à double excitation à concentration de flux est présentée avec une étude de l'influence du feuilletage sur la capacité de contrôle du flux. Pour améliorer le contrôle du flux d'excitation, une machine à aimants enterrés homopolaire est également étudiée avec l'approche développée. La validation du modèle est réalisée par des éléments finis et des mesures expérimentales. Dans la dernière partie, une comparaison entre configurations homopolaire et bipolaire de la structure à aimants enterrés est effectuée, puis le rotor à concentration de flux est optimisé afin de le comparer à la machine à aimants enterrés.

Les actionneurs disques sont potentiellement une solution intéressante pour des applications de transport exigeantes, comme le véhicule hybride. Cela étant, la conception de ces actionneurs pour de telles applications se heurte à certaines difficultés : cahier des charges dans le plan couple-vitesse complexe, nécessité de minimiser des critères contradictoires comme la masse et les pertes. Une solution réside dans l'utilisation des algorithmes d'optimisations systématique. Encore faut-il disposer, pour utiliser de tels algorithmes, de modèles souples, à la fois précis et rapides. Cette thèse se focalise sur le développement de modèles analytiques fondés sur la résolution formelle des équations de Maxwell, qui permet un bon compromis entre temps de calcul et précision, à condition d'accepter certaines hypothèses simplificatrices, comme la linéarité des matériaux magnétiques. La première partie concerne les modèles électromagnétiques bi-dimensionnels, en développant la structure disque au niveau de son rayon moyen. Pour ces modèles, une attention toute particulière a été portée sur la modélisation des saillances aussi bien statoriques que rotoriques. Il est en particulier montré que l'approximation du coefficient de Carter permet effectivement de déterminer le couple moyen de la machine avec précision. Néanmoins, si on veut déterminer les inductions dans le fer pour calculer les pertes magnétiques, un modèle de l'encochage statorique est nécessaire. Dans un second temps, des modèles tri-dimensionnels analytiques ont été développés, afin de calculer le flux à vide de l'actionneur, en prenant en compte les effets des bords, ainsi que l'effet de courbure. Il est montré que la prise en compte des effets de bords est de première importance dans la modélisation des actionneurs. Par contre, une étude sur l'effet de courbure de la machine disque montre que le développement de l'actionneur au rayon moyen, pourvu que l'on utilise un modèle 3D, n'induit qu'une erreur minime. Un second point concerne l'étude des pertes magnétiques dans les matériaux composites isotropes formés de particules de fer pur isolées les unes des autres, liées, et puis compressées. En effet, ces matériaux sont très prometteurs en conception de machines électriques, autorisant des parcours de flux tri-dimensionnels, ainsi qu'une isotropie thermique, malgré leur perméabilité magnétique relativement faible. Deux matériaux de la société suédoise Hoganas (l'un dédié aux applications de machines électriques, l'autre à l'électronique de puissance, avec des grains de taille plus faible) ont été caractérisés en termes de pertes magnétiques dans une large gamme de fréquences. Un modèle de pertes classiques a été formulé, en se basant sur des observations microscopiques des échantillons de matériaux. Grâce à cette estimation des pertes classiques, une procédure de séparation des pertes magnétiques a pu être mise au point. La déduction du terme de pertes excédentaires a révélé certains mécanismes de magnétisation propres à ces matériaux granulaires, dont des grains ont un comportement magnétique à priori indépendant les uns des autres. Contrairement aux matériaux laminés qui possèdent un nombre d'objets magnétiques actifs relativement bas sur la section de la tôle en champ excédentaire nul, les courants de Foucault permettant alors une homogénéisation du comportement magnétique lorsque la fréquence augmente, les matériaux granulaires semblent exhiber un comportement tout autre, en présentant au moins un objet magnétique actif par grain en champ excédentaire nul. De telles constatations changent la dépendance des pertes excédentaires en fonction de la fréquence (les pertes excédentaires sont alors proportionnelles à la fréquence f, alors que nous rappelons qu'elles sont proportionnelles à f^0.5 dans la plupart des matériaux laminés). Enfin un début d'optimisation a pu être mené, en se limitant aux modèles électromagnétiques bi-dimensionnels, et aux matériaux laminés classiques. Diverses études de sensibilité, comme la loi de commande, ou bien l'induction rémanente des aimants, ont été entreprises. Ce travail se termine par une analyse de l'influence d'une contrainte de puissance apparente sur la géométrie de la machine électrique.

Les travaux menés au cours de cette thèse abordent les aspects de la conception optimale des machines électriques appliquées à la traction automobile.Cette thèse traite tout d'abord des contraintes imposées par le cahier des charges de l'application automobile électrique/hybride. Une méthode de classification ayant pour but de réduire le nombre d'évaluations des points de fonctionnement y est décrite. Ensuite, un prédimensionnement optimal de la machine est présenté. Le design de la machine est alors construit pour respecter la solution obtenue par le prédimensionnement.Dans la suite, une modélisation électromagnétique analytique précise et rapide de la machine est mise au point pour évaluer ses performances. Enfin, le modèle analytique précédemment conçu est couplé à une routine d'optimisation. Deux solutions optimales de machines synchrones à aimants permanents (MSAP) dédiées à l'application automobile seront finalement mises en exergue.