Si le problème d'équilibrage lors de la conception de lignes d'assemblage est largement étudié dans la littérature sous le nom d’ALBP (Assembly Line Balancing Problems), peu de travaux concernent leur rééquilibrage dans un horizon court terme et en-ligne. Les travaux présentés dans ce mémoire portent donc sur le rééquilibrage dynamique des lignes d’assemblage en réaction aux événements court terme perturbants la production. L’objectif étant de changer l’allocation des taches sur les postes de travail afin de lisser la charge induite par la perturbation. Le délai court sans arrêt de production étant plus important que l'optimalité de la solution, le temps de résolution rapide des méthodes de résolution approchées nous a intéressé. Deux approches ont été étudiées pour leur simplicité et leur nouveauté dans le domaine du ALBP : la méthode ILS (Iterated Local Search) et la recherche d’atteignabilité sur un réseau d’automates communicants. Cela nous a montré qu'elles peuvent répondre au besoin de réactivité imposé par notre problème mais qu’elles sont difficilement adaptables lorsque les leviers d’action pour rééquilibrer la ligne sont modifiés. Notre proposition pour répondre à ce besoin d’adaptabilité est une méthodologie de modélisation et de résolution des problèmes de rééquilibrage des lignes d’assemblage s’appuyant sur un réseau d’automates communicants et une recherche d’atteignabilité sur celui-ci. Pour assurer la généricité, la méthodologie est décomposée en deux niveaux d’abstraction : l'étude de la classe du problème ALBP considéré et al résolution du problème spécifique. Les travaux ont été validés sur des exemples industriels issus de la société Trane. / Assembly lines are flow-oriented production systems. They are still typical in industrial production systems despite the evolution from mass-production to more personalized and fluctuating production. In order to meet customer demand (quantity, time, etc.) and to reduce manufacturing costs, the lines must be well balanced. In other words, the products need to move from one workstation to another with the same pace, usually called takt time. This assembly line design problem is widely studied in the literature under the name of ALBP (Assembly Line Balancing Problems). Nonetheless, few studies concern the on-line reconfiguration and in particular, the dynamic rebalancing. The work presented in this thesis focuses on the dynamic rebalancing of assembly lines in response to short-term events disturbing production. Two approaches have been studied for their simplicity, speed of implementation and innovation in the field of ALBP: the ILS approach (Iterated Local Search) and the reachability analysis approach based on a network of communicating automata. This study showed that both approaches can address the need for a quick resolution required by dynamic rebalancing problem but lacked for adaptation when model constraints or objectives are changed. A methodological approach for assembly line balancing problems modeling and resolution is proposed to bridge the gap of adaptability. To ensure the genericity of obtained models., the methodology is composed of two levels of abstraction: a study of the class of the considered problem and a focus on the specific problem to solve. Studies have been validated on industrial examples from Trane factories.

Les études de sûreté de fonctionnement (SdF) sont en général basées sur l’hypothèse d’indépendance des événements de défaillance et de réparation ainsi que sur l’analyse des coupes qui décrivent les sous-ensembles de composants entraînant la défaillance du système. Dans le cas des systèmes dynamiques pour lesquels l’ordre d’occurrence des événements a une incidence directe sur le comportement dysfonctionnel du système, il est important de privilégier l’utilisation de séquences d’événements permettant une évaluation des indicateurs de SdF plus précise que les coupes. Ainsi, nous avons proposé, dans une première partie de nos travaux, un cadre formel permettant la détermination des séquences d’événements qui décrivent l’évolution du système ainsi que leur évaluation quantitative, en recourant à la théorie de langages probabilistes et à la théorie des processus markoviens/semi-markoviens. L'évaluation quantitative des séquences intègrent le calcul de leur probabilité d'occurrence ainsi que leur criticité (coût et longueur des séquences). Pour l’évaluation des séquences décrivant l’évolution des systèmes complexes présentant plusieurs modes de fonctionnement ou de défaillance, une approche modulaire basée sur les opérateurs de composition (choix et concaténation) a été proposée. Celle-ci consiste à calculer la probabilité d'une séquence d'événements globale à partir d'évaluations réalisées localement, mode par mode. Les différentes contributions sont appliquées sur deux cas d'étude de taille et complexité croissante. / Dependability studies are often based on the assumption of events (failures and repairs) independence but also on the analyse of cut-set which describes the subsets of components causing a system failure. In the case of dynamic systems where the events occurrence order has a direct impact on the dysfunctional behaviour, it is important to promote using event sequences instead of cut-sets for dependability assessment. In the first part, a formal framework is proposed. It helps in determining sequences of events that describe the evolution of the system and their assessment, using the theory of probabilistic languages and the theory of Markov/semi-Markov processes. The assessment integrates the calculation of the probability occurrence of the event sequences and their criticality (cost and length). For the assessment of complex systems with multiple operating/failure modes, a modular approach based on composition operators (choice and concatenation) is proposed. Evaluation of the probability of a global sequence of events is performed from local Markov/semi-Markov models for each mode of the system. The different contributions are applied on two case studies with a growing complexity.

L’Internet des Objets (IdO) intègre les réseaux de capteurs à Internet, et ouvre la voie pour des systèmes ou des écosystèmes ayant pour but d’aider les gens à vivre dans des mondes à la fois physiques et cybernétiques. L’IdO offre l’omniprésence d’objets capables d'interagir les uns avec les autres et de coopérer avec leurs voisins pour atteindre des objectifs communs. Ces objets dits"Intelligents" (OI), peuvent détecter l'environnement et communiquer avec d’autres objets. La création d’OI et de systèmes d’IdO fait intervenir des acteurs d’expertises très diverses. Ainsi, il devient indispensable d’avoir des descriptions standardisées et sémantiques pour résoudre les problèmes liés à l’interopérabilité et l’hétérogénéité sémantique entre les différentes ressources disponibles d’une part, et entre les différents intervenants à la conception/fabrication des OI, d’autre part. De ce fait, nous avons proposé le Framework sémantique et générique FSMS, structuré en un ensemble de modules ontologiques pour la conception/fabrication d’un OI. Une méthodologie de support à ce Framework a été proposée. Elle se fonde sur les mêmes modules ontologiques identifiés dans la composante sémantique du FSMS. Ces modules ontologiques forment l’ontologie SMS pierre angulaire de cette thèse. Un processus générique basé sur une description sémantique des composants structurels et comportementaux d’un OI a été également proposé en vue d'une gestion intelligente de la conceptiond’un OI. Ce processus a ensuite été mis en application pour des Vêtements Intelligents de sport. Un OI étant destiné à être réutilisé à différents contextes d’usage, une approche de reconfiguration/adaptationdu fonctionnement de l'OI a été proposée. Celle-ci trouve à son tour son fondement dans l’ontologie modulaire SMS. / The Internet of Things (IoT) integrates sensor networks with the Internet, and paves the way for systems or ecosystems to help people live in both physical and cyber worlds. IoT offers the ubiquity of objects that are able to interact with each other and cooperate with their neighbors to achieve common goals. These objects, called "Smart" (SO), can detect the environment and communicate with other objects. The creation of SO and IoT system involves actors of very diverse expertise. Hence, it becomes essential to have standardized and semantic descriptions to solve the problems related to the interoperability and the semantic heterogeneity between the different available resources on the one hand, and between the different stakeholders designing/manufacturing the SO, on the other hand. Therefore, we have proposed the FSMS semantic and generic framework, which is structured into a set of ontological modules to design/manufacture a given SO. A support methodology for this framework has been equally proposed. It is based on the same ontological modules identified in the semantic component of the FSMS. These ontological modules form the SMS ontology that is proposed and constitutes the corner stone of this thesis. In order to intelligently manage an SO design, we proposed a generic process based on a semantic description of the structural and behavioral components of an SO. This process was thereafeter implemented for Smart Clothing of sports. This Sportswear is intended to be used in different contexts of use, an approach to reconfiguration/adaptation of the operation of the Smart Clothing has been proposed. This one is also based on the modular ontology SMS.

Le premier objet de cette thése est de présenter une méthode de résolution pour l'équation de scission modulaire, équation qui permet de déterminer les symétries quantiques d'une théorie de champs conforme. On peut l'utiliser dans le cadre des théories associées aux graphes simplement lacés (les ADE de la famille SU2, ou leurs généralisations) et retrouver ainsi des résultats connus, en particulier la structure des groupoides quantiques associés.<br />Le second objet de cette thése est d'appliquer cette technique dans le cadre plus général des graphes non simplement lacés afin de déterminer les algébres de symétries quantiques correspondantes, et d'explorer leurs propriétés. Plusieurs exemples de ce type sont analysés.

Le travail présenté dans cette thèse porte sur le domaine de l'aide à la construction du plan de masse de circuits VLSI. Cette construction est basée sur une évaluation topologique prédictive et une approche hiérarchisée. FLOPE est un éditeur interactif permettant la construction d'un plan masse de manière structurée. Il est essentiellement destiné à communiquer avec des évaluateurs existants ou à venir. Son rôle dans la conception hiérarchique est notamment: d'anticiper les problèmes de composition grâce è l'évaluation prévisionnelle de surface, de forme et d'interconnexions lors de l'étape de décomposition; d'absorber souplement les modifications topologiques grâce à un mécanisme de propagation. FLOPE a été implanté en langage CEYX-Le-Lisp

Nous abordons le problème de l'optimisation des mesures dans les grands réseaux Internet par la théorie des plans d'expériences optimaux. Cette approche donne lieu d'étudier des problèmes de grande taille en conception optimale d'expériences, pour lesquels nous développons une méthode de résolution fondée sur l' Optimisation Conique du Second Ordre. Le cœur de notre méthode est un théorème de réduction du rang en optimisation semi-définie. Certains aspects combinatoires sont également étudiés. L'application à l'inférence des matrices de trafic dans les réseaux IP fait l'objet de la seconde partie de ce manuscrit. Nous développons une méthode où l'on optimise l'estimation de plusieurs combinaisons linéaires (tirées de façon aléatoire) des demandes de trafic. Nous comparons notre approche aux précédentes au travers de simulations sur des données réelles. En particulier, nous traitons des instances pour lesquelles les approches précédentes étaient incapables de fournir une solution.

Au début des années 2000, le secteur électronique apparaissait encore comme un secteur d'avenir incorporant les nouvelles technologies les plus prometteuses. Pourtant, un constat semble s'imposer depuis : les entreprises japonaises, leaders du secteur depuis les années 1980, rencontrent de sérieuses difficultés pour réaliser un niveau de profit acceptable et perdent continuellement leurs parts de marché au profit de firmes provenant de pays émergents. Doit-on revoir le lien qui lie mutations technologiques et profit ? Doit-on repenser la relation entre le positionnement des leaders et la rentabilité ? Nous aborderons ces questions en nous appuyant notamment sur la mutation technologique que représente l'arrivée du numérique. Nous verrons que cette technologie a de nombreuses conséquences sur les structures du secteur EGP (du fait de la "modularité" de l‟architecture des produits, de la "convergence" des marchés et des fonctions et de la "reproductibilité" des innovations) et que cela transforme les enjeux concurrentiels de ce secteur. Parallèlement, nous aborderons le problème de la rentabilisation de l'innovation qui est au cœur des stratégies des firmes. Autour de cette question, nous réaliserons des études de cas de firmes représentatives (Sony, Panasonic, Samsung et Sharp) ; nous nous appuyons sur les stratégies différentes qui dépendent du positionnement des firmes (les leaders/suiveurs) et de la finalité des celles-ci (les innovateurs/imitateurs).

Nous présentons divers résultats obtenus sur les courbes de genre 1,2 et 3, notamment une caractérisation des classes d'isogénie de surfaces abéliennes qui contiennent une jacobienne sur les corps finis et le calcul de l'obstruction de Serre en genre 3. Un chapitre résume également diverses applications cryptographiques.

Cette thèse analyse comment s'organise la coordination à long terme entre la production et le transport dans un système électrique libéralisé. Elle s'appuie sur un cadre d'analyse modulaire permettant de séparer les mécanismes de coordination en modules distincts. La structure de gouvernance du réseau de transport complète ce cadre d'analyse. Dans une logique de complémentarité institutionnelle, cette structure de gouvernance influence les options de gestion des flux effectivement mises en œuvre par les GRT. Le rôle proactif que le GRT doit prendre dans la coordination entre production et transport s'explique alors de deux façons. Tout d'abord, l'investissement en réseau peut être le seul procédé effectif de coordination à long terme entre production et transport. Ensuite, en anticipant le renforcement du réseau, le GRT peut préparer l'accueil des moyens de production les plus rapides à s'installer et prendre en compte la réaction des producteurs aux signaux de localisation.

Le domaine de la conversion d'énergie requiert, la plupart du temps, la mise en œuvre d'études spécifiques et coûteuses pour répondre, avec les meilleures performances possibles (rendement, compacité, CEM), aux diverses applications. Afin de proposer une solution générique et évolutive, nous nous sommes intéressés à l'utilisation d'un réseau de micro- convertisseurs optimisés, de faible puissance, que l'on peut associer en série et/ou en parallèle, pour couvrir un large domaine d'applications. Dans ces conditions, un effort unique de réflexion est à porter sur le dimensionnement d'un micro-convertisseur optimisé qui joue le rôle de cellule élémentaire ou de brique de base pour l'établissement du réseau complet. Cependant, cela suppose de mettre en œuvre également une méthode de contrôle adaptée au grand nombre de micro-convertisseurs ainsi qu'une technique de communication entre tous les micro-convertisseurs, pour assurer un bon équilibrage de la puissance. L'objectif principal de cette thèse est de fournir une solution intégrée pour le contrôle à la fois des cellules de commutation internes du micro-convertisseur et du réseau lui-même. Pour y parvenir, une solution modulaire de contrôle entièrement décentralisé est proposée. Trois étapes essentielles sont alors étudiées : la génération des porteuses entrelacées, l'équilibrage des courants de phase et la régulation des grandeurs de sortie courant et/ou tension. Ces trois étapes sont abordées de manière à proposer une solution entièrement décentralisée. Plusieurs cartes de test ont été réalisées pour valider chaque fonction indépendamment. Un circuit intégré (démonstrateur), implémentant l'ensemble des fonctions nécessaires au contrôle d'un micro-convertisseur 5V-2A-1MHz, a également été conçu et testé. Les résultats expérimentaux montrent clairement la validité des solutions proposées, ce qui ouvre la voie vers un contrôle mieux adapté aux nouveaux types d'architectures multi-phasées et distribuées en réseau.