Spelling suggestions: "subject:"adjoint state method"" "subject:"adjoints state method""
1 |
Tomographie de pente fondée sur l'état adjoint : un outil d'estimation de modèle de vitesse pour l'imagerie sismique / Adjoint slope tomography : a velocity macro-model building tool for seismic imagingTavakolifaradonbeh, Borhan 16 November 2017 (has links)
La construction du macro-modèle de vitesse est une étape cruciale de la chaîne d’imagerie sismique afin de produire un modèle adéquat pour la migration ou l'inversion de la formes d’onde complètes (Full Waveform Inversion). Parmi les approches possibles pour construire ce macro-modèle, la tomographie des pentes est fondée sur le pointé d’évènements localement cohérents caractérisés par leur temps de trajet et leurs pentes dans les collections de sismogrammes à source et réflecteur communs. Chaque évènement dans les observables est associé à un petit segment de réflecteur dans le sous-sol caractérisé par sa position et son pendage. Cette thèse propose une reformulation de la tomographie des pentes pour palier aux deux limitations sus-mentionnées. Les temps de trajet sont calculés à l’aide d’un solveur eikonal et la méthode de l’état adjoint est utilisée pour calculer efficacement le gradient de la fonction coût dans le contexte de méthodes d’optimisation locale. Le solveur eikonal est fondé sur une méthode aux différences finies pour la discrétisation des opérateurs différentiels. La méthode est implémentée pour des milieux 2D transverses isotropes avec un axe de symétrie dont l’orientation varie spatialement (milieux TTI). La méthode est évaluée avec différents examples synthétiques comme les cas du modèle isotrope complexe Marmousi et du modèle 2D TTI BP-salt. Dans le cas de milieux TTI, les couplages pouvant exister entre les paramètres de différente nature sont analysés avec un cas synthétique canonique. Cette thèse se conclut par une application à des données de sismique réflexion multitrace large bande (fournie par CGG) afin de reconstruire le modèle de vitesse vertical. / Velocity macro-model building is a crucial step in seismic imaging workflows as it provides the necessary background model for migration or full waveform inversion. Slope tomography, as a reliable alternative for conventional tomography, provides a tool to achieve this purpose where one picks the local coherent events rather than continuous events. These approaches are based on the slopes and traveltimes of the local coherent events which are tied to a reflecting/diffracting point (scatterer) in the subsurface. In this thesis, I introduce an anisotropic slope tomographic approach which aim at macro-model building for subsurface properties in 2D tilted transversely isotropic (TTI) media. In this method, I reformulate the stereotomography, as an slope tomographic tool, such that I replace the ray-based forward engine with a TTI eikonal solver and take advantage of the adjoint state method to calculate the gradients. In result, I can efficiently calculate the traveltimes for complex media and long offset acquisition on a regular grid of the subsurface and formulate a matrix-free framework for the inversion. Different synthetic examples including the isotropic Marmousi and 2D TTI BP-salt model are considered to assess the potential of the method in subsurface parameter estimations. Also, through a simple example, the footprint of parameter cross-talk is investigated for the Thomsen parametrization. As a real data application, the proposed method is applied on a 2D marine BroadSeis data set (provided by CGG) to retrieve the vertical velocity of the subsurface.
|
2 |
Lois de conservation pour la modélisation des mouvements de foule / Crowd motion modeling by conservation lawsMimault, Matthias 14 December 2015 (has links)
Dans cette thèse, on considère plusieurs problèmes issus de la modélisation macroscopique des mouvements de foule. Le premier modèle consiste en une loi de conservation avec un flux discontinu, le second est un système mixte hyperbolique-elliptique et le dernier est une équation non-locale. D'abord, on utilise le modèle de Hughes une dimension pour décrire l'évacuation d'un couloir avec deux sorties. Ce modèle couple une loi de conservation avec un flux discontinu à une équation eikonale. On implémente la méthode de suivi de fronts, qui traite explicitement le comportement de la solution non-classique au point de rebroussement, afin d'obtenir des solutions de référence. Elles serviront à tester numériquement la convergence de schémas aux volumes finis classiques. Ensuite, on modélise le croisement de deux groupes marchant dans des directions opposées avec un système de lois de conservation mixte hyperbolique-elliptique dont le flux dépend des deux densités. Le système perd son hyperbolicité pour certainement valeurs de densité. On assiste à l'apparition d'oscillations persistantes mais bornées, ce qui conduit à la reformulation du problème associé dans le cadre des mesures de probabilités. Finalement, on étudie un modèle non-local de trafic piétonnier en deux dimensions. Le modèle consiste en une loi de conservation dont le flux dépend d'une convolution de la densité. Avec ce modèle, on résout un problème d'optimisation pour une évacuation d'une salle avec une méthode de descente, évaluant l'impact du calcul explicite du gradient de la fonction coût avec la méthode de l'état adjoint plutôt que son approximation par différences finies. / In this thesis, we consider nonclassical problems brought out by the macroscopic modeling of pedestrian flow. The first model consists of a conservation law with a discontinuous flux, the second is a mixed hyperbolic-elliptic system of conservation laws and the last one is a nonlocal equation. In the first chapter, we use the Hughes model in one space-dimension to represent the evacuation of a corridor with two exits. The model couples a conservation law with discontinuous flux to an eikonal equation. We implement the wave front tracking scheme, treating explicitly the solution nonclassical behavior at the turning point, to provide a reference solution, which is used to numerically test the convergence of classical finite volume schemes. In the second chapter, we model the crossing of two groups of pedestrians walking in opposite directions with a system of conservation laws whose flux depends on the two densities. This system loses its hyperbolicity for certain density values. We assist to the rising of persistent but bounded oscillations, that lead us to the recast of the problem in the framework of measure-valued solutions. Finally we study a nonlocal model of pedestrian flow in two space-dimensions. The model consists of a conservation law whose flux depends on a convolution of the density. With this model, we solve an optimization problem for a room evacuation with a descent method, evaluating the impact of the explicit computation of the cost function gradient with the adjoint state method rather than approximating it with finite differences.
|
Page generated in 0.0846 seconds