L’objectif de cette thèse est de proposer une méthode permettant d’optimiser la stratégie de maintenance d’un système multi-composants. Cette nouvelle stratégie doit être adaptée aux conditions d’utilisation et aux contraintes budgétaires et sécuritaires. Le vieillissement des composants et la complexité des stratégies de maintenance étudiées nous obligent à avoir recours à de nouveaux modèles probabilistes afin de répondre à la problématique. Nous utilisons un processus stochastique issu de la Fiabilité Dynamique nommé processus markovien déterministe par morceaux (Piecewise Deterministic Markov Process ou PDMP). L’évaluation des quantités d’intérêt (fiabilité, nombre moyen de pannes...) est ici réalisé à l’aide d’un algorithme déterministe de type volumes finis. L’utilisation de ce type d’algorithme, dans ce cadre d’application, présente des difficultés informatiques dues à la place mémoire. Nous proposons plusieurs méthodes pour repousser ces difficultés. L’optimisation d’un plan de maintenance est ensuite effectuée à l’aide d’un algorithme de recuit simulé. Cette méthodologie a été adaptée à deux systèmes ferroviaires utilisés par la SNCF, l’un issu de l’infrastructure, l’autre du matériel roulant. / The aim of this work is to propose a methodology to optimize a multi-components system maintenance. This new maintenance strategy must be adapted to budget and safety constraints and operating conditions. The aging of components and the complexity of studied maintenance strategies require us to use new probabilistic models in order to address the problem. A stochastic process from Dynamic Reliability calculations are here established by using a deterministic algorithm method based on a finite volume scheme. Using this type of algorithm in this context of application presents difficulties due to computer memory space. We propose several methods to counter these difficulties. The optimization of a maintenance plan is then performed using simulated annealing algorithm. This methodology was used to optimize the maintenance of two rail systems used by the French national railway company (SNCF).

No description available.

La simulation numérique est largement utilisée pour évaluer les performances aérodynamiques des aéronefs ainsi qu'en optimisation de forme. Ainsi l'objectif de ces simulations est souvent le calcul de fonctions aérodynamiques. L'objet de cette thèse est d'étudier des méthodes d'adaptation de maillages basées sur la dérivée totale de ces fonctions par rapport aux coordonnées du maillage (notée dJ/dX). Celle-ci pouvant être calculée par la méthode adjointe discrète. La première partie de cette étude concerne l'application de méthodes d'adaptation de maillages appliquées à des écoulements de fluides parfaits. Le senseur qui détecte les zones de maillage à raffiner s'appuie sur la norme de cette dérivée pour adapter des maillages pour le calcul d'une fonction J. La seconde partie du travail est la construction et l'étude de critères plus fiables basés sur dJ/dX pour d'une part adapter des maillages et d'autre part estimer si un maillage est bien adapté ou non pour le calcul de la fonction J. De plus une méthode de remaillage plus efficace basée sur une EDP elliptique est aussi présentée. Cette nouvelle méthode est appliquée pour des écoulements bidimensionnels de fluides parfaits ainsi que pour un écoulement décrit par les équations RANS. La dernière partie de l'étude est consacrée à l'application de la méthode proposée à des cas tridimensionnels d'écoulement RANS sur des géométries d'intérêt industriel. / Numerical simulation is widely used for the assessment of aircraft aerodynamic performances and shape optimizations. Hence the objective of these simulations is often to compute aerodynamic outputs. The purpose of this thesis is to study mesh adaptation methods based on the total derivative of the outputs with respect to mesh coordinates (denoted dJ/dX). This derivative can be computed using the discrete adjoint method. The first part of this study is about the application of mesh adaptation methods applied for Eulerian flows. The mesh locations to refine are detected using a sensor based on the norm of the derivative dJ/dX. This study confirmed that this derivative is relevant in order to adapt a mesh for the computation of the output J. The second part of this work is the construction and the study of reliable criteria based on dJ/dX for both mesh adaptation and the quality assessment of a given mesh for the computation of the output J. Moreover a more efficient remeshing method based on an elliptic PDE is presented too. This new method is applied for both two-dimensional Eulerian flows and a flow described by the RANS equations. The last part of the study is devoted to the application of the proposed method to three-dimensional RANS flows on geometries of industrial interest.

Nous élaborons et analysons mathématiquement des approximations numériques par des méthodes de type volumes finis de solutions faibles de systèmes hyperboliques pour des écoulements géophysiques. Dans une première partie nous approchons les solutions du système de la magnétohydrodynamique en faible épaisseur avec un fond plat. Nous développons un schéma de type Godunov utilisant un solveur de Riemann approché défini via une méthode de relaxation. Des expressions explicites sont établies pour les vitesses de relaxation, qui permettent d'obtenir un schéma satisfaisant un ensemble de bonnes propriétés de consistance et de stabilité. Il conserve la masse, préserve la positivité de la hauteur de fluide, vérifie une inégalité d'entropie discrète, résout les discontinuités de contact même résonantes, donne des vitesses de propagations contrôlées par les données initiales. Des tests numériques sont effectués, validant les résultats théoriques énoncés. Dans une seconde partie nous approchons les solutions du système de la magnétohydrodynamique en faible épaisseur avec fond variable. Nous développons un schéma équilibre pour certains états stationnaires au repos. Nous utilisons la méthode de reconstruction hydrostatique, avec des états reconstruits pour la hauteur d'eau et les composantes du champ magnétique. Nous trouvons des termes correctifs pour les flux numériques par rapport au cadre habituel, et nous prouvons que le schéma obtenu préserve la positivité de la hauteur d'eau, vérifie une inégalité d'entropie semi-discrète et est consistant. Des tests numériques sont effectués, validant les résultats théoriques. Dans une troisième partie nous établissons la convergence d'un schéma cinétique avec reconstruction hydrostatique pour le système de Saint-Venant avec topographie. De nouvelles estimations sur le gradient des solutions approchées sont obtenues par l'analyse de la dissipation d'énergie. La convergence est obtenue par la méthode de compacité par compensation, sous des hypothèses sur les données initiales et la régularité du fond / We build and analyze mathematically numerical approximations by finite volume methods of weak solutions to hyperbolic systems for geophysical flows. In a first part we approximate the solutions of the shallow water magneto hydrodynamics system with flat bottom. We develop a Godunov scheme using an approximate Riemann solver defined via a relaxation method. Explicit formulas are established for the relaxation speeds, that lead to a scheme satisfying good properties of consistency and stability. It preserves mass, positivity of the fluid height, satisfies a discrete entropy inequality, resolves contact discontinuities, and involves propagation speeds controlled by the initial data. Several numerical tests are performed, endorsing the theoretical results. In a second part we approximate the solutions of the shallow water magneto hydrodynamics system with non-flat bottom. We develop a well-balanced scheme for several steady states at rest. We use the hydrostatic reconstruction method, with reconstructed states for the fluid height and the magnetic field. We get some new corrective terms for the numerical fluxes with respect to the classical framework, and we prove that the obtained scheme preserves the positivity of height, satisfies a semi-discrete entropy inequality, and is consistent. Several numerical tests are presented, endorsing the theoretical results. In a third part we prove the convergence of a kinetic scheme with hydrostatic reconstruction for the Saint-Venant system with topography. Some new estimates on the gradient of approximate solutions are established, by the analysis of energy dissipation. The convergence is obtained by the compensated compactness method, under some hypotheses concerning the initial data and the regularity of the topography

L'objectif de cette thèse est de développer un nouveau schéma numérique du type volumes finis pour la dynamique des gaz. Dans deux articles, F.Berthelin, T.Goudon et S.Minjeaud proposent de résoudre le système des équations d'Euler barotrope en dimension 1 d'espace, avec un schéma d'ordre 1 fonctionnant sur grilles décalées et dont la conception des flux est inspirée des schémas cinétiques. Nous proposons d'enrichir ce schéma afin qu'il puisse résoudre le système des équations d'Euler barotrope ou complet, en dimension 2 d'espace sur maillage cartésien ou non structuré, possiblement à l'ordre 2 et le cas échéant à bas nombres de Mach. Nous commencerons par développer une version 2D du schéma sur grilles cartésiennes (ou MAC) à l’ordre 2 via une méthode de type MUSCL, d'abord pour les équations barotropes puis pour les équations complètes. Ces dernières demandent de traiter une équation d’énergie supplémentaire et l’un des problèmes -résolu- est de trouver une définition discrète convenable de l’énergie totale telle qu'elle satisfasse une équation conservative locale. Dans un troisième chapitre nous étudierons le passage à la limite du compressible vers l'incompressible et nous verrons comment utiliser les atouts de notre schéma afin de le modifier et d'en faire un schéma Asymptotic Preserving pour des écoulements à bas nombres de Mach. Dans un quatrième temps nous proposerons une adaptation du schéma sur des maillages non structurés. Notre approche sera fortement inspirée des méthodes DDFV et pourra présenter des avantages dans les régimes à faibles nombres de Mach. Cette thèse se termine par un cinquième chapitre issu d’une collaboration lors du CEMRACS 2017, où le point de vue considéré n’est plus macroscopique mais microscopique. Nous commencerons par étudier un modèle micro/macro idéalisé auquel un processus stochastique a été ajouté puis nous tenterons d'en déduire un modèle à grande échelle pour un système fortement couplé, qui soit consistant avec la description micro/macro sous-jacente du problème physique. / The objective of this thesis is to develop a new numerical scheme of finite volume type for gas dynamics. In two articles, F.Berthelin, T.Goudon and S.Minjeaud propose to solve the barotropic Euler system in dimension 1 of space, with a first order scheme that works on staggered grids and of which fluxes are inspired by kinetic schemes. We propose to enhance this scheme so that it can solve the barotropic or complete Euler systems, in dimension 2 of space on Cartesian or unstructured grids, possibly at order 2 and at Low Mach numbers where appropriate. We begin with the development of a 2D version of the scheme on Cartesian (or MAC) grids, at order 2 via a MUSCL type method, for the barotropic equations at first and then for the complete equations. The latter require to handle with an additional energy equation and one of the -solved- problems is to find a suitable discrete definition of the total energy such that it satisfies a local conservative equation. In a third chapter we study the transition from the compressible case to the incompressible limit and we shall see how to use the advantages of our initial scheme in order to make it an Asymptotic Preserving scheme at low Mach numbers. In a fourth chapter we propose an adaptation of the scheme on unstructured meshes. Our approach is strongly inspired by the DDFV methods and may have advantages in low-Mach regimes.This thesis ends with a fifth chapter issued from a collaboration during CEMRACS 2017, where the considered point of view is no longer macroscopic but microscopic. We begin by studying a simplified micro/macro model with an added stochastic process and then we attempt to deduce a large-scale model for a strongly coupled system which has to be consistent with the underlying micro / macro description of the physical problem.

Dans ce travail, nous nous intéressons à deux problèmes de la théorie des systèmes hyperboliques faisant intervenir des interfaces. Le premier concerne des modèles de couplages entre un fluide compressible et une particule ponctuelle et le second concerne la capture numérique précise des chocs, ces discontinuités qui apparaissent dans les solutions des systèmes hyperboliques.Sur la première thématique, nous commençons par introduire les différents modèles, dans lesquels la particule et le fluide interagissent à travers une force de frottement qui tend à rapprocher leurs vitesses. Le couplage est singulier car il fait intervenir le produit d’une fonction discontinue par une mesure de Dirac. On peut toutefois définir précisément le système en voyant la particule comme une interface à travers laquelle des relations liant les propriétés du fluide et celle de la particule sont imposées. Lorsque le fluide suit une équation de Burgers, nous démontrons la convergence d’une classe de schéma numérique, et nous obtenons l’existence d’une solution au problème de Cauchy pour une donnée initiale à variation totale bornée. Dans le cas plus complexe où le fluide est décrit par les équa- tions d’Euler isothermes, on prouve l’existence et l’unicité d’une solution autosemblable au problème de Riemann lorsque la particule est immobile. Des simulations numériques sont également présentées.La dernière partie de la thèse est consacrée à la construction de schémas non diffusifs pour les systèmes hyperboliques. Ces schémas, de type volumes finis, sont construits pour être exact lorsque la donnée initiale est un choc isolé. Ils sont basé sur une reconstruction discontinue de la solution au début de chaque itération en temps, dans le but de reconstituer des chocs à l’intérieur de certaines cellules du maillage. Cette stratégie mène à des schémas très peu diffusifs qui, lorsque l’opérateur de reconstruction est bien choisi, approchent correctement les solutions de cas tests problématiques (chocs lents, chocs forts, réflexions pour la dynamique des gaz, chocs non classiques pour les systèmes qui ne sont pas vraiment non linéaires). / In this work, we study two problems concerning hyperbolic systems involving interfaces. The first one concerns the study of models of coupling between a compressible fluid and a pointwise particle. The second one deals with the sharp numerical approximation of shocks, which are discontinuities that appear in the solutions of hyperbolic systems.In the first two parts of the manuscript, we introduce different models of fluid-particle couplings. The fluid and the particle interact on each other through a drag force, which brings their velocities closer to one another. The coupling is singular because it can be written as the product of a discontinuous function by a Dirac measure. However, the system can be precisely defined as follows. The particle is seen as an interface through which interface conditions linking the properties of the fluid with those of the particle are imposed. When the fluid follows the compressible Burgers equations, we prove the convergence of a family of finite volume schemes and obtain the existence of a solution when the initial data has total bounded variation. In the more difficult case where the fluid is described by the isothermal Euler equations, we prove the existence and uniqueness of a selfsimilar solution to the Riemann problem, when the particle is motionless. Numerical experiments are also presented.In the last part of this work, we build non diffusive numerical schemes for different hyperbolic systems. These finite volume schemes are built to be exact when the initial data is an isolated shock. They are based on a discontinuous reconstruction of the solution at the beginning of each time step, in order to reconstruct shocks inside some specific cells of the mesh. The schemes we present have a very low numerical diffusion and, when the reconstruction operator is well chosen, they are able to correctly approximate the solution on various problematic test cases. These cases include slowly moving shocks, strong shocks and shock reflections for gas dynamics, as well as the apparition of nonclassical shocks for systems that are not truely nonlinear.

L’adaptation de maillage est un outil puissant pour l’obtention de simulations aérodynamiques précises à coût limité. Dans le cas particulier des simulations visant au calcul de fonctions aérodynamiques (efforts, moments, rendements...), plusieurs méthodes dites de raffinement ciblé (ou, en anglais, « goal-oriented ») basées sur le vecteur adjoint de la fonction d’intérêt ont été proposées. L’objectif de la thèse est l’extension d’une méthode de ce type basée sur la dérivée totale dJ/dX de la grandeur aérodynamique d’intérêt, J, par rapport aux coordonnées du maillage volumique, X. Les trois méthodes usuelles de calcul de gradient discret – la méthode de différentiation directe, la méthode adjointe-"paramètres" et la méthode adjointe-"maillage" évaluant dJ/dX – ont tout d’abord été étudiées et codées dans le logiciel elsA de l’ONERA pour des maillages non-structurés, pour des écoulements compressibles de fluide parfait et des écoulements laminaires. La seconde étape du travail a consisté à créer un senseur local θ basé sur dJ/dX qui identifie les zones du maillage volumique où la position des nœuds a une forte incidence sur l’évaluation de la fonction J. Ce senseur sert d’indicateur pour l’adaptation de différents maillages, pour différents régimes d’écoulement (subsonique, transsonique, supersonique), pour des configurations d’aérodynamique interne (aube et tuyère) et externe (profil d’aile). La méthode proposée est comparée à une méthode de raffinement ciblée très populaire (Venditti et Darmofal, 2001) et à une méthode de raffinement basée sur les caractéristiques de l’écoulement (ou, en anglais, « feature-based ») ; elle conduit à des résultats très satisfaisants. / Mesh adaptation is a powerful tool to obtain accurate aerodynamic simulations with limited cost. In the specific case of computation of aerodynamic functions (forces, moments, efficiency ...), goal-oriented methods based on the adjoint vector have been proposed. The aim of the thesis is the extension of a method of this type based on the total derivative dJ/dX of the aerodynamic output of interest, J, with respect to the volume mesh coordinates, X. The three common methods for calculating discrete gradient – the direct differentiation method, the parameter-adjoint method and mesh-adjoint method evaluating dJ/dX – have been studied first and coded in the elsA ONERA software for unstructured grids, for compressible inviscid and laminar flows. The second part of this work was has been to define a local sensor θ based on dJ/dX in order to identify zones where the volume mesh nodes position has a strong impact on the evaluation of the function J. This sensor is the selected indicator for different mesh adaptations for different flow regimes (subsonic, transonic, supersonic) for internal (blade and nozzle) and external (wing profile) aerodynamic configurations. The proposed method is compared to a well-known goal-oriented method (Darmofal and Venditti, 2001) and to a feature-based method ; it leads to very consistent results. very consistent results.

No description available.

Les travaux de cette thèse portent sur la modélisation et la discrétisation des écoulements diphasiques dans les milieux poreux fracturés. On se place dans le cadre des modèles dits dimensionnels hybrides couplant l'écoulement dans la matrice 3D à l'écoulement dans un réseau de fractures modélisées comme des surfaces 2D. La discrétisation s'appuie sur le cadre abstrait des schémas gradients. Dans cette étude nous présentons deux classes de schémas de types Gradient Schemes sur ces modèles en monophasique et en diphasique. Les objectifs sont motivés par l'application cible de la thèse qui concerne les procédés de récupération assistée de gaz par fracturation hydraulique dans les réservoirs de très faibles perméabilités / This thesis presents the work on modelling and discretisation of two-phase flows in the fractured porous media. These models couple the flow in the fractures represented as the surfaces of codimension one with the flow in the surrounding matrix. The discretisation is made in the framework of Gradient schemes which accounts for a large family of conforming and nonconforming discretizations. The test cases are motivated by the target application of the thesis concerning the gas recovery under the hydraulic fracturing process in low-permeability reservoirs

La compréhension des écoulements souterrains est importante pour de nombreuses applications comme l’énergie ou le stockage des déchets nucléaires. Cette thèse, effectuée en collaboration avec le Bureau de Recherches Géologiques et Minières (BRGM), est dédiée à la simulation des écoulements diphasiques compositionnels thermiques en milieux poreux et ses applications à la géothermie haute énergie et plus particulièrement au champ géothermique de Bouillante (Guadeloupe). Tout d’abord, deux formulations à variables persistantes sont comparées en termes d’implémentation et de convergence numérique. Dans ces deux formulations, les fractions molaires d’une phase absente sont étendues par celles à l’équilibre thermodynamique avec la phase présente. Il en résulte que l’ensemble des variables principales et des équations ne dépend pas de l’ensemble de phases présentes. De plus, l’équilibre thermodynamique est exprimé par une contrainte de complémentarité pour chacune des phases, ce qui permet l’utilisation de méthodes de type semi-smooth Newton pour résoudre les systèmes non-linéaires. D’autre part, cette thèse présente une nouvelle méthodologie combinant des discrétisations centrées aux noeuds (le schéma Vertex Approximate Gradient - VAG) et aux faces (le schéma Hybrid Finite Volume - HFV) sur une partition arbitraire des ensembles de mailles ou de faces, dans le but d’adapter le choix du schéma aux différentes parties du maillage. En effet, les maillages hybrides composés de différents types de mailles sont plus adaptés à la discrétisation de la géologie et de la géométrie des différents domaines d’un système géothermique. Ainsi le schéma peut être choisi localement en fonction de la géométrie de la maille et des propriétés pétrophysiques. L’analyse de convergence est effectuée dans le cadre des discrétisations Gradient pour des problèmes de diffusion du second ordre et la convergence est confirmée numériquement sur différents types de maillages hybrides 3D. Ensuite la discrétisation VAG-HFV est étendue au cas des écoulements de Darcy diphasiques non-isothermes compositionnels et est appliquée au cas test 2D représentant le plan de faille vertical du réservoir géothermique de Bouillante. Un autre aspect important de la modélisation des flux géothermiques consiste à prendre en compte les interactions entre le flux dans le milieu poreux et l’atmosphère. Puisque le couplage entre le modèle poreux et un modèle 2D surfacique ou 3D atmosphérique n’est pas réaliste en terme de coût de calcul aux échelles spatiale et temporelle géologiques, l’interaction sol-atmosphère est modélisée grâce à une condition limite prenant en compte l’équilibre de matière et d’énergie à l’interface. Ce modèle considère une couche limite atmosphérique avec transfert convectif molaire et thermique (en supposant l’évaporation de la phase liquide), une condition de débordement liquide aux surfaces d’infiltration, ainsi que le rayonnement thermique et la recharge en eau douce due aux précipitations. Cette condition limite est évaluée à l’aide d’une solution de référence couplant les écoulements non-isothermes liquide-gaz en milieu poreux et le gaz dans le milieu libre. Elle est ensuite étudiée numériquement en terme de convergence et de solution sur des cas tests géothermiques, dont le plan de faille vertical du réservoir géothermique de Bouillante. En complément est présenté le travail issu d’une collaboration lors de l’école d’été du CEMRACS 2016. Le projet consistait à ajouter un modèle de puits multi-branche thermique au code ComPASS, un nouveau simulateur géothermique parallèle basé sur des maillages non-structurés avec la possibilité de représenter des fractures. / The study of the subsurface flows is important for various applications such as energy or nuclear waste storage. This thesis, performed in collaboration with the French Geological Survey (BRGM), is dedicated to the simulation of non-isothermal compositional two-phase flows in porous media and its applications to high-energy geothermal fields and more precisely to the Bouillante field (Guadeloupe, French West Indies). First of all, two persistent variable formulations are compared in terms of implementation and numerical convergence. In these two formulations, the choice of the principal variables is based on with the extension of the phase molar fractions by the one at thermodynamic equilibrium with the present phase. It results that the set of principal variables and equations does not depend on the set of present phases. It also has the advantage to express the thermodynamic equilibrium as complementarity constraints, which allows the use of semi-smooth Newton methods to solve the non-linear systems. Moreover, this thesis presents a new methodology to combine a node-centered discretization (the Vertex Approximate Gradient scheme - VAG) and a face-centered discretization (the Hybrid Finite Volume scheme - HFV) on arbitrary subsets of cells or faces in order to choose the best-suited scheme in different parts of the mesh. Indeed, hybrid meshes composed of different types of cells are best suited to discretize the geology and geometry of the different parts of the geothermal system. Then, the scheme is adapted locally to the type of mesh/ cells and to petrophysical properties. The convergence analysis is performed in the gradient discretization framework over second order diffusion problems and the convergence is checked numerically on various types of hybrid three-dimensional meshes. Then, the VAG-HFV discretization is extended to non-isothermal compositional liquid-gas Darcy flows and is applied on the two dimensional cross-section of the Bouillante high temperature geothermal reservoir. Another important aspect of the geothermal flows modelling consists in considering the interactions between the porous medium and the atmosphere. Since the coupling between the porous medium and the 2D surface of 3D atmospheric flows is not computationally realistic at the space and time scales of a geothermal flow, the soil-atmosphere interaction is modelled using an advanced boundary condition accounting for the matter (mole) and energy balance at the interface. The model considers an atmospheric boundary layer with convective molar and energy transfers (assuming the vaporization of the liquid phase in the atmosphere), a liquid outflow condition at seepage surfaces, as well as the heat radiation and the precipitation influx. This boundary condition is assessed using a reference solution coupling the Darcy flow to a full-dimensional gas free flow. Then, it is studied numerically in terms of solution and convergence of the Newton-min non-linear solvers on several geothermal test cases including two-dimensional simulations of the Bouillante geothermal field. In addition is presented the collaborative project which took place during the CEMRACS summer school 2016. The project consisted in adding a multibranch thermal well model into the ComPASS code, a new geothermal simulator based on unstructured meshes and adapted to parallel distributed architectures with the ability to represent fractures.