.

Aujourd'hui, les réseaux de distribution sont de plus en plus complexes à cause de composants non linéaires (nouveaux types de sources, production décentralisée (PD) à taux de pénétration significatif, charges contrôlables, convertisseurs d'électronique de puissance) qui ont un comportement dynamique de plus en plus prépondérant, ce qui amène à de nouveaux besoins en terme de modélisation et de simulation, notamment vu des réseaux de transport. En effet, les réseaux de distribution sont les charges des réseaux de transport et leur impact dynamique sur ces mêmes réseaux de transport devient de plus en plus important. Il est donc nécessaire de développer des équivalents dynamiques des réseaux de distribution afin de pouvoir effectuer des simulations de grands réseaux de transport utilisant des modèles de taille raisonnable. Dans ce contexte, l'objectif de la thèse est de développer des équivalents dynamiques des réseaux de distribution en utilisant des méthodes d'estimation de paramètres basées sur des mesures prises à la frontière entre le réseau de transport et le réseau de distribution à réduire. Cette estimation de paramètres consiste en une minimisation d'une erreur quadratique entre la mesure et le résultat de la simulation avec modèle équivalent. Pour cette minimisation, on utilise des méthodes évolutionnaires (AG " Algorithme Génétique ", PSO " Particle Swarm Optimization "). L'originalité principale de la thèse par rapport aux travaux déjà effectués sur le même thème réside dans le développement d'une méthodologie de calcul systématique et adaptée des régulations des modèles équivalents. Il a en effet été montré dans la thèse qu'un calcul précis et méthodologique de ces régulateurs permet d'obtenir une meilleure précision des équivalents qu'un choix plus ou moins arbitraire ou par similitude des régulations et de leurs paramètres comme cela se pratique usuellement. Des validations de la méthodologie proposée ont été faites sur le réseau de transport test IEEE New-England 39 noeuds et sur ce même réseau test couplé à un réseau de distribution.

Le sujet de cette thèse est d'étudier la dynamique quantique d'une particule évoluant dans le plan sous l'influence de champs magnétique et électrique croisés. Dans le cas où ce système est actionné par un flux Aharonov-Bohm dépendant du temps, nous présenterons un théorème adiabatique basé sur une analyse spectrale fine en l'absence d'un potentiel électrique. Pour le cas sans champ extérieur et avec un petit potentiel électrique, nous présentons deux résultats. Premièrement, nous prouvons pour des potentiels arbitraires que la dynamique effective donne une approximation au premier ordre pour des temps longs. Ensuite, nous montrons que pour une classe de potentiels lisses et petits, nous pouvons construire une constante du mouvement non triviale. Pour cela, nous prouvons que l'hamiltonien est unitairement équivalent à un hamiltonien effectif commutant avec l'observable de l'énergie cinétique. Pour démontrer cela, nous utilisons un algorithme de diagonalisation partielle.

Cette recherche porte sur l'exploration et la qualification des dispositifs évolutionnaires appliquées à la conception architecturale. Ici, ce sont les qualités environnementales et plus particulièrement les qualités solaires passives de l'enveloppe de l'édifice qui guideront le processus évolutionnaire. Nous nous attachons plus particulièrement aux phases initiales de la conception, et nous cherchons à spécifier un outil d'assistance favorisant et stimulant une conception créative. Après avoir établi et structuré une connaissance sur les processus de conception, sur la créativité, sur les qualités thermiques et sur les méthodes évolutionnaires, nous proposons un outil prototypal, fondé sur un algorithme génétique et implanté dans un logiciel de type modeleur. Celui-ci a été expérimenté dans le milieu pédagogique, et nous a conduit à caractériser les modalités de création et de conceptualisation de la forme architecturale dans le cadre d'une instrumentation évolutionnaire. Ainsi nous notons le basculement cognitif d'une pensée implicite vers une pensée explicite comme caractéristique fondamentalement de l'instrumentation générative. De plus nous insistons sur l'importance de l'indétermination signifiante comme composante essentielle de la création. Enfin nous proposons la notion de « trans-forme » comme élément caractéristique d'une pensée du processus et de la multiplicité. Cette « meta-forme » serait issue de la description des conditions de mise en forme à travers la paramétrisation des comportements aux limites et des modalités d'émergence.

De nos jours, les systèmes d'actionnement électriques à hautes performances sont présents dans de nombreux domaines tels que les structures automatisées complexes, la robotique ou l'aéronautique. Les algorithmes de commande de ces actionneurs ont évolué au cours des années, et ont atteint une complexité qui exige des calculateurs numériques dotés d'une puissance de calcul importante. Par ailleurs, le contexte dans lequel ces actionneurs sont utilisés impose une fiabilité et un respect des contraintes temps-réel qui n'est pas offert par les processeurs classiques du marché. C'est dans ce cadre que nous avons développé une architecture multiprocesseur entièrement intégrée dédiée à la commande de machines à courant alternatif. Nous avons montré qu'une architecture de type multiprocesseur offre des avantages en termes de souplesse et de fiabilité dans le cadre qui nous intéresse. Nous avons ensuite, sur base des contraintes propres à la commande d'actionneurs électriques et de celles dues à la présence de plusieurs processeurs sur un seul circuit intégré, conçu une architecture de processeur de type RISC adapté aux besoins, ainsi que des périphériques et un système de communication. Des simulations, effectuées sur un modèle complet du circuit, associé à un modèle de moteur et d'électronique de puissance, ont permis de valider les hypothèses qui ont été posées au cours de ce travail.

La problématique de cette thèse se tient à l'interface des domaines scientifiques de l'adéquation algorithme architecture, des systèmes de vision bio-inspirée en robotique mobile et du traitement d'images.Le but est de rendre un robot autonome dans son processus de perception visuelle, en intégrant au sein du robot cette tâche cognitive habituellement déportée sur un serveur de calcul distant.Pour atteindre cet objectif, l'approche de conception employée suit un processus d'adéquation algorithme architecture, où les différentes étapes de traitement d'images sont analysées minutieusement.Les traitements d'image sont modifiés et déployés sur une architecture embarquée de façon à respecter des contraintes d'exécution temps-réel imposées par le contexte robotique.La robotique mobile est un sujet de recherche académique qui s'appuie sur des approches bio-mimétiques.La vision artificielle étudiée dans notre contexte emploie une approche bio-inspirée multi-résolution, basée sur l'extraction et la mise en forme de zones caractéristiques de l'image.Du fait de la complexité de ces traitements et des nombreuses contraintes liées à l'autonomie du robot, le déploiement de ce système de vision nécessite une démarche rigoureuse et complète d'exploration architecturale logicielle et matérielle.Ce processus d'exploration de l'espace de conception est présenté dans cette thèse.Les résultats de cette exploration ont mené à la conception d'une architecture principalement composée d'accélérateurs matériels de traitements (IP) paramétrables et modulaires, qui sera déployée sur un circuit reconfigurable de type FPGA.Ces IP et le fonctionnement interne de chacun d'entre eux sont décrits dans le document.L'impact des paramètres architecturaux sur l'utilisation des ressources matérielles est étudié pour les traitements principaux.Le déploiement de la partie logicielle restante est présenté pour plusieurs plate-formes FPGA potentielles.Les performances obtenues pour cette solution architecturale sont enfin présentées.Ces résultats nous permettent aujourd'hui de conclure que la solution proposée permet d'embarquer le système de vision dans des robots mobiles en respectant les contraintes temps-réel imposées.

Les problèmes d'ordonnancement peuvent être rencontrés dans plusieurs situations de la vie courante. Organiser des activités quotidiennes, planifier un itinéraire de voyage sont autant d'exemples de petits problèmes d'optimisation que nous tentons de résoudre tous les jours sans nous en rendre compte. Mais quand ces problèmes prennent des proportions plus grandes, il devient difficile au cerveau humain de gérer tous ces paramètres et le recours à une solution informatique s'impose. Les problèmes d'ordonnancement en contexte industriel sont nombreux et celui qui retient particulièrement notre attention dans le cadre de ce mémoire est le problème d'ordonnancement de commandes sur machine unique avec temps de réglages dépendant de la séquence. Ce problème fait partie de la classe de problèmes NP-Difficiles. Etant donnée sa complexité, ce problème ne peut être résolu par une méthode exacte. Les métaheuristiques représentent ainsi une bonne alternative pour obtenir des solutions de bonne qualité dans des délais très courts. Les algorithmes génétiques, qui font partie des algorithmes évolutionnaires, sont utilisés dans ce travail pour résoudre ce problème d'ordonnancement. La prolifération des architectures parallèles a ouvert la voie à un nouvel éventail d'approches pour optimiser les algorithmes et plus spécialement les métaheuristiques. Ce mémoire propose une stratégie de parallélisation de l'algorithme génétique pour en étudier les bénéfices. Le premier algorithme génétique proposé est implémenté sur le modèle d'un algorithme de la littérature. Cet algorithme ne s'est pas avéré performant pour toute la série de problèmes test et, pour cette raison, des modifications de paramètres ont été rendues nécessaires. Ces modifications ont donné naissance à une deuxième version séquentielle dont les résultats se sont avérés satisfaisants. Une troisième version a ensuite été implémentée avec une optique d'exécution parallèle selon un modèle en îlot et une topologie en anneau unidirectionnel. Un plan d'expérience a ensuite été mis au point selon plusieurs variables et vise à identifier les meilleures configurations de l'algorithme tant sur le plan de la qualité des résultats que sur le plan de l'accélération. Les résultats obtenus dans ce mémoire montrent que l'introduction de la parallélisation dans un algorithme génétique est bénéfique à ce dernier tant sur le plan qualité des résultats que sur le plan accélération. Dans un premier temps, la version sans communications n'a pas amélioré une grande partie des problèmes mais a pu atteindre des accélérations linéaires. Par la suite, l'introduction des échanges a nettement influé sur la qualité des résultats. En effet, en adoptant une stratégie de division de la taille de la population par le nombre de processeurs, l'algorithme génétique parallèle parvient à donner des résultats équivalents voire meilleurs que la version séquentielle, et ceci pour plusieurs fréquences d'échanges entre les populations.

La fouille de données est définie comme le traitement d'une grande quantité de données afin d'y extraire des connaissances non triviales et utiles. Cette analyse permet de dégager de la masse d'informations des tendances, des regroupements de données et de formuler des hypothèses. Un des domaines de la fouille de données est la recherche de règles d'association. Les algorithmes utilisés en recherche de règles d'association ont généralement l'inconvénient de ne pouvoir identifier des règles dont un des termes est infréquent, mais qui appartient à une catégorie qui, elle, l'est. Les règles d'association multi-niveaux permettent d'identifier les associations impliquant des termes dont les niveaux de généralisation/spécialisation diffèrent. Les algorithmes de recherche de règles d'association multi-niveaux présentés à ce jour ont en commun la génération d'un nombre souvent très grand de règles redondantes. Notre contribution dans cette étude est constituée de la conception de deux algorithmes de recherche de règles d'association mutli-niveaux basés sur l'analyse formelle de concepts, ce qui permet de restreindre la génération des règles d'association aux seules règles informatives maximales. Nous avons également réalisé l'implémentation de ces deux algorithmes, en plus de celle d'un autre algorithme utilisé aux fins de comparaison dans la littérature. Nous avons finalement comparé expérimentalement ces trois implémentations et les résultats obtenus confirment l'intérêt de l'approche basée sur l'analyse formelle de concepts, tout en illustrant l'effet des optimisations apportés au traitement. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Treillis de Galois (treillis de concepts), Analyse formelle de concepts, Fouille de données (data mining), Règles d'association, Base de règles, Règles d'association multi-niveaux (règles d'association généralisées), Base de règles multi-niveaux (bases de règles généralisées).

Pruesse et Ruskey ont trouvé un code Gray pour les idéaux d'un ensemble partiellement ordonné (poset) et un algorithme récursif pour les engendrer. Dans ce mémoire, un algorithme non-récursif qui engendre la même liste d'idéaux est présenté. De plus, plusieurs autres codes Gray classiques majoritairement reliés aux posets et leurs implantations sont étudiés. Plus particulièrement, les codes Gray de Chase et de Ruskey pour les combinaisons, celui de Ruskey et Proskurowski pour les mots de Dyck et celui de Walsh pour les involutions sans point fixe sont étudiés. Le code Gray de Chase est présenté sous forme d'un programme FORTRAN. Vajnovszki et Walsh ont trouvé une implantation plus simple sans en donner une preuve formelle; une telle preuve est présentée dans ce mémoire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Code Gray, Idéal, Ensemble partiellement ordonné (poset), Extension linéaire, Poset forêt, Algorithme, Non-récursif, Sans-boucle, Temps constant amorti (CAT).

Les réseaux sans fil maillés (Wireless Mesh Networks) sont considérés comme l'une des solutions les plus prometteuses pour améliorer la couverture réseau et accroître le nombre de clients partageant un accès sans fil à large bande (Wireless broadband access). L'introduction des systèmes de communication sans fil à antennes multiples appelés communément MIMO au niveau de la couche physique des réseaux WMNs permet d'élever les performances en termes de débit maximal et ainsi supporter un plus grand nombre de clients. Ceci dit, l'absence d'un algorithme ordonnancement et d'activation de liens au niveau de la couche d'accès au support partagé (MAC) pour un réseau sans fil maillé basé sur des liens MIMO résulte en des inégalités entre les clients en termes de débit de transmission et conduit par conséquent à des faibles performances du système. Dans le but d'éviter cela, ce travail propose un algorithme d'ordonnancement et d'activation de liens pour les réseaux sans fil maillés basé sur des liens MIMO. L'ordonnanceur assure une équité entre les noeuds du réseau, améliore l'efficacité spectrale et le débit maximal atteint par le réseau. Les simulations présentées démontrent que l'algorithme proposé permet de réaliser un débit plus élevé qu'une solution d'ordonnancement opportuniste basé sur une méthode d'accès par multiplexage temporel (TDMA). En le comparant à la recherche exhaustive qui constitue la solution théorique (non pratique) et optimale au problème d'ordonnancement considéré, il s'est avéré que notre algorithme d'ordonnancement permet d'atteindre un débit proche du débit réalisé par la recherche exhaustive malgré que la complexité algorithmique de cette dernière soit beaucoup plus élevée que celle de notre solution. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Algorithmes d'ordonnancement, Réseaux sans fil maillés, Systèmes de communication sans fil MIMO, Capacité de Shannon, Simulation des réseaux.