基于瞬时电流脉冲的三维时间域航空电磁全波形正演模拟

传统时间域航空电磁全波形正演模拟主要采用间接法(褶积算法)和直接法(时域有限差分方法等),然而褶积算法需要获得精确的电流二阶导数,这给发射电流数据采集工作带来极大挑战;时域有限差分方法受到网格和时间步长的严格限制,缺乏灵活性.为解决这些问题,本文采用时域有限元方法,通过直接改变每个时间道上的瞬时电流强度模拟任意发射波形的电磁响应.由于无需计算电流二阶导数,大大提高了正演结果的精度.利用基于非结构四面体网格的矢量有限元方法和后推欧拉技术对时间域电场扩散方程进行空间和时间离散,实现三维航空电磁时间域全波形的直接正演模拟.由此不仅可以模拟复杂的地电结构,而且基于后推欧拉法的无条件稳定性,可以更加灵活地选取时间步长,提高计算效率.通过与1D数值模拟结果进行对比验证了该方法的准确性.本文对三维柱状体模型上HELITEM MULTIPULSE和VTEM系统实际发射波形电磁响应进行模拟,并与褶积算法的结果进行比较,验证了本文算法模拟实际发射波形电磁响应的优越性.对复杂三维地质体模型上不同发射波形电磁响应进行模拟,验证了时间域有限元算法可有效处理复杂地下地质结构.     

三维时间域航空电磁有理Krylov正演研究

常规的三维时间域航空电磁模拟通常采用隐式步长方法进行时间离散,需要几次矩阵分解和上百次右端源项回带,计算效率较低.为了提高正演计算效率,本文提出使用有理Krylov方法求解时间域电场扩散方程.首先使用非结构四面体网格进行空间离散,采用Nédélec矢量基函数近似四面体单元内的电场;然后基于有限元离散给出矩阵指数和矢量乘积表示的电场显式解;最后采用有理Arnoldi算法构造Krylov子空间内的正交基函数并进一步求解矩阵指数与矢量的乘积,直接得到任意时刻的电场解向量,避免步长离散过程.此外,本文还提出一种指数加权偏移参数优化方法,使得有理Arnoldi近似在瞬变衰减晚期具备更高的精度,从而降低Krylov子空间阶数并提高计算效率.通过和层状模型解析解的对比验证了有理Krylov方法的精度.针对三维异常体模型使用全局网格和局部网格剖分并和其他数值方法比较,进一步说明了有理Krylov方法的有效性.     

修正辛格式有限元法的地震波场模拟

三角网格有限元法具有网格剖分的灵活性,能有效模拟地震波在复杂介质中的传播.但传统有限元法用于地震波场模拟时计算效率较低,消耗较大计算资源.本文采用改进的核矩阵存储(IKMS)策略以提高有限元法的计算效率,该方法不用组合总体刚度矩阵,且相比于常规有限元法节省成倍的内存.对于时间离散,将有限元离散后的地震波运动方程变换至Hamilton体系,在显式二阶辛Runge-Kutta-Nystr9m(RKN)格式的基础之上加入额外空间离散算子构造修正辛差分格式,通过Taylor展开式得到具有四阶时间精度时间格式,且辛系数全为正数.本文从理论上分析了时空改进方法相比传统辛-有限元方法在频散压制、稳定性提升等方面的优势.数值算例进一步证实本方法具有内存消耗少、稳定性强和数值频散弱等优点.     

求解声波方程的辛可分Runge-Kutta方法

本文基于声波方程的哈密尔顿系统,构造了一种新的保辛数值格式,简称NSPRK方法.该方法在时间上采用二阶辛可分Runge-Kutta方法,空间上采用近似解析离散算子进行离散逼近.针对本文发展的新方法,我们给出了NSPRK方法在一维和二维情况下的稳定性条件、一维数值频散关系以及二维数值误差,并在计算效率方面与传统辛格式和四阶LWC方法进行了比较.最后,我们将本文方法应用于声波在三层各向同性介质和异常体模型中的波传播数值模拟.数值结果表明,本文发展的NSPRK方法能有效压制粗网格或具有强间断情况下数值方法所存在的数值频散,从而极大地提高了计算效率,节省了计算机内存.     

旋转时空双变网格有限差分地震波场正演模拟

在交错网格有限差分算法中,模型网格剖分原则与正演计算效率密切相关.当模型存在小型非均质体或者低降速层等情况,为保证精度,满足稳定性条件,需缩小网格步长,导致局部过采样,计算效率低下.为保证模拟精度的同时保持高计算效率,通常采用变化的空间网格与时间步长相结合的高阶有限差分模拟方法对波场进行模拟.然而,时空双变算法存在着交错网格固有缺点,在模拟非均匀性较强的复杂介质波场传播时,需对介质参数进行平均或内插.同时,该算法在空间与时间上的变网格实现极为复杂.为压制变网格引起的虚假反射,提升模拟精度和计算效率,本文在时空双变网格算法的基础上,采用旋转差分角度的方式,提出了旋转时空双变交错网格算法.该方法既保留了旋转网格和双变网格的优势,又简化了时空双变算法流程,更利于推广和应用.     

一种求解黏弹塑性介质流动的全隐格式算法

在岩石圈动力学数值模拟中,现有的黏弹塑性数值模型通常在每个时间步先使用迎风间断Galerkin方法对偏应力张量进行旋转,然后使用Particle-In-Cell (PIC)方法或场方法求解对流方程,所构成的时间离散格式为显格式或半隐格式.我们将黏弹塑性介质的经典数值模型和非牛顿流体力学领域的黏弹性流体问题计算方法相结合,提出了一种基于有限单元法的求解黏弹塑性介质流动的全隐格式算法.本文通过数值实验将这种全隐格式算法与PIC方法和半隐格式算法进行了详细的对比,实验结果表明全隐格式算法的数值稳定性优于PIC方法,而当Deborah数较高时精度优于半隐格式算法.同时,我们在应力场引入三阶WENO (Weighted Essentially Non-Oscillatory)限制器,可以在保留数值解精度的同时有效消除应力集中引起的数值振荡.     

重力异常场空间-波数混合域三维数值模拟

重力勘探中复杂条件下的三维正演计算量大存储要求高,使得这种条件下重力勘探高效、精细正反演变得困难.针对这一问题,提出一种空间-波数混合域数值模拟方法,该方法将空间域引力位积分进行水平方向二维傅里叶变换,将三维空间域卷积问题转换为多个不同波数之间相互独立的空间垂向一维积分问题,一维积分垂向可离散为多个单元积分之和,每个单元采用二次形函数表征密度变化,可得出单元积分的解析表达式.该方法计算量和存储需求少,算法高度并行;保留垂向为空间域,优势之一在于可根据实际情况合理调整单元疏密程度,准确模拟任意复杂地形和密度异常体的重力异常,兼顾计算精度与计算效率;优势之二在于用形函数拟合求得积分的解析解,计算精度和效率高;充分利用一维形函数积分的高效和高精度,不同波数之间一维积分高度并行性及快速傅里叶变换的高效性,实现重力异常场三维数值模拟.设计棱柱体模型,通过数值解和解析解对比验证了该方法的正确性、适用性和高效性.针对任意复杂地形条件下的重力场及其张量的模拟问题,提出一种快速算法,对其有效性进行了验证.探究标准FFT法的截断效应对计算精度的影响,对比分析Gauss-FFT法和标准FFT扩边法两种方法的计算精度和效率,总结了二者的选取策略,结果表明选用标准FFT扩边法计算效率更高.实际地形的数值模拟表明本文算法适用于任意复杂地形的高效计算.     

起伏地表弹性波传播的间断Galerkin有限元数值模拟方法

间断Galerkin有限元法（DG-FEM）作为一种有效的高阶有限元法受到了国内外学者的广泛关注.本文基于任意高阶间断Galerkin有限元法对弹性波方程进行空间离散,并将离散后所得的非齐次线性常微分方程系统齐次化,最后结合针对齐次问题的强稳定性保持龙格库塔（SSP Runge-Kutta）算法,将DG-FEM推广至时间任意高阶精度.另外,借鉴近最佳匹配层（NPML）的思想,基于复频移（CFS）拉伸坐标变换推导了一种新的PML吸收边界条件（简称为CFS-NPML）,该CFS-NPML能够与DG-FEM算法很好地结合,形成有效的起伏地表地震波传播数值模拟技术.数值试验结果表明,DG-FEM具有高阶精度,可以适应任意复杂起伏地表和复杂构造情况下的弹性波传播数值模拟.同时,CFS-NPML对包括面波等震相的人为边界反射都具有良好的吸收效果.     

可变网格与局部时间步长的高阶差分地震波数值模拟

提高计算精度与效率是所有地震波正演方法所追求的目标.本文通过将变化的空间网格与变化的时间步长技术相结合,提出一种空间网格大小与时间步长均可任意变化的高阶有限差分模拟方法.一系列数值试验表明,该方法在保证模拟精度的同时,显著提高了模拟的效率.这种可变空间网格与局部时间步长的模拟方法,能够精细刻画含孔缝洞介质以及横向变化剧烈介质的微小结构,减小地震波模拟误差,提高介质细微结构情况下的地震波传播模拟精度与效率.     

求解双相和黏弹性介质波传播方程的间断有限元方法及其波场模拟

间断有限元（Discontinuous Galerkin：DG）方法具有低数值频散、网格剖分灵活、能模拟地震波在复杂介质中传播等优点.因此,本文将一种新的DG方法推广到双相和黏弹性等复杂介质的地震波场模拟,发展了求解Biot弹性波方程和D'Alembert介质波动方程的DG方法.首先通过引入辅助变量将Biot双相介质弹性波方程和D'Alembert介质波动方程转化为关于时间-空间的一阶偏微分方程组,然后对该方程组进行DG空间离散,得到半离散化的常微分方程组.最后,对此常微分方程组,应用加权的Runge-Kutta格式进行时间推进计算.数值结果表明,DG方法可以有效地求解Biot双相介质弹性波方程和D'Alembert介质波动方程,并能很好地压制因离散求解波动方程而产生的数值频散,获得清晰的各种地震波震相.     

A computational model for coupled multiphysics processes of CO2 sequestration in fractured porous media

In this paper, a computational model for the simulation of coupled hydromechanical and electrokinetic flow in fractured porous media is introduced. Particular emphasis is placed on modeling CO₂ flow in a deformed, fractured geological formation and the associated electrokinetic flow. The governing field equations are derived based on the averaging theory and the double porosity model. They are solved numerically with a mixed discretization scheme, formulated on the basis of the standard Galerkin finite element method, the extended finite element method, the level-set method and the Petrov–Galerkin method. The standard Galerkin method is utilized to discretize the equilibrium and the diffusive dominant field equations, and the extended finite element method, together with the level-set method and the Petrov–Galerkin method, are utilized to discretize the advective dominant field equations. The level-set method is employed to trace the CO₂ plume front, and the extended finite element method is employed to model the high gradient in the saturation field front. The proposed mixed discretization scheme leads to a convergent system, giving a stable and effectively mesh-independent model. The accuracy and computational efficiency of the proposed model is evaluated by verification and numerical examples. Effects of the fracture spacing on the CO₂ flow and the streaming potential are discussed.     

Coupling local discontinuous and continuous galerkin methods for flow problems

In this paper, we discuss the local discontinuous Galerkin (LDG) method applied to elliptic flow problems and give details on its implementation, focusing specifically on the case of piecewise linear approximating functions. The LDG method is one a family of discontinuous Galerkin (DG) methods proposed for diffusion models. These DG methods allow for very general hp finite element meshes, and produce locally conservative fluxes which can be used in coupling flow with transport. The drawback to DG methods, when compared to their continuous counterparts, is the number of degrees of freedom required to compute the solution. This motivates a coupled approach, discussed herein, where the solution is allowed to be continuous or discontinuous on a node-by-node basis. This coupled approximation is locally conservative in regions where the numerical solution is discontinuous. Numerical results for fully discontinuous, continuous and coupled discontinuous/continuous solutions are given, where we compare solution accuracy, matrix condition numbers and mass balance errors for the various approaches.     

A three-dimensional discontinuous Galerkin model applied to the baroclinic simulation of Corpus Christi Bay

In this work, we present results of a numerical study of Corpus Christi Bay, Texas and surrounding regions and compare simulated model results to recorded data. The validation data for the year 2000 include the water elevation, velocity, and salinity at selected locations. The baroclinic computations were performed using the University of Texas Bays and Estuaries 3D (UTBEST3D) simulator based on a discontinuous Galerkin finite element method for unstructured prismatic meshes. We also detail some recent advances in the modeling capabilities of UTBEST3D, such as a novel turbulence scheme and the support for local vertical discretization on parts of the computational domain. All runs were conducted on parallel clusters; an evaluation of parallel performance of UTBEST3D is included.     

Numerical mass balance for soil-moisture transport problems

The Galerkin finite element method coupled with the Crank-Nicolson time advance procedure is often used as a numerical analog for unsaturated soil-moisture transport problems. The Crank-Nicolson procedure leads to numerical mass balance problems which results in instability. A new temporal and spatial integration procedure is proposed that exactly satisfies mass balance for the approximating function used. This is accomplished by fitting polynomials continuously throughout the time and space domain and integrating the governing differential equations. To reduce computational effort, the resulting higher order polynomials are reduced to quadratic and linear piece-wise continuous polynomial approximation functions analogous to the finite element approach. Results indicate a substantial improvement in accuracy over the combined Galerkin and Crank-Nicolson methods when comparing to simplified problems where analytical solutions are available.     

Application of the discontinuous spectral Galerkin method to groundwater flow

The discontinuous spectral Galerkin method uses a finite-element discretization of the groundwater flow domain with basis functions of arbitrary order in each element. The independent choice of the basis functions in each element permits discontinuities in transmissivity in the flow domain. This formulation is shown to be of high order accuracy and particularly suitable for accurately calculating the flow field in porous media. Simulations are presented in terms of streamlines in a bidimensional aquifer, and compared with the solution calculated with a standard finite-element method and a mixed finite-element method. Numerical simulations show that the discontinuous spectral Galerkin approximation is more efficient than the standard finite-element method (in computing fluxes and streamlines/pathlines) for a given accuracy, and it is more accurate on a given grid. On the other hand the mixed finite-element method ensures the continuity of the fluxes at the cell boundaries and it is particular efficient in representing complicated flow fields with few mesh points. Simulations show that the mixed finite-element method is superior to the discontinuous spectral Galerkin method producing accurate streamlines even if few computational nodes are used. The application of the discontinuous Galerkin method is thus of interest in groundwater problems only when high order and extremely accurate solutions are needed.     

基于多辛结构谱元法的保结构地震波场模拟

近年来构造高精度、高效且具有长时程跟踪能力的保结构算法已逐渐成为地震波模拟算法发展的重要方向之一. 本文基于谱元法(SEM)进行空间域离散结合新推导的三阶辛算法(NTSTO)进行时间域离散,构造了一种具有时-空保结构特性的新算法. 本文给出的多组数值试验对比结果表明,本算法无论在内存消耗、稳定性及计算耗时,还是长时程跟踪能力方面都有上佳的表现; 另外,本文给出的起伏地表多层介质模型的数值算例验证了该算法处理复杂几何形状和复杂介质时的有效性. 该多辛结构谱元法的发展将为长时程地震波传播的计算及模拟提供更为广泛而有效的选择.     

稀疏存储的显式有限元三角网格地震波数值模拟及其PML吸收边界条件

有限元法是复杂介质地震模拟的有力工具,它能比较客观地反映地震波的传播,比较细致地再现地震图像.但是,为了获得较精确的结果,有限元法模拟地震波的传播需要的网格点数多,具有计算量大和消耗内存多的缺点.针对上述缺点,本文对刚度矩阵采用压缩存储行(CSR)格式,以减少计算量并节省内存;采用集中质量矩阵得到对角的质量矩阵以提高有限元法(显式有限元)的计算效率;时间离散采用保能量的Newmark算法以提高有限元法的计算精度;采用变分形式(弱形式)的PML吸收边界条件对人工截断边界进行处理.通过与高精度的数值方法--谱元法的数值试验的对比表明,上述方法的引入可使有限元法在计算精度和计算效率方面均可取得比较显著的改进.为了获得相当的计算精度,相比于7阶谱元法,显式有限元法需要更精细的网格.然而,显式有限元法的计算速度比前者快近2倍,而内存需求仅为谱元法的1/4~1/6.