Spelling suggestions: "subject:"équations""
461 |
Équations de Hardy-Sobolev sur les variétés Riemanniennes compactes : influence de la géométrie / Hardy-Sobolev equations on the compact Riemannian manifolds : Influence of geometryJaber, Hassan 24 June 2014 (has links)
Dans ce Manuscrit, nous étudions l'influence de la géométrie sur les équations de Hardy-Sobolev perturbées ou non sur toute variété Riemannienne compacte sans bord de dimension supérieure ou égale à 3. Plus précisément, dans le cas non perturbé nous démontrons que pour toute dimension de la variété strictement supérieure à, l'existence d'une solution (ou plutôt une condition suffisante d'existence) dépendra de la géométrie locale autour de la singularité. En revanche, dans le cas où la dimension est égale à 3, c'est la géométrie globale (particulièrement, la masse de la fonction de Green) de la variété qui comptera. Dans le cas d'une équation à terme perturbatif sous-critique, nous démontrons que l'existence d'une solution dépendra uniquement de la perturbation pour les grandes dimensions et qu'une interaction entre la géométrie globale de la variété et la perturbation apparaîtra en dimension 3. Enfin, nous établissons une inégalité optimale de Hardy-Sobolev Riemannienne, la variété étant avec ou sans bord, où nous démontrons que la première meilleure constante est celle des inégalités Euclidiennes et est atteinte / In this Manuscript, we investigate the influence of geometry on the Hardy-Sobolev equations on the compact Riemannian manifolds without boundary of dimension greateror equal to 3. More precisely, we prove in the non perturbative case that the existence of solutions depends only on the local geometry around the singularity when the dimension is greater or equal to 4 while it is the global geometry of the manifold when the dimension is equal to 3 that matters. In the presence of a perturbative subcritical term, we prove that the existence of solutions depends only on the perturbation when the dimension is greater or equal to 4 while an interaction between the perturbation and the global geometry appears in dimension 3. Finally, we establish an Optimal Hardy-Sobolev inequality for all compact Riemannian manifolds, with or without boundary, where we prove that the Riemannian sharp constant is the one for the Euclidean inequality and is achieved
|
462 |
Stabilisation et asymptotique spectrale de l’équation des ondes amorties vectorielle / Stabilization and spectral asymptotics of the vectorial damped wave equationKlein, Guillaume 12 December 2018 (has links)
Dans cette thèse nous considérons l’équation des ondes amorties vectorielle sur une variété riemannienne compacte, lisse et sans bord. L’amortisseur est ici une fonction lisse allant de la variété dans l’espace des matrices hermitiennes de taille n. Les solutions de cette équation sont donc à valeurs vectorielles. Nous commençons dans un premier temps par calculer le meilleur taux de décroissance exponentiel de l’énergie en fonction du terme d’amortissement. Ceci nous permet d’obtenir une condition nécessaire et suffisante la stabilisation forte de l’équation des ondes amorties vectorielle. Nous mettons aussi en évidence l’apparition d’un phénomène de sur-amortissement haute fréquence qui n’existait pas dans le cas scalaire. Dans un second temps nous nous intéressons à la répartition asymptotique des fréquences propres de l’équation des ondes amorties vectorielle. Nous démontrons que, à un sous ensemble de densité nulle près, l’ensemble des fréquences propres est contenu dans une bande parallèle à l’axe imaginaire. La largeur de cette bande est déterminée par les exposants de Lyapunov d’un système dynamique défini à partir du coefficient d’amortissement. / In this thesis we are considering the vectorial damped wave equation on a compact and smooth Riemannian manifold without boundary. The damping term is a smooth function from the manifold to the space of Hermitian matrices of size n. The solutions of this équation are thus vectorial. We start by computing the best exponential energy decay rate of the solutions in terms of the damping term. This allows us to deduce a sufficient and necessary condition for strong stabilization of the vectorial damped wave equation. We also show the appearance of a new phenomenon of high-frequency overdamping that did not exists in the scalar case. In the second half of the thesis we look at the asymptotic distribution of eigenfrequencies of the vectorial damped wave equation. Were show that, up to a null density subset, all the eigenfrequencies are in a strip parallel to the imaginary axis. The width of this strip is determined by the Lyapunov exponents of a dynamical system defined from the damping term.
|
463 |
Méthodes longitudinales pour l’analyse de la qualité de vie relative à la santé en cancérologie / Longitudinal methods for the health-related quality of life analysis in oncologyBarbieri, Antoine 27 June 2016 (has links)
L’étude de la qualité de vie relative à la santé est un objectif prioritaire des essais cliniques en cancérologie pour évaluer l’efficacité d’une prise en charge ; elle est mesurée par le biais d’auto-questionnaire. Dans ce travail, nous proposons différentes modélisations statistiques pour l’analyse longitudinale de ce critère, ainsi que leur application sur des données issues de plusieurs essais cliniques. Une première partie présente les modèles issus de la théorie de réponse à l’item (IRT) pour réaliser une analyse longitudinale directement sur les données brutes (multi-réponses ordinales) et ce par dimension. Une fois replacés dans le contexte des modèles linéaires généralisés mixtes, une sélection conceptuelle de modèles IRT a conclu que le Graded response model semble le mieux adapté. Dans une seconde partie, nous proposons un modèle à équation structurelle permettant de prendre en compte conjointement l’aspect multidimensionnel et longitudinal de la qualité de vie. À l’aide de facteurs reflétés par des ensembles de variables observées, il permet de lier à chaque temps de mesure toutes les observations issues du questionnaire, tout en considérant également des variables explicatives. L’analyse longitudinale est réalisée sur le statut global de santé et les facteurs réduisant ainsi le nombre de tests. Enfin, une approche par mélanges de modèles mixtes est proposée pour obtenir des classes latentes à partir de trajectoires de qualité de vie. Cette approche a permis de caractériser des sous-populations homogènes et d’associer différente évolution de la qualité de vie suivant des profils particuliers de patients. / The health-related quality of life is a major objective in oncology clinical trials to improve patients’ care and better evaluate the impact of the treatments on their everyday life. Auto-questionnaires are usually used to measure this endpoint. In this work, different statistical models for the longitudinal analysis of health-related quality of life in oncology are proposed and applied to clinical trial data. First, we present different models derived from the item response theory (IRT) to achieve a longitudinal analysis directly on raw data (multi-response outcomes) for each dimension. Within the generalized linear mixed model background, a conceptual selection of the IRT models concluded that the graded response model seems to be the most suitable. Then, we propose a structural equation model which allows taking into account the multidimensional nature of data at each time and the longitudinal aspect induced by the repeated measurements. At each measurement time, the model allows to link all the observed variables issued from the questionnaire given explanatory variables. Two factors are estimated, each summarizing a set of observed variables. The longitudinal analysis is performed on the global health status and on the factors, thus reducing the number of tests. Finally, an approach based on a mixture of mixed models is used to obtain latent classes from quality of life trajectories. The approach has resulted in the identification of homogeneous subpopulations and their latent trajectory according to specific patient profiles.
|
464 |
Modélisation de la réponse Immunitaire T-CD8 : analyse mathématique et modèles multiéchelles / Modeling the CD8 T-cell Immune Response : Mathematical Analysis and Multiscale ModelsGirel, Simon 13 November 2018 (has links)
L'infection d'un organisme par un agent pathogène déclenche l'activation des lymphocytes T-CD8 et l'initiation de la réponse immunitaire. Il s'ensuit un programme complexe de prolifération et de différenciation des lymphocytes T-CD8, contrôlé par l'évolution de leur contenu moléculaire. Dans ce manuscrit, nous présentons deux modèles mathématiques de la réponse T-CD8. Le premier se présente comme une équation différentielle à impulsions grâce à laquelle nous étudions l'effet du partage inégal des protéines lors des divisions cellulaires sur la régulation de l'hétérogénéité moléculaire. Le second est un modèle à base d'agents couplant la description d'une population discrète de lymphocytes T-CD8 à celle du contenu moléculaire de ces derniers. Ce modèle s'avère capable de reproduire les différentes phases caractéristiques de la réponse T-CD8 aux échelle cellulaire et moléculaire. Ces deux travaux supportent l'hypothèse que la dynamique cellulaire observée in vivo est le reflet de l'hétérogénéité moléculaire qui structure la population de lymphocytes T-CD8 / Infection of an organism by a pathogen triggers the activation of the CD8 T-cells and the initiation of the immune response. The result is a complex program of proliferation and differentiation of the CD8 T-cells, controlled by the evolution of their molecular content. In this manuscript, we present two mathematical models of the CD8 T-cell response. The first one is presented as an impulsive differential equation by which we study the effect of unequal molecular partitioning at cell division on the regulation of molecular heterogeneity. The second one is an agent-based-model that couples the description of a discrete population of CD8 T-cells and that of their molecular content. This model can reproduce the different typical phases of the CD8 T-cell response at both the cellular and the molecular scales. These two studies support the hypothesis that the cell dynamics observed in vivo is a consequence of the molecular heterogeneity structuring the CD8 T-cell population
|
465 |
Méthodes d’analyse et de modélisation pertinentes pour la propagation des ondes à l’échelle méso dans des milieux hétérogènes / Relevant numerical methods for meso-scale wave propagation in heterogeneous mediaXu, Wen 17 July 2018 (has links)
Les travaux de la présente thèse portent sur l’estimation d'erreur a posteriori pour les solutions numériques par éléments finis de l'équation des ondes élastiques dans les milieux hétérogènes. Deux types d’estimation ont été développés. Le premier considère directement l’équation élastodynamique et conduit à un nouvel estimateur d'erreur a posteriori explicite en norme L∞ en temps. Les principales caractéristiques de cet estimateur explicite sont l'utilisation de la méthode de résidus et le développement de reconstructions en temps et en espace selon les différentes régularités exigées par les différents termes contribuant à l’obtention d’une borne supérieure. L’analyse numérique de cet estimateur dans le cas des maillages uniformes montre qu’il assure bien une borne supérieure mais avec une propriété asymptotique qui reste à améliorer. Le deuxième type d’estimateur d’erreur est développé dans le contexte de la propagation des ondes à haute fréquence dans des milieux hétérogènes à l’échelle mésoscopique. Il s’agit d’une nouvelle erreur en résidus basée sur l'équation de transfert radiatif, qui est obtenue par un développement asymptotique multi-échelle de l'équation d'onde en utilisant la transformation de Wigner en espace-temps. Les résidus sont exprimés en termes de densités énergétiques calculés dans l’espace des phases pour les solutions d’onde numériques transitoires par éléments finis. L’analyse numérique de cette erreur appliquée aux milieux homogènes et hétérogènes en 1D a permis de valider notre approche. Les champs d’application visés sont la propagation des ondes sismiques dans les milieux géophysiques ou la propagation des ondes ultrasonores dans les milieux polycristallins. / This thesis work deals with a posteriori error estimates for finite element solutions of the elastic wave equation in heterogeneous media. Two different a posteriori estimation approaches are developed. The first one, in a classical way, considers directly the elastodynamic equation and results in a new explicit error estimator in a non-natural L∞ norm in time. Its key features are the use of the residual method and the development of space and time reconstructions with respect to regularities required by different residual operators contributing to the proposed error bound. Numerical applications of the error bound with different mesh sizes show that it gives rise to a fully computable upper bound. However, its effectivity index and its asymptotic accuracy remain to be improved. The second error estimator is derived for high frequency wave propagation problem in heterogeneous media in the weak coupling regime. It is a new residual-type error based on the radiative transfer equation, which is derived by a multi-scale asymptotic expansion of the wave equation in terms of the spatio-temporal Wigner transforms of wave fields. The residual errors are in terms of angularly resolved energy quantities of numerical solutions of waves by finite element method. Numerical calculations of the defined errors in 1D homogeneous and heterogeneous media allow validating the proposed error estimation approach. The application field of this work is the numerical modelling of the seismic wave propagation in geophysical media or the ultrasonic wave propagation in polycrystalline materials.
|
466 |
Dynamique spatiale de la lumière et saturation de l’effet Kerr / A study of light dynamics and measurements of the nonlinear optical characteristics of carbon disulphideBesse, Valentin 12 December 2014 (has links)
Nous présentons une étude de la dynamique de la lumière et des mesures des caractéristiques non-linéaires optiques dans le disulfure de carbone.Dans la première partie, nous calculons dans le cadre d’un modèle classique des expressions des susceptibilités non-linéaires jusqu’au cinquième ordre, en tenant compte des corrections de champ local. Nous formulons différentes hypothèses que nous confirmons ou infirmons par la mesure des indices d’absorption et de réfraction non-linéaires. Celles-ci sont obtenues en combinant deux méthodes de caractérisation des non-linéarités au sein d’un système 4fd’imagerie. L’analyse des données expérimentales utilise une méthode nouvellement développée, qui consiste à inverser numériquement, par la méthode de Newton, les solutions analytiques des équations différentielles qui décrivent l’évolution du faisceau.Dans la deuxième partie, nous observons la filamentation d’un faisceau laser à la longueur d’onde de 532 nm et en régime picoseconde. Puis nous procédons à la mesure de l’indice de réfraction non-linéaire effectif du troisième ordre n2,eff en fonction de l’intensité incidente. Par un ajustement de la courbe de saturation de l’effet Kerr,nous développons un nouveau modèle. La résolution numérique de celui-ci reproduit la filamentation observée.La dernière partie est consacrée à l’étude de la dynamique des solitons dissipatifs au sein de milieux à gains et pertes non-linéaires. La résolution numérique de l’équation complexe de Ginzburg-Landau cubique-quintique est réalisée suivant différentes configurations :soliton fondamental, dipôle, quadrupôle,vortex carré et rhombique. / We present a study of light dynamics and measurements of the nonlinear optical characteristics of carbon disulphide. In the first part, we calculate using the classical model, the nonlinear susceptibilities up to the fifth order taking into account local field corrections. We express different assumptions that we confirm or refute by measuring the nonlinear absorption coefficient and the nonlinear refractive index. The measurements are performed by means of two nonlinear characterization methods combined with an imaging 4f system. We analyse the experimental data using a newly developed method which numerically inverts the analytical solutions of the differential equations which describe the evolution of the beam, using Newton’s method. In the second part, we observe light filamentation at wavelength 532 nm, in the picoseconds regime. Then we measure the effective third order nonlinear refractive index n2,eff versus the incident intensity. By fitting the curve of the Kerr effect saturation, we develop a new model. Numerically solving this model, allows us to reproducethe experimentally observed filamentation. The last part is dedicated to the study of dissipative solitons dynamics. The complex Ginzburg-Landau equation with cubic-quintic nonlineraties is numerically solved in various configurations : soliton fundamental dipole, quadrupole, vortex and square rhombic.
|
467 |
Contributions à la modélisation mathématique et à l'algorithmique parallèle pour l'optimisation d'un propagateur d'ondes élastiques en milieu anisotrope / Contributions to the mathematical modeling and to the parallel algorithmic for the optimization of an elastic wave propagator in anisotropic mediaBoillot, Lionel 12 December 2014 (has links)
La méthode d’imagerie la plus répandue dans l’industrie pétrolière est la RTM (Reverse Time Migration) qui repose sur la simulation de la propagation des ondes dans le sous-sol. Nous nous sommes concentrés sur un propagateur d'ondes élastiques 3D en milieu anisotrope de type TTI (Tilted Transverse Isotropic). Nous avons directement travaillé dans le code de recherche de Total DIVA (Depth Imaging Velocity Analysis), basé sur une discrétisation par la méthode de Galerkin Discontinue et le schéma Leap-Frog, et développé pour le calcul parallèle intensif – HPC (High Performance Computing). Nous avons ciblé plus particulièrement deux contributions possibles qui, si elles supposent des compétences très différentes, ont la même finalité : réduire les coûts de calculs requis pour la simulation. D'une part, les conditions aux limites classiques de type PML (Perfectly Matched Layers) ne sont pas stables dans des milieux TTI. Nous avons proposé de formuler une CLA (Conditions aux Limites Absorbantes) stable dans des milieux anisotropes. La méthode de construction repose sur les propriétés des courbes de lenteur, ce qui donne à notre approche un caractère original. D'autre part, le parallélisme initial, basé sur une décomposition de domaine et des communications par passage de messages à l'aide de la bibliothèque MPI, conduit à un déséquilibrage de charge qui détériore son efficacité parallèle. Nous avons corrigé cela en remplaçant le paradigme parallélisme par l'utilisation de la programmation à base de tâches sur support d'exécution. Cette thèse a été réalisée dans le cadre de l'action de recherche DIP (Depth Imaging Partnership) qui lie la compagnie pétrolière Total et Inria. / The most common method of Seismic Imaging is the RTM (Reverse Time Migration) which depends on wave propagation simulations in the subsurface. We focused on a 3D elastic wave propagator in anisotropic media, more precisely TTI (Tilted Transverse Isotropic). We directly worked in the Total code DIVA (Depth Imaging Velocity Analysis) which is based on a discretization by the Discontinuous Galerkin method and the Leap-Frog scheme, and developed for intensive parallel computing – HPC (High Performance Computing). We choose to especially target two contributions. Although they required very different skills, they share the same goal: to reduce the computational cost of the simulation. On one hand, classical boundary conditions like PML (Perfectly Matched Layers) are unstable in TTI media. We have proposed a formulation of a stable ABC (Absorbing Boundary Condition) in anisotropic media. The technique is based on slowness curve properties, giving to our approach an original side. On the other hand, the initial parallelism, which is based on a domain decomposition and communications by message passing through the MPI library, leads to load-imbalance and so poor parallel efficiency. We have fixed this issue by replacing the paradigm for parallelism by the use of task-based programming through runtime system. This PhD thesis have been done in the framework of the research action DIP (Depth Imaging Partnership) between the Total oil company and Inria.
|
468 |
Goal-Oriented Adaptivity using Unconventional Error Representations / Adaptabilité ciblée basée sur des représentations d'erreur non classiquesDarrigrand, Vincent 01 September 2017 (has links)
Dans un contexte d'adaptabilité ciblée, l'erreur commise sur une quantité d'intérêt peut être représentée grâce aux erreurs globales des problèmes direct et adjoint. Cette représentation de l'erreur est majorée par la somme des indicateurs d'erreurs élémentaires. Ces derniers sont alors utilisés pour produire des raffinements de maillage optimaux. Dans ces travaux, nous proposons de représenter l’erreur du problème adjoint via un opérateur alternatif. L’avantage principal de notre approche est que lorsque l'on choisit correctement l'opérateur alternatif, la majoration correspondante de l'erreur à la quantité d'intérêt devient plus précise, pour autant l'adaptabilité issue de l'utilisation de ces nouveaux indicateurs s'en trouve améliorée. Ces représentations peuvent être employées pour concevoir des algorithmes adaptatifs en espace (h), en ordre d’approximation (p) ou les deux (hp), basés sur la norme d’énergie ou bien ciblés sur une quantité d'intérêt. Bien que la méthode puisse être appliquée à une large gamme de problèmes, nous nous concentrons tout d’abord sur des problèmes unidimensionnels (1D), comme le problème d’Helmholtz et le problème de convection-diffusion stationnaire à convection dominante. Les résultats numériques en 1D montrent que, pour les problèmes de propagation d'ondes, les avantages de notre méthode sont notoires lorsque l'on considère l'opérateur de Laplace pour la représentation de l'erreur. Plus précisément, les majorations issues de la nouvelle représentation sont plus précises que celles provenant de la méthode classique et ce si l'on considère l'énergie globale ou bien une quantité d'intérêt particulière. Le phénomène est d’autant plus notable lorsque l'erreur de dispersion (pollution) est significative. Le problème 1D de convection-diffusion stationnaire à convection dominante avec des conditions limites de Dirichlet homogènes présente une couche limite qui produit une perte de stabilité numérique. La nouvelle représentation d'erreur délivre des majorations plus précises. Lorsqu’appliquée à une p-adaptabilité ciblée, la représentation d'erreur alternative permet une capture plus efficace la couche limite, malgré les oscillations numériques parasites existantes. Devant ces résultats encourageants, nous nous penchons sur l'équation d'Helmholtz à deux et trois dimensions (2D et 3D). Nous montrons, au travers de multiples simulations numériques, que les majorations fournies par les représentations d'erreur alternatives sont plus précises que celle de la représentation classique. Lorsque l'on utilise les indicateurs d'erreur alternatifs, un processus naïf de p-adaptabilité ciblée converge, tandis que dans les mêmes conditions, la méthode classique échoue et requiert l'utilisation d'un opérateur de projection ou d'autre techniques pour récupérer la convergence. Dans ce travail, nous fournissons également des directives pour déterminer les opérateurs qui fournissent des représentations d’erreur induisant de majorations précises. Des résultats similaires sont aussi établis tant pour un problème 2D de convection-diffusion stationnaire à convection dominante que pour des problèmes 2D ayant des coefficients de matériaux discontinus. Nous considérons un problème de diagraphie ultra-sonique en cours de forage pour illustrer l'applicabilité de la méthode proposée. / In Goal-Oriented Adaptivity (GOA), the error in a Quantity of Interest (QoI) is represented using global error functions of the direct and adjoint problems. This error representation is subsequently bounded above by element-wise error indicators that are used to drive optimal refinements. In this work, we propose to replace, in the error representation, the adjoint problem by an alternative operator. The main advantage of the proposed approach is that, when judiciously selecting such alternative operator, the corresponding upper bound of the error representation becomes sharper, leading to a more efficient GOA. These representations can be employed to design novel h, p, and hp energy-norm and goal-oriented adaptive algorithms. While the method can be applied to a variety of problems, in this Dissertation we first focus on one-dimensional (1D) problems, including Helmholtz and steady state convection-dominated diffusion problems. Numerical results in 1D show that for the Helmholtz problem, it is advantageous to select the Laplace operator for the alternative error representation. Specifically, the upper bounds of the new error representation are sharper than the classical ones used in both energy-norm and goal-oriented adaptive methods, especially when the dispersion (pollution) error is significant. The 1D steady state convection-dominated diffusion problem with homogeneous Dirichlet boundary conditions exhibits a boundary layer that produces a loss of numerical stability. The new error representation based on the Laplace operator delivers sharper error upper bounds. When applied to a p-GOA, the alternative error representation captures earlier the boundary layer, despite the existing spurious numerical oscillations. We then focus on the two- and three-dimensional (2D and 3D) Helmholtz equation. We show via extensive numerical experimentation that the upper bounds provided by the alternative error representations are sharper than the classical ones. When using the alternative error indicators, a naive p-adaptive process converges, whereas under the same conditions, the classical method fails and requires the use of the so-called Projection Based Interpolation (PBI) operator or some other technique to regain convergence. We also provide guidelines for finding operators delivering sharp error representation upper bounds. / En un contexto de adaptatividad orientada a un objetivo, el error en una cantidad de interés está representado a través de los errores globales de los problemas directo y adjunto. Esta representación del error se acota superiormente por una suma de indicadores de error de cada elemento. Estos se utilizan para producir refinamientos óptimos. En este trabajo, proponemos representar el error del problema adjunto utilizando un operador alternativo. La principal ventaja de nuestro enfoque es que cuando se elige correctamente dicho operador alternativo, la correspondiente cota superior se vuelve más cercana al error en la cantidad de interés, lo que permite una adaptatividad más eficiente. Estas representaciones pueden ser utilizadas para diseñar algoritmos adaptativos en h, p o hp, basados en la norma de la energía o para aproximar una cantidad de interés específica. Aunque el método propuesto se puede aplicar a una amplia gama de problemas, en esta tesis doctoral nos centramos primero en problemas unidimensionales (1D), tales como el problema de Helmholtz y el problema estacionario de convección-difusión con convección dominante. Los resultados numéricos en 1D muestran que, para los problemas de propagación de ondas, las ventajas de este método son notorias cuando se considera el operador de Laplace para la representación del error. Específicamente, las cotas superiores derivadas de la nueva representación son más cercanas a la cantidad de interés que las del método convencional. Esto es cierto tanto para la norma de la energía global como para una cantidad de interés particular, especialmente cuando el error de dispersión es significativo. El problema estacionario 1D de convección-difusión con convección dominante y con condiciones de Dirichlet homogéneas tiene una capa límite que produce una pérdida de estabilidad numérica. La nueva representación del error proporciona cotas superiores más cercanas a la cantidad de interés. Cuando se aplica a un algoritmo adaptativo en p orientado a un objetivo, la representación alternativa del error captura antes la capa límite, a pesar de las existentes oscilaciones numéricas no físicas. En esta tesis doctoral, también nos centramos en la ecuación de Helmholtz en dos y tres dimensiones (2D y 3D). Mostramos a través de múltiples experimentos numéricos que las cotas superiores proporcionadas por las representaciones alternativas del error son más cercanas a la cantidad de interés que cuando uno considera la representación clásica. Al utilizar los indicadores alternativos del error, un algoritmo adaptativo en p sencillo converge, mientras que en las mismas condiciones, el método convencional falla y requiere el uso de operadores de proyección o de otras técnicas para recuperar la convergencia. En este trabajo, también determinamos operadores que proporcionan representaciones del error que inducen cotas superiores más ajustadas. Establecemos resultados similares tanto para el problema estacionario de convección-difusión con convección dominante en 2D como para problemas 2D con materiales discontinuos. Finalmente, se considera un problema sónico en pozos petrolíferos para ilustrar la aplicabilidad del método propuesto.
|
469 |
Équation d’état de la matière à densité supranucléaire et application à l’émission thermique des étoiles compactes / Equation of state of matter at supra-nuclear density and application to the thermal emission of neutron starsBaillot d'Étivaux, Nicolas 04 October 2018 (has links)
Cette thèse porte sur la modélisation théorique de l'équation d’état (EE) décrivant la matière nucléaire présente dans le coeur des étoiles à neutrons (EN), sous l'hypothèse qu'aucune transition de phase ne s'y produise. Nous utilisons un méta-modèle permettant i) d’incorporer directement les connaissances en physique nucléaire sous la forme de paramètres empiriques tels que la densité de saturation nucléaire, l’incompressibilité, l’énergie de symétrie; ii) de reproduire la plupart des modèles nucléoniques existants; et iii) d’explorer les régions inconnues à haute densité de façon la plus large possible. Pour chaque EE, nous déterminons un ensemble de solutions pour la masse et le rayon des EN, et nous effectuons une première sélection des EE compatibles avec la stabilité et la causalité de la matière nucléaire, ainsi que la masse maximale connues des EN. Nous confrontons ensuite ces EE aux observations d’émission thermique dans la gamme des rayons-X pour 7 EN soigneusement choisies. Pour la première fois, la modélisation théorique des EE est directement introduite dans l’analyse des données. Nous utilisons les dernières mesures effectuées par GAIA II pour fixer la distance des EN. Les paramètres du modèle d’émission thermique et de l’EE sont déterminés selon une méthode Bayésienne basée sur un algorithme Monte-Carlo par Chaîne de Markov. Nous déterminons ainsi la température de surface, la masse et le rayon des EN, ainsi que sur la valeur de certains paramètres empiriques tels que la dépendance en densité de l'énergie de symétrie (Lsym), la contribution isovectorielle au module d’incompressibilité (Ksym) ou encore le paramètre de distorsion isoscalaire (Qsat) / This thesis concerns theoretical modeling of the equation of state (EoS) describing nuclear matter in the core of neutron stars (NS), under the hypothesis that no phase transition occurs. We use a meta-model which is able to i) directly incorporate nuclear physics knowledge on the form of empirical parameters such as the nuclear saturation density, the incompressibility or the symmetry energy; ii) reproduce most of the existing models; iii) explore new behaviors at high densities in a very flexible way. For each EoS, we determine a set of solutions for the masses and radii of NS, and we make a first selection of the EoS that are compatible with the stability and causality constraints, as well as the maximum observed mass of NS. Then we confront these EoS to observational data coming from thermal emission in the soft X-ray domain, for 7 NS carefully chosen. For the first time, the theoretical modeling of the EoS is directly implemented in the data analysis. We use the recent measurments of GAIA II to constrain the distance to the NS. The parameters of the modeling of thermal emission as well as the empirical parameters entering in the EoS are determined by Bayesian methods using a Monte-Carlo by Morkov Chain algorithm. Therefore, we determine the surface effective tempreature, the masses and radii of NS, as well as some empirical nuclear parameters such as the density dependance of the symmetry energy (Lsym), the isovector incompressibility (Ksym), or the isoscalar squewness (Qsat)
|
470 |
Optimization and parallelization of the boundary element method for the wave equation in time domain / Optimisation et parallèlisation de la méthode des élements frontières pour l’équation des ondes dans le domaine temporelBramas, Bérenger 15 February 2016 (has links)
La méthode des éléments frontières pour l’équation des ondes (BEM) est utilisée en acoustique eten électromagnétisme pour simuler la propagation d’une onde avec une discrétisation en temps(TD). Elle permet d’obtenir un résultat pour plusieurs fréquences à partir d’une seule résolution.Dans cette thèse, nous nous intéressons à l’implémentation efficace d’un simulateur TD-BEM sousdifférents angles. Nous décrivons le contexte de notre étude et la formulation utilisée qui s’exprimesous la forme d’un système linéaire composé de plusieurs matrices d’interactions/convolutions.Ce système est naturellement calculé en utilisant l’opérateur matrice/vecteur creux (SpMV). Nousavons travaillé sur la limite du SpMV en étudiant la permutation des matrices et le comportementde notre implémentation aidé par la vectorisation sur CPU et avec une approche par bloc surGPU. Nous montrons que cet opérateur n’est pas approprié pour notre problème et nous proposonsde changer l’ordre de calcul afin d’obtenir une matrice avec une structure particulière.Cette nouvelle structure est appelée une matrice tranche et se calcule à l’aide d’un opérateur spécifique.Nous décrivons des implémentations optimisées sur architectures modernes du calculhaute-performance. Le simulateur résultant est parallélisé avec une approche hybride (mémoirespartagées/distribuées) sur des noeuds hétérogènes, et se base sur une nouvelle heuristique pouréquilibrer le travail entre les processeurs. Cette approche matricielle a une complexité quadratiquesi bien que nous avons étudié son accélération par la méthode des multipoles rapides (FMM). Nousavons tout d’abord travaillé sur la parallélisation de l’algorithme de la FMM en utilisant différentsparadigmes et nous montrons comment les moteurs d’exécution sont adaptés pour relâcher le potentielde la FMM. Enfin, nous présentons des résultats préliminaires d’un simulateur TD-BEMaccéléré par FMM . / The time-domain BEM for the wave equation in acoustics and electromagnetism is used to simulatethe propagation of a wave with a discretization in time. It allows to obtain several frequencydomainresults with one solve. In this thesis, we investigate the implementation of an efficientTD-BEM solver using different approaches. We describe the context of our study and the TD-BEMformulation expressed as a sparse linear system composed of multiple interaction/convolutionmatrices. This system is naturally computed using the sparse matrix-vector product (SpMV). Wework on the limits of the SpMV kernel by looking at the matrix reordering and the behavior of ourSpMV kernels using vectorization (SIMD) on CPUs and an advanced blocking-layout on NvidiaGPUs. We show that this operator is not appropriate for our problem, and we then propose toreorder the original computation to get a special matrix structure. This new structure is called aslice matrix and is computed with a custom matrix/vector product operator. We present an optimizedimplementation of this operator on CPUs and Nvidia GPUs for which we describe advancedblocking schemes. The resulting solver is parallelized with a hybrid strategy above heterogeneousnodes and relies on a new heuristic to balance the work among the processing units. Due tothe quadratic complexity of this matrix approach, we study the use of the fast multipole method(FMM) for our time-domain BEM solver. We investigate the parallelization of the general FMMalgorithm using several paradigms in both shared and distributed memory, and we explain howmodern runtime systems are well-suited to express the FMM computation. Finally, we investigatethe implementation and the parametrization of an FMM kernel specific to our TD-BEM, and weprovide preliminary results.
|
Page generated in 0.1004 seconds