La lithographie par double impression est une solution potentielle proposée pour l'impression des circuits des nœuds technologiques avancés (22nm et au-delà) en attendant que la lithographie Extrême Ultraviolet soit prête pour la production en masse. La technique de double impression est basée sur la décomposition en deux masques d'exposition des motifs d'un niveau donné du circuit intégré. Deux motifs voisins ayant un pas inférieur au pas minimal résolu en un procédé lithographique sont affiliés simultanément à deux masques différents. Les motifs ayant des pas supérieurs au pas critique, motifs non critiques, sont mis sur un masque ou sur un autre dans le but de générer une densité de motifs équivalente entre les deux masques d'exposition. Dans cette thèse, nous avons développé une nouvelle méthode de décomposition dite " décomposition optique ". Cette dernière est basée sur l'analyse de l'interaction des ordres de diffraction dans le plan de la pupille du système optique de projection. La décomposition optique permet d'améliorer l'affiliation des motifs non critiques à l'un des deux masques dans le but d'améliorer le contraste des deux masques lors de la double impression. Afin de valider cette nouvelle méthode de décomposition, nous l'avons appliqué au niveau contacts d'un circuit de logique du nœud 22nm.

Cette thèse traite une version de traitement des singularités en décomposition de domaine. En premier lieu, on a rappelé les principes des méthodes de décomposition de domaine, puis on a rappelé en quelques points la théorie de V.Kondratiev qui permet d'étudier la régularité des problèmes elliptiques dans des domaines à coins. On a introduit la transformée de Mellin qui permet de décrire la régularité H^{s} dans les domaines à coins, ainsi que les types asymptotiques qui interviennent dans la résolution des problèmes elliptiques dans des domaines à singularités conique. La transformée de Mellin est un outil fondamental qui permet de comprendre l'inadéquation entre les problèmes dans les sous domaines et le problème global: tout se joue au niveau des types asymptotiques. Nous avons c! onsidéré deux types de problème: le premier le cas où le domaine global est singulier et non convexe et le second le cas où le domaine global est régulier et dans ce cas on crée des singularités. Nous avons construit un opérateur d'interface d'ordre deux dans la dérivée tangente et nous avons proposer algorithme dont nous étudions la convergence en fonction de ses paramètres et nous avons traité numériquement le problème et on montre que la convergence avec les paramètres optimisés trouvés théoriquement conduit à un gain en vitesse de convergence par rapport à d'autres paramètres.

Les problèmes de satisfaction de contraintes géométriques (GCSP) sont omniprésents dans les applications de CAO, de robotique ou de biologie moléculaire. Ils consistent à chercher les positions, orientations et dimensions d'objets géométriques soumis à des relations géométriques. Le but de la thèse était de proposer une méthode complète et efficace pour la résolution de GCSP. Dans la première partie, nous comparons des méthodes de résolution et de décomposition, et optons pour la décomposition de Hoffmann et al. et la résolution par intervalles. Nous définissons un cadre général pour l'étude de la rigidité, concept central dans les techniques de décomposition géométrique. Dans la seconde partie, nous analysons la méthode de Hoffmann et al., et les limites inhérentes à toute approche géométrique structurelle. Nous proposons le concept de degré de rigidité pour surmonter certaines de ces limites. Nous introduisons une nouvelle méthode de décomposition, et sa combinaison avec les techniques de réslution par intervalles.

We present two watermarking schemes for 3D meshes : - watermarking with geometrical invariant for fragile watermarking towards authentication and integrity purposes - watermarking in the geometrical spectral domain towards robust watermarking / Nous présentons deux schémas de tatouage pour maillages surfaciques 3D : - tatouage fragile par invariants géométriques pour l'authentification et l'intégrité - tatouage robuste dans l'espace de la décomposition spectrale

La cinétique de la décomposition thermique de Co3O4 a été étudiée sur des échantillons pulvérulent ou monocristallins. La formation d'une couche compacte de monoxyde de cobalt ainsi que la forme de l'équation décrivant les courbes degré de décomposition-temps ont abouti au développement d'un modèle dans lequel la cinétique est limitée par la diffusion de l'oxygène à travers la couche. Ce modèle dérive de celui de Ginstling et Brounshtein tient compte de la variation de l'énergie d'activation avec le degré de décomposition. Une interprétation des propriétés électriques de Co3O4 pur et dopé est également proposée.

La programmation par contraintes est un paradigme de résolution des problèmes combinatoires sur lequel ont été bâtis des outils génériques de résolution, des solveurs. De nombreuses recherches sont menées pour élargir le champ d'application de ces outils µa des problèmes dynamiques et sur-contraints. Un axe prometteur s'appuie sur la notion d'explications. Les explications constituent une trace explicite du comportement du solveur et ont été initialement introduites pour améliorer les algorithmes de recherche arborescente. Depuis ce jour, elles ont ouvert la voie à des méthodes d'exploration plus intelligentes (mais aussi plus coûteuses) de l'espace de recherche. Cette thèse porte sur l'élaboration d'algorithmes de résolution s'appuyant sur la notion d'explications et les étudie sur des problèmes autant académiques qu'industriels. D'une part, nous examinons l'intérêt des explications dans le cadre de techniques génériques de décomposition. La mise au point d'un tel algorithme dans le contexte d'ordonnancement temps réel a montré la souplesse de la technique pour permettre la coopération de méthodes analytiques pointues avec un solveur de contraintes. D'autre part, nous montrons que le réseau d'explication constitue une information particulièrement pertinente pour révéler à un utilisateur les structures ou relations entretenues par différents éléments (variables/contraintes) du problème. Cette information, également exploitable dynamiquement par le solveur est un pas supplémentaire vers des approches de résolution génériques. Enfin, les explications ont été jusqu'ici très utilisées dans un cadre rétrospectif et pourraient l'être davantage dans un cadre prospectif (à l'image de leur exploitation par la communauté SAT). Nous revenons ainsi dans cette thèse sur des techniques de nogoods recording dans le cadre du problème de MOSP (Minimum Open Stack Problem).

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

La modélisation des préférences par le biais de formalismes de représentation compacte fait l'objet de travaux soutenus en intelligence artificielle depuis plus d'une quinzaine d'années. Ces formalismes permettent l'expression de modèles suffisamment flexibles et riches pour décrire des comportements de décision complexes. Pour être intéressants en pratique, ces formalismes doivent de plus permettre l'élicitation des préférences de l'utilisateur, et ce en restant à un niveau admissible d'interaction. La configuration de produits combinatoires dans sa version business to customer et la recherche à base de préférences constituent de bons exemples de ce type de problème de décision où les préférences de l'utilisateur ne sont pas connues a priori. Dans un premier temps, nous nous sommes penchés sur l'apprentissage de GAI-décompositions. Nous verrons qu'il est possible d'apprendre une telle représentation en temps polynomial en passant par un système d'inéquations linéaires. Dans un second temps, nous proposerons une version probabiliste des CP-nets permettant la représentation de préférences multi-utilisateurs afin de réduire le temps nécessaire à l'apprentissage des préférences d'un utilisateur. Nous étudierons les différentes requêtes que l'on peut utiliser avec une telle représentation, puis nous nous pencherons sur la complexité de ces requêtes. Enfin, nous verrons comment apprendre ce nouveau formalisme, soit grâce à un apprentissage hors ligne à partir d'un ensemble d'objets optimaux, soit grâce à un apprentissage en ligne à partir d'un ensemble de questions posées à l'utilisateur. / --

Les forêts de montagne sont des ouvrages de protection naturels, qui en fonction des situations sont en mesure d'offrir une protection efficace vis-à-vis des risques naturels d'origine gravitaire : les chutes de pierres, les avalanches, les glissements de terrains, les laves torrentielles et l'érosion. Les interventions forestières, telles que les grands reboisements issus de la politique de Restauration des Terrains en Montagne (RTM) du XIXe siècle, ont démontré leur efficacité pour maîtriser l'érosion des versants en lien avec le phénomène de torrentialité. Depuis 2006, les nouveaux Guides des Sylvicultures de Montagne (GSM), français, suisse et italien, préconisent des nouvelles techniques sylvicoles pour la gestion et l'optimisation de la fonction de protection des peuplements forestiers de montagne. Ces préconisations concernent entre autre la réalisation d'ouvrages biologiques par l'utilisation des rémanents. Ces ouvrages ont pour vocation de limiter et le cas échéant de stopper la propagation de blocs rocheux, et de limiter le départ d'avalanches. Ils sont composés de grumes laissées au sol, parfois empilées les unes sur les autres, maintenues dans la pente par leur propres souches, d'autres souches ou des arbres encore sur pieds. Mais, si des directives techniques existent pour réaliser de tels ouvrages, aucune donnée scientifique n'était à ce jour disponible pour quantifier la pérennité de ces ouvrages.Ce travail de thèse s'inscrit dans la volonté de fournir ces connaissances scientifiques en se focalisant sur l'étude de la corrélation entre la durabilité des rémanents et leur dynamique de protection face aux chutes de blocs. L'objectif principal de cette thèse consiste à fournir des connaissances sur la cinématique de décomposition du bois et de proposer des modèles d'efficacité des rémanents en fonction du temps. A partir de mesures in situ, en laboratoire et d'une approche basée sur l'analyse de chronoséquences, nous avons étudié la cinématique de décomposition de trois espèces d'arbres présentes dans les Alpes (Pinus nigra, Picea Abies, Fagus sylvatica), et analysé les corrélations entre les variables physiques, chimiques et mécaniques qui ont été utilisées. Des premiers modèles prédictifs de l'évolution de l'efficacité des ouvrages pare-pierres en fonction du temps ont ainsi pu être construits. / Mountain forests are structures of natural protection, which are, depending on the situation, able to offer an effective protection against gravitational natural hazards: rockfalls, avalanches, landslides, debris flows and erosion. Forest interventions, like the reforestation policies of the Restauration des Terrains en Montagne (RTM) of the nineteenth century, have demonstrated their efficiency in controlling slope erosion in connection with the torrent phenomenon. Since 2006, the new Guides des Sylvicultures de Montagne (GSM), of French, Swiss and Italian origin, advocate new forestry techniques for managing and optimizing the protective function of mountain forest stands. These recommendations include the realization of biological works by the use of slash, among others. These structures are designed to limit and, if necessary, stop the propagation of rockfalls, and limit the trigger of an avalanche. They are composed of tree stems lying on the ground, sometimes stacked on one another, held onto the descent by their own stump, other stumps or standing trees. But, if guidelines exist to produce these structures, no scientific data has been available to quantify their longevity. This PhD thesis aims to provide additional scientific understanding, researching the correlation between the durability of slash and the protection dynamic against rockfall. The main objective of this thesis was to add to the body of knowledge on the kinematics of decaying wood and propose models of efficiency of slash over time. With field measurements, laboratory analysis, and chronosequence methods, we investigated the kinematic decomposition of three species in the Alps (Pinus nigra, Picea Abies, Fagus sylvatica) and analyzed the correlations between the physical, chemical and mechanical variables used. Initial predictive models of the evolution of the efficiency of rockfall structures over time have thus been built

Cette thèse se situe dans le cadre de l'analyse fonctionnelle et plus précisément dans le domaine de la théorie des opérateurs dans des espaces de Hilbert. Elle consiste à étudier les applications bijectives entre des algèbres d'opérateurs, qui commutent avec la transformation de Aluthge. Dans la première partie, nous allons étudier la transformation de Aluthge, qui joue un rôle important en théorie des opérateurs. Nous allons démontrer plusieurs résultats intéressants sur cette transformation. Ces résultats seront utilisés dans la suite de ce travail. Dans la deuxième partie, nous étudierons les bijections additives qui commutent avec la transformation de Aluthge. Nous donnerons également une forme complète des applications ω-additive qui commutent avec cette transformation. Ensuite, nous considérons les applications qui commutent avec la transformation de Aluthge sous le produit usuel et le produit de Jordan. Nous démontrerons que ces applications ont une forme simple. Dans la dernière partie, nous donnerons plusieurs expressions du rayon spectral via la transformation λ-Aluthge et ses itérées. / Our aim in this thesis in function analysis is to study the bijective maps between the algebras of linear and bounded operators, which commute with the Aluthge transform in different way. In the first part, we study the Aluthge transformation which play an crucial role on operator theory in the recent years. We will establish some useful results and properties of the λ-Aluthge transform. These results are required to prove our main theorems in the next chapters. In the second part, we study the bijective and additive maps which commute with the λ-Aluthge transform. We also give a description of ω-additive commuting maps with this transformation. In the last part, we consider the problem of commuting maps with the λ-Aluthge transform, under the usual product and Jordan product, we show that these maps are a simple form. Finally, we give several expressions of the spectral radius via the λ-Aluthge transform and its iterates.