Dans le cadre de monitoring des puits et des réservoirs pétroliers, les études de thermométries se sont développées. Suite à l'émergence de nouvelles technologies d'acquisition avec l'apparition des fibres optiques depuis une vingtaine d'années, il est maintenant possible d'obtenir un profil de température continu à la fois sur la hauteur du puits et dans le temps. Dans ce travail, on étudie d'un point de vue thermomécanique deux modèles d'écoulements afin d'interpréter ces mesures de température. <br /><br />On couple d'abord un modèle réservoir axisymétrique avec un modèle puits pseudo 1D pour l'écoulement d'un fluide monophasique. La modélisation du réservoir intègre une équation d'énergie non-standard qui prend en compte les phénomènes de décompression du fluide (Joule-Thomson) ainsi que ceux liés à la friction dans la formation (dissipation visqueuse). Le puits est décrit par un modèle couplant classiquement les équations de Navier-Stokes compressibles avec un bilan d'énergie. Des conditions de transmission adéquates sont imposées à l'interface entre les deux domaines et ensuite dualisées par des multiplicateurs de Lagrange. On obtient ainsi une formulation variationnelle mixte non standard pour le problème couplé. Les flux sont discrétisés par des éléments finis de Raviart-Thomas. Enfin, on montre que les problèmes couplés continu et discret sont bien posés.<br /><br />On développe ensuite un modèle réservoir multi-phasique (huile, gaz et eau) et multi-composant. Compte tenu de la complexité du problème, on a choisi d'étendre un simulateur non-thermique existant GPRS (General Purpose Reservoir Simulator) en lui ajoutant une équation d'énergie adéquate et la thermodynamique correspondante. L'écoulement est régi par les équations de conservation de la masse pour chaque composant et une équation de conservation d'énergie exhaustive, couplées avec la loi de Darcy géenéralisée appliquée à chacune des phases. L'ensemble des propriétés thermodynamiques des fluides et les équilibres des phases sont calculés par l'équation d'état de Peng-Robinson. La discétisation en espace est faite à l'aide des volumes finis et le système non-linéaire obtenu est résolu par la méthode de Newton-Raphson.<br /> <br />Des tests numériques avec des données réelles validant les codes développés sont présentés.

On simule l'écoulement de gaz avec arc électrique au moment d'une interruption du courant dans un disjoncteur haute ou moyenne tension. Les équations de Navier Stokes compressible sont résolues pour un gaz réel non visqueux. L'arc électrique est du gaz chaud et conducteur. Le rayonnement est pris en compte. L'équation d'état et les propriétés du gaz sont tabulées. On présente une analyse du problème physique et des équations a résoudre. Deux modélisations numériques monodimensionnelles, par une methode d'éléments finis (avec upwind et capture de choc) et par une methode a pas fractionnaires séparant le traitement des phénomènes de diffusion et de convection, ont été implémentées. Elles ont permis d'affiner le modèle et de mettre en évidence l'importance du rayonnement. La dernière partie est relative au développement d'un code de calcul industriel 2 d plan ou axisymetrique. Seule la methode a pas fractionnaires a été implémentée. Le code permet de résoudre le problème sur des maillages non structures et mobiles. Des tests numériques valident les schémas mis en œuvre

Ce travail est dédié à la mise en place de deux méthodes originales de type domaine fictif pour la résolution de problèmes elliptiques (de type convection-diffusion) avec des conditions aux limites générales et éventuellement mixtes : Dirichlet, Robin ou Neumann. <br />L'originalité de ces méthodes consiste à utiliser le maillage du domaine fictif, généralement non adapté à la géométrie du domaine physique, pour définir une frontière immergée approchée sur laquelle seront appliquées les conditions aux limites immergées. Un même schéma numérique générique permet de traiter toutes les conditions aux limites générales. Ainsi, contrairement aux approches classiques de domaine fictif, ces méthodes ne nécessitent ni l'introduction d'un maillage surfacique de la frontière immergée ni la modification locale du schéma numérique. Deux modélisations de la frontière immergée sont étudiées. Dans la première modélisation, appelée interface diffuse, la frontière immergée approchée est l'union des mailles traversées par la frontière originelle. Dans la deuxième modélisation, la frontière immergée est approchée par une interface dite fine s'appuyant sur les faces de cellules du maillage. Des conditions de transmissions algébriques combinant les sauts de la solution et du flux sont introduites sur cette interface fine. Pour ces deux modélisations, le problème fictif à résoudre ainsi que le traitement des conditions aux limites immergées sont détaillés. Un schéma aux éléments finis Q1 est utilisé pour valider numériquement le modèle à interface diffuse alors qu'un nouveau schéma aux volumes finis est développé pour le modèle à interface fine et sauts immergés. Chaque méthode est combinée avec un algorithme de raffinement de maillage multi-niveaux (avec résidu de solution ou du flux) autour de la frontière immergée afin d'améliorer la précision de la solution obtenue. <br />Parallèlement, une analyse théorique de convergence en maillage non adapté au domaine physique a été effectuée pour une méthode d'éléments finis Q1. Cette étude démontre l'ordre de convergence des méthodes de domaine fictif mises en place.<br />Parmi les nombreuses applications industrielles possibles, une simulation sur une maquette d'échangeur de chaleur dans les centrales nucléaires permet d'apprécier la performance des méthodes mises en oeuvre.

Thèse doctorat : Automatique Industrielle : Villeurbanne, INSA : 2005. / Titre provenant de l'écran-titre. Bibliogr. p. 281-293.

Les variétés de Deligne-Lusztig associées à un élément de Coxeter, dites variétés de Coxeter et notées $YY(dot{c})$, sont des variétés candidates à réaliser l'équivalence dérivée demandée dans la conjecture de Broué. Cette conjecture implique qu'une telle variété doit avoir une cohomologie disjointe et donne également la description de l'algèbre d'endomorphismes associée. Dans le cas des groupes linéaires, nous décrivons la cohomologie des variétés de Coxeter et en déduisons que celles-ci vérifient bien les propriétés impliquées par la conjecture de Broué. Pour ce faire, nous montrons qu'il est possible d'appliquer un résultat de og transitivitéfg permettant de se ramener à des variétés de Coxeter og plus petitesfg et nous utilisons ensuite un résultat établi par Lusztig sur des variétés notées $XX(c)$, obtenues comme des quotients des variétés $YY(dot{c})$ par des groupes finis. Enfin, dans une dernière partie, la description de la cohomologie des variétés de Coxeter nous permet d'obtenir un lien entre la cohomologie de la compactification $overline{YY}(dot{c})$ et celle de la compactification $overline{XX}(c)$. / Deligne-Lusztig varieties associated to Coxeter elements, or more simply Coxeter Varieties denoted by $YY(dot{c})$, are good candidates to realize the derived equivalence needed for the Broué's conjecture. The conjecture implies that the varieties should have disjoint cohomology as well as gives a description of the endomorphisms algebra.For linear groups, we describe the cohomology of the Coxeter varieties and hence show that it agrees with the conditions implied by Broué's conjecture. To do so, we prove it is possible to apply a og transitivityfg result allowing us to restrict to og smallerfg Coxeter varieties. Then, we apply a result obtained by Lusztig on varieties $XX(c)$, which are quotient varieties of $YY(dot{c})$ by some finite groups.In the last part of the thesis, we use the description of the cohomology of Coxeter varieties to connect the cohomology of the compactification $overline{YY}(dot{c})$ and the cohomology of the compactification $overline{XX}(c)$.

Ce mémoire traite la modélisation et la validation expérimentale du bruit d’un silencieux de motoneige. La première phase du projet consiste à modéliser numériquement le système d’échappement avec les méthodes numériques suivantes : éléments finis et éléments finis de frontière, afin d’évaluer ses performances acoustiques : perte par transmission, bruit de bouche et bruit de paroi. Une deuxième phase du projet consiste à valider expérimentalement les performances acoustiques calculées numériquement. La dernière phase du projet se consacrera à une étude paramétrique expérimentale d’un silencieux sur banc moteur. En conclusion, les résultats des modèles numériques mis en œuvre concordent bien avec les résultats expérimentaux. Cependant, les aspects non linéaires rencontrés à la dernière phase du projet n’ont pas été étudiés davantage.

Cette thèse s'intéresse à la génération, à l'utilisation et à l'évaluation des maillages hex-dominants, composés d'hexaèdres et de tétraèdres, dans la cadre de la simulation numérique par la méthode des éléments finis. Les éléments finis hexaédriques sont souvent préférés aux éléments tétraédriques car ils offrent un meilleur ratio entre précision et temps de calcul dans un certain nombre de situations. Cependant, si la génération automatique de maillages tétraédriques est aujourd'hui un domaine bien maîtrisé, ce n'est pas le cas de la génération de maillages hexaédriques alignés avec le bord, qui reste un problème largement ouvert. En l'absence de progrès significatifs, les approches actuelles se contentent de maillages hex-dominants afin de tirer parti des performances supérieures des hexaèdres et de la flexibilité géométrique des tétraèdres, qui rend possible le maillage automatique. Dans une première partie, nous développons des algorithmes robustes pour la génération de maillages hex-dominants à partir de champs de directions, notamment pour l'isolement et le remplissage des régions difficiles à mailler (singularités et autres dégénérescences). Dans la seconde partie, nous essayons de déterminer dans quelles situations et dans quelle mesure les maillages hexaédriques, et hex-dominants générés précédemment, sont plus intéressants que les maillages tétraédriques. Ceci implique spécifiquement d'étudier plusieurs manières d'effectuer des simulations par éléments finis avec les maillages hybrides, dont une approche où nous utilisons des contraintes de continuité pour maillages non-conformes. Pour mesurer l'influence du maillage sur l'approximation des solutions, nous proposons une nouvelle méthode d'échantillonnage pour calculer très efficacement des distances globales entre solutions éléments finis définies sur des domaines compliqués / This thesis focuses on generation, usage and evaluation of hex-dominant meshes, which are made of hexaehedra and tetrahedra, in the context of the finite element method. Hexahedron finite elements are often preferred to tetrahedron elements because they offer a better compromise between accuracy and computation time in certain situations. However, if tetrahedral meshing is a well mastered subject, it is not the case of hexahedral meshing. Generating hexahedral meshes with elements aligned to the borders is still an open and difficult problem. Meanwhile, current automated approaches can use hex-dominant meshes in order to take advantage of both hexahedron accuracy and geometrical flexibility of tetrahedra. In the first part, we develop robust algorithms for the generation of hex-dominant meshes with elements aligned with the borders. Specifically, we propose a method to extract and fill the areas where hexahedral meshing is difficult (singularities and degeneracies). In the second part, we try to identify and to quantify the advantages of hexahedral and hex-dominant meshes over tetrehedral ones. This requires to study various ways to apply the finite element method on hybrid meshes, including one in which we propose to use continuity constraints on hexahedral-tetrahedral non-conforming meshes. To measure the impact of meshes on the finite element accuracy, we develop a new sampling method which allows to compute efficiently global distances between finite element solutions defined on complicated 3D domains

La première partie de ce travail concerne les équations elliptiques non coercitives. Nous prouvons, tout d'abord dans un cadre linéaire, l'existence et l'unicité d'une solution faible dans l'espace d'énergie habituel $H^1(\Omega)$ pour une classe d'équations de convection-diffusion pour lesquelles le terme de convection provoque la perte de coercitivité. Nous prouvons des résultats de régularité höldérienne sur les solutions de ces équations qui permettent ensuite de résoudre ces mêmes équations avec un second membre mesure. Nous étendons aussi les résultats d'existence et d'unicité d'une solution dans des cas variationnels non-linéaires non-coercitifs et nous étudions, pour une équation elliptique linéaire non-coercitive, la convergence d'un schéma volumes finis. La deuxième partie concerne l'unicité des solutions à des problèmes elliptiques non-linéaires avec seconds membres mesure. La troisième partie aborde la question de la condition d'hyperbolicité des systèmes du premier ordre à coefficients constants. Nous prouvons une CNS pour qu'un tel système ait une solution pour toute condition initiale de type Riemann (condition initiale naturelle dans l'étude des discrétisations numériques de ces systèmes). A l'aide d'un système particulier, nous étudions ensuite la différence entre notre CNS et les diverses conditions d'hyperbolicité de la littérature, puis nous prouvons que la solution d'un système hyperbolique n'est pas toujours stable par rapport au flux. La quatrième partie rassemble quelques autres travaux. Le premier concerne la densité dans $W^{1,p}(\Omega)$ des fonctions régulières satisfaisant une condition de Neumann. Le second est l'étude d'une discrétisation EF mixtes---VF pour un écoulement diphasique à travers un milieu poreux. Le troisième et dernier est l'étude des mesures sur $]0,T[\times \Omega$ ne chargeant pas le boréliens de capacité parabolique nulle et l'application de cette étude à la résolution d'une équation parabolique non-linéaire avec second membre mesure.

Le traitement thermique des aciers après chauffage par induction localisé est un procédé aujourd'hui répandu, notamment dans l'industrie automobile. Ce type de procédés a fait ses preuves dans le cadre de pièces massives, mais les distorsions générées sont encore parfois insuffisamment maîtrisées lorsqu'il s'agit de tôles minces. PSA-Peugeot-Citroën s'intéresse alors à l'étude et la compréhension des phénomènes en jeu ainsi qu'à la simulation numérique de tels procédés. C'est alors dans cette démarche et dans le cadre d'un partenariat entre le Cemef et PSA, que s'inscrit ce travail appliqué au traitement thermique d'un renfort de pied central. Un procédé aussi complexe nécessite la compréhension de la thermique, de la mécanique, de la métallurgie, de l'électromagnétisme, ainsi que de leurs interactions mutuelles au chauffage comme au refroidissement. Ce travail se trouve alors au carrefour de plusieurs disciplines comme la thermomécanique et l'électromagnétisme, ainsi que les méthodes numériques et l'étude expérimentale. Il fait suite à divers travaux réalisés au laboratoire concernant la thermique ou la mécanique, ainsi qu'une thèse précédente portant sur la modélisation numérique couplée de la trempe. Il constitue également la première approche 3D des procédés de chauffage par induction et des couplages multi physiques qui en découlent. La présentation de ce travail se décompose en 3 grandes parties. Premièrement, on décrit le contexte industriel, la problématique et l'historique de l'étude du procédé, pour en arriver aux études expérimentales réalisées dans ce travail : une porte sur le procédé industriel et l'autre sur un modèle simplifié que nous avons conçu pour une meilleure compréhension des phénomènes physiques qui génèrent les distorsions. Ces études expérimentales, riches en résultats, soulignent la nécessité d'un outil numérique pour aller encore plus loin dans la compréhension physique du procédé. Nous poursuivons alors sur trois chapitres présentant les modèles numériques par éléments finis, développés et utilisés dans le code de calcul pour simuler les problèmes couplés : thermique / électromagnétisme, mécanique / métallurgie et l'ensemble de la structure couplée. La troisième et dernière partie du rapport traite, d'une part, de la mise en donnée d'un cas semi-industriel ainsi que de la caractérisation des paramètres, et d'autre part, des résultats numériques obtenus et de leur comparaison avec les résultats expérimentaux. Le modèle développé permet d'estimer dans une première approche les distorsions subies par une structure mince lors de son traitement thermique localisé par induction. Le code de calcul actuel forme une base solide pour de futures évolutions permettant de simuler des problèmes industriels complexes.

L'objectif de cette thèse est de modéliser et de développer des outils numériques adaptés à l'étude de l'écoulement des eaux souterraines ainsi que la propagation des polluants en milieux poreux. La motivation de ce travail est un benchmark du GDR Momas et de l'Andra pour la simulation de la propagations 3-D des radionucléides autour d'un stockage profond de déchets nucléaires. Premièrement on a construit une nouvelle méthode d'éléments finis mixtes sur un maillage formé d'hexaèdres généraux. La convergence de la méthode est prouvée et confirmée par des tests numériques. Deuxièment, nous présentons une méthode de discrétisation en temps pour une équation d'advection telle que des pas de temps différents sont utilisés dans différents sous-domaines afin de prendre en compte les hétérogèneités.<br />Enfin une méthode numérique pour le calcul de transport de contaminants est proposée. Les techniques précédentes sont implémentées en 3-D et des résultats numériques sont présentés sur le benchmark 3-D champ lointain du GDR Momas et de l'Andra.