La Stratoconception est un procédé de prototypage rapide permettant de fabriquer directement par couches une pièce créée par CAO. Ce procédé consiste à trancher une pièce en un ensemble de couches élémentaires simples, appelées strates, dans lesquelles sont introduits des renforts et inserts. Les pièces élémentaires sont identifiées puis fabriquées directement par micro-fraisage rapide, à partir de matériaux en plaques. Ces pièces élémentaires sont ensuite assemblées pour reconstituer le produit final. La notion de décomposition de modèle numérique en entités donne encore lieu à de nombreux développements et travaux. A l’origine, les entités de décomposition correspondaient à des entités élémentaires d’usinage (plan, cylindre, balayage…). Aujourd’hui, les travaux portant sur la décomposition de modèles sont surtout appliqués dans les domaines de l'imagerie, de la reconnaissance de similarités et de la réation de nouveaux modèles à partir de mode`les existants. Lorsqu’on applique la notion de décomposition à la Stratoconception, il apparaît que celle-ci n’est pas unique et qu’il est possible de définir trois types de décompositions adaptées à des problématiques bien distinctes : décomposition en strates, en morceaux et en entités. Chacune de ces décompositions résout des problèmes d'accessibilté, de réduction de dimensions de modèles et d'optimisation de vitesse de réalisation. Nous avons plus particulièrement travaillé sur l'optimisation du tranchage par l'utilisation de points caractéristiques et sur l'utilisation de la ligne de reflet pour la décomposition de formes tubulaires. Nous avons également étudié un algorithme de décomposition en entités convexes approchées. / Stratoconception is a rapid prototyping process. It allows the direct manufacturing of a CAD model, layer after layer. This process consists in breaking the part down, by computing, into a set of straightforward elementary layers called stratum, in which stiffeners and strengthening plugs are inserted. The elementary parts are identified and then directly manufactured by rapid milling from sheet material. These elementary parts are the fitted together and imbricated in order to rebuild the final part. A lot of work was published about decomposition of model. At the beginning, the entities were used in the context of machining (of plane, cylinder,...). Nowadays, the decomposition is applied in the field of multimedia vizualisation, similarities recognition or conception of new models by using atabase of existing models. In Stratoconception, we identify three types of decomposition, each of one responding to specific problem : decomposition in strata, pieces of strata and entities. Each of these decomposition solves accessibility, reduction of model's size and speed up of manufacturing time problems. We work more specifically on the optimization of slicing procedure by using critical points ans on the manufacturing of tubular models by using parting line. We also study the decompposition of model into nearly convex entities.

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

Thèse numérisée 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.

Dans cette thèse, nous utilisons le degré et la topologie $\tau$ introduits en 1996 par Kryszewski et Szulkin pour généraliser, au cas des fonctionnelles fortement indéfinies, les théorèmes de la fontaine de T. Bartsch (1993), de T. Bartsch et M. Willem (1995) et de W. Zou (2001). Aucune méthode de réduction n'est utilisée. Nous appliquons les nouveaux théorèmes pour prouver l'existence d'une infinité de solutions pour quelques systèmes différentiels.

L'objectif de cette thèse est l'étude d'une classe d'équations aux dérivées partielles sous-elliptiques semi-linéaires avec un potentiel singulier sur le groupe de Heisenberg. Le terme non linéaire de cette équation est contrôlée par les inégalités de Sobolev et la singularité est contrôlé par l'inégalité de Hardy. Ce problème est une généralisation du problème classique de l'espace euclidien. Le premier résultat de cette thèse est une généralisation de l'inégalité classique Hardy avec un potentiel singulier dont la croissance est exactement l'analogue de celle du cas classique. Le second résultat est d'établir l'existence de solution du problème de Dirichlet semi-linéaire avec un potentiel singulier sur le groupe de Heisenberg en utilisant la théorie de points critiques, comme le théorème de Rabinowitz et de Palais-Smale.

La Stratoconception est un procédé breveté de prototypage rapide permettant de fabriquer directement par couches une pièce créée par CAO, sans rupture de la chaîne conception / fabrication. Le procédé de Stratoconception est développé au CIRTES depuis 1990 et a fait l'objet de nombreuses communications ainsi que de dépôts de brevets et de marques.<br />La Stratoconception consiste à décomposer (trancher) une pièce, en un ensemble de couches élémentaires simples, appelées strates, dans lesquelles sont introduits des renforts et inscris. Les pièces élémentaires sont identifiées puis fabriquées directement par micro-fraisage rapide 2.5 axes, à partir de matériaux en plaques. Ces pièces élémentaires sont ensuite assemblées pour reconstituer le produit final. L'assemblage est pris en compte dès la décomposition.<br />Ce travail est une continuation des travaux de thèse CIFRE n°642/99 de Geoffroy LAUVAUX effectués au sein de l'IFTS de Reims et soutenus en 2005.<br />La notion de décomposition de modèle numérique en entités a connu, et connaît encore, de nombreux développements et travaux. A l'origine, les entités de décomposition correspondaient à des entités élémentaires d'usinage (plan, cylindre, balayage...). Aujourd'hui, les travaux portant sur la décomposition de modèles sont principalement appliqués dans les domaines de l'imagerie multimédia, de la reconnaissance de similarités de modèles et de la création de nouveaux modèles à partir de bases de données de modèles existants.<br />Lorsque l'on cherche à appliquer la notion de décomposition à la Stratoconception, il apparaît que celle-ci n'est pas unique et qu'il est possible de définir trois types de décompositions adaptées à des problématiques bien distinctes : la décomposition en strates, en morceaux et en entités. Chacune de ces décompositions résout des problèmes d'accessibilté, de réduction de dimensions de modèles et d'optimisation de vitesse de réalisation.<br />Nous avons plus particulièrement travaillé sur l'optimisation de la phase de tranchage par l'utilisation de points caractéristiques (dits critiques) et sur l'utilisation de la ligne de reflet pour la décomposition et la réalisation de formes tubulaires. Nous avons également étudié un algorithme de décomposition en entités convexes approchées en dimensions 2 et 3.

Cette thèse est organisée autour d'une problématique centrale : l'étude théorique de l'effet Kondo dans les fermions lourds, lorsque les ions magnétiques sont en forte concentration.<br /><br />Dans une première partie, l'influence sur le réseau Kondo, d'une variation du nombre d'électrons de conduction est étudiée à basse température (problème de l'épuisement). Cet effet peut s'observer expérimentalement sur des composés de Cérium ou d'Uranium, dont la température de cohérence peut être bien plus petite que la température de Kondo à une impureté. Par des approches analytiques et numériques, le problème est résolu dans la limite ``grand-N'',<br />où N est le nombre de composantes du spin effectif. Alors que les modèles à une seule impureté sont caractérisés à basse température par une unique échelle d'énergie T_K, cette thèse confirme l'existence, pour le réseau Kondo, d'une deuxième échelle T*, caractéristique de l'apparition du comportement de liquide de Fermi, et définie à partir des propriétés physiques du système (thermodynamiques, magnétiques et de transport).<br /><br />Dans la deuxième partie, les effets du désordre et de la frustration magnétique du réseau Kondo sont étudiés analytiquement, dans le formalisme de la théorie du champ dynamique moyen, en considérant la limite ``grand-N''. Un point critique quantique (QCP) est obtenu, entre un régime de liquide de Fermi lourd et un régime de liquide de<br />spin. Les propriétés physiques du système sont calculées dans la phase Kondo, qui présente une très forte diminution de T* et de T_K à l'approche du QCP. Ce résultat est à corréler avec la forte masse effective observée expérimentalement pour le composé LiV$_{2}$O$_{4}$.<br /><br />Enfin, la troisième partie présente une étude préliminaire et les étapes principales du calcul permettant de déterminer numériquement le diagramme de phase magnétique du modèle d'Anderson périodique, par la méthode du champ dynamique moyen.

Les problèmes liés à l'environnement et plus particulièrement à la couche d'ozone et à l'effet de serre sont fortement d'actualité. Depuis 1987, le protocole de Montreal impose une nouvelle réglementation en terme d'utilisation des fluides frigorigènes pour les pays industrialisés. Pour appliquer ce protocole, dans de bonnes conditions techniques et économiques, l'industrie a besoin de données thermophysiques concernant les nouveaux fluides frigorigènes. Afin de réaliser des mesures d'équilibre liquide vapeur sur les fluides frigorigènes, deux techniques expérimentales ont été choisies et utilisées. Il s'agit d'une technique statique-analytique avec échantillonnage des phases (analyse par chromatographie en phase gazeuse) et d'une technique synthétique avec une cellule à volume variable. Quatre systèmes binaires et un système ternaire ont été étudiés: 1,1,1,2,3,3,3-heptafluoropropane (R227ea)+ propane (R290); difluorométhane (R32) + R290; R32 + R290, dioxyde de carbone (CO2) + R227ea et R32+R290+R227ea. Pour réaliser le traitement des données et la modélisation, un progiciel a été développé: THERMOPACK. Ce progiciel a permis de comparer les résultats expérimentaux obtenus à des valeurs disponibles dans la littérature, de calculer la ligne des points critiques et de calculer la position des azéotropes.

Une nouvelle notion d'enlacement pour les paires d'ensembles $A\subset B$, $P\subset Q$ dans un espace de Hilbert de type $X=Y\oplus Y^{\perp}$ avec $Y$ séparable, appellée $\tau$-enlacement, est définie. Le modèle pour cette définition est la généralisation de l'enlacement homotopique et de l'enlacement au sens de Benci-Rabinowitz faite par Frigon. En utilisant la théorie du degré développée dans un article de Kryszewski et Szulkin, plusieurs exemples de paires $\tau$-enlacées sont donnés. Un lemme de déformation est établi et utilisé conjointement à la notion de $\tau$-enlacement pour prouver un théorème d'existence de point critique pour une certaine classe de fonctionnelles sur $X$. De plus, une caractérisation de type minimax de la valeur critique correspondante est donnée. Comme corollaire de ce théorème, des conditions sont énoncées sous lesquelles l'existence de deux points critiques distincts est garantie. Deux autres théorèmes de point critiques sont démontrés dont l'un généralise le théorème principal de l'article de Kryszewski et Szulkin mentionné ci-haut. / A new notion of linking for pairs of sets $A\subset B$, $P\subset Q$ in a Hilbert space of the form $X=Y\oplus Y^{\perp}$ with $Y$ separable, called $\tau$-linking, is defined. The model for this definition is the generalization of homotopical linking and linking in the sense of Benci-Rabinowitz made by Frigon. Using the degree theory developped in an article of Kryszewski and Szulkin, many examples of $\tau$-linking pairs are given. A deformation lemma is established and used jointly with the notion of $\tau$-linking to prove an existence theorem for critical points of a certain class of functionals defined on $X$. Moreover, a characterization of a minimax nature for the corresponding critical value is given. As a corollary of this theorem, conditions are stated under which the existence of two distinct critical points is guaranteed. Two other critical point theorems are demonstrated, one of which generalizes the main theorem of the article of A new notion of linking for pairs of sets $A\subset B$, $P\subset Q$ in a Hilbert space of the form $X=Y\oplus Y^{\perp}$ with $Y$ separable, called $\tau$-linking, is defined. The model for this definition is the generalization of homotopical linking and linking in the sense of Benci-Rabinowitz made by Frigon~\cite{frigon:1}. Using the degree theory developped in~\cite{szulkin:1}, many examples of $\tau$-linking pairs are given. A deformation lemma is established and used jointly with the notion of $\tau$-linking to prove an existence theorem for critical points of a certain class of functionals defined on $X$. Moreover, a characterization of a minimax nature for the corresponding critical value is given. As a corollary of this theorem, conditions are stated under which the existence of two distinct critical points is guaranteed. Two other critical point theorems are demonstrated, one of which generalizes the main theorem of the article by Kryszewski and Szulkin cited above.