A one-dimensional local discontinuous Galerkin Richards’ equation solution with dual-time stepping

We present a compact, high-order Richards’ equation solver using a local discontinuous Galerkin finite element method in space and a dual-time stepping method in time. Dual-time stepping methods convert a transient problem to a steady state problem, enabling direct evaluation of residual terms and resolve implicit equations in a step-wise manner keeping the method compact and amenable to parallel computing. Verification of our solver against an analytical solution shows high-order error convergence and demonstrates the solvers ability to maintain high accuracy using low spatial resolution; the method is robust and accurately resolves numerical solutions with time steps that are much larger than what is normally required for lower-order implicit schemes. Resilience of our solver (in terms of nonlinear convergence) is demonstrated in ponded infiltration into homogeneous and layered soils, for which HYDRUS-1D solutions are used as qualitative references to gauge performance of two slope limiting schemes.

     

A parallel, implicit, cell‐centered method for two‐phase flow with a preconditioned Newton–Krylov solver

A new parallel solution technique is developed for the fully implicit three‐dimensional two‐phase flow model. An expandedcell‐centered finite difference scheme which allows for a full permeability tensor is employed for the spatial discretization, and backwardEuler is used for the time discretization. The discrete systems are solved using a novel inexact Newton method that reuses the Krylov information generated by the GMRES linear iterative solver. Fast nonlinear convergence can be achieved by composing inexact Newton steps with quasi‐Newton steps restricted to the underlying Krylov subspace. Furthermore, robustness and efficiency are achieved with a line‐search backtracking globalization strategy for the nonlinear systems and a preconditioner for each coupled linear system to be solved. This inexact Newton method also makes use of forcing terms suggested by Eisenstat and Walker which prevent oversolving of the Jacobian systems. The preconditioner is a new two‐stage method which involves a decoupling strategy plus the separate solutions of both nonwetting‐phase pressure and saturation equations. Numerical results show that these nonlinear and linear solvers are very effective.     

Ordering-based nonlinear solver for fully-implicit simulation of three-phase flow

The Fully Implicit Method (FIM) is often the method of choice for the temporal discretization of the partial differential equations governing multiphase flow in porous media. The FIM involves solving large coupled systems of nonlinear algebraic equations. Newton-based methods, which are employed to solve the nonlinear systems, can suffer from convergence problems—this is especially true for large time steps in the presence of highly nonlinear flow physics. To overcome such convergence problems, the time step is usually reduced, and the Newton steps are restarted from the solution of the previous (converged) time step. Recently, potential ordering and the reduced-Newton method were used to solve immiscible three-phase flow in the presence of buoyancy and capillary effects (e.g., Kwok and Tchelepi, J. Comput. Phys. 227(1), 706–727 9). Here, we improve the robustness of the potential-based ordering method in the presence of gravity. Furthermore, we also extend this nonlinear approach to interphase mass transfer. Our algorithm deals effectively with mass transfer between the liquid and gas phases, including phase disappearance (e.g., gas going back in solution) and reappearance (e.g., gas coming out of solution and forming a separate phase), as a function of pressure and composition. Detailed comparisons of the robustness and efficiency of the potential-based solver with state-of-the-art nonlinear/linear solvers are presented for immiscible two-phase (Dead-Oil), Black-Oil, and compositional problems using heterogeneous models. The results show that for large time steps, our nonlinear ordering-based solver reduces the number of nonlinear iterations significantly, which leads to gains in the overall computational cost.     

Ordering-based nonlinear solver for fully-implicit simulation of three-phase flow

The Fully Implicit method (FIM) is often the method of choice for the temporal discretization of the partial differential equations governing multiphase flow in porous media. The FIM involves solving large coupled systems of nonlinear algebraic equations. Newton-based methods, which are employed to solve the nonlinear systems, can suffer from convergence problems—this is especially true for large time steps in the presence of highly nonlinear flow physics. To overcome such convergence problems, the time step is usually reduced, and the Newton steps are restarted from the solution of the previous (converged) time step. Recently, potential ordering and the reduced-Newton method were used to solve immiscible three-phase flow in the presence of buoyancy and capillary effects (e.g., Kwok and Tchelepi, J. Comput. Phys. 227(1), 706–727 2007). Here, we improve the robustness of the potential-based ordering method in the presence of gravity. Furthermore, we also extend this nonlinear approach to interphase mass transfer. Our algorithm deals effectively with mass transfer between the liquid and gas phases, including phase disappearance (e.g., gas going back in solution) and reappearance (e.g., gas coming out of solution and forming a separate phase), as a function of pressure and composition. Detailed comparisons of the robustness and efficiency of the potential-based solver with state-of-the-art nonlinear/linear solvers are presented for immiscible two-phase (Dead-Oil), Black-Oil, and compositional problems using heterogeneous models. The results show that for large time steps, our nonlinear ordering-based solver reduces the number of nonlinear iterations significantly, which leads to gains in the overall computational cost.     

Accelerating the solution of linear systems appearing in two-phase reservoir simulation by the use of POD-based deflation methods

We explore and develop a Proper Orthogonal Decomposition (POD)-based deflation method for the solution of ill-conditioned linear systems, appearing in simulations of two-phase flow through highly heterogeneous porous media. We accelerate the convergence of a Preconditioned Conjugate Gradient (PCG) method achieving speed-ups of factors up to five. The up-front extra computational cost of the proposed method depends on the number of deflation vectors. The POD-based deflation method is tested for a particular problem and linear solver; nevertheless, it can be applied to various transient problems, and combined with multiple solvers, e.g., Krylov subspace and multigrid methods.

     

Comparison of linear solvers for equilibrium geochemistry computations

Equilibrium chemistry computations and reactive transport modelling require the intensive use of a linear solver under very specific conditions. The systems to be solved are small or very small (4 × 4 to 20 × 20, occasionally larger) and are very ill-conditioned (condition number up to 10¹⁰⁰). These specific conditions have never been investigated in terms of the robustness, accuracy, and efficiency of the linear solver. In this work, we present the specificity of the linear system to be solved. Several direct and iterative solvers are compared using a panel of chemical systems, including or excluding the formation of mineral species. We show that direct and iterative solvers can be used for these problems and propose computational keys to improve the chemical solvers.     

Highly efficient iterative methods for solving linear equations of three-dimensional sphere discontinuous deformation analysis

The efficiency of solving equations plays an important role in implicit-scheme discontinuous deformation analysis (DDA). A systematic investigation of six iterative methods, namely, symmetric successive over relaxation (SSOR), Jacobi (J), conjugate gradient (CG), and three preconditioned CG methods (ie, J-PCG, block J-PCG [BJ-PCG], and SSOR-PCG), for solving equations in three-dimensional sphere DDA (SDDA) is conducted in this paper. Firstly, simultaneous equations of the SDDA and iterative formats of the six solvers are presented. Secondly, serial and OpenMP-based parallel computing numerical tests are done on a 16-core PC, the result of which shows that (a) for serial computing, the efficiency of the solvers is in this order: SSOR-PCG > BJ-PCG > J-PCG > SSOR>J > CG, while for parallel computing, BJ-PCG is the best solver; and (b) CG is not only the most sensitive to the ill-condition of the equations but also the most time consuming under both serial and parallel computing. Thirdly, to estimate the effects of equation solvers acting on SDDA computations, an application example with 10 000 spheres and 200 000 calculation steps is simulated on this 16-core PC using serial and parallel computing. The result shows that SSOR-PCG is about six times faster than CG for serial computing, while BJ-PCG is about four times faster than CG for parallel computing. On the other hand, the whole computation time using BJ-PCG for parallel computing is 3.37 hours (ie, 0.061 s per step), which is about 36 times faster than CG for serial computing. Finally, some suggestions are given based on this investigation result.     

A reactive transport simulator for variable porosity problems

ReactMiCP, a new reactive transport simulator was developed based on the semismooth speciation solver SpecMiCP. Its main feature is a sequential iterative operator splitting algorithm where macroscopic model parameters are explicitly included in the formulation. Its correctness, robustness, and efficiency are tested against the MoMaS benchmark and two sets of cement paste lab experiments. We show that a robust speciation solver is a key requirement for good performance of the reactive transport simulator. We also demonstrate that a sequential iterative solver should be preferred over non-iterative solvers when using operator splitting. The flexibility and the speed of the simulator are used to test the influence of the database, the initial condition, and the diffusion coefficient model for the cement paste simulations.     

近似对称矩阵的直接解法及其应用

所谓近似对称矩阵是指矩阵中仅有极少一部分元素是非对称的,在将对角线以上的非对称元素用其对角线以下的对称元素替代后,该矩阵就变成了一个对称矩阵。在求解非线性连续介质力学问题时常常会遇到近似非对称矩阵。基于Sherman-Morrison定理,给出了一种新的近似非对称矩阵的分解算法。在确保数值稳定性的前提下,无论在求解效率还是在内存开销方面新算法都优于一般的非对称稀疏矩阵的求解器,且仅需对传统的基于LDLT分解的求解器略做修改,即可开发出适应于对称和非对称稀疏矩阵的求解器。最后用一个摩擦接触算例,显示了新算法的优越性。     

Performance of a flux splitting scheme when solving the single-phase pressure equation discretized by MPFA

In this article we present a series of tests to study how well suited the TPFA coefficient matrix is as a preconditioner for the MPFA discrete system of equations in an iterative solver, using a flux splitting method. These tests have been conducted for single-phase flow for a wide range of anisotropy, heterogeneity, and grid skewness (mainly parallelogram grids). We use the K-orthogonal part of the MPFA transmissibilities for a parallelogram grid to govern the TPFA transmissibilities. The convergence of the flux splitting method is for each test case measured by the spectral radius of the iteration matrix.     

水平井的水力特征及其解析解的适用条件

利用自制的水平井砂槽模型, 进行了一系列不同流量条件下的水平井抽水试验, 结果表明: (1)在不同出流条件下, 水平井井管中可以同时出现层流-粗糙紊流多种不同流态; (2) 水平井出流条件下, 井管中的水头损失既不能忽略, 也不服从线性变化规律.它与井管中的水流流态有关.用“等水头井壁”或“等强度线汇”来刻画水平井井壁边界条件是不全面的.根据“等强度线汇”理论得到的解析解与试验结果对比发现, 本试验条件下解析解的近似适用条件是: 水平井管中的水流全部为层流(Re < 2 320)或者层流和层流-光滑紊流过渡区(Re < 4 000)同时并存的情况.当水平井管中出现光滑紊流区(Re> 4 000), 即同时有层流、层流-光滑紊流过渡态和光滑紊流或更多种流态时, 解析解已不再适用, 此时必须用新的层流-管流耦合模型来求解.      

Prediction of swelling rocks strain in tunneling

Swelling deformations leading to convergence of tunnels may result in significant difficulties during the construction, in particular for long term use of tunnels. By extracting an experimental based explicit analytical solution for formulating swelling strains as a function of time and stress, swelling strains are predicted from the beginning of excavation and during the service life of tunnel. Results obtained from the analytical model show a proper agreement with experimental results. This closed-form solution has been implemented within a numerical program using the finite element method for predicting time-dependent swelling strain around tunnels. Evaluating effects of swelling parameters on time-dependent strains and tunnel shape on swelling behavior around the tunnel according to this analytical solution is considered. The ground-support interaction and consequent swelling effect on the induced forces in tunnel lining is considered too. Effect of delay in lining installation on swelling pressure which acting on the lining and its structural integrity, is also evaluated. A MATLAB code of “SRAP” is prepared and applied to calculate all swelling analysis around tunnels based on analytical solution.     

Scaling improves stability of preconditioned CG‐like solvers for FE consolidation equations

Preconditioned projection (or conjugate gradient like) methods are increasingly used for the accurate and efficient solution to finite element (FE) coupled consolidation equations. Theory indicates that preliminary row/column scaling does not affect the eigenspectrum of the iteration matrix controlling convergence as long as the preconditioner relies on the incomplete factorization of the FE coefficient matrix. However, computational experience with mid‐large size problems shows that the above inexpensive operation can significantly accelerate the solver convergence, and to a minor extent also improve the final accuracy, as a result of a better solver stability to the accumulation and propagation of floating point round‐off errors. This is demonstrated with the aid of the least square logarithm (LSL) scaling algorithm on FE consolidation problems of increasing size up to more than 100 000. It is shown that a major source of numerical instability rests with the sub‐matrix which couples the structural to the fluid part of the underlying mathematical model. It is concluded that for mid‐large size, possibly difficult, FE consolidation problems left/right LSL scaling is to be always recommended when the incomplete factorization is used as a preconditioning technique. Copyright © 2003 John Wiley & Sons, Ltd.     

An analytical solution for one-dimensional contaminant diffusion through multi-layered system and its applications

An analytical solution for one-dimensional contaminant diffusion through multi-layered media is derived regarding the change of the concentration of contaminants at the top boundary with time. The model accounts for the arbitrary initial conditions and the conditions of zero concentration and zero mass flux on the bottom boundary. The average degree of diffusion of the layered system is introduced on the basis of the solution. The results obtained by the presented analytical solutions agree well with those obtained by the numerical methods presented in the literature papers. The application of the analytical solution to the problem of landfill liner design is illustrated by considering a composite liner consisting of geomembrane and compacted clay liner. The results show that the 100-year mass flux of benzene at the bottom of the composite liner is 45 times higher than that of acetone for the same composite liner. The half-life of the contaminant has a great influence on the solute flux of benzene diffused into the underlying aquifer. Results also indicates that an additional 2.9–5.0 m of the conventional (untreated) compacted clay liner under the geomembrane is required to achieve the same level of protection as provided by 0.60 m of the Hexadecyltrimethylammonium (HDTMA)-treated compacted clay liners in conjunction with the geomembrane. Applications of the solution are also presented in the context of a contaminated two-layered media to demonstrate that different boundary and initial conditions can greatly affect the decontamination rate of the problem. The method is relatively simple to apply and can be used for performing equivalency analysis of landfill liners, preliminary design of groundwater remediation system, evaluating experimental results, and verifying more complex numerical models.     

溃坝水流数值计算的非结构有限体积模型

针对溃坝洪水数值计算面临不规则边界和复杂地形等问题,建立了三角形网格下求解二维浅水方程的高精度Godunov型有限体积模型.空间上,引入变量重构和限制器技术,采用HLLC近似Riemann算子计算数值通量;时间上,采用Hancock预测-校正法.将底高程定义于单元顶点,结合单元水位～体积关系,提高了干湿界面处理能力.采...     

Shock trains on a planar beach: quasi-analytical and fully numerical solutions

This study, part of the Special Issue dedicated to the 70th anniversary of Professor Efim Pelinovsky, focuses on a topic that has been central in Professor Pelinovsky’s research, i.e. the analytical and numerical modelling of shallow water waves. We specifically focus on the evolution of trains of shock waves on a planar beach. Antuono (J Fluid Mech 658:166–187, 2011) has, for the first time, proposed a quasi-analytical solution for a train of shock waves forced by a constant Riemann invariant. The present contribution clarifies the validity of such solution and its value for benchmarking nonlinear shallow water equation solvers. Hence, the same tests of Antuono (J Fluid Mech 658:166–187, 2011) have been run by means of the solver of Brocchini et al. (Coast Eng 43(2):105–129, 2001) revealing surprisingly and reassuring good agreements. This provides significant support to the mentioned analytical solution and allows to critically analyse the eventual discrepancies, due to the practicalities of running numerical shallow water solutions (e.g. influence of the boundary conditions, of the numerical resolution, etc.).     

非结构网格上的三维浅水流动数值模型

针对当前复杂环境水流模拟的需求,建立了新型的基于特征型高分辨率数值算法的三维非结构网格浅水动力模型。模型采用有限体积法离散sigma坐标下的三维浅水方程,运用Roe黎曼近似解评估水平界面通量。模型网格拟合边界能力强,可根据需要局部加密;格式数值性能优良,具有守恒性、单调迎风性、高数值分辨率等特性。同时,应用干湿判别法处理动边界,以适应浅滩地形漫/露过程模拟的需要。封闭水池内部风生环流、干河床上溃坝过程和长江口实际潮流场的模拟从不同侧面展示了模型的特点,结果表明它能够准确地预测水流的三维流动结构,而且计算简单高效,具有良好的数值稳定性。     

西北地区大气水汽的区域分布特征及其变化

对西北地区大气水汽的区域分布及变化特征进行了分析.结果表明:受不同气候系统影响的西北地区可划分为西风带、高原区与东亚季风等3个气候影响区,水汽沿西北、西方与西南3条路径输送到西北地区;东亚季风区是西北大气可降水量和水汽通量的最丰富区,西风带区是次之,高原区最少.平均状况下,高原区的边坡、东亚季风区、天山及祁连山等西北地区降水最大和次大中心维持水汽的辐合状态.西风带区在1978年以前净水汽通量呈“亏损”状态,之后维持“盈余”;高原区净水汽通量一直为“亏损”状态;东亚季风区90年代以前净水汽通呈“盈余”状况,其后基本维持平衡,且数值远大于其它区.西风带区降水和大气水汽在变化过程中均有突变发生,时间分别为1990年和1985年,其它两区没有突变现象发生.     

A posteriori error estimates, stopping criteria, and adaptivity for two-phase flows

This paper develops a general abstract framework for a posteriori estimates for immiscible incompressible two-phase flows in porous media. We measure the error by the dual norm of the residual and, for mathematical correctness, employ the concept of global and complementary pressures in the analysis. Our estimators allow to estimate separately the different error components, namely, the spatial discretization error, the temporal discretization error, the linearization error, the iterative coupling error, and the algebraic solver error. We propose an adaptive algorithm wherein the different iterative procedures (iterative linearization, iterative coupling, iterative solution of linear systems) are stopped when the corresponding errors do not affect significantly the overall error and wherein the spatial and temporal errors are equilibrated. Consequently, important computational savings can be achieved while guaranteeing a user-given precision. The developed framework covers fully implicit, implicit pressure–explicit saturation, or iterative coupling formulations; conforming spatial discretization schemes such as the vertex-centered finite volume method or the finite element method and nonconforming spatial discretization schemes such as the cell-centered finite volume method, the mixed finite element method, or the discontinuous Galerkin method; linearizations such as the Newton or the fixed-point one; and general linear solvers. Numerical experiments for a model problem are presented to illustrate the theoretical results. Only by stopping timely the linear and nonlinear solvers, speedups by a factor between 10 and 20 in terms of the number of total linear solver iterations are achieved.     

巷道直流电阻率法超前探测三维数值模拟

针对巷道直流电阻率法超前探测的三维数值模拟,应用代数多重网格快速算法对二次场的有限差分问题进行求解。将均匀全空间板状体数值结果与解析解对比,最大误差不超过0.28%。模拟结果表明,巷道空腔对测量结果存在一定影响,采用比值曲线消除该影响,修正后的视电阻率极值与理论值误差为2.4%。进一步研究受旁侧影响的前方异常识别方法,可通过在不同巷道面进行定点源测量或掘进过程中的定点测量来识别旁侧影响,达到准确探测前方异常的目的。