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.

Dans cette thèse on s'est intéressé à l'étude de problèmes concernant la théorie des écoulements compressibles. Dans une première partie on a traité le problème de transport instationnaire avec un champ de vitesse peu régulier, on a établi un résultat d'existence en passant à la limite sur des schémas numériques volumes finis avec un choix décentré amont qui garantie la positivité de la masse volumique. Pour le problème de Stokes, le résultat est démontré par deux approches : une approche par schéma numérique et une approche par régularité visqueuse.Dans la première méthode on propose une discrétisation qui combine la méthode des éléments finis et la méthode des volumes finis qui repose sur les espaces Crouzeix-Raviart. Une première difficulté de ce travail est de démontrer les estimations sur la solution discrète, en particulier à cause de la présence de la gravité dans le terme source de l'équation de quantité de mouvement. Le fait de considérer une loi d'état très générale conduit des difficultés supplémentaires en particulier dans le passage à la limite sur cette équation.Dans la deuxième méthode, le résultat d'existence est démontré en utilisant une approximation par viscosité. Ceci consiste essentiellement en deux parties : l'étude du problème de convection diffusion (qui apparait dans le problème régularisé) où on démontre l'existence et l'unicité de solution et en deuxième partie le passage à la limite sur le problème régularisé. / This thesis is concerned with the study of problems relating in the theory of compressible flows . We prove the existence of the considered problems in a first part by passing to the limit on the numerical schemes proposed for the discretisation of these problems. In the second part, the existence result is obtained by passing to the limit on the approximate solutions given by a corresponding regularized problem.The main result is to prove the existence of a solution of the stationnary compressible Stokes problem with a general equation of state.We first prove this result by passing to the limit on the numerical scheme as the mesh size tends to zero. The fact to consider a general E.O.S induces some additional difficulties in particular to get estimates on the discrete solution (which comes also from the presence of the gravity in the momentum equation) and in the passage to the limit on the E.O.S.We also prove the existence result by passing to the limit on a regularized problem. We first treat the convection-diffusion problem (which appears in the regularized problem), we give an existence and uniqueness result, and we then prove estimates on the approwimate solutions and pass to the limit on the regularized problem.

Cette thèse vise à développer et à évaluer une méthode de décomposition de domaine avec recouvrement dans le cadre de la modélisation du contrôle non destructif (CND) par courants de Foucault (CF). L'objectif d'une telle approche consiste à éviter le remaillage systématique de l'intégralité du domaine d'étude lors du déplacement de l'un de ses éléments constitutifs(par exemple, déplacement de la sonde CF au dessus de la pièce contrôlée). Plus précisément, il s'agit de concevoir une méthode de décomposition de domaine avec recouvrement qui s'appuie sur la théorie apportée par la méthode des éléments finis avec joints. En plus de s'affranchir de la contrainte d'une interface d'échange invariante avec le mouvement, la technique décrite dans ce travail réalise des transferts d'information réciproques entre les domaines. Cette étude présente les résultats théoriques ainsi que numériques liés à la simulation magnétodynamique. Par ailleurs, l'intérêt d'une telle méthode est illustré par des applications sur des configurations bidimensionnelles de CND par CF. / This thesis aims at studying and developing a domain decomposition method with overlapping subdomains for the modeling in eddy current (EC) non-Destructive testing (NDT). The idea behind such an approach is the possibility to avoid the systematic remeshes of the whole studying domain when some of its components are modified (for example the displacement of the coil above the conductor). More precisely, this work aims at designing a domain decomposition method with overlapping based on the theory of the mortar finite element method. In addition to remove the constraint owing to an coupling interface which is invariant with the displacement, the technique described, in this work, realizes reciprocal transfers of information between subdomains. This study presents the theoretical and numerical results attached to the magnetodynamic simulation. Moreover, the interest of such a method is illustrated by applications in some 2D modeling cases of EC NDT.

Cette thèse est centrée autour du développement et de l'analyse des schémas volumes finis robustes afin d'approcher les solutions du modèle diphasique compressible en milieux poreux hétérogènes et anisotropes. Le modèle à deux phases compressibles comprend deux équations paraboliques dégénérées et couplées dont les variables principales sont la saturation du gaz et la pression globale. Ce système est discrétisé à l'aide de deux méthodes différentes (CVFE et DDFV) qui font partie de la famille des volumes finis. La première classe à laquelle on s'intéresse consiste à combiner la méthode des volumes finis et celle des éléments finis. Dans un premier temps, on considère un schéma volume finis upwind pour la partie convective et un schéma de type éléments finis conformes pour la diffusion capillaire. Sous l'hypothèse que les coefficients de transmissibilités sont positifs, on montre que la saturation vérifie le principe du maximum et on établit des estimations d'énergies permettant de démontrer la convergence du schéma. Dans un second temps, on a mis en place un schéma positif qui corrige le précédent. Ce schéma est basé sur une approximation des flux diffusifs par le schéma de Godunov. L'avantage est d'établir la bornitude des solutions approchées ainsi que les estimations uniformes sur les gradients discrets sans aucune contrainte ni sur le maillage ni sur la perméabilité. En utilisant des arguments classiques de compacité, on prouve rigoureusement la converge du schéma. Chaque schéma est validé par des simulations numériques qui montrent bien le comportement attendu d'une telle solution. Concernant la deuxième classe, on s'intéressera tout d'abord à la construction et à l'étude d'un nouveau schéma de type DDFV (Discrete Duality Finite Volume) pour une équation de diffusion non linéaire dégénérée. Cette méthode permet d' avantage de prendre en compte des maillages très généraux et des perméabilités quelconques. L'idée clé de cette discrétisation est d'approcher les flux dans la direction normale par un schéma centré et d'utiliser un schéma décentré dans la direction tangentielle. Par conséquent, on démontre que la solution approchée respecte les bornes physiques et on établit aussi des estimations d'énergie. La convergence du schéma est également établie. Des résultats numériques confirment bien ceux de la théorie. Ils exhibent en outre que la méthode est presque d'ordre deux. / The objective of this thesis is the development and the analysis of robust and consistent numerical schemes for the approximation of compressible two-phase flow models in anisotropic and heterogeneous porous media. A particular emphasis is set on the anisotropy together with the geometric complexity of the medium. The mathematical problem is given in a system of two degenerate and coupled parabolic equations whose main variables are the nonwetting saturation and the global pressure. In view of the difficulties manifested in the considered system, its cornerstone equations are approximated with two different classes of the finite volume family. The first class consists of combining finite elements and finite volumes. Based on standard assumptions on the space discretization and on the permeability tensor, a rigorous convergence analysis of the scheme is carried out thanks to classical arguments. To dispense with the underlined assumptions on the anisotropy ratio and on the mesh, the model has to be first formulated in the factional flux formulation. Moreover, the diffusive term is discretized by a Godunov-like scheme while the convective fluxes are approximated using an upwind technique. The resulting scheme preserves the physical ranges of the computed solution and satisfies the coercivity property. Hence, the convergence investigation holds. Numerical results show a satisfactory qualitative behavior of the scheme even if the medium of interest is anisotropic. The second class allows to consider more general meshes and tensors. It is about a new positive nonlinear discrete duality finite volume method. The main point is to approximate a part of the fluxes using a non standard technique. The application of this ideato a nonlinear diffusion equation yields surprising results. Indeed,not only is the discrete maximum property fulfilled but also the convergence of the scheme is established. Practically, the proposed method shows great promises since it provides a positivity-preserving and convergent scheme with optimal convergence rates.