voir fichier pdf

Reproduction de : Thèse de doctorat : Acoustique : Le Mans : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. 93-103.

Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 235 réf.

Dans le contexte de l'optimisation de formes par la méthode des courbes de niveaux, nous nous intéressons à certains nouveaux problèmes : l'optimisation de valeurs propres multiples, l'optimisation de la compliance robuste et l'optimisation du critère de flambement. Nous résolvons aussi deux importants problèmes numériques par le couplage avec le gradient topologique et la méthode de régularisation de la vitesse. Nous proposons aussi dans cette thèse un chapitre destiné à montrer les problèmes numériques propres à la méthode des courbes de niveaux et nous montrons les “trucs” numériques utilisés pour résoudre ces problèmes.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Nous proposons dans cette thèse une nouvelle approche cumulative de recalage d'images basée sur des primitives construites à partir des lignes de niveaux. Les lignes de niveaux sont invariantes par rapport aux diverses perturbations affectant l'image tels que les changements de contraste. Par ailleurs, leur abondance dans une image suggère naturellement un processus de décision cumulatif. Nous proposons alors un algorithme récursif d'extraction des lignes de niveaux simple et efficace qui extrait les lignes par groupes rectiligne appelés ``segments''. Les segments sont ensuite groupés -- sous contrainte de proximité -- en fonction du modèle de transformation recherchée et afin de faciliter le calcul des invariants. Les primitives construites ont alors la forme de Z, Y ou W et sont classées en fonction de leur fiabilité, ce qui participe au paramétrage du processus de décision cumulatif. Le vote est multi-tours et constitué d'une phase préliminaire de construction de listes de préférences inspiré de la technique des mariages stables. Les primitives votent à une itération donnée en fonction de leur fiabilité. Chaque itération fournit ainsi un estimé de la transformation recherchée que le tour suivant peut raffiner. Ce procédé multi-tours permet, de ce fait, d'éliminer les ambiguïtés d'appariement générées par les motifs répétitifs présents dans les images. Notre approche a été validée pour recaler des images sous différents modèles de transformations allant de la plus simple (similarité) à la plus complexe (projective). Nous montrons dans cette thèse comment le choix pertinent de primitives basées sur les lignes de niveaux en conjonction avec un processus de décision cumulatif permet d'obtenir une méthode de recalage d'images robuste, générique et complète, fournissant alors différents niveaux de précision et pouvant ainsi s'appliquer à différents contextes. / In this thesis, we propose a new image registration method that relies on level-line primitives. Level-lines are robust towards contrast changes and proposed primitives inherit their robustness. Moreover, their abundance in the image is well adapted to a cumulative matching process based on a multi-stage primitive election procedure. We propose a simple recursive tracking algorithm to extract level lines by straight sets called "segments". Segments are then grouped under proximity constraints to construct primitives (Z, Y and W shapes) that are classified into categories according to their reliability. Primitive shapes are defined according to the transformation model. The cumulative process is based on a preliminary step of preference lists construction that is inspired from the stable marriage matching algorithm. Primitives vote in a given voting stage according to their reliability. Each stage provides a coarse estimate of the transformation that the next stage gets to refine. This process, in turn, eliminate gradually the ambiguity happened by incorrect correspondences. Our additional contribution is to validate further geometric transformations, from simple to complex ones, completing the path "similarity, affine, projective". We show in this thesis how the choice of level lines in conjunction with a cumulative decision process allows defining a complete robust registration approach that is tested and evaluated on several real image sequences including different type of transformations.

Chargée d'organiser la fabrication, la gestion de la production est une tâche complexe qui tend à jouer un rôle de plus en plus déterminant pour le bon fonctionnement des entreprises. Afin de faciliter l'établissement du plan de production, cette étude s'intéresse à la mise en oeuvre de structures décisionnelles multi-niveaux. Les niveaux décisionnels sont définis à partir d'une agrégation de données, d'une désagrégation des décisions et d'horizon temporels adaptés. A chaque niveau, l'élaboration de la décision est réalisée par affinements successifs avec une dynamique appropriée. Cependant, l'ignorance des interactions entre niveaux conduit souvent à des dysfonctionnements importants dans le processus décisionnel. Pour cette raison, ce travail est centré sur la formalisation et l'analyse des interactions entre niveaux afin d'aboutir à la coordination globale des décisions au sein de la structure. Les concepts génériques de robustesse des décisions agrégées et de cohérence des décisions détaillées sont introduits et caractérisés. La mise en ¿uvre de ces deux concepts est réalisée par l'établissement de conditions analytiques destinées à être introduites sous forme de contraintes au sein des modèles mathématiques de chaque niveau. La détermination de conditions d'existence de solution dans un modèle d'étude traduisant les interactions entre entités détaillées et agrégées, l'exploitation des outils de programmation linéaire et de théorie des graphes permettent de construire de manière systématique les conditions recherchées. Cette méthodologie est mise en oeuvre dans le cadre d'un problème de production multi-produits, muti-étapes, multi-ressources. La structure élémentaire considérée comporte deux niveaux de décision basés sur l'agrégation du temps. Ce type d'agrégation, associé à un processus dynamique de désagrégation, offre des avantages importants au plan de la réactivité comme au plan de l'a utonomie décisionnelle. Les développements d'abord théoriques sont poursuivis par des approches prenant en considération un souci de mise en oeuvre. Dans ce cadre, la notion d'arriérés de fabrication est introduite ainsi que la prise en compte explicite de l'incertitude des données.

La problématique générale de cette thèse, qui s'inscrit dans le contexte du projet européen InTraDE (Intelligent Transportation for Dynamic Environment), concerne la modélisation de systèmes de systèmes (SdS). Un SdS est un système composé d'une hiérarchie de systèmes autonomes présents à différents niveaux de représentation. Cette thèse répond au besoin d'outils de modélisation généralistes respectant les caractéristiques fondamentales des SdS, en proposant un formalisme multi-agents mullti-niveaux et les algorithmes qui assurent le respect de ces caractéristiques. L'utilisation d'un modèle multi-agents permet de profiter de l'autonomie naturelle des agents et l'aspect multi-niveaux de notre modèle permet aux entités modélisées de raisonner à propos de l'organisation hiérarchique du système en leur offrant la notion explicite de niveau. En plus de la modélisation des systèmes complexes, cette thèse aborde les problèmatique liées à leur simulation, en particulier, le fait que les ressources informatiques (mémoire et microprocesseur utilisés) nécessaires pour simuler avec précision de tels systèmes sont particulièrement importantes. Nous proposons ainsi une méthodologie pour tirer partie de la capacité des simulations multi-niveaux à produire un compromis entre la précision de la simulation et les ressources informatiques utilisées. / The main problematic of this thesis, which takes place in the context of the european project InTraDE (Intelligent Transportation for Dynamic Environment), deals with the modeling of systems of systems (SoS). A SoS is a system composed of a hierarchy of autonomous systems present in several representation levels. This thesis answers the need of generic modeling tools respecting the fundamental characteristics of SoS, proposing a multi-level multi-agent formalism and algorithms wich insure their respect. The use of a multi-agent model allows to take advantage of the natural autonomy of agents and the multi-level aspect of our model permits to modeled entities to reason about the organisational hierarchy of the system, carrying the explicit notion of level. Besides the modeling of complex systems, this thesis also deals with the problematic related to their simulations, particularly, the fact that computer resources (used memory and microchips) needed to simulate with precision such systems are truly important. We propose a methodology to benefit from the muli-level simulations capacity to produce compromise between the simulation precision and the used computer resources.

Au cours de ces dernières années, la taille des transistors a diminué considérablement permettant ainsi de réduire la taille des composants et de multiplier le nombre de composants dans un système. Cette condensation des transistors avec la montée en fréquence des circuits est à l'origine d'une augmentation drastique de la densité de puissance et d'une élévation importante de la température du composant, dommageable pour les performances de celui-ci. Le but de ces travaux de thèse est de proposer une méthodologie de génération de modèles thermiques, légers (rapidement simulables) et indépendants des conditions aux limites, de systèmes électroniques complexes. Cette méthodologie permet de décomposer un système complexe en sous-éléments, de construire un modèle léger de chaque élément et de les reconnecter afin de recomposer le comportement thermique du système global. La méthodologie permet d'effectuer une analyse thermique du système tôt dans le processus de conception d'un système et offre de nombreux avantages par rapport aux modèles existants.