Les diagrammes de décision Multi-valués (MDD) sont des structures de données efficaces et largement utilisées dans les domaines tels que la vérification, l’optimisation et la programmation dynamique. Dans cette thèse, nous commençons par améliorer les principaux algorithmes tels que la réduction de MDD, permettant aux MDD de potentiellement compresser exponentiellement des ensembles de tuples, ou la combinaison de MDD, tels que l’intersection ou l’union. Ensuite, nous proposons des versions parallèles de ces algorithmes ainsi que des versions permettant de travailler avec la version non déterministe des MDD. De plus, dans le domaine des MDD relâchés, un domaine de plus en plus étudié, nous définissons les notions de réduction et combinaison relâchés, ainsi que leurs algorithmes associés. Nous résolvons le problème de l’échantillonnage des solutions d’un MDD avec respect de loi de probabilité tels que des fonctions de probabilité de masse ou des chaines de Markov. Pour permettre d’utiliser les MDD dans les solveurs de programmation par contraintes, nous proposons de nouveaux propagateurs pour toutes les contraintes basées sur des MDD, améliorant les performances des algorithmes existants, puis nous en introduisons une nouvelle contrainte, la contrainte de channeling. Grâce à eux, nous montrons que nous pouvons reformuler plusieurs contraintes et en définir de nouvelles tout en étant basés sur des MDD. Finalement nous appliquons nos algorithmes à des problèmes industriels réels de génération de texte et musique, et de modélisation de réservoir de pétrole. / Multivalued Decision Diagrams (MDDs) are efficient data structures widely used in several fields like verification, optimization and dynamic programming. In this thesis, we first focus on improving the main algorithms such as the reduction, allowing MDDs to potentially exponentially compress set of tuples, or the combination of MDDs such as the intersection of the union. We go further by designing parallel algorithms, and algorithms handling non-deterministic MDDs. We then investigate relaxed MDDs, that are more and more used in optimization, and define the notions of relaxed reduction or operation and design efficient algorithms for them. The sampling of solutions stored in a MDD is solved with respect to probability mass functions or Markov chains. In order to combine MDDs with constraint Programming, we design the propagators of all the types of MMDD constraints in solvers, and introduce a new one, the channeling constraint. These new propagators outperform the existing ones and allow the reformulation of several other constraints such as the dispersion constraint, and even to define new ones easily. We finally apply our algorithm to several real world industrial problems such as text and music generation and geomodeling of a petroleum reservoir.

Cette thèse décrit l'exploitation d'approches géométriques pour résoudre le probleme de segmentation d'images, ainsi que le probleme de détection d'événements en imagerie multi-sources. La structure géométrique utilisée est le diagramme de Voronoi ponctuel. Nous abordons tout d'abord une première approche de segmentation d'images en polygones de Voronoi dont l'algorithme fonctionne en trois étapes: une phase d'initialisation, une phrase de partition et une phase de fusion. Ce processus de segmentation est utilise pour détecter les différences entre des images acquises dans différents domaines de radiometrie. Nous présentons une seconde technique de segmentation fondée sur le processus de coopération d'un détecteur de frontières et d'un détecteur de régions. Cette approche utilise le diagramme de voronoi généralisé pour générer une partition initiale dont les frontières des régions s'appuient sur les contours détectés initialement. Pour réaliser cette segmentation nous avons propose un algorithme de calcul d'une approximation du diagramme de Voronoi généralisé en utilisant le diagramme de Voronoi ponctuel

Jusqu'à ces dernières années, la chimie des composés fluorés des éléments de transition n'avait pas connu un grand développement. Les rares travaux effectués avaient été entrepis par voie aqueuse. Les études en phase solide étaient pratiquement inexistantes en raison sans doute des difficultés techniques auxquelles se heurtaient les expérimentateurs.<br />Depuis 1958, les composés fluorés ou oxyfluorés ont connu un regain d'intérêt. La substitution partielle ou totale de l'oxygène par le fluor, en raison de la proximité de leurs rayons ioniques, permettait d'obtenir de nouvelles séries isomorphes des oxydes...

L’étude de l’histoire ancienne de la région Cyrénaïque est importante. Cette région a vécu une longue période d'occupation grecque du 8ème au 6ème siècle av JC. suivie par les Ptolémaée (rois d’Égypte) qui ont gouverné cette région jusqu’à l’arrivée des Romains. Ces derniers l’ont administrée environ huit siècles, à partir de l’an 74 av. JC. À l’époque romaine, la Cyrénaïque était organisée en province. La province était exposée à certaines invasions, surtout celles des tribus libyennes. La richesse de la Cyrénaïque a donc attiré les regards des envahisseurs. C’est pourquoi les Romains ont effectué, après leur installation dans la province, des mesures défensives (fortifications) pour la protection et la sécurité de la Cyrénaïque. Ils ont ainsi construit tout au long des frontières de la province des forteresses, des murs, des tours de contrôle pour la surveillance. Ils ont aussi construit un réseau routier pour relier les villes de la province et construit des fortifications autour des villes. Les Romains ont par ailleurs restauré celles qui existaient déjà avant leur arrivée. Nous étudierons l’organisation militaire, c’est-à-dire l’organisation de l’armée à l’époque romaine L’armée était constituée des troupes militaires. nous appuyons sur les inscriptions.les moyens de financement qui dépendaient essentiellement des impôts. Nous L’étuderions moyens défensifs et militaires pour la protection de la province. Les moyens défensifs sont répartis en trois types : le premier comprend les forteresse ; le second la construction des routes afin de relier les villes ; le troisième moyen comprend les fortifications et les tours pour protéger les villes Cyrénaïque. / The study of the ancient history of the Cyrenaica region is important. This region has experienced a long period of Greek occupation from the 8th to the 6th century BC. Followed by Ptolemies, (Egyptian kings) who ruled this area for some time , until the arrival of the Romans. These have given approximately eight centuries , from the year 74 BC. JC . In Roman times, Cyrenaica was organized by province. The province was exposed to some invasions, especially those of the Libyan tribes. The wealth of Cyrenaica has attracted the attention of the invaders. This is why the Romans made after installation in the province, defensive measures for the protection and safety of Cyrenaica .They thus constructed along the borders of the province fortresses, walls, control towers monitoring .They also built a road network to connect the cities of the province and built fortifications around cities. The study military organization, that is to say the organization of the army at the time Roman. The army was made up of military forces, regular and local troops support. We rely on the inscriptions found on some ancient sources and basis for our research. The military organization of troops , weapons used , the means of financing depended mainly Taxes. The study defensive and military means for the protection of the province. Defensive measures are divided into three types the first includes the fortresses, churches and farms fortifies. The study of construction of roads to connect cities, and transport these provisions military. the third means comprises fortifications and towers to protect the five cities of Cyrenaica.

Les polluants et les matières qui transitent dans les cours d'eau peuvent constituer des stocks dans la colonne sédimentaire. Ces dépôts, soumis aux processus d'autoconsolidation, sont sujets au vieillissement et à l'enfouissement, qui augmentent leur temps de résidence dans la colonne sédimentaire par augmentation de leur résistance à l'érosion. Les flux de polluants peuvent être ramenés aux flux de matières sédimentaires, dont l'érosion est décrite par des lois à seuil. Nous proposons une modélisation du seuil d'érosion d'un sédiment cohésif. Ce modèle considère les propri étés cohésives des matières qui composent les couches sédimentaires, en s'appuyant sur la force attractive électrodynamique de contact de Van der Waals. Cette force, que nous avons paramétrée par la granulométrie et la porosité, vient s'ajouter au bilan des forces généralement considéré pour modéliser le seuil d'érosion. Des expériences d'érosion artificielle ont été menées dans un canal à érosion, avec des sédiments naturels prélevés dans la partie en aval du Rhône, pour en évaluer le seuil d'érosion, la granulométrie et la porosité. Les résultats des expériences alimentent la littérature en données expérimentales sur l'érosion de sédiments cohésifs consolidés. Le modèle d'érosion ainsi développé est appliqué dans les conditions expérimentales. Il donne un bon accord avec les mesures. Nous illustrons sa prise en compte dans un modèle de consolidation, permettant de construire des diagrammes du type Mohr pour l'érosion d'un sédiment cohésif faiblement consolidé.

Les cristaux liquides (CL) sont des matériaux qui associent les propriétés de fluidité et de biréfringence. Leurs propriétés correspondent donc à un subtil mélange entre celles des liquides et celles des solides cristallins. Ces matériaux sont à l’origine de technologies aujourd’hui très largement répandues : il est presque assuré que celui qui lit ces lignes ait au minimum un appareil basé sur les CL à portée de vue. C’est d’ailleurs sans compter le fait que les savons et de nombreuses cellules biologiques du corps humain contiennent des CL. Pourtant, il y a un peu plus de cent ans, il s’agissait encore d’un nouvel état de la matière. D’ailleurs, le terme CL est extrêmement général et il existe en réalité plusieurs dizaines d’états CL différents, caractérisés par des arrangements moléculaires plus ou moins ordonnés. Certains de ces arrangements sont organisés en couches : ce sont les phases smectiques. Une application récente des CL concerne l’optique non-linéaire (ONL), en particulier les effets de deuxième ordre qui permettent le doublage de fréquence. Les CL smectiques C (SmC) sont d’excellents candidats pour cette technologie, car leur structure, et donc leur réponse ONL, peut être ajustée. Des théories de la phase SmC existent. Bien qu’elles soient utiles pour partiellement légitimer l’utilisation de facteurs empiriques lors de la conception de molécules potentiellement CL, ces modèles sont imparfaits. La synthèse suivie de tests expérimentaux sont nécessaires pour s’assurer que la phase SmC est présente dans le polymorphisme expérimental. Les molécules utilisées dans cette thèse ont été conçues en utilisant de telles règles. Toutefois, seules certaines d’entre elles présentent effectivement la phase SmC. Cette part d’empirisme, qui se traduit par le fait qu’il est impossible d’affirmer hors de tout doute, qu’une nouvelle molécule exhibera la phase SmC, est la preuve que celle-ci est incomprise. Puisqu’il limiterait le recours à une procédure par essai-erreur, un outil prédictif serait un atout majeur tant sur le plan fondamental, que sur les plans économique et du développement durable. Pour atteindre cet objectif, des modèles plus précis que les théories actuelles sont donc nécessaires. En fait, un changement subtil dans la structure d'une molécule CL peut avoir un impact majeur sur son polymorphisme CL expérimental. Par exemple, il arrive qu’une seule molécule parmi deux isomères structuraux, présente cette phase. En général, des modèles de simulation où les atomes sont regroupés à l’intérieur de billes statistiques, sont utilisés. De tels modèles sont en effet plus efficaces pour étudier les phénomènes à longue portée mis en jeu dans les arrangements CL. Toutefois, parce que les détails atomistiques ont un si grand impact, la simulation atomistique est, par définition, plus appropriée pour étudier la relation structure-propriété. Les modèles atomistiques sont toutefois contraints d’utiliser un nombre plus restreint de molécules et des temps de simulation plus courts. Une approche adaptée doit dans ce cas être utilisée. L’objet de cette thèse est de montrer que la simulation atomistique par dynamique moléculaire (DM) est un outil capable de saisir les subtilités qui régissent la formation éventuelle de la phase SmC. Un modèle de simulation par DM, où chaque atome est représenté par une particule distincte, est utilisé pour étudier des familles de molécules calamitiques, dont certains membres présentent la phase SmC. La DM utilise un ensemble d’équations et de paramètres, appelé champ de forces, pour gérer les interactions entre les particules. À l'intérieur des familles étudiées, certaines molécules sont des isomères structuraux qui utilisent strictement les mêmes paramètres de champ de forces. Pour de telles molécules, il est possible de directement lier le comportement obtenu par simulation au changement structural qui induit la modification du polymorphisme expérimental. La réorganisation des systèmes simulés, initialement SmC, est analysée avec l’augmentation de la température. Cette modification de l'auto-assemblage est capturée par les valeurs des énergies non-liantes : les interactions de van der Waals (vdW) et coulombienne. Le lien entre la signature énergétique et le polymorphisme CL expérimental a tout d’abord été étudié, grâce à l'utilisation combinée de la DM et de l’expérience. Il conduit à la proposition d’un modèle qualitatif expliquant l’origine de la stabilité thermique de la phase SmC. Ce modèle s’appuie sur les valeurs de l’énergie d’interaction coulombienne et les traduit en terme de distances entre les couches smectiques et entre les molécules d’une même couche. L’étude des huit molécules montre qu’une énergie d’interaction coulombienne à longue portée, c’est-à-dire entre les couches smectiques, plus négative, est concomitante avec une stabilité thermique accrue de la phase SmC. Cependant, cette stabilité thermique peut être réduite en fonction de l’interaction coulombienne à courte portée, c’est-à-dire entre les molécules dans une même couche. Une interaction trop forte conduit préférentiellement à la présence du cristal au détriment de la mésophase. Dans un second temps, une approche par DM améliorée a été utilisée. Elle consiste à appliquer le critère d’équilibre mécanique aux cellules de simulation initiales afin d’améliorer la qualité du point de départ des DM. Avec un tel modèle, la géométrie des arrangements simulés a pu être précisément analysée. Dans les courbes de l’énergie simulée, des transitions nettes apparaissent en fonction de la température. À basse température, chaque potentiel non-liant laisse apparaître des températures de transition qui lui sont propres. En revanche, la plus haute température de transition est identique pour toutes ces interactions. Analyser la géométrie des systèmes simulés révèle que cette transition à haute température correspond en fait à la transition vers le liquide isotrope. Avec ce nouveau modèle, l’arrangement initial SmC est conservé aux basses températures. Cette étude met également en valeur la synergie entre l’organisation SmC et le potentiel d’interaction de vdW à longue portée, qui est une fonction du volume du système. L’approche défendue dans cette thèse, qui favorise la finesse de la description de la matière plutôt que la représentation de vastes échelles de temps et d’espace, permet de dévoiler le lien profond entre la structure atomique, l'existence même et le comportement de la phase SmC.

Les besoins de réduction du poids se sont concrètement traduits par l'introduction de nouvelles nuances plus légères dans les structures automobiles. Ainsi, des alliages d'aluminium ont commencé à être intégrés dans les pièces de structure de plusieurs véhicules. La faible masse volumique des alliages d'aluminium (2,7g/cm 3 ) permet d'alléger le poids du véhicule qui entraîne une diminution de la consommation de carburant et, donc, des émissions de gaz à effet de serre. La striction et la rupture sont les principaux modes de défaillance qui entrainent le rebut systématique des pièces. C'est pourquoi, améliorer la prédiction d'apparition de ces défauts lors de la simulation va dans le sens d'une meilleure maitrise du procédé. Dans le cadre de ce travail doctoral, deux modèles sont développés pour simuler le comportement à grandes déformations d'alliages d'aluminium : un modèle polycristallin de type Taylor et un modèle à un ou plusieurs éléments finis par grain.Les diagrammes limites de formage (DLF) pour les deux alliages d'aluminium AA5754 et AA6063 ont été simulés numériquement en utilisant une formulation par éléments finis pour les polycristaux basée sur l'hypothèse de Taylor.Les DLF conventionnels et de l'hydroformage ont été traces. L'effet des chemins de déformation sur la formabilité des alliages d'aluminium a aussi été étudié. Finalement, des simulations numériques avec les données de diffraction des électrons rétrodiffusés (EBSD) pour l'alliage d'aluminium AA5754 ont été effectuées en utilisant le modèle à un ou plusieurs éléments par grain. Ces simulations sont exécutées avec différents modèles du durcissement (Asaro, Bassani et puissance).

La cellulose, polymère naturel linéaire non fusible en dessous de sa température de dégradation, peut être mise en forme moyennant des procédés plus ou moins complexes et polluants. Parmi des nombreux solvants connus pour la cellulose, le seul, à ce jour, à être utilisé industriellement pour le filage des fibres, est la N-méthylmorpholine-N-oxyde (NMMO). Le procédé NMMO, bien que utilisé depuis une quinzaine d'années, est encore sujet à une utilisation assez empirique. L'objectif scientifique de notre travail était de lever un certain nombres de questions relatives aux diverses étapes du procédé : dissolution, mise en forme et précipitation. La variation de la fraction NMMO/eau à ces différentes étapes qui est caractéristique au procédé a fait émerger la nécessité de la construction d'un diagramme de phases complet du système NMMO/eau. Nous avons construit un tel diagramme. Dans ce cadre, nous avons pu confirmer l'existence d'un composé monohydraté (1H2O-NMMO) ayant une température de fusion de 80°C et nous avons montré l'existence d'un composé à 2 molécules d'eau par molécule de NMMO ayant une température de fusion de 40°C (certains auteurs penchaient en faveur d'un composé 2,5H2O-NMMO. De plus, nous avons montré la possibilité de formation d'un autre composé hydraté, à 8 molécules d'eau par molécule de NMMO ayant une température de fusion de - 45°C. L'étude des interactions de la cellulose avec les mélanges NMMO/eau dans toute la gamme des concentrations a permis de montrer que la cellulose II présente les cinétiques de gonflement et de dissolution plus rapides que la cellulose I. Pour les mélanges à forte teneur en eau le gonflement n'affecte que la phase amorphe et s'accompagne d'une structuration de celle-ci lorsque la teneur en eau est entre 28% et 50%. Le rôle prédominant dans la cristallisation des solutions cellulose/NMMO/eau appartient au solvant. La vitesse de cristallisation, à température et concentration de cellulose données, n'est pas fonction de la viscosité de la solution, mais dépend des propriétés du solvant - sa quantité, sa teneur en eau et de l'état de dispersion de la cellulose en solution. Cet état de dispersion dépend de l'origine de la cellulose. Lorsque le taux de cristallinité de la cellulose est élevé, la dispersion des chaînes est faible et la vitesse de cristallisation du solvant est élevée. La vitesse de précipitation de la cellulose à partir des solutions cellulose/NMMO/eau dans un bain aqueux est définie par la vitesse de diffusion du solvant (NMMO) de la solution vers le bain et la vitesse de diffusion du non-solvant (eau) du bain vers la solution. La diffusion du non-solvant est influencée par la teneur en NMMO du bain d'eau tandis que la diffusion du solvant est affectée en plus par la concentration de cellulose dans la solution. Nous avons montré que la diffusion du non-solvant est dix fois plus importante que la diffusion du solvant et nous avons relié ce résultat à la morphologie particulière des solutions régénérées à l'état fondu.

Dans une première partie de cette thèse, nous avons étudié le comportement sous champ électrique de la séquence de phases des "cristaux liquides smectiques chiraux" en développant une étude sous champ électrique (E) et en fonction de la température (T) qui sont deux variables thermodynamiques indépendantes. Les résultats de mesures ont conduit au tracé des diagrammes de phase Champ électrique-Température (E-T). Ces diagrammes peuvent dans certains cas révéler l'induction sous champ électrique de nouvelles phases n'existant pas à champ nul. D'autre part, suite à l'étude de certains composés présentant la phase ferroélectrique SmC* dans leur séquence de phase à champ nul. Le tracé de leurs diagrammes de phases (E-T) a permis de mettre en évidence un problème de coexistence entre une phase paraélectrique et une autre ferroélectrique. Pour bien localiser cette séquence de phases sans rencontrer ce phénomène de démixtion, on a fait appel à une nouvelle étude optique sans champ électrique basée sur la méthode de conoscopie à balayage. L'analyse de l'ellipticité de la lumière transmise en fonction de la rotation de l'échantillon a donné accès aux deux indices de réfraction (ne et no) séparément, à la biréfringence (Δn), au pouvoir rotatoire optique (PRO) et à la gyrotropie. Ces études que nous avons développé avec succès nous permettent une mise au point robuste et efficace des comportements des différentes phases de cristaux liquides smectiques chiraux sous et en absence du champ électrique.

Ce travail de thèse présente la conception et la réalisation d'un dispositif microfluidique en PDMS (Polydiméthylsiloxane) pour exploration des diagrammes de phase. Le microsystème est basé sur le principe de pervaporation (évaporation à travers une membrane) et comporte des microchambres indépendantes de 5nL de solution dont on fait varier la concentration au court du temps. Il est possible de concentrer jusqu'à l'observation de transitions de phases (démixtion, nucléation, cristallisation, ...). Nous avons montré que la pervaporation est une piste intéressante pour l'exploration de diagrammes de phases. En parallèle, nous avons développé un outil original de mesure in situ en temps réel de la concentration, paramètre essentiel du criblage. Cet outil, basé sur le principe de réfractométrie, a pour avantage d'être non intrusif et ne requiert aucune modification particulière du microsystème. La méthode consiste à utiliser les parois des microcanaux comme éléments optiques. Nous montrons que cette méthode permet de mesurer un coefficient de diffusion et un rapport de viscosité dans une jonction en T sans ajout de traceurs ni utilisation de la fluorescence. Nous avons utilisé cette méthode de mesure de la concentration lors d'expériences sur des systèmes modèles (solutions ioniques, surfactants, polymères, protéines, ...).