61 |
Physique statistique des surfaces aléatoires et combinatoire bijective des cartes planairesBouttier, Jérémie 10 June 2005 (has links) (PDF)
Les cartes sont des objets combinatoires apparaissant en physique comme discrétisation naturelle des surfaces aléatoires employées pour la gravité quantique bidimensionnelle ou la théorie des cordes, ainsi que dans les modèles de matrices. Après rappel de ces relations, nous établissons des correspondances entre diverses classes de cartes et d'arbres, autres objets combinatoires de structure simple. Un premier intérêt mathématique de ces constructions est de donner des preuves bijectives, élémentaires et rigoureuses, de plusieurs résultats d'énumération de cartes. Par ailleurs, nous accédons ainsi à une information fine sur la géométrie intrinsèque des cartes, conduisant à des résultats analytiques exacts grâce à une propriété inattendue d'intégrabilité. Nous abordons enfin la question de l'existence d'une limite continue universelle.
|
62 |
Structures arborescentes : problèmes algorithmiques et combinatoiresChauve, Cedric 11 December 2000 (has links) (PDF)
La première partie de ce mémoire est consacrée à l'énumération de diverses familles de structures arborescentes, en général selon le nombre de sommets. Les trois premiers chapitres sont consacrés à l'étude des arborescences de Cayley telles que la racine est inférieure à ses fils et des arborescences alternantes. La plupart de nos résultats sont prouvés bijectivement. Nous nous intéressons ensuite aux arborescences coloriées, et plus particulièrement à la formule d'inversion de séries formelles multivariées de Good-Lagrange. Nous donnons une nouvelle preuve bijective d'une variante de cette formule et utilisons cette preuve pour prouver combinatoirement diverses formules d'énumération de structures arborescentes et en déduire des algorithmes de génération aléatoire pour ces structures (notamment les cactus planaires). Nous concluons cette première partie par un chapitre consacré aux constellations : en combinant notre preuve de la formule de Good-Lagrange et la conjugaison d'arborescences (due à Bousquet-Mélou et Schaeffer), nous prouvons bijectivement une formule (nouvelle) pour l'énumération de constellations selon le nombre de sommets et de faces. Dans la seconde partie, nous étudions le problème de la recherche de motifs dans une arborescence, en utilisant une structure de données classique pour les mots : l'arborescence des suffixes. Nous proposons notamment un algorithme de recherche de motifs dans une arborescence, basé sur un codage d'une arborescence par des mots et sur l'utilisation de l'arborescence des suffixes d'un de ces mots, qui semble avoir de bonnes propriétés expérimentales. Nous concluons en étendant la notion d'arborescence des suffixes des mots aux arborescences et en décrivant un algorithme de construction pour cette structure.
|
63 |
Préparation et caractérisation de poudres et céramiques (oxy) sulfures pour applications en optique active et passiveChlique, Christophe 29 November 2011 (has links) (PDF)
Ce travail de recherche porte sur la synthèse, la mise en forme et la caractérisation de matériaux à base de sulfures ou oxysulfure pour des applications optiques passives ou actives. Différentes techniques de synthèse, notamment la précipitation en milieu aqueux ou la synthèse par combustion, ont été utilisées pour préparer les nanopoudres précurseurs, ZnS, CaLa₂S₄, BaLa₂S₄ ou La₂O₂S. Il a été constaté qu'un traitement sous H₂S/N₂ permet de purifier ces précurseurs tout en conservant la phase cubique (ZnS) nécessaires pour la préparation de céramiques transparentes. Des céramiques ZnS, avec une transmission maximale d'environ 70% à la longueur d'onde de 10 µm, ont été élaborées par compaction à chaud en utilisant les techniques Hot Pressing ou Spark Plasma Sintering pour des applications optiques dans la fenêtre 8-12 µm. Des poudres de ZnS dopées au Fe²⁺ ont été synthétisées et étudiées avec une bande d'émission très large entre 3 µm et 4,5 µm. Des effets laser ont été obtenus à des longueurs d'ondes entre 3,4 µm et 3,6 µm en fonction de la température. Des poudres d'oxysulfure de lanthane co-dopées à l'Er³⁺ et l'Yb³⁺ ont été étudiées comme matériaux fluorescents pour modifier le spectre solaire avec l'objectif d'augmenter le rendement des cellules solaires photovoltaïques. Un rendement quantique supérieur à 100% a été obtenu avec un pompage à 523 nm pour des émissions dans le visible et le proche infrarouge. Ces résultats montrent que ces matériaux sont des matrices très efficaces pour le dopage des terres rares.
|
64 |
Image analysis of cement paste: relation to diffusion transportTariel, Vincent 19 February 2009 (has links) (PDF)
Depuis l'émergence des techniques d'imagerie, IRM, tomographie, il est maintenant possible d'observer directement l'organisation géométrique de systèmes tels l'os, le ciment, le papier, le verre, les roches. Comme les propriétés physiques et mécaniques dépendent de l'organisation géométrique, il existe un intérêt scientifique et industriel de comprendre et de définir cette relation de dépendance à l'aide de ces techniques d'imagerie. S'inscrivant dans ce contexte, le but de cette thèse est de développer un ensemble d'outils numériques pour l'analyse d'image de la géométrie d'un matériau, puis d'appliquer ces outils dans l'étude de l'évolution de la porosité de la pâte de ciment. En première partie, nous présentons les deux techniques d'imageries sélectionnées, la microscopie électronique à balayage et la tomographie par synchrotron, pour l'analyse de la pâte de ciment et le protocole expérimental pour la préparation des échantillons. En deuxième partie, nous proposons une méthodologie générique, efficace et simple de segmentation. La segmentation est la transformation de l'image en niveaux de gris en une image labellisée où chaque label représente une phase du matériau. L'implémentation de l'ensemble des algorithmes optimisés associés à cette méthodologie est rendue possible grâce à la conceptualisation théorique de la croissance de régions. En dernière partie, nous quantifions statistiquement la morphologie et la topologie de la géométrie du matériau. Puis, nous décomposons une phase en éléments élémentaires suivant deux conventions: l'une morphologique, l'autre topologique. Enfin, nous utilisons l'information stéréologique estimée sur une coupe 2D pour reconstruire un modèle 3D à l'aide de l'algorithme optimisé du recuit simulé. Une validation de la reconstruction 3D est effectuée par un suivi des propriétés de transport diffusif.
|
65 |
Génération aléatoire d'automates et analyse d'algorithmes de minimisationDavid, Julien 28 September 2010 (has links) (PDF)
Cette thèse porte sur la génération aléatoire uniforme des automates finis et l'analyse des algorithmes de minimisation qui s'y appliquent. La génération aléatoire permet de conduire une étude expérimentale sur les propriétésde l'objet engendré et sur les méthodes algorithmiques qui s'y appliquent. Il s'agit également d'un outil de recherche, qui permet de faciliter l'étude théorique du comportement moyen des algorithmes. L'analyse en moyenne des algorithmes s'inscrit dans la suite des travaux précurseurs de Donald Knuth. Le schéma classique en analyse d'algorithmes consiste à étudier le pire des cas, qui n'est souvent pas représentatif du comportement de l'algorithme en pratique. D'un point de vue théorique, on définit ce qui se produit "souvent'' en fixant une loi de probabilitésur les entrées de l'algorithme. L'analyse en moyenne consiste alors à estimer des ressources utiliséespour cette distribution de probabilité. Dans ce cadre, j'ai travaillé sur des algorithmes de génération aléatoire d'automatesdéterministes accessibles (complets ou non). Ces algorithmes sont basés sur de la combinatoirebijective, qui permet d'utiliser un procédé générique : les générateurs de Boltzmann. J'ai ensuite implanté ces méthodes dans deux logiciels : REGAL et PREGA. Je me suis intéressé à l'analyse en moyenne des algorithmes de minimisation d'automateset j'ai obtenu des résultats qui montrent le cas moyen des algorithmes de Moore et Hopcroft est bien meilleur que le pire des cas
|
66 |
Structures aléatoires de branchement et applications en génétique des populationsBerestycki, Julien 03 December 2010 (has links) (PDF)
L'objet de ce mémoire est de présenter de façon succincte les travaux que j'ai menés et auxquels j'ai collaboré depuis la fin de ma thèse. Ces travaux sont reliés par le thème central de la structure arborescente aléatoire ou du processus de branchement.
|
67 |
Modélisation et interprétation d'images à l'aide de graphesLerallut, Romain 13 September 2006 (has links) (PDF)
L'analyse et la comparaison intelligentes d'images sont parmi les sujets suscitant le plus d'intérêt dans les milieux académiques autant qu'industriels. Décrire et comparer automatiquement les images est en effet un enjeu critique pour le plein développement de la «société de l'information». Les moteurs de recherche fonctionnant sur le texte ont prouvé leur utilité de façon éclatante mais à l'heure actuelle il n'existe aucun système équivalent fonctionnant uniquement sur les images. Une explication possible est que nous ne disposons pas de langage permettant de décrire les images et que les comparaisons pertinentes sont ainsi beaucoup plus difficiles que dans le cas du texte. Cependant, le cas du texte nous montre qu'il n'est pas nécessaire que les machines comprennent ce qu'elles analysent pour renvoyer des résultats pertinents. Des méthodes simples d'analyse syntaxique associées à des règles de composition suffisent à piloter des moteurs de recherche d'une grande efficacité. Pour permettre à des machines de simuler l'interprétation des images, il faudrait donc créer des descripteurs faisant office de mots et des règles pour les regrouper, ce qui permettrait de comparer des scènes comme on compare des phrases. On dispose d'ores et déjà de nombreuses méthodes pour détecter automatiquement de petits objets et des régions dans des images, par leur couleur commune, leur mouvement identique, etc. Poursuivant l'analogie, on pourrait comparer ces petits objets à des syllabes. La difficulté consiste à les grouper en mots, puis en phrases et comparer celles-ci, tout en étant robuste face aux perturbations. Pour ce faire, nous utilisons des graphes pour stocker ces objets et leurs relations. Ces relations peuvent être de voisinage ou d'inclusion, ce qui conduit les graphes à être respectivement des graphes plans ou des arbres. Nous verrons ainsi plusieurs méthodes permettant de construire l'un ou l'autre type de représentation, ainsi que leurs avantages et inconvénients. Dans une première étape, nous avons utilisé les algorithmes d'appariement de graphes développés par Cristina Gomila à la fin de sa thèse au CMM (1998-2001). Profitant du projet européen MASCOT étudiant l'utilisation de «métadonnées» pour faciliter le codage vidéo, nous avons étudié en détail les forces et faiblesses de cette approche. Nous avons d'abord testé le remplacement de l'algorithme au coeur de l'appariement de graphes. Nous avons obtenu une légère amélioration de la stabilité et également de meilleurs temps de calcul. Puis nous avons cherché à améliorer notre robustesse face aux variations de segmentation en utilisant une projection dans le domaine spectral. Malgré de bons résultats sur des images simples, nos essais sur des images plus difficiles n'ont pas été couronnés de succès. Pour pallier cette fragilité dès que les graphes ne sont plus similaires, nous avons préféré revenir à notre matériau source, les images. La seconde étape de ce travail a porté sur le développement de techniques basées sur l'image pour réduire la sensibilité de nos algorithmes de segmentation au bruit et aux petites variations. Pour ce faire, nous avons développé une classe d'opérateurs de filtrage adaptatifs, les «amibes morphologiques », extrêmement efficaces pour réduire le bruit dans les images. Par ailleurs, nous avons également développé un opérateur de gradient couleur robuste permettant de mieux détecter les contours dans les images bruitées. Ces deux opérateurs ont amélioré de façon parfois impressionnante la stabilité de nos modélisations, puis de nos graphes et donc des résultats globaux. L'étape suivante dans ce travail a porté sur le développement de modélisations d'objets indépendamment du reste de l'image. La motivation derrière cette approche est de considérer que, dans certains scénarios, le contenu de l'image, hors de certains objets bien définis, n'est pas informatif. Il faut donc analyser directement et de la façon la plus précise possible les objets eux-mêmes. Nous avons dans un premier temps supposé que les segmentations des objets étaient connues, afin de nous concentrer sur le calcul d'une signature robuste de chaque objet. Pour l'obtenir, nous avons modifié un algorithme de ligne de partage des eaux pour effectuer une resegmentation «top-down» d'un espace d'échelle morphologique basé sur des nivellements. Ceci a donné lieu à une nouvelle modélisation robuste utilisant des arbres de régions imbriquées. Nous avons également développé une distance entre ces arbres et nous l'avons testée sur une base d'images classique dans le domaine de l'indexation. La dernière étape est centrée sur l'aspect applicatif. En premier lieu en comparant les différentes approches présentées dans ce travail, notamment aux niveaux de leur robustesse et de leur vitesse d'exécution. Enfin, nous avons cherché la meilleure combinaison de techniques pour concevoir une application de vidéosurveillance. En particulier, nous avons développé des techniques rapides et robustes de segmentation dans le cadre du projet PS26-27 «Environnement Intelligent» en collaboration avec ST Microelectronics et le groupe ORION de l'INRIA. Ce projet visait à construire un démonstrateur de technologies de vidéosurveillance appliquées à la détection d'accidents dans les cadres domestique et hospitalier. Notre part du travail consistait à la mise au point d'algorithmes de détection de silhouettes en mouvement dans des séquences vidéo. Ainsi, en couplant ces techniques à nos descripteurs d'objets par arbres, nous avons pu définir des signatures robustes de personnes, qui pourront être utilisées avec un grande efficacité dans des systèmes automatisés de vidéosurveillance.
|
68 |
Propagation de fissures dans les matériaux désordonnés : comment déchiffrer les surfaces de rupture.Ponson, Laurent 24 November 2006 (has links) (PDF)
Depuis près d'un demi-siècle, les ingénieurs savent décrire et prévoir la propagation d'une fissure dans un milieu élastique homogène modèle. Le cas des matériaux réels est beaucoup plus complexe. En effet, on ne sait pas relier leur durée de vie ou leur résistance à leur microstructure. Passage obligé avant de telles prédictions, il est nécessaire de comprendre comment le désordre structural du matériau influe sur le comportement d'une fissure. Dans cette optique, les surfaces de rupture représentent un champ d'investigation très prometteur. A travers une étude portant sur divers matériaux hétérogènes, nous caractérisons les propriétés statistiques de leur rugosité et déterminons dans quelle mesure elles sont indépendantes du matériau. Nous montrons notamment que les surfaces de rupture présentent des propriétés d'invariance d'échelle anisotropes, caractérisées par deux exposants universels. Etudiant ensuite une céramique de verre, matériau hétérogène modèle dont on peut contrôler la microstructure, on montre qu'il existe une seconde classe de surfaces de rupture caractérisée par la même structure anisotrope mais présentant des exposants plus faibles. Utilisant enfin des outils théoriques issus de la physique statistique hors équilibre combinés avec la mécanique de la rupture, nous établissons le lien entre ces propriétés e! t les mécanismes généraux de rupture à l'échelle microscopique. Cette étude nous permet notamment d'associer les deux classes de surfaces de rupture à un processus de fissuration mettant en jeux de l'endommagement pour l'un et à une rupture parfaitement fragile pour l'autre.
|
69 |
Fiabilité des systèmes embarquésVoiculescu, Sorin 03 July 2009 (has links) (PDF)
Les travaux présentés dans cette thèse abordent la problématique de l'estimation de la fiabilité des systèmes qui est devenue un enjeu majeur pour les entreprises et ce dès les premières phases de développement. En effet, plus tôt les caractéristiques d'un produit ou d'un système sont appréhendées dans son cycle de vie et moins les risques ( financiers ou liés à la sécurité des installations ), dus à la non réalisation des performances attendues sont élevés. Dans un contexte exigeant des systèmes de plus en plus fiables et sûrs, et de durées de garanties croissantes, il est impératif de vérifier le plus rapidement possible que les performances des systèmes soient conformes au cahier des charges. La démarche idéale pour identifier la fiabilité d'un produit ou d'un système avant sa fabrication en série, est de procéder à des séries d'essais sur des prototypes, quand ils existent. Cette démarche nécessite un investissement trop important en temps en nombre de prototypes, car ces derniers étant de plus en plus fiables, l'observation de défaillances est de moins en moins probable .
|
70 |
Marche aléatoire sur un groupe : propriétés dimensionnelles de la mesure harmoniqueLe Prince, Vincent 20 December 2004 (has links) (PDF)
Cette thèse a pour objet l'étude de la mesure harmonique associée à une marche aléatoire sur un groupe hyperbolique ou sur un sous-groupe discret d'un groupe semi-simple. Dans ces deux cadres, les groupes sont munis d'un bord géométrique naturel, qui porte la mesure harmonique. On s'intéresse aux relations entre celle-ci et la structure métrique du bord, à travers l'étude de sa dimension. Dans chacun des cadres, on majore la dimension de la mesure harmonique par le quotient de l'entropie asymptotique et de la vitesse de fuite de la marche aléatoire. Cette majoration nous permet de construire des mesures harmoniques de petite dimension. Un de nos résultats principaux découle de cette construction : la mesure harmonique associée à une marche aléatoire sur un réseau d'un groupe semi-simple peut être singulière par rapport à la mesure de Haar sur l'espace des drapeaux complets.
|
Page generated in 0.054 seconds