De nombreux problèmes d'optimisation issus du monde réel, notamment dans le domaine de la logistique, doivent faire face à beaucoup de difficultés. En effet, ils sont souvent caractérisés par des espaces de recherche vastes et complexes, de multiples fonctions objectif contradictoires, et une foule d'incertitudes qui doivent être prises en compte. Les métaheuristiques sont des candidates naturelles pour résoudre ces problèmes, ce qui les rend préférables aux méthodes d'optimisation classiques. Toutefois, le développement de métaheuristiques efficaces découle d'un processus de recherche complexe. Le cœur de ce travail réside en la conception, l'implémentation et l'analyse expérimentale de métaheuristiques pour l'optimisation multiobjectif, ainsi que leurs applications à des problèmes logistiques de tournées et d'ordonnancement. Tout d'abord, une vue unifiée de ces approches est présentée, puis intégrée dans une plateforme logicielle dédiée à leur implémentation, ParadisEO-MOEO. Ensuite, plusieurs approches de coopération, combinant des métaheuristiques pour l'optimisation multiobjectif, sont proposées. Enfin, la question de la prise en compte l'incertitude est abordée dans le contexte de l'optimisation multiobjectif.

Les nanotubes de carbone (CNTs), intégrant à la fois la structure parfaite, la géométrie unique, et des propriétés exceptionnelles, sont d'une grande importance dans le domaine des nanotechnologies. Leur association avec d'autres matériaux produit de nouvelles propriétés remarquables, et étend par conséquent leurs domaines d'applications comme charges multifonctionnelles. Cette thèse vise à développer un nouveau matériau hybride avec une structure multi-échelle à base de CNTs et de particules micrométriques d'alumine (mAl2O3) par une méthode de dépôt chimique en phase vapeur (CVD). Nos études démontrent que les structures CNTs-mAl2O3 ont une propriété exceptionnelle en matière de transport thermique dans les composites polymères. Celle-ci nous a amenée à explorer plus en profondeur les mécanismes de l'organisation des CNTs sur mAl2O3, et d'étudier la cinétique de réactions chimiques dans l'espace gazeux du réacteur CVD. Dans le premier chapitre, nous faisons une revue de l'état de l'art sur la structure, les propriétés et les applications des CNTs, ainsi que les mécanismes de croissance de CNTs par CVD. Une attention particulière est également accordée aux structures hybrides nano-micrometriques qui sont synthétisées par greffage in-situ des CNTs sur des substrats micrométriques. Dans le deuxième chapitre, nous présentons trois types de structures hybrides, qui sont classifiées selon différents modes d'organisation des CNTs sur les microsphères d'alumine. L'évolution des structures hybrides est démontrée en faisant varier le diamètre, la longueur et la densité numérique des CNTs sur mAl2O3. L'organisation specifique et la dispersion homogène des CNTs permettent de diminuer considérablement leurs résistances de contacts thermiques lorsque les matériaux hybrides CNTs-mAl2O3 sont utilisés comme charges dans les composites polymères. Une amélioration importante de la conductivité thermique des composites Epoxy/CNTs-mAl2O3, par rapport à celle des composites constitués de CNTs et de résine époxy, est obtenue à une fraction massique ultra-faible en CNTs. Dans le troisième chapitre, nous avons étudié en détail les rôles joués par les paramètres CVD et les microparticules sphériques d'alumine dans la construction de structures hybrides multiformes. En particulier, les fortes corrélations entre la température, les sources de carbone et les ratios d'hydrogène ont été discutées. Le lien entre les CNTs et les microparticules est mis en évidence, ainsi que la dynamique de croissance des CNTs. L'auto-organisation des CNTs sur mAl2O3 est expliquée par les deux mécanismes suivants. Dans un premier temps, la structure hétérogène de la surface des particules entraîne une distribution différente des particules du catalyseur, et leur arrangement cristallin spécifique détermine potentiellement l'orientation des CNTs. Dans un deuxième temps, l'auto-assemblage des CNTs est dû à l'interaction des forces faibles de Van der Waals entre CNTs voisins. Le calcul basé sur le modèle du nano-cantilever montre que l'auto-assemblage des CNTs dépend fortement de leur diamètre, de leur longueur et de leur densité numérique sur mAl2O3. Dans le quatrième chapitre, la cinétique chimique des réactions dans l'espace gazeux du réacteur CVD est numériquement analysée. Le processus non-équilibré de CVD qui contient plusieurs phénomènes physico-chimiques est simulé avec succès en combinant la cinétique des réactions chimiques avec les phénomènes de transport physique. Les champs des concentrations de chaque espèce est révélée aux températures utilisées par simulation des réactions chimiques. Les sources effectives de carbone et de fer pour la croissance des CNTs ont été éclaircies en comparant les résultats de simulation avec les observations expérimentales, y compris les mesures de spectrométrie de masse. Ces analyses sont nécessaires pour améliorer la production des hybrides avec des structures homogènes.

La cellulose, composé organique le plus courant et polysaccharide le plus abondant sur Terre, est une ressource naturelle très importante. Les initiatives pour remplacer totalement ou partiellement les polymères pétrochimiques conventionnels avec des bio-polymères à base de cellulose ont donc attiré l'intérêt des chercheurs ces dernières décennies, non seulement parce que la cellulose est renouvelable et biodégradable, mais aussi en raison de ses propriétés intéressantes telles que la biocompatibilité et la stabilité chimique. De plus, les propriétés de cellulose peuvent être encore améliorées par des procédés chimiques, des modifications physiques ou en préparant des composites avec des charges fonctionnelles.Les études concernant d'étudier plusieurs aspects fondamentaux comme la dissolution de la cellulose afin de produire des matériaux et le test de nouveaux concepts autour de la modification de surface ou des revêtements, à l'échelle du laboratoire. Nous présentons dans ce manuscrit nos travaux concernant la caractérisation de solutions de cellulose dans deux solvants différents (hydroxyde de sodium aqueux et un liquide ionique) et la préparation de deux nouveaux types de matériaux à base de cellulose (un matériau hybride cellulose-amidon et un composite cellulose-noir de carbone), qui sont tous les deux préparés à partir de ces solutions de cellulose.

Cette thèse porte sur l'analyse et le design de codes de canal définis par des graphes creux. Le but est de construire des codes ayant de très bonnes performances sur de larges plages de rapports signal à bruit lorsqu'ils sont décodés itérativement. Dans la première partie est introduite une nouvelle classe de codes LDPC, nommés code LDPC hybrides. L'analyse de cette classe pour des canaux symétriques sans mé- moire est réalisée, conduisant à l'optimisation des paramètres, pour le canal gaussien à entrée binaire. Les codes LDPC hybrides résultants ont non seulement de bonnes proprié- tés de convergence, mais également un plancher d'erreur très bas pour des longueurs de mot de code inférieures à trois mille bits, concurrençant ainsi les codes LDPC multi-edge. Les codes LDPC hybrides permettent donc de réaliser un compromis intéressant entre ré- gion de convergence et plancher d'erreur avec des techniques de codage non-binaires. La seconde partie de la thèse a été consacrée à étudier quel pourrait être l'apport de méthodes d'apprentissage artificiel pour le design de bons codes et de bons décodeurs itératifs, pour des petites tailles de mot de code. Nous avons d'abord cherché comment construire un code en enlevant des branches du graphe de Tanner d'un code mère, selon un algorithme d'apprentissage, dans le but d'optimiser la distance minimale. Nous nous sommes ensuite penchés sur le design d'un décodeur itératif par apprentissage artificiel, dans l'optique d'avoir de meilleurs résultats qu'avec le décodeur BP, qui devient sous- optimal dès qu'il y a des cycles dans le graphe du code. Dans la troisième partie de la thèse, nous nous sommes intéressés au décodage quan- tifié dans le même but que précédemment : trouver des règles de décodage capables de décoder des configurations d'erreur difficiles. Nous avons proposé une classe de déco- deurs utilisant deux bits de quantification pour les messages du décodeur. Nous avons prouvé des conditions suffisantes pour qu'un code LDPC, avec un poids de colonnes égal à quatre, et dont le plus petit cycle du graphe est de taille au moins six, corrige n'importe quel triplet d'erreurs. Ces conditions montrent que décoder avec cette règle à deux bits permet d'assurer une capacité de correction de trois erreurs pour des codes de rendements plus élevés qu'avec une règle de décodage à un bit.

Dans le domaine spatial, la contamination moléculaire est un problème important pouvant affecter considérablement la performance des instruments embarqués. Selon l'environnement thermique, certaines molécules polluantes provenant du dégazage sous vide des matériaux constitutifs des satellites viennent en effet se déposer sur les surfaces sensibles tels que les optiques et les différents détecteurs. Grâce à leur structure microporeuse organisée qui leurs confèrent de remarquables capacités d'adsorption, les zéolithes sont des solides de choix pour minimiser les risques de pollution. Les films zéolithiques offrent plus précisément l'avantage d'être directement intégrés dans la structure interne des satellites, sont légers et non pulvérulents. C'est pourquoi l'objectif de cette thèse est d'étudier la synthèse de films zéolithiques sur deux types d'alliages d'aluminium, matériaux largement utilisés dans l'industrie spatiale pour leur résistance mécanique élevée. Face aux milieux de synthèse corrosifs de certaines zéolithes, la sensibilité des substrats en aluminium a été minimisée grâce à la formation d'un film microporeux de type MFI, tandis que la couche zéolithique aux propriétés d'adsorption recherchées de type FAU, EMT ou *BEA a été synthétisée à sa surface. Cette étude propose donc l'élaboration de films hybrides contenant deux couches de zéolithes de type structural différent. Divers caractéristiques telles que la cristallinité, l'homogénéité, l'épaisseur des films et l'adhésion des différentes couches entre elles et au support ont été particulièrement étudiés. Après calcination, les films zéolithiques hybrides présentent une porosité disponible et des capacités d'adsorption de molécules organiques équivalentes à celles d'une poudre. De plus, en optimisant le traitement thermique final, les propriétés mécaniques des alliages d'aluminium de départ ont pu être conservées.

Nous présentons un ensemble de méthodes pour la vérification et la commande de systèmes continus et hybrides, basées sur l'utilisation de trajectoires individuelles. Dans une première partie, nous précisons la classe des systèmes considérés et leurs propriétés. Nous partons de systèmes continus régis par des équations différentielles ordinaires auxquels nous ajoutons des entrées et des événements discrets, constituant ainsi une classe de systèmes dynamiques hybrides. La seconde partie est consacrée à la vérification de ces systèmes basée sur le calcul d'atteignabilité. Nous étudions comment un nombre fini de trajectoires peut couvrir l'ensemble infini des états atteignables du système. Nous montrons qu'en utilisant une analyse de la sensibilité aux conditions initiales, une sur-approximation de l'ensemble atteignable peut être obtenue. Nous en déduisons un algorithme qui, par une sélection hiérarchique des trajectoires, trouve rapidement un comportement mauvais ou prouve qu'il n'en existe aucun. La troisième partie concerne la commande optimale et se base sur des techniques de programmation dynamique approchée. Un coût est défini pour chaque trajectoire, et la commande minimisant ce coût se déduit d'une fonction valeur définie sur l'espace d'état et que nous représentons en utilisant un approximateur de fonction . Nous utilisons l'expérience fournie par des trajectoires tests pour améliorer cette approximation. Enfin, nous utilisons les résultats de la deuxième partie pour sélectionner ces trajectoires en cohérence avec les propriétés de généralisation locales de l'approximateur de fonction et en restreignant l'exploration de l'espace d'état pour limiter les calculs.

Dans le cadre de la vérification formelle de programmes, nous étudions des systèmes placés dans un environnement extérieur : il s'agit de guider ou contrôler le système pour qu'il satisfasse certaines propriétés. Pour modéliser l'écoulement du temps, nous nous intéressons aux systèmes hybrides et aux logiques temporisées. Nous étudions les systèmes hybrides o minimaux pondérés et établissons que ce modèle est expressif mais analysable puisque le model checking ainsi que le contrôle optimal sont décidables, ces problèmes étant indécidables pour les automates temporisés. Nous étudions également les logiques temporisées et montrons que la logique TPTL est strictement plus expressive que MTL, prouvant une conjecture énoncée par Alur et Henzinger au début des années 1990. Enfin nous introduisons une classe d'automates paramétrés par des opérateurs et obtenons des résultats génériques d'expressivité entre automates et logiques, qui peuvent notamment s'appliquer à MTL+Past.

Ce travail s'inscrit dans le domaine du diagnostic des systèmes hybrides et est basé sur l'utilisation d'un modèle. Il a pour objectif de diagnostiquer les fautes à partir de la connaissance structurelle, comportementale ou fonctionnelle du système en représentant ces connaissances (modèle du système) séparément de la connaissance sur la tâche de diagnostic. Les systèmes hybrides incluent à la fois des variables continues et discrètes. La dynamique continue est généralement fournie par des équations différentielles et algébriques alors que la partie discrète est modélisée par des automates ou des systèmes à transition. Le formalisme adopté dans ce travail pour modéliser ces systèmes s'appuie sur le modèle " Réseau de Petri Différentiel à Objet " (RdPDO) qui est intégré dans la plate forme de simulation PrODHyS (Process Object Dynamic Hybrid Simulator). Il possède l'avantage de prendre en compte le comportement hybride d'une part, en associant les variables continues aux jetons et d'autre part, en associant un système algébro-différentiel aux places permettant de faire évoluer les variables d'état continues. La méthodologie de diagnostic proposée s'effectue en deux étapes. La première étape consiste à détecter à l'aide d'une classification floue, des fautes qui présentent les mêmes symptômes - à partir d'une connaissance préalable des états de défaillance obtenue par apprentissage - afin de réduire les chemins ou les scénarios à explorer lors de la seconde phase. Cette dernière sert à diagnostiquer la faute parmi celles détectées à l'étape précédente en levant l'ambiguïté. Pour ce faire, deux raisonnements ont été suivis. Le premier, qualifié de raisonnement avant, consiste à former pour chaque faute incriminée, un critère d'écarts entre les mesures effectuées sur le système et celles émanant du modèle avec la faute simulée, sur une fenêtre temporelle et d'isoler ainsi la faute aboutissant au critère le plus faible. Le second raisonnement qualifié de raisonne ment arrière, effectue des calculs similaires mais sur l'évolution temporelle passée du système par une simulation arrière effectuée avec PrODHys, offrant la possibilité supplémentaire par rapport au premier raisonnement de remonter à l'instant de la défaillance. La méthodologie développée est illustrée sur un système hydraulique souvent utilisé comme " benchmark ". Comme nous ne disposons pas d'un système réel, celui-ci est simulé à l'aide d'un modèle de simulation de type RdPDO qui cette fois-ci contient les états de défaillances et des différences (bruits, erreurs de modélisation) par rapport au modèle utilisé pour le diagnostic.

Thèse de doctorat : Génie électrique : Vandoeuvre-les-Nancy, INPL : 2005. / Titre provenant de l'écran-titre. Bibliogr.

Thèse doctorat : Chimie : Strasbourg 1 : 2007. / Thèse soutenue sur un ensemble de travaux. Titre provenant de l'écran-titre. Notes bibliogr.