Le travail présenté dans cette thèse propose des nouvelles méthodes de diagnostic des défauts dans les machines à courant alternatif. Les procédures de diagnostic décrites sont fiables, originales, peu coûteuses et simples à mettre en œuvre. Elles présentent l’avantage d’être non invasives et viennent éliminer le principal inconvénient présenté par les autres méthodes de diagnostic déjà connues qui ont recours à la comparaison avec un état supposé sain et connu. L’analyse porte principalement sur le champ magnétique de dispersion, plus particulièrement ses composantes axiales et radiales qui présentent des sensibilités différentes aux défauts. À cet effet, les phénomènes dus aux défauts de court-circuit entre spires dans le bobinage statorique, l’excentricité et la rupture de barres rotoriques, sont étudiés. Il est abordé en particulier les effets de ces défauts dans le cas de la machine asynchrone et celui de la machine synchrone sur le champ axial et sur le champ radial. Pour chaque défaut, des signatures spécifiques sont mises en évidence et expliquées par la modélisation analytique et la modélisation numérique qui comprend les méthodes par circuits électriques couplés et méthodes par éléments finis. Des défauts ont été créés au rotor et au stator sur différentes machines, afin de valider expérimentalement les méthodes de diagnostic proposées. / The work described in this thesis proposes new procedures to diagnose faults in AC machines. The diagnostic procedures described are reliable, original, inexpensive and simple to implement. They have the advantage of being noninvasive and just get rid from the main drawback presented by other diagnostic methods based on a comparison with a healthy state assumed to be known. The analysis focuses on the magnetic field dispersion in the vicinity of the machine, especially its radial an axial distribution which presents different sensitivity according to various faults. To this end, the phenomena due to inter-turn short-circuit faults in the stator winding, rotor eccentricity and broken rotor bars, are studied in the case of an induction machine and a synchronous machine. For each fault, specific signatures are identified and justified by analytical modeling and numerical method of analysis including coupled electric circuit and finite element methods. Defects have been created in the rotor and stator on different machines in order to validate experimentally the suggested diagnostic procedures.

Cette thèse présente un nouveau modèle temporisé appelé timed-pNets pour la modélisation et la vérification des comportements des systèmes distribués hétérogènes. Un défi essentiel de ces systèmes est de spécifier correctement les contraintes de temps du système, dans la mesure où les nœuds dans les systèmes distribués n'ont pas l'horloge physique commune. Timed-pNets utilise un modèle de temps basé sur des horloges logiques, de manière à ce que les mesures de temps dans ce modèle ne reposent pas sur une horloge physique commune. Les timed-pNets ont une structure hiérarchique en arbre: les feuilles de cet arbre sont des Systèmes de Transition Étiquetés paramétrés temporisés (timed-LTSs), et les autres nœuds sont des dispositifs de synchronisation qui permettent de composer les comportements de leurs sous-réseaux. A chaque nœud d'un timed-pNet peut être associée une spécification temporisée, qui consiste en un ensemble d’horloges logiques et de relations sur ces horloges. Les spécifications temporisées sont utilisées pour spécifier les comportements du système, y compris les communications synchrones et asynchrones. Grâce à la spécification temporisée, les timed-pNets peuvent modéliser des systèmes de manière flexible. Les analyses des limites de temps, de la sûreté et de la latence sont discutées par l'étude des conflits de relations entre les horloges logiques du système. Nous utilisons un scénario d'insertion de voitures dans les systèmes de transport intelligents (ITS) comme un exemple pour illustrer l'utilisation de notre modèle timed-pNets. Finalement, l'outil TimeSquare est utilisé pour effectuer une simulation logique et vérifier la validité de notre modèle. / This thesis presents a novel timed model called timed-pNets for modeling and verifying the communication behaviours of heterogeneous distributed systems. Since the nodes in distributed systems have no common physical clock, it brings the challenges of correctly specifying the system time constraints. Timed-pNets build the time model on top of logical clocks such that the time of this model does not rely on a common physical clock. Timed-pNets are tree style hierarchical structures. Each node is associated with a timed specification which consists of a set of logical clocks and some relations on these clocks. The leaves are represented by timed Parametrized Label Transition Systems (timed-pLTSs). Non-leaf nodes (called timed-pNets nodes) are synchronisation devices that synchronize the behaviours of subnets (these subnets can be leaves or non-leaf nodes). Both timed-pLTSs and timed-pNets nodes can be translated to timed specifications. Timed specifications are designed to specify the system behaviours including synchronous and asynchronous communications. Thanks to the timed specification, timed-pNets are able to model systems in a flexible way. Time bound analysis, safety and latency properties are discussed by investigating the relations conflicts between system logical clocks. We take a simple case of car insertion from the area of Intelligent Transportation Systems (ITS) as an example to demonstrate the use of the timed-pNets model. In the end, the TimeSquare tool is used to perform a logical simulation and check the validity of our model.

De nombreux problèmes scientifiques et industriels ont besoin de la résolution de systèmes linéaires non symétriques à grande échelle, qui sont décrits par des matrices creuses de très grande taille. On utilise fréquemment dans ce cas des méthodes numériques itératives et on fait appel au parallélisme pour une résolution rapide et efficace. L'algorithme GMRES(m) est une méthode itérative qui donne de bons résultats dans la plupart des cas. Mais on observe une limitation à sa parallélisation en raison des nombreuses communications produites. Dans quelques cas, la convergence est atteinte très lentement, voire jamais. Nous présentons dans cette thèse une méthode hybride GMRES(m)/LS-Arnoldi qui accélère la convergence grâce à la connaissance des valeurs propres calculées parallèlement par la méthode d'Arnoldi pour les cas réels, avec son implantation sur des supercalculateurs. Une extension aux cas complexes est également étudiée. La dernière tendance du calcul global, le calcul de grille, propose l'exploitation massive des ressources vacantes des réseaux locaux ainsi que sur Internet. Son avantage peut être énorme pour l'exécution d'applications parallèles. L'environnement XtremWeb est un système de grille léger, tolérant aux défaillances et sécurisé pour l'exécution d'applications parallèles. Il est un environnement de calcul haute-performance, une plate- forme de grille logicielle d'expérimentation pour des institutions académiques ou industrielles. Nous présentons dans cette thèse les implantations de la méthode GMRES(m) sur ce système de grille XtremWeb ainsi que sur un environnement distribué de calcul LAM-MPI. Nous avons fait de multiples tests sur grille et supercalculateur. Des performances que nous avons obtenues, nous constatons les avantages et les inconvénients de ces plates-formes de calcul différentes.

Les applications coopératives mettent en jeu des interactions complexes entre les différents éléments qui les composent. L'environnement utilisé pour leur programmation doit donc offrir les mécanismes nécessaires à la réalisation de ces interactions. Le choix d'un environnement à objets pour cette mise en œuvre revêt de nombreux avantages, relatifs aux caractéristiques canoniques des modèles à objets (notion d'interface, héritage, encapsulation), mais certains mécanismes nécessaires aux applications coopératives ne sont pas ou peu pris en compte dans ce contexte. Parmi ceux-ci, nous nous intéressons plus particulièrement à un mode de communication asynchrone et anonyme, complément de l'appel de méthode synchrone. Nous proposons d'intégrer un tel mode de communication dans les modèles à objets en utilisant la notion d'événement: un événement peut être émis et déclencher de manière asynchrone des actions dans les objets. Nous décrivons les différents choix possibles pour intégrer cette communication à base d'événements dans un modèle à objets. Ces choix concernent à la fois les aspects déclaratifs du mécanisme et ceux relatifs au modèle d'exécution associé. Nous examinons également les effets de cette extension sur les caractéristiques canoniques des modèles à objets. Nous appliquons ensuite cette étude au modèle Guide, qui offre des objets répartis, partageables et persistants. Nous montrons comment le mode de communication proposé peut être intégré à ce modèle particulier, en insistant sur les critères qui motivent nos choix. Enfin, la réalisation d'un prototype et d'applications qui l'utilisent a permis de valider les propositions faites

Il existe une voie nouvelle différente du schéma de calcul, par nature séquentiel de Von Neumann: celle du parallélisme massif. Nous proposons dans cette thèse une architecture régulière hautement parallèle basée sur un réseau de cellules asynchrones communiquant par messages. Chaque cellule exécute une tache simple et intégré un mécanisme de communication lui permettant d'échanger des informations avec n'importe quelle autre cellule du réseau. Cette architecture permet d'exécuter de manière efficace bon nombre d'algorithmes très parallèles. Nous avons étudié un accélérateur de simulation logique basé sur cette architecture cellulaire. Le principe est d'associer a chaque cellule du réseau un élément logique du circuit a simuler. Contrôlée par un système-hôte, la simulation se déroule en deux temps: initialisation des cellules du réseau puis exécution de l'algorithme reparti dans les cellules. Plusieurs algorithmes de simulation ainsi que différents modes de synchronisation sont présentés. La réalisation d'un circuit intégrant un réseau 2 x 2 et ses interfaces de communication est décrite. Enfin, une machine prototype de simulation logique basée sur ce circuit utilisant un ordinateur IBM PC/AT comme système-hôte est présenté

Le développement des techniques d'intégration permet de réaliser des circuits de 10**(5) a 10**(6) transistors et, dans un futur proche, des circuits encore plus complexes. Les problèmes de CAO deviennent donc de plus en plus ardus, comme la simulation logique ou le placement. Cette même évolution nous autorise a réaliser des machines parallèles très puissantes pour résoudre ces problèmes. Nous proposons l'architecture d'un réseau cellulaire asynchrone. Ce réseau, compose de nxn cellules dont chacune est physiquement connectée à ses quatre voisines, dispose d'un mécanisme de communication permettant l'acheminement de messages d'une cellule quelconque a n'importe quelle autre. Un circuit intégré, incluant un réseau de 2 x 2 cellules dédié à la simulation logique, a été réalisé. Utilisant cette architecture cellulaire nous avons développé un placeur, qui a partir d'une configuration initiale, minimise la longueur des connexions par échanges de paires. Nous avons aborde la manière dont le placement pourrait être amélioré par la méthode de recuit simule. Ces deux applications, différentes de l'architecture cellulaire, nous permettent de constater que beaucoup de parties sont communes aux deux circuits. Nous énonçons certaines règles de façon à rendre la conception plus rapide et plus sure

L'objectif de ce travail en cotutelle entre l'Université Technique de Sofia et l'Université de Corse, consiste à étudier différentes structures de systèmes hybrides à sources d'énergie renouvelables et ce, dans deux cadres : des processus à variation lente (aspect énergétique) et à variation rapide (aspect électrique). Après une étude bibliographique basée sur une littérature internationale, une étude du potentiel éolien et solaire et de leur complémentarité est réalisée pour différentes stations Bulgares et Corses Les différents modèles de comportement des générateurs du système hybride ont été présentés et validés : photovoltaïque et éolien, puis une analyse des performances d'un système éolien/PV/Stockage et en son dimensionnement optimisé a été réalisé. Le choix du mode de stockage s'est porté sur les Stations de Pompage à Transfert d'Energie (STEP) et l'apport d'un tel stockage sur l'augmentation du taux de pénétration des sources d'énergie renouvelables a été estimé dans le cas du réseau électrique corse. Dans le cadre de l'étude des processus à variation rapide, l'attention a été portée vers les éléments du système hybride dans lesquels intervient une machine asynchrone. Des modèles de machine asynchrone, de convertisseur de tension réversible et de systèmes de contrôle sous différentes configurations ont été développés et validés expérimentalement. Le modèle de simulation a été adapté et mis en oeuvre dans un système microprocesseur dSPACE, qui permet le contrôle des convertisseurs électroniques dans le circuit du rotor de la machine asynchrone à double alimentation en temps réel.

Avec le développement de l'éolien, les prescriptions techniques de raccordement de cette technologie obligeront le maintient de sa connexion lors d'incidents sur la tension du réseau électrique. L'enjeu pour le gestionnaire du réseau est de pouvoir utiliser tous les générateurs pour garantir la stabilité du système électrique.A partir d'un modèle dynamique d'une éolienne à base de Machine Asynchrone à Double Alimentation (MADA), une commande vectorielle améliorée a été proposée en prenant en compte la dynamique du flux statorique engendrée par la chute de tension. Les performances supérieures en terme de maintient de la production ont été établies par comparaison avec la méthode de commande classique. Son domaine d'utilisation a été également déterminé.Pendant les creux de tension importants, une protection matérielle (crowbar) est implémentée avec un contrôle de la démagnétisation de la MADA. En outre, de la puissance réactive peut être produite à la fois par la MADA et par le convertisseur connecté au réseau électrique au cours de la défaillance du réseau.Un contrôle vectoriel à hystérésis des courants pour les deux convertisseurs électroniques multiniveaux est proposé et évalué pour améliorer la réponse dynamique de ces convertisseurs et pour réduire les effets des variations des paramètres sur les performances de la commande. Selon la durée du défaut, des objectifs différents de contrôle doivent être réalisés en priorité pour empêcher des surintensités rotoriques et pour fournir de la puissance réactive. Une reconfiguration complète du dispositif de commande de cette éolienne est détaillée pour renforcer le maintient de la production éolienne lors de défaillances

La perspective de la production décentralisée nécessite de revenir à la modélisation fine des dispositifs électriques constituant le réseau, aux multiples principes de fonctionnement (moteur ou générateur, machines tournantes ou statiques, ...etc) et gammes de puissance. En effet, cet accroissement considérable de la taille des réseaux ne peut se faire au détriment de la sécurité des personnes et de la fiabilité des installations, La machine électrique n'est plus isolée et fait désormais partie intégrante du réseau électrique. C'est sur elle que portera principalement notre étude. La présence de nombreux harmoniques sur le réseau incite à disposer de modèles fréquentiels plus fins et valables sur une plus grande plage de fréquences. En outre, l'étude des réseaux sera facilitée si la matrice d'état du système est de taille raisonnable, autrement dit si le modèle comporte le plus petit nombre de paramètres possible. L'objectif premier de ce travail présenté dans ce mémoire est d'améliorer les modèles classiques des machines, en tenant compte de phénomènes physiques liés à la variation de fréquence, comme l'effet de peau. Ceci impose de partir des équations de Maxwell, décrivant tout phénomène d'induction et de remonter au schéma équivalent de la machine. Cette amélioration des modèles repose sur l'utilisation d'un outil mathématique récemment appliqué à d'autres domaines scientifiques : la dérivation non entière.

Les travaux présentés dans cette thèse portent sur le prototypage virtuel des systèmes embarqués hétérogènes. La complexité des systèmes embarqués fait qu'il est difficile de trouver une solution optimale. Ainsi, les approches adoptées par les ingénieurs reposent sur la simulation qui requiert le prototypage virtuel. L'intérêt du prototypage virtuel est de fournir des modèles exécutables de systèmes embarqués afin de les étudier du point de vue fonctionnel et non-fonctionnel. Notre contribution consiste en la définition d'une nouvelle approche à composants pour le prototypage virtuel des systèmes embarqués, appelé 42. 42 n'est pas un nouveau langage pour le développement des systèmes embarqués, mais plutôt un outil pour la description et l'assemblage de composants pour les systèmes embarqués, au niveau système. Un modèle pour le prototypage virtuel des systèmes embarqués doit prendre en compte leur hétérogénéité. Des approches comme Ptolemy proposent un catalogue de MoCCs (Models of Computation and Communication) qui peuvent être organisés en hiérarchie afin de modéliser l'hétérogénéité. 42 s'inspire de Ptolemy dans l'organisation hiérarchique de composants et de MoCCs. Cependant, les MoCCs dans 42 ne sont pas fournis sous forme de catalogue, ils sont décrits par des programmes qui manipulent un petit ensemble de primitives de base pour activer les composants et gérer les communications entre eux. Une approche à composants comme 42 requiert un formalisme de spécification de composants. Nous étudierons les moyens proposés par 42 pour décrire les composants. Nous nous intéresseront particulièrement aux contrats de contrôle de 42. 42 est indépendant de tout langage ou formalisme. Il est conçu dans l'optique d'être utilisé conjointement avec les approches existantes. Nous donnerons une preuve de concept afin de montrer l'intérêt d'utiliser 42 et les contrats de contrôle associés aux composants, conjointement avec des approches existantes.