No

Ray theory plays an important role in seismic imaging and velocity model building. Although rays are the high-frequency asymptotic solutions of the wave equation and therefore do not usually capture all details of the wave physics, they provide a convenient and effective tool for a wide range of geophysical applications. Especially, ray theory gives rise to traveltimes. Even though wave-based methods for imaging and model building had attracted significant attentions in recent years, traveltime-based methods are still indispensable and should be further developed for improved accuracy and efficiency. Moreover, there are possibilities for new ray theoretical methods that might address the difficulties faced by conventional traveltime-based approaches. My thesis consists of mainly four parts. In the first part, starting from the linearized eikonal equation, I derive and implement a set of linear operators by upwind finite differences. These operators are not only consistent with fast-marching eikonal solver that I use for traveltime computation but also computationally efficient. They are fundamental elements in the numerical implementations of my other works. Next, I investigate feasibility of using the double-square-root eikonal equation for near surface first-break traveltime tomography. Compared with traditional eikonal-based approach, where the gradient in its adjoint-state tomography neglects information along the shot dimension, my method handles all shots together. I show that the double-square-root eikonal equation can be solved efficiently by a causal discretization scheme. The associated adjoint-state tomography is then realized by linearization and upwind finite-differences. My implementation does not need adjoint state as an intermediate parameter for the gradient and therefore the overall cost for one linearization update is relatively inexpensive. Numerical examples demonstrate stable and fast convergence of the proposed method. Then, I develop a strategy for compressing traveltime tables in Kirchhoff depth migration. The method is based on differentiating the eikonal equation in the source position, which can be easily implemented along with the fast-marching method. The resulting eikonal-based traveltime source-derivative relies on solving a version of the linearized eikonal equation, which is carried out by the upwind finite-differences operator. The source-derivative enables an accurate Hermite interpolation. I also show how the method can be straightforwardly integrated in anti-aliasing and Kirchhoff redatuming. Finally, I revisit the classical problem of time-to-depth conversion. In the presence of lateral velocity variations, the conversion requires recovering geometrical spreading of the image rays. I recast the governing ill-posed problem in an optimization framework and solve it iteratively. Several upwind finite-differences linear operators are combined to implement the algorithm. The major advantage of my optimization-based time-to-depth conversion is its numerical stability. Synthetic and field data examples demonstrate practical applicability of the new approach. / text

In the quest for a high fidelity numerical scheme for CFD it is necessary to satisfy demands on accuracy, conservation, positivity and upwinding. Recently the requirement of rotational invariance has been added to this list. In the present work we are mainly interested in upwinding and rotational invariance of Least Squares Kinetic Upwind Method (LSKUM). The standard LSKUM achieves upwinding by stencil division along co-ordinate axes which is referred to as co-ordinate splitting method. This leads to symmetry breaking and rotational invariance is lost. Thus the numerical solution becomes co-ordinate frame dependent. To overcome this undesirable feature of existing numerical schemes, a new algorithm called KUMARI (Kinetic Upwind Method Avec Rotational Invariance, 'Avec' in French means 'with') has been developed. The interesting mathematical relation between directional derivative, Fourier series and divergence operator has been used effectively to achieve upwinding as well as rotational invariance and hence making the scheme truly or genuinely multidimensional upwind scheme. The KUMARI has been applied to the test case of standard 2D shock reflection problem, flow past airfoils, then to 2D blast wave problem and lastly to 2D Riemann problem (Lax's 3rd test case). The results show that either KUMARI is comparable to or in some cases better than the usual LSKUM.

Uma família de esquemas upwind denominada FUS-RF (Family of Upwind Scheme via Rational Functions), que é derivada via funções racionais e dependentes de parâmetros, é proposta para o cálculo de soluções aproximadas de equações de conservação. A fim de ilustrar a capacidade dos novos esquemas, vários resultados computacionais para sistemas hiperbólicos de leis de conservação são apresentados. Esses testes mostram a inflluência dos parâmetros escolidos sobre a qualidade dos resultados numéricos. Fazendo o uso de alguns testes de padrões, comparação dos novos limitadores de fluxo correspondentes com o esquema bem estabelecido van Albada e esquema atual EPUS (Eight-degree Polynomial Upwind Scheme) é também realizada. Os testes numéricos realizados em transporte de escalares e problemas de dinâmica dos gases confirmam que alguns esquemas da família FUS-RF são não oscilatórios e fornecem resultados confiáveis quando perfis descontínuos são transportados. Um esquema particular dessa nova família de esquemas upwind é então selecionado e utilizado para resolver escoamentos complexos com superfícies livres móveis / A family of upwind schemes named as FUS-RF (Family of Upwind Scheme via Rational Functions), which is derived via rational functions and dependent of parameters, is proposed for computing approximated solutions of conservation equations. In order to illustrate the capability of the new schemes, several computational results for system of hyperbolic conservation laws are presented. These results clarify the influence of the chosen parameters on the quality of the numerical calculations. Using some standard test cases, comparison of the new corresponding limiters with the well established van Albada and the recently introduced EPUS (Eight-degree Polynomial Upwind Scheme) limiters is also done. Numerical tests on both scalar and gas dynamics problems confirm that some schemes of the FUS-RF family are non-oscillatory and yield sharp results when solving profiles with discontinuities. A particular upwind scheme of this new family is then slected and used for solving complex incompressible moving free surface flows

Dans le contexte du futur système de gestion du trafic aérien, un des objectifs consiste à réduire l’impact environnemental du trafic aérien. Pour respecter ce but, le concept de “free-route”, introduit dans les années 1990, semble bien adapté aujourd’hui. Les avions ne seraient plus contraints à voler le long de routes aériennes, mais pourraient suivre des trajectoires optimales en terme de consommation. L’objectif de cette thèse est d’introduire une nouvelle méthode de planification du trafic à l’horizon pré-tactique avec des objectifs quelques fois contradictoires, c’est-à-dire avec pour but de minimiser la consommation ou de façon équivalente la durée de trajet en tenant compte des conditions météorologiques et de minimiser l’encombrement de l’espace aérien.La méthode a été mise au point en deux étapes. La première étape a été consacrée au calcul d’une seule trajectoire optimale en terme de temps de vol en tenant compte du vent et de contraintes celles des zones interdites de survol. Cette optimisation est basée sur une adaptation de l’algorithme Ordered Upwind. La deuxième étape introduit un algorithme hybride développé, basé sur un algorithme de recuit simulé et sur l’algorithme déterministe développé dans la première étape, afin de minimiser un compromis entre la congestion et la consommation. L’algorithme combine ainsi la capacité d’atteindre la solution optimale globale via une recherche locale qui permet d’accélérer la convergence.Des simulations numériques avec des prévisions de vent sur du trafic européen donnent des résultats encourageants qui démontrent que la méthode globale est à la fois viable et bénéfique en terme du temps de vol total comme de la congestion globale donc de la diminution des conflits / In the context of the future Air Traffic Management system (ATM), one objective is to reduce the environmental impact of air traffic. With respect to this criterion, the “freeroute” concept, introduced in the mid 1990’s, is well suited to improve over nowadays airspace based ATM. Aircraft will no longer be restricted to fly along airways and may fly along fuel-optimal routes. The objective of this thesis is to introduce a novel pretactical trajectory planning methodology which aims at minimizing airspace congestion while taking into account weather conditions so as to minimize also fuel consumption.The development of the method was divided in two steps. The first step is dedicated to compute a time-optimal route for one aircraft taking into account wind conditions. This optimization is based on an adaptation of the Ordered Upwind Method on the sphere.The second step introduces a hybrid algorithm, based on simulated annealing and on the deterministic algorithm developed in the first step, in order to minimize congestion. Thus the algorithm combines the ability to reach a globally-optimal solution with a local-search procedure that speeds up the convergence.

Uma família de esquemas upwind denominada FUS-RF (Family of Upwind Scheme via Rational Functions), que é derivada via funções racionais e dependentes de parâmetros, é proposta para o cálculo de soluções aproximadas de equações de conservação. A fim de ilustrar a capacidade dos novos esquemas, vários resultados computacionais para sistemas hiperbólicos de leis de conservação são apresentados. Esses testes mostram a inflluência dos parâmetros escolidos sobre a qualidade dos resultados numéricos. Fazendo o uso de alguns testes de padrões, comparação dos novos limitadores de fluxo correspondentes com o esquema bem estabelecido van Albada e esquema atual EPUS (Eight-degree Polynomial Upwind Scheme) é também realizada. Os testes numéricos realizados em transporte de escalares e problemas de dinâmica dos gases confirmam que alguns esquemas da família FUS-RF são não oscilatórios e fornecem resultados confiáveis quando perfis descontínuos são transportados. Um esquema particular dessa nova família de esquemas upwind é então selecionado e utilizado para resolver escoamentos complexos com superfícies livres móveis / A family of upwind schemes named as FUS-RF (Family of Upwind Scheme via Rational Functions), which is derived via rational functions and dependent of parameters, is proposed for computing approximated solutions of conservation equations. In order to illustrate the capability of the new schemes, several computational results for system of hyperbolic conservation laws are presented. These results clarify the influence of the chosen parameters on the quality of the numerical calculations. Using some standard test cases, comparison of the new corresponding limiters with the well established van Albada and the recently introduced EPUS (Eight-degree Polynomial Upwind Scheme) limiters is also done. Numerical tests on both scalar and gas dynamics problems confirm that some schemes of the FUS-RF family are non-oscillatory and yield sharp results when solving profiles with discontinuities. A particular upwind scheme of this new family is then slected and used for solving complex incompressible moving free surface flows

No / Owing to unpredictable bed topography conditions in natural shallow flows, various numerical methods have been developed to improve the treatment of source terms in the shallow water equations. The surface gradient method is an attractive approach as it includes a numerically simple approach to model flows over topographically-varied channels. To further improve the performance of this method, this study deals with the numerical improvement of the shallow-flow source terms. The so-called surface gradient upwind method (SGUM) integrates the source term treatment in the inviscid discretization scheme. A finite volume model (FVM) with the monotonic upwind scheme for conservative laws is used. The Harten–Lax–van Leer-contact approximate Riemann solver is used to reconstruct the Riemann problem in the FVM. The proposed method is validated against published analytical, numerical, and experimental data, indicating that the SGUM is robust and treats the source terms in different flow conditions well.

Flux gradient terms and source terms are two fundamental components of hyperbolic systems of balance law. Though having distinct mathematical natures, they form and maintain an exact balance in a special class of solutions, which are called steady-state solutions. In this dissertation, we are interested in the construction of well-balanced schemes, which are the numerical methods for hyperbolic systems of balance laws that are capable of exactly preserving steady-state solutions on the discrete level. We first introduce a well-balanced scheme for the Euler equations of gas dynamics with gravitation. The well-balanced property of the designed scheme hinges on a reconstruction process applied to equilibrium variables---the quantities that stay constant at steady states. In addition, the amount of numerical viscosity is reduced in the areas where the flow is in (near) steady-state regime, so that the numerical solutions under consideration can be evolved in a well-balanced manner. We then consider the shallow water equations with friction terms, which become very stiff when the water height is close to zero. The stiffness in the friction terms introduces additional difficulty for designing an efficient well-balanced scheme. If treated explicitly, the stiff friction terms impose a severe restriction on the time step. On the other hand, a straightforward (semi-) implicit treatment of the stiff friction terms can greatly enhance the efficiency, but will break the well-balanced property of the resulting scheme. To this end, we develop a new semi-implicit Runge-Kutta time integration method that is capable of maintaining the well-balanced property under the time step restriction determined exclusively by non-stiff components in the underlying equations. The well-balanced property of our schemes are tested and verified by extensive numerical simulations, and notably, the obtained numerical results clearly indicate that the well-balanced property plays an important role in achieving high resolutions when a coarse grid is used. / acase@tulane.edu

acase@tulane.edu / Shallow water models are widely used to describe and study fluid dynamics phenomena where the horizontal length scale is much greater than the vertical length scale, for example, in the atmosphere and oceans. Since analytical solutions of the shallow water models are typically out of reach, development of accurate and efficient numerical methods is crucial to understand many mechanisms of atmospheric and oceanic phenomena. In this dissertation, we are interested in developing simple, accurate, efficient and robust numerical methods for two shallow water models --- the Saint-Venant system of shallow water equations and the two-mode shallow water equations. We first construct a new second-order moving-water equilibria preserving central-upwind scheme for the Saint-Venant system of shallow water equations. Special reconstruction procedure and source term discretization are the key components that guarantee the resulting scheme is capable of exactly preserving smooth moving-water steady-state solutions and a draining time-step technique ensures positivity of the water depth. Several numerical experiments are performed to verify the well-balanced and positivity preserving properties as well as the ability of the proposed scheme to accurately capture small perturbations of moving-water steady states. We also demonstrate the advantage and importance of utilizing the new method over its still-water equilibria preserving counterpart. We then develop and study numerical methods for the two-mode shallow water equations in a systematic way. Designing a reliable numerical method for this system is a challenging task due to its conditional hyperbolicity and the presence of nonconservative terms. We present several numerical approaches---two operator splitting methods (based on either Roe-type upwind or central-upwind scheme), a central-upwind scheme and a path-conservative central-upwind scheme---and test their performance in a number of numerical experiments. The obtained results demonstrate that a careful numerical treatment of nonconservative terms is crucial for designing a robust and highly accurate numerical method for this system. / 1 / Yuanzhen Cheng

A block-based adaptive mesh refinement (AMR) finite-volume scheme is developed for solution of hyperbolic conservation laws on two-dimensional hybrid multi-block meshes. A Godunov-type upwind finite-volume spatial-discretization scheme, with piecewise limited linear reconstruction and Riemann-solver based flux functions, is applied to the quadrilateral cells of a hybrid multi-block mesh and these computational cells are embedded in either body-fitted structured or general unstructured grid partitions of the hybrid grid. A hierarchical quadtree data structure is used to allow local refinement of the individual subdomains based on heuristic physics-based refinement criteria. An efficient and scalable parallel implementation of the proposed algorithm is achieved via domain decomposition. The performance of the proposed scheme is demonstrated through application to solution of the compressible Euler equations for a number of flow configurations and regimes in two space dimensions. The efficiency of the AMR procedure and accuracy, robustness, and scalability of the hybrid mesh scheme are assessed.