Les systèmes hybrides sont des systèmes qui combinent des dynamiques discrètes et continues. Cette thèse propose des techniques algorithmiques de vérification et de synthèse pour ces systèmes Le manque de méthodes pour calculer les ensembles atteignables des dynamiques continues est l'obstacle principal vers une méthodologie algorithmique de vérification. Nous développons deux techniques d'atteignabilité approximatives pour les systèmes continus basées sur une méthode efficace pour représenter des ensembles et une combinaison des techniques de la simulation, de la géométrie algorithmique, de l'optimisation, et de la commande optimale. La première technique d'atteignabilité est spécialisée pour les systèmes linéaires et étendue aux systèmes avec entrée incertaine, et la seconde peut être appliquée aux systèmes non-linéaires. En appliquant ces techniques nous développons un algorithme de vérification des propriétés de sûreté pour une large classe des systèmes hybrides avec des dynamiques continues arbitraires et des dynamiques discrètes assez générales. Nous étudions ensuite le problème de la synthèse de contrôleurs de sûreté pour les systèmes hybrides. Nous présentons un algorithme de synthèse des contrôleurs par commutation basé sur le calcul de l'ensemble d'invariance maximal et les techniques d'analyse d'atteignabilité. Nous avons implanté les algorithmes développés dans un outil appelé "d/dt", qui permet la vérification et la synthèse automatique pour les systèmes hybrides avec des inclusions différentielles linéaires. En dehors de nombreux exemples académiques, nous avons appliqué avec succès l'outil pour analyser quelques systèmes pratiques.

This dissertation concerns the development of reduced complexity controllers for<br />hybrid switched systems. A diverse number of applications from automotive industry, fluid dyna-<br />mics and power systems are treated. Some general open loop optimal and predictive control schemes<br />are proposed. The main motivation behind each method is the reduction of the combinatorics. In<br />this thesis, two main contributions can be distinguished. The first one concerns the optimal control<br />of switched nonlinear systems where an algorithm based on strong variations is proposed and some<br />convergence results proven. The complexity of the scheme is linear in the number of locations, this<br />in conjunction with its simplicity makes it attractive for large scale systems. An example from<br />the automotive industry is treated to further illustrate the tractability of the scheme. The second<br />contribution concerns the development of a hierarchical approach for switched nonlinear systems.<br />At the lower level, feedback controllers are associated to each location and at the higher level a<br />predictive approach with a reduced order parametrization is in force. Based on this methodology,<br />two schemes are developed and successfully tested in respectively fluid stabilisation by actuator<br />switching and voltage stabilization in power systems.

Le travail présenté dans ce mémoire porte sur la réalisation et l’étude des cellules solaires PV hybrides à réseaux interpénétrés utilisant les nanofils de silicium. Nos études ont porté essentiellement sur l’optimisation des structures hybrides à base de PVK ou de MEH-PPV mélangé dans leur volume avec une phase de nanofils de silicium, référant aux structures PVK/NFSi et MEH-PPV/NFSi respectivement. Cette étude a montré l’étroite interdépendance entre la morphologie des nanocomposites et les propriétés photovoltaïques des cellules réalisées. Nous avons étudiés l’influence de la concentration des nanofils de silicium sur le processus de dissociation des paires photo-générées. Nous avons également étudié l’effet des traitements thermiques et nous avons mis en évidence un meilleur transfert de charge dans le cas des structures PVK/NFSi. Nous avons aussi observé l’influence bénéfique de la désoxydation ainsi que le traitement de fonctionnalisation des nanofils sur l’amélioration du transfert de charge dans le cas des structures réalisées. En conclusion, nous avons montré que les cellules PV hybrides à réseaux interpénétrés utilisant les nanofils de silicium peuvent être optimisées grâce à la compréhension et au réglage fin du transfert de charges / The work presented in this thesis focuses on the implementation and study of hybrid solar cells interpenetrating networks using silicon nanowires. Our studies have focused on the optimization of hybrid structures based PVK or MEH-PPV mixed in their volume with silicon nanowires phase, referring to structures PVK/NFSI and MEH-PPV/NFSI respectively. This study showed the close interdependence between morphology and properties of nanocomposites photovoltaic cells made. We studied the influence of the concentration of silicon nanowires on the dissociation process of photo-generated pairs. We also studied the effect of heat treatment and we have demonstrated a better load transfer in the case of structures PVK/NFSI. We also observed the beneficial effect of deoxidation treatment and functionalization of the nanowires on the improvement of charge transfer in the case of structures made. In conclusion, we have shown that the PV hybrid cell using silicon nanowires can be optimized through understanding and fine tuning of the charge transfer

Cette thèse porte sur l'établissement des expressions analytiques des performances des schémas Hybrid ARQ dans un contexte d'optimisation inter-couches. Le mécanisme Hybrid ARQ permet de tirer profit des propriétés de l'ARQ et des propriétés d'un FEC, selon la valeur du SNR. Par conséquent, la quantité de redondance transmise est automatiquement adaptée à la qualité du canal, en se basant sur l'acquittement de la transmission précédente. Sachant qu'aujourd'hui, tous les systèmes opèrent (ou sont sur le point d'opérer) sous le protocole IP, il est intéressant d'étudier leurs performances au niveau de la couche IP. Les métriques considérées sont le taux d'erreur paquet, l'efficacité, le délai et la gigue. Ces métriques sont utiles puisque les besoins en QoS dépendent d'une combinaison de celles-ci. Cependant, dans la littérature, les performances des schémas HARQ sont surtout analysées au niveau MAC. De plus, elles sont souvent évaluées au moyen de simulations. L'objectif est donc ici d'établir les expressions analytiques des quatre métriques de performances pour tout type de mé- canisme HARQ, aux niveaux MAC et IP, en prenant en compte des solutions existantes d'optimisation entre les couches MAC et IP. Il est ensuite prouvé que ces dérivations sont utiles pour construire des algorithmes dédiés à la gestion des ressources radio aussi bien qu'à la protection inégale des données.

L'objectif de cette thèse est d'étudier la miniaturisation des dispositifs à mémoire non-volatile, de type FLASH, en remplaçant la grille flottante avec des monocouches de molécules redox, les polyoxométallates. Dans ce but, j'ai été engagé dans un programme visant à construire des dispositifs qui utilisent les propriétés des polyoxométallates (POMs) pour stocker des informations. Dans une approche générale, une molécule redox-active fixée à une surface d'électrode de silicium sert de support de stockage actif, et l'information est stockée dans les états d'oxydo-réduction discrets de la molécule (POM). Ce travail est organisé en quatre parties et commence par une brève introduction sur les mémoires moléculaires et les polyoxométallates. Il continue avec les résultats expérimentaux en Partie 2, la synthèse et la caractérisation des polyoxométallates fonctionnalisés; en Partie 3, les électrodes modifiés par des polyoxométallates et en Partie 4, l'étude électrique des condensateurs modifiés par des polyoxométallates.

Mes travaux de thèse ont consisté en l'élaboration de nouveaux catalyseurs répondant aux critères de la “chimie verte” dans le but de réaliser la catalyse asymétrique d'oxygénation de molécules organiques telles que les thioéthers et les alcènes. Ces nouveaux catalyseurs sont des hybrides bioinorganiques résultant de l'association d'une protéine et d'un complexe de fer. Notre choix s'est porté sur la protéine bactérienne NikA qui est capable de reconnaître le complexe Fe(EDTA). Nous avons synthétisé des complexes de fer possédant des ligands de type N2Py2 (deux amines et deux pyridines), un environnement propice pour avoir une chimie centrée sur le métal. Sur les amines, ont été greffés un ou deux groupements carboxyle pour permettre la reconnaissance avec NikA. Les études catalytiques menées sur ces complexes en oxydation d'alcènes et de thioéthers ont montré que la présence d'un seul groupement carboxyle altère peu l'activité du catalyseur, mais deux groupements carboxyle inhibent totalement la réactivité du complexe. L'obtention de la structure de l'un d'entre eux, ainsi que les analyses spectroscopiques nous ont montré des aspects singuliers de ces complexes, comme la coordination sur l'ion Fe(II) des groupements carboxyle par le carbonyle, et la formation de l'espèce Fe(II)Cl42-, en contre-ion, lorsque les complexes sont préparés à partir de Fe(II)Cl2. Les hybrides ont été testés en catalyse de sulfoxydation montrant une activité accrue sans (ou très peu) de production de sulfone, contrairement aux complexes correspondants avec lesquels autant de sulfoxyde que de sulfone se forme. En outre, nous avons observé au niveau de la structure cristallographique de certains des hybrides des configurations inédites pour ce type de complexes. Malheureusement, nous n'avons obtenu que de très faibles énantiosélectivités (ee = 11%). Pour pallier à ce problème, des expériences de mutagenèse dirigée, basées sur la structure cristallographique des hybrides et des études de docking, sont envisagées. Pour conclure, de nouvelles métalloenzymes artificielles ont été élaborées. Elles serviront de base pour de nouveaux systèmes plus optimisés.

Nous proposons plusieurs techniques visant à résoudre en pratique le problème NP-complet de satisfaction de contraintes de manière générique. Nous distinguons deux grands axes de techniques de résolution de CSP : l'infrence et la recherche. Nous avons contribué l'amélioration des techniques d'inférence en nous concentrant sur la propriété centrale qu'est la consistance d'arc : optimisations des algorithmes de consistance d'arc, comportement de plusieurs algorithmes d'inférence aux bornes de domaines discrets, et enfin une alternative intéressante à la consistance de chemin : la consistance duale. Cette propriété nous a amené à concevoir des algorithmes de consistance de chemin forte très efficaces. La variante conservative de cette consistance est de plus plus forte que la consistance de chemin conservative, tout en restant plus rapide à établir en pratique.<br />Par ailleurs, nous avons également cherché à améliorer MGAC, tout d'abord en équipant celui-ci d'heuristiques de choix de valeurs. Nous nous sommes pour cela basés sur l'heuristique de Jeroslow-Wang, issue du problème SAT. En utilisant deux techniques de conversion de CSP vers SAT, nous montrons comment cette heuristique se comporterait sur un CSP. Enfin, nous avons cherché à utiliser une hybridation entre un algorithme de recherche locale basé sur la pondération des contraintes et un algorithme MGAC équipé de l'heuristique dom/wdeg, en exploitant les possibilités d'apprentissage de l'un et l'autre algorithmes.<br />De manière transversale, l'ensemble des techniques développées dans le cadre de cette thèse a amené à la réalisation d'une API pour le langage Java, capable de résoudre un CSP au sein d'une application Java quelconque. Cette API a été développée dans l'optique "boîte noire" : le moins de paramètres et d'expertise possibles sont demandés à l'utilisateur. Un prouveur basé sur CSP4J a concouru lors les compétitions internationales de prouveurs CSP avec des résultats encourageants.

Cette thèse est une contribution à une démarche globale de conception rationnelle des systèmes d'assemblage. Elle concerne plus précisément le problème de génération des graphes de précédence, en vue de leur utilisation par les méthodes d'équilibrage des systèmes d'assemblage. Le premier chapitre de ce travail est consacré à la description de la problématique des systèmes d'assemblage. Le deuxième chapitre présente un état de l'art des approches de génération des graphes de précédence pour l'assemblage. Les propriétés de ceux-ci sont listées et comparées à celles des autres modèles des processus d'assemblage. L'objectif du troisième chapitre est l'élaboration d'une méthode systématique d'obtention des graphes de précédence à partir d'un ensemble de gammes d'assemblage. Dans ce but, deux algorithmes sont proposés. Ils sont basés sur la vérification d'une propriété structurelle – la propriété ? – qui est nécessaire et suffisante pour assurer l'équivalence d'un ensemble de gammes à un seul graphe de précédence. Un état de l'art des méthodes de conception des systèmes d'assemblage issues de l'équilibrage des lignes d'assemblage est présenté dans le quatrième chapitre. Le problème d'équilibrage consiste à trouver l'affectation des tâches aux postes, telle qu'elle assure la minimisation du temps de cycle total. Une approche systémique est proposée par la formulation de ce problème comme problème d'optimisation discrète, en vue de la résolution par la programmation dynamique. Le dernier chapitre est dédié à l'analyse des systèmes d'assemblage avec auto-équilibrage, dont la conception évite la résolution d'un problème d'équilibrage classique. Il est suffisant qu'un tel système satisfasse une contrainte technologique simple de placement des opérateurs (humains) sur la ligne – du plus lent au plus rapide – pour qu'il atteigne spontanément un comportement optimal du point de vue de l'équilibrage. Une analyse par simulation de tels systèmes est présentée. Ils peuvent être traités comme systèmes dynamiques hybrides à commutations et sauts autonomes. La condition suffisante de l'autoéquilibrage – le "bon ordre" – est démontrée en utilisant les critères de stabilité des systèmes dynamiques discrets.

Cette étude se propose de comparer des traductions en portugais de quelques poèmes des Fleurs du mal de Charles Baudelaire. Nous avons crée un corpus de trente poèmes pris dans le texte original afin de comparer les traductions respectives des traducteurs brésiliens et portugais. L´analyse a été étayée sur des théories descriptives fondées sur la linguistique appliquée, en prenant en considération le portugais du Portugal, le portugais du Brésil, les théories sur les traductions et la possibilité d´appliquer par les traducteurs les postulats théoriques, en regardant si, dans la pratique, ils ont suivi, pour la traduction, une attitude naturalisée ou exotisée, ou encore, s´ils ont utilisé un style tamisée entre les deux. Dans le premier cas, les traducteurs ont produit une version collant au contexte linguistique et littéraire de la langue portugaise utilisée dans leur pays afin que le lecteur ait l´impression de lire un texte dans sa propre langue. Alors que, dans le deuxième, ils ont transgressé les règles de la langue cible et gardé les caractères de la langue source, employant parfois des mots étrangers ou créant des néologismes en vue d´universaliser le texte. S´agissant de traductions de poèmes, on a aussi examiné la façon dont ces traducteurs ont intégré, dans la pratique, les diverses théories sur le rendu des traductions, comment ils ont résolu les difficultés qui ont surgi quand il a fallu transposer les messages du texte d´origine dans le texte traduit et s´ils ont eu le souci de préserver le style de Baudelaire et les règles de versification. / This work aims at making a comparative analysis of Portuguese translations of some poems chosen from the book Les Fleurs du mal, by Charles Baudelaire. First of all a corpus was prepared with thirty poems extracted from the original book. Then, a comparison was made with the respective translations written by Brazilian and Portuguese translators. The analysis was based on descriptive theories through applied linguistics taking into account the Portuguese language used in Portugal and the one used in Brazil, the translation theories, and the applicability of theoretical presuppositions of the translators. It was observed if they Ŕ in their real practice of translation Ŕ followed a trend of keeping natural translation - that one which stresses the original text-, if they followed a trend of adaptation to the target language, or if they used both approaches. In the first case the translators show a version adapted to the cultural context inserted in the linguistic/literary tradition of the Portuguese language used in their country, so that the reader can have the impression that he is reading a passage in his native language, while in the second situation they made transgression of the target language rules and kept the characteristics of the original language by using, at times, foreign words or creating neologisms aiming at making the text universal. Having in mind translation of poems, it was also considered how those translators learned the several theories of translation in practical real situation, how they found solution to difficulties that appeared when they were changing the messages of the original text into the target language, and also, whether they preserved Baudelaire‟s style as well as the rules of versification.

Ferroelektroelastische Keramiken besitzen aufgrund ihrer elektromechanischen Koppeleigenschaften Bedeutung in der Sensorik und Aktuatorik. Zur Vorhersage der Bauteileigenschaften und Beurteilung der Bauteilfestigkeit werden Materialmodelle benötigt. In der vorliegenden Arbeit wird ein mehrachsiges, ratenunabhängiges Materialmodell für ferroelektroelastische Keramiken einschließlich der zur effizienten Lösung notwendigen numerischen Methoden ausgearbeitet. Dabei erfolgt die Einbeziehung von Ansätzen aus der makroskopischen phänomenologischen und mikroelektromechanischen phänomenologischen Modellierung. Das resultierende Materialmodell stellt einen Versuch dar, die Vorteile beider Betrachtungsweisen zu vereinen und trägt deshalb die Bezeichnung "hybrid". In einem ersten Beispiel wird gezeigt, dass das hybride Materialmodell die für Barium-Titanat-Keramiken experimentell beobachtete Materialantwort reproduzieren kann. In einem zweiten Beispiel erfolgt die Anwendung auf morphotrope PZT-Keramiken. Dabei wird die in jüngerer Vergangenheit entdeckte monokline Phase zusammen mit der elektronenmikroskopisch beobachteten hierarchischen Struktur von Mikro- und Nanodomänen in vereinfachter Weise berücksichtigt. Auf Grundlage der getroffenen Modellannahmen gelingt es, die experimentell gemessene makroskopische Materialantwort der morphotropen PZT-Keramik PIC151 (PI Ceramic GmbH, Lederhose, Deutschland) für ausgewählte Lastfälle mit guter Genauigkeit vorherzusagen. / Ferroelectroelastic ceramics are used in sensor and actuator applications due to their electromechanical coupling properties. In order to predict the behavior of components or to assess their strength, material models are required. In the present work, a multi-axial, rate-independent material model for ferroelectroelastic ceramics is elaborated. This includes the development of efficient numerical solution methods. By incorporating ideas from known macroscopic phenomenological and micro-electromechanical phenomenological models into the novel model, it is attempted to combine the advantages of both approaches. In a first example, it is shown that the hybrid model can reproduce the experimentally observed material response of barium titanate ceramics. In a second example, the model is applied to morphotropic PZT ceramics. In this context, the recently discovered monoclinic phase as well as the hierarchical structure of micro-domains and nano-domains observed by means of electron microscopy are taken into account in a simplified way. Based on the assumptions made, the experimentally measured material response of the morphotropic PZT ceramic PIC151 (PI Ceramic GmbH, Lederhose, Germany) is predicted with reasonable accuracy for selected load cases.