D’une manière générale l’étude des machines électriques peut être entreprise suivant différents niveaux de complexité. L’approche la plus simple considère une machine idéalisée pour laquelle on s’intéresse aux phénomènes principaux, notamment ceux qui génèrent le couple électromagnétique moyen. Si on s’intéresse aux phénomènes secondaires, parfois difficiles à appréhender, comme les bruits et vibrations, les pertes fer, ou le flux de dispersion des machines électriques, il est nécessaire d’avoir une approche plus complexe. C’est dans ce contexte que s’inscrit notre travail dans lequel on s’intéressera plus particulièrement à la machine asynchrone fonctionnant dans des régimes nonconventionnels. L’originalité de notre étude réside dans l’analyse, par une approche semi analytique, des phénomènes précités dans des cas d’une machine présentant un défaut de court-circuit entre spires statoriques. Les objectifs de ce travail sont multiples, on s’intéressera tout d’abord à l’étude de l’effet du défaut sur les phénomènes générés par la denture de manière à pouvoir apprécier son importance sur les dégradations des performances de la machine. Le deuxième point consiste à étudier les moyens de minimisation des pertes fer et des vibrations par conception, en ajustant certains paramètres géométriques de la machine, évitant ainsi le recours à des actions extérieures comme l’injectiond’harmoniques de courant. Le dernier point consiste à corréler les pertes fer et les vibrations avec le champ magnétique de dispersion. Cette corrélation permet par exemple d’estimer le niveau de dégradation des performances lors d’un fonctionnement non conventionnel de la machine. / In a general way the electrical machines study can be undertaken according to various levels of complexity. The simplest approach considers an idealized machine for which we are interested in the main phenomena, in particular those that generate the average electromagnetic torque. If we are interested in the secondary phenomena, sometimes difficult to analyze, as the vibrations and noise, the iron losses, or the external magnetic field of the electrical machines, it is necessary to have a more complex approach. It is in this context that joins our work in which we shall be interested more particularly in the induction machine working in unconventional conditions. The originality of our study lies in the analysis, by a semi analytical approach, of aforesaid phenomena in cases of a machine presenting an inter turn short circuit. The objectives of this work are multiple, we shall be interested first in the study of the effect of the default on the phenomena generated by the slotting effect so as to be able to appreciate its importance on the machine performances degradation. The second point is to explore the ways to minimize iron losses and vibration by conception, by adjusting some machine geometrical parameters, so avoiding the recourse to outside actions as the current harmonic injection. The last point consists in correlating the iron losses and the vibrations to the external magnetic field. This correlation allows for example to estimate the performance degradation level during a machine unconventional running.

Dans cette thèse, nous présentons des développements de l'approche utilisée dans l'équipe « ParSys » du LRI pour traduire automatiquement des codes scientifiques écrits dans un langage dédié inspiré de Matlab en codes de production haute performance. Pour garantir cette performance, nous mettons à profit d'une part la méta-programmation par templates C++ afin d'analyser chaque expression pour détecter les opportunités de parallélisme, et d'autre part la programmation parallèle asynchrone pour utiliser au mieux les ressources disponibles des machines multi-cœurs. Pour faire le lien entre ces deux étapes du processus de génération de code, des squelettes algorithmiques multi-niveaux sont implémentés. Nos outils ont été implantés dans la bibliothèque NT2 et évalués sur des applications scientifiques du monde réel. / In this thesis, we present developments to the approach used by the LRI Parsys team to automatically translate MATLAB-like scientific codes into high performance production codes. To reach a high level of performance, we have combined C++ template meta-programming and asynchronous parallel programming to analyze each expression and detect parallelism opportunities first, and then to ensure near-optimal use of the available resources of multi-core machines. To link these two stages of the code generation process, we have implemented a solution based on multi-level algorithmic skeletons. We have implemented our tools in the NT2 library and evaluated them with several significant scientific benchmarks.

Le web est une plate-forme universelle pour développer des applications riches en interactions avec les utilisateurs et des services distants. Ces interactions sont implémentées sous forme d’évènements asynchrones pouvant survenir à n’importe quel instant de l’exécution de l’application. JavaScript, le langage du web, gère les évènements asynchrones de façon peu abstraite, ce qui rend l’écriture, la vérification et la maintenance d’applications interactives difficile. La contribution de cette thèse est l’élaboration et l’implémentation du langage Hiphop.js qui dote JavaScript d’abstractions de plus haut niveau pour gérer les évènements asynchrones. Hiphop.js est une implémentation JavaScript de constructions temporelles du langage réactif synchrone Esterel. Grâce à ces constructions, le flot de contrôle d’une application Hiphop.js est explicite. Il est donc possible de savoir précisément quand et sous quelles conditions un évènement est traité par simple lecture du code source de l’application. Ceci facilite la vérification et la maintenance de l’application. L’intégration profonde du langage Hiphop.js avec l’environnement dynamique du web est une part importante des travaux entrepris dans cette thèse. Les programmes sont construits et compilés pendant l’exécution de l’application JavaScript ce qui permet d’adapter automatiquement le traitement des évènements asynchrones en fonction des changements de l’environnement au cours de l’exécution (par exemple, la connexion ou déconnexion de participants pendant une visioconférence). / The web is an universal platform used to develop applications interacting with users and remote services. These interactions are implemented as asynchronous events that can be fired anytime. JavaScript, the mainstream language of the web, handles asynchronous events using low-level abstractions that makes it difficult to write, verify, and maintain interactive applications. We have addressed this problem by designing and implementing a new domain specific language called Hiphop.js. It offers an alternative to JavaScript event handling mechanism by reusing temporal constructions coming from the synchronous programming language Esterel. These constructions make the control flow of the program explicit and deterministic. Hiphop.js is embedded in JavaScript and suits the traditional dynamic programming style of the Web. It is tighly coupled to JavaScript with which it can exchange values and access any data structures. It can also support dynamic modifications of existing programs needed to support on-demand download on the Web. It can run on both end of Web applications, namely on servers and on clients. In this thesis, we present Hiphop.js, its design and implementation. We overview its programming environment and we present the prototypical web applications we have implemented to validate the approach.

Les réseaux sur puce (NoC : Network on Chip) et les architectures GALS (Globalement Asynchrone – Localement Synchrone) sont deux nouveaux paradigmes de communication pour les systèmes sur puce (SoC : System on Chip). Ces paradigmes ont conduit à la création de réseaux sur puce asynchrones. Cependant, faute de méthodologies et d'outils de test adaptés, le test de production des réseaux sur puce asynchrones constitue un grand défi pour la mise sur le marché de ces systèmes. L'objectif de cette thèse est de proposer une nouvelle méthode de test pour les réseaux sur puce asynchrones. Afin de faciliter le test de l'infrastructure du réseau, nous avons tout d'abord proposé une architecture DfT (Design-for-Test) dans laquelle chaque routeur du réseau est entouré d'un wrapper de test asynchrone qui améliore sa contrôlabilité et son observabilité. Cette architecture DfT a été modélisée, implémentée en logique asynchrone QDI (Quasi-Delay Insensitive), et validée avec un réseau sur puce asynchrone ANOC développée au CEA-LETI. La génération des vecteurs de test a été alors faite en analysant les fonctionnalités et l'implémentation structurelle du routeur et de ses interconnexions. Ensuite, nous avons également introduit une stratégie pour tester un réseau complet. La méthode de test complète développée dans cette thèse permet une couverture de faute de 99,86% pour le réseau ANOC en utilisant un modèle de faute de collage simple.

Dans un contexte de raréfaction des ressources et de limitation des capacités d'adaptation de l'environnement, la minimisation des impacts environnementaux de l'activité humaine représente un des objectifs majeurs du développement durable. Proposer des dispositifs présentant de meilleures performances environnementales nécessite une démarche de conception spécifique intégrant des critères environnementaux crédibles. Il s'agit en effet d'agir dès la conception d'un produit (ou d'un service) afin de bénéficier du maximum de latitude pour minimiser ses impacts environnementaux. Cette démarche se nomme l'éco-conception. Rejoignant cette thématique, ces travaux ciblent des applications du domaine du Génie Electrique et plus particulièrement celui des convertisseurs électromagnétiques d'énergie. Ces composants présentent la particularité d'être fondamentalement, à l'usage, consommateurs d'énergie. Cet aspect implique un fort couplage entre le mode de fonctionnement du dispositif et son dimensionnement sur son cycle de vie. Ce travail de thèse aborde dans une première partie l'analyse sur cycle de vie ainsi que les principes fondamentaux de la démarche d'éco-conception. Les perspectives méthodologiques que ces considérations ouvrent dans le domaine plus spécifique du Génie Electrique sont ensuite décrites. Dans une seconde partie, trois cas d'étude en Génie Electrique de complexité croissante, font l'objet d'applications des principes d'éco-conception : un transformateur monophasé simplifié à alimentation fixe, une machine asynchrone monophasée à condensateur permanent réelle (produit commercial) et présentant des durées de fonctionnement très brèves, et enfin une machine asynchrone triphasée alimentée à fréquence variable. Les critères environnementaux retenus pour les optimisations sont l'énergie globale sur cycle de vie et les émissions de gaz à effet de serre. En effet, la prise en compte d'autres impacts environnementaux est identique du point de vue méthodologique. Lors de ces études, nous montrons qu'il est intéressant d'optimiser la conception de ces convertisseurs électromagnétiques sur cycle de vie, lorsque leur durée cumulée de fonctionnement est faible devant leur durée d'usage. Le niveau de puissance de fonctionnement des convertisseurs est aussi un paramètre ayant une action significative sur les résultats d'éco-conception. Le paramétrage des trois cas d'études fait par ailleurs l'objet de différentes analyses de sensibilité permettant de cerner plus précisément, sur les résultats d'optimisation, l'influence des coûts énergétiques élémentaires, des choix des matériaux constituant le dispositif, etc. Enfin, pour les convertisseurs d'énergie, nous introduisons la notion de rendement énergétique sur cycle de vie prenant en compte leur efficacité globale.

Bien que le gouvernement cambodgien s’efforce d’augmenter sa production d’électricité pour répondre à sa demande en énergie, il reste toujours dépendant de réseau électrique existant ou de l’extension du réseau dont le coût d’investissement initial est élevé. La solution temporelle consiste à employer un système de production d'énergie distribué qui présente un coût de cycle de vie inférieur et introduit une diversité de technologies pour répondre aux applications. Minimiser les impacts environnementaux représente un objectif majeur du développement durable, compte tenu de l'épuisement des ressources et des capacités d'adaptation limitées de l'environnement. Les ressources en énergies renouvelables ont été bien comprises comme les solutions pour alimenter le développement rural et réduire les impacts environnementaux de la production d’énergie. Suivant les progrès technologiques et de la demande croissante des consommateurs, de grande quantité de déchets électriques et électroniques ont entraîné de graves conséquences pour l’environnement. Les stratégies actuelles reposent principalement sur les techniques classiques de collecte et de traitement des déchets. Ce travail de thèse proposait une solution de réutilisation des composants électroniques dans un système d'énergie renouvelable hybride isolé pour la solution d'électrification pour la zone rurale. Une configuration choisie pour le système proposé est un système de génération hybride solaire-hydroélectrique, car les ressources solaires et hydrauliques sont abondantes dans les zones rurales du Cambodge. Les composants qui sont réutilisés dans la solution comprennent des blocs d’alimentation d’un PC (PSU) pour la partie solaire, des alimentations sans interruption (UPS) et des machines asynchrone triphasées pour la partie hydraulique. Les batteries automobiles usagées sont utilisées pour le stockage d’énergie. Ce travail de thèse aborde dans une première partie l’évaluation des impacts environnementaux de la solution de réutilisation proposée. Cette étude repose sur la méthodologie de l’Analyse du Cycle de Vie (ACV) qui compare les impacts du cycle de vie de la solution proposée à ceux d’une solution conventionnelle. La deuxième partie de ce travail traite des aspects technologiques de la solution de réutilisation, à la fois en théorie et en expérimentation. La première partie de cet aspect concerne la reconversion des blocs d’alimentations usagées. Le bloc d'alimentation, qui contient généralement l'un des quelques types de convertisseurs DC-DC isolés, est réutilisé comme contrôleur de charge, qui est le composant principal du système de générateur photovoltaïque. La dernière partie de cette thèse décrit une nouvelle configuration de générateur basé sur des moteurs asynchrone triphasés. Le générateur monophasé proposé basé sur une machine triphasée est une version modifiée d'une topologie à base de l’onduleur où deux enroulements sont alimentés séparément par sources d'excitation, et l'autre enroulement est connecté à la charge. Une nouvelle modélisation est proposée. Les résultats de simulation sont comparés aux résultats expérimentaux en alimentation sinus. La comparaison met en évidence une supériorité de la nouvelle configuration par rapport à l'ancienne en termes de rendement et de minimisation de pulsations de couple / While the Cambodia’s government is making effort to increase electricity production for its energy demand, it still remains dependent on the existing or the expansion of the centralized grid lines which have high initial investment cost. The temporally solution is to employ a distributed energy generation system which has lower life cycle cost and provides a diversity of technologies to meet the desired applications. Minimizing environmental impacts represents a major objective of sustainable development considering resources depletion and the limited capabilities of the environment to adapt. The potential of renewable energy resources has been well understood as the solutions to power rural development and to reduce the environmental impacts of energy generation. Due to advance in technologies and increasing consumer demands, there has been a vast amount of electrical and electronic waste which introduces severe impacts on the environment. The current strategies mainly rely on conventional waste collection and processing techniques for material recovery. This thesis proposed a solution of reusing discarded components in an isolated hybrid renewable energy system as the solution for electrification of rural Cambodia. This is frugal innovation, local solution with local materials for and with local people. A suitable configuration for the proposed system is a solar-hydro hybrid generation system since solar and water resources are plentiful in rural Cambodia. The components that are reused in the solution after being discarded include computer power supply units (PSUs) for the solar part, uninterruptable power supply units (UPSs) and three phase induction machines for the electrohydro part. Used auto-mobile batteries will be used for the system storage. The thesis presents in the first part the evaluation of the environmental impacts of the proposed reuse solution for rural electrification. The study of the environmental impacts is based on Life Cycle Assessment (LCA) methodology which compares the life cycle impacts of the proposed solution to that of a conventional solution. Moreover, a sensitivity analysis is achieved in order to evaluate the impacts of uncertainties of the environmental impacts. The second part of this work deals with the technological aspects of the reuse solution in both theory and experimentation. The first part of this aspect is focused on the repurposing of used computer power supply units (PSUs), through limited modifications of the circuits in order to increase its range of operation. The PSU which usually contains one of a few types of isolated DC-DC converters is repurposed as charge controller with MPPT control in a cheap micro-controller with very good results. The last part of this thesis studies a new configuration of generators based on re-used three-phase induction motors. The proposed single-phase generator is based on a three-phase machine in a modified version of the coupling and with a rather uncommon supply. Modelling is highly investigated. An inverterassisted topology where two windings will be supplied separately by two inverters for excitation and the remaining winding is connected to load. A new modeling of the generator has been studied. The results of simulation were compared to experimental test results in open loop study. These results have demonstrated the advantages of the new configuration in comparison to the previously proposed inverter-assisted topology in term of efficiency and minimization of torqueripple

La diffusion croissante de l'électronique de puissance dans les équipements électriques entraîne une dégradation de la qualité de la tension des réseaux de distribution. Au coeur de ces réseaux électriques, la machine asynchrone est la machine électrique la plus couramment utilisée dans les applications industrielles. La présente étude se concentre essentiellement sur la modélisation fréquentielle de la machine asynchrone dans le but de reproduire, par simulation, le courant de ligne absorbé lorsque celle-ci est alimenté par des tensions non sinusoïdales. Nous avons analysé différents types de modèles issus de la littérature, et nous avons proposé un modèle de type circuit basé sur le principe de superposition : modèle harmonique. L'identification des paramètres des différents modèles a nécessité la réalisation et la comparaison de plusieurs types d'essais fréquentiels (tension constante, V/f constant, injection de courant avec composante continue) dont nous avons discuté la pertinence. La comparaison des résultats de simulation avec les mesures a permis de montrer que l'essai d'identification avec injection de courant continu associé au modèle harmonique conduit à une meilleure représentation du comportement de la machine. Enfin, l'exploitation du modèle dans deux cas d'alimentation non sinusoïdale (réseau perturbé, variateur de vitesse) a démontrer l'intérêt du modèle harmonique pour l'étude des perturbations conduites basses fréquences.

L'objectif de ce travail de thèse est de définir et de présenter une nouvelle approche de la conception sous contraintes de machines électriques. Celle-ci permet aux électrotechniciens d'utiliser l'ordinateur non pas seulement comme un outil d'analyse mais aussi comme un outil ayant de réelles facultés de dimensionnement automatique. Cette approche offre de grands avantages comme: -la gestion des contraintes d'un cahier des charges, -la gestion de l'interdépendance des phénomènes physiques intervenant dans une machine, -ou encore l'optimisation des solutions trouvées. Cependant sa grande originalité est qu'elle assure automatiquement la génération du logiciel de conception. Pour cela elle utilise comme connaissance de base, un modèle analytique de la machine à laquelle on s'intéresse, et comme moyen, des techniques de calcul symbolique et de programmation automatique. Afin de guider le processus de conception, elle emploie des algorithmes génériques d'optimisation numérique sous contraintes. Cette approche est notamment appliquée, dans ce mémoire, au dimensionnement de machines asynchrones.

Les travaux présentés dans ce mémoire se situent dans le domaine de l'Aide à la Décision. Les Systèmes Interactifs d'Aide à la Décision (SIAD) sont développés afin d'aider au mieux les décideurs dans les organisations. Cette aide doit se traduire par une amélioration du la qualité de prise de décision plutôt que par une amélioration de son efficacité. Le processus de décision assisté par des SIAD est alors envisagé comme une succession d'aller / retour entre le décideur (utilisateur) et la machine ; l'automatisation de tels processus n'est donc pas envisageable. Nous montrons dans un premier temps comment l'introduction des Technologies de l'Information et de la Communication (TIC) vient considérablement modifier les processus de décision dans les organisations. Basé sur ce constat, le nouveau contexte de prise de décision, c'est à dire en situation asynchrone et distribuée, est analysé. Le contexte de décision évolue d'une situation mono-décideur en situation multi-acteurs, chacun des acteurs devant interagir voire coopérer avec les autres. Ce type particulier de coopération pour la prise de décision est étudié. La prise de décision est alors définie comme un processus de décision collaborative. Nous montrons en quoi les systèmes coopératifs actuellement développés ne supportent pas efficacement ce type de processus coopératif. Pour ces nouvelles organisations de travail, nous définissons de nouveaux outils, atelier logiciel, capables de supporter ces processus de décision : les Systèmes Coopératifs d'Aide à la Décision (SCAD) basés sur l'architecture classique des SIAD proposée par Sprague et Carlsson.

Répondre à des requêtes de routage requiert que les entités du réseau, nommées routeurs, aient une connaissance à jour sur la topologie de celui-ci, cette connaissance est appelée table de routage. Le réseau est modélisé par un graphe dans lequel les noeuds représentent les routeurs, et les arêtes les liens de communication entre ceux ci.Cette thèse s’intéresse au calcul des tables de routage dans un modèle distribué.Dans ce modèle, les calculs sont effectués par un ensemble de processus placés sur les noeuds. Chaque processus a pour objectif de calculer la table de routage du noeud sur lequel il se trouve. Pour effectuer ce calcul les processus doivent communiquer entre eux. Dans des réseaux de grande taille, et dans le cadre d’un calcul distribué, le maintien à jour des tables de routage peut être coûteux en terme de communication. L’un des thèmes principaux abordés et celui de la réduction des coûts de communication lors de ce calcul. L’une des solutions apportées consisteà réduire la taille des tables de routage, permettant ainsi de réduire les coûts de communication. Cette stratégie classique dans le modèle centralisé est connue sous le nom de routage compact. Cette thèse présente notamment un algorithme de routage compact distribué permettant de réduire significativement les coûts de communication dans les réseaux tels que le réseau internet, i.e. le réseau des systèmes autonomes ainsi que dans des réseaux sans-échelle. Ce document contient également une étude expérimentale de différents algorithmes de routage compact distribués.Enfin, les problèmes liés à la dynamique du réseau sont également abordés. Plusprécisément le reste de l’étude porte sur un algorithme auto-stabilisant de calcul d’arbre de plus court chemin, ainsi que sur l’impact de la suppression de noeuds ou d’arêtes sur les tables de routage stockées aux routeurs. / In order to respond to routing queries, the entities of the network, nammedrouters, require to have a knowledge concerning the topology of the network, thisknowledge is called routing table. The network is modeled by a graph in whichnodes represent routers and edges represent communication links between nodes.This thesis focuses on routing tables computation in a distributed model. In thismodel, computations are done by a set of process placed on nodes. Every processhas for objective to compute the routing table of the node on which he is placed.To perform this computation, processes have to communicate with each other. Inlarge scale network, in the case of a distributed computation, maintaining routingtables up to date can be costly in terms of communication. This thesis focuses mainlyon the problem of communication cost reduction. One of the solution we proposeis to reduce routing tables size which allow to reduce communication cost. In thecentralised model this strategy is well known under the name of compact routing.This thesis presents in particular a distributed compact routing algorithm that allowsto reduce significantly the communication costs in networks like Internet, i.e. theautonomous systems network and others networks that present scale-free properties.This thesis also contains an experimental study of several distributed compact routingalgorithms. Finally, some problems linked to network dynamicity are addressed.More precisely, the problem of network deconnexion during a shortest path treecomputation with auto-stabilisation guaranties, together with a study of the impactof several edges or nodes deletion on the state of the routing tables.