多介质问题分析的前处理程序PreGenGrid

概述了多介质问题数值模拟前处理程序PreGenGrid的主要功能,着重介绍了该前处理程序网格自动生成功能和多介质问题多块网格生成后的无缝拼接技术,给出了多介质问题网格实例,验证了前处理程序PreGenGrid的特点.PreGenGrid是科学计算和复杂工程技术人员进行数值模拟的理想工具.     

多介质大变形流动的MOF-MMALE数值模拟研究

多介质大变形流动数值模拟的关键和难点是在精确追踪物质界面的同时又能够处理好流体的大变形运动.将MOF(moment-of-fluid)界面重构算法与多介质任意Lagrange-Euler方法(MMALE)相耦合,形成MOF-MMALE方法,并应用于多介质大变形流动问题的数值模拟研究.MOF-MMALE方法在传统的ALE方法基础上,允许计算网格边界跨过物质界面,允许存在混合网格,即一个网格内可以存在两种或两种以上物质;在混合网格内,利用MOF界面重构算法来确定物质界面的位置和方向.数值算例表明,MOF-MMALE方法是模拟多介质大变形流动的有效手段,并且具有较好的数值精度和界面分辨率.     

一维多介质可压缩流动的守恒型界面追踪方法

本文针对一维问题的ProntTracking方法,提出了一种较易实现的守恒型界面追踪方法.利用双波近似求解Riemann问题来确定界面处的数值通量,在固定的网格上采用统一的有限体积格式进行内点和交界面点的计算,通过守恒插值以及守恒量的重新分配,保证数值解在全场实现一致守恒,将该方法应用于一维多介质可压缩流动的模拟,给出了满意的数值模拟结果.     

基于三维CFD-DEM的多孔介质流场数值模拟

将多孔介质局部细观流动与基于Darcy定律的宏观物理模型相结合，应用三维CFD-DEM对多孔介质流场进行局部细观数值模拟，得到多孔介质的惯性阻力系数和粘性阻力系数.并将其作为参数提供给基于Darcy定律的CFD多孔介质模型，从而可用于更大规模的多孔介质流场计算.应用Voronoi多面体作为网格单元，解决了CFD DEM中网格孔隙率精确计算的困难.文中发展的多尺度结合应用的研究方法，在计算精度和计算效率的矛盾中找到了较好的平衡，对于工程应用而言，有节约实验成本、提高计算结果可靠性的功效.     

基于时空最优低维动力系统的多尺度可压缩湍流数值模拟方法（英文）

按照周培源教授关于研究湍流数值模拟建模时必须分析和求解脉动速度场的思想,该研究基于第一性原理,系统地建立了基于时空低维最优动力系统的多尺度可压缩湍流数值模拟方法(LMS方法),并将其应用于多次冲击Richtmyer-Meshkov问题的数值模拟中,首次得到了可压缩湍流的中尺度流场和不同于DNS近似解的湍流近似解.数值结果表明,LMS方法可以用较少的网格获得更精确的湍流近似解.首先解决了研究中遇到的几个问题,为LMS方法的构建铺平了道路.这些问题是:基于湍流的物理特性,提出了湍流大、中、小尺度分解的新概念;找到了box滤波空间相关性的计算方法;指出了湍流建模理论中长期存在的逻辑错误,提出了多尺度湍流模型的概念;讨论了湍流封闭问题的本质和关键,给出了克服湍流封闭问题的数值方法.采用box滤波方法/空间网格平均方法且在大尺度网格的意义下,LMS方法的本质是一种将RANS、LES、DES和DNS等湍流数值模拟方法统一的全新湍流数值模拟方法.需要指出的是,LMS方法也可以作为湍流模型研究的辅助工具,以检验SGS尺度方程/脉动方程中各项所对应的湍流模型是否正确.     

极端条件下3维多物理多介质问题数值模拟中的若干问题

极端条件下3维多物理多介质问题是一类关系国家战略安全问题的重要科学问题.由于理论手段比较欠缺、实验昂贵甚至难以开展,数值模拟是研究这类问题的主要手段.本文回顾这一研究领域数值模拟的历史,分析目前存在的主要挑战,并展望未来的发展趋势.     

流体饱和多孔隙介质波动方程小波有限差分法

研究流体饱和多孔隙介质中波动方程的数值模拟．针对求解二维弹性波方程问题,提出小波有限差分法．该方法综合了小波多分辨分析计算灵活、计算效率高特性和有限差分易于实现的优点．数值模拟的结果显示,此方法对于求解流体饱和多孔隙介质方程的数值模拟是有效稳定的．     

炸药爆轰物质点法三维数值模拟

炸药爆轰以及多点起爆所产生的爆轰波汇聚问题很难应用有限元法进行模拟分析,尤其当网格发生畸变时,导致有限元法计算效率和数值精度严重下降,甚至无法得到正确结果.为此,该文应用显式积分算法的物质点法对炸药两点起爆和按时间序列的多点起爆的爆轰过程进行数值模拟,与炸药爆轰的理论计算结果相吻合.物质点法不但可以有效地避免网格畸变问题,而且为炸药爆轰的数值模拟提供了新的思路.     

薛定谔方程在非一致网格下数值模拟的界面条件

本文研究了一维线性薛定谔方程在非一致网格下数值模拟的问题.在数值模拟中,非一致网格在界面处会产生虚假反射,利用局部时间步长和界面条件的方法,成功的减小了虚假反射.改进和提高了薛定谔方程数值模拟的效率和精度.     

不可压饱和多孔弹性杆动力响应的多辛方法

研究了不可压饱和多孔弹性杆的一维动力响应问题.基于多孔介质理论,在流相和固相微观不可压、固相骨架小变形的假定下,建立了不可压流体饱和多孔弹性杆一维轴向动力响应的数学模型.利用Hamilton空间体系的多辛理论,构造了不可压饱和多孔弹性杆轴向振动方程的多辛形式及其多种局部守恒律.采用中点Box离散方法得到轴向振动方程的多辛离散格式和局部能量守恒律以及局部动量守恒律的离散格式;数值模拟了不可压饱和多孔弹性杆的轴向振动过程,记录了每一时间步的局部能量数值误差和局部动量数值误差.结果表明,已构造的多辛离散格式具有很高的精确性和较长时间的数值稳定性,这为解决饱和多孔介质的动力响应问题提供了新的途径.     

Anisotropic mesh generation methods based on ACVT and natural metric for anisotropic elliptic equation

Anisotropic meshes are known to be well-suited for problems which exhibit anisotropic solution features.Defning an appropriate metric tensor and designing an efcient algorithm for anisotropic mesh generation are two important aspects of the anisotropic mesh methodology.In this paper,we are concerned with the natural metric tensor for use in anisotropic mesh generation for anisotropic elliptic problems.We provide an algorithm to generate anisotropic meshes under the given metric tensor.We show that the inverse of the anisotropic difusion matrix of the anisotropic elliptic problem is a natural metric tensor for the anisotropic mesh generation in three aspects:better discrete algebraic systems,more accurate fnite element solution and superconvergence on the mesh nodes.Various numerical examples demonstrating the efectiveness are presented.     

Stabilization of algebraic multilevel iteration methods; additive methods

There exist two main versions of preconditioners of algebraic multilevel type, the additive and the multiplicative methods. They correspond to preconditioners in block diagonal and block matrix factorized form, respectively. Both can be defined and analysed as recursive two-by-two block methods. Although the analytical framework for such methods is simple, for many finite element approximations it still permits the derivation of the strongest results, such as optimal, or nearly optimal, rate of convergence and optimal, or nearly optimal order of computational complexity, when proper recursive global orderings of node points have been used or when they are applied for hierarchical basis function finite element methods for elliptic self-adjoint equations and stabilized in a certain way. This holds for general elliptic problems of second order, independent of the regularity of the problem, including independence of discontinuities of coefficients between elements and of anisotropy. Important ingredients in the methods are a proper balance of the size of the coarse mesh to the finest mesh and a proper solver on the coarse mesh. This paper presents in a survey form the basic results of such methods and considers in particular additive methods. This method has excellent parallelization properties. This revised version was published online in June 2006 with corrections to the Cover Date.     

Quadrilateral surface meshes without self-intersecting dual cycles for hexahedral mesh generation

Several promising approaches for hexahedral mesh generation work as follows: Given a prescribed quadrilateral surface mesh they first build the combinatorial dual of the hexahedral mesh. This dual mesh is converted into the primal hexahedral mesh, and finally embedded and smoothed into the given domain. Two such approaches, the modified whisker weaving algorithm by Folwell and Mitchell, as well as a method proposed by the author, rely on an iterative elimination of certain dual cycles in the surface mesh. An intuitive interpretation of the latter method is that cycle eliminations correspond to complete sheets of hexahedra in the volume mesh.

Although these methods can be shown to work in principle, the quality of the generated meshes heavily relies on the dual cycle structure of the given surface mesh. In particular, it seems that difficulties in the hexahedral meshing process and poor mesh qualities are often due to self-intersecting dual cycles. Unfortunately, all previous work on quadrilateral surface mesh generation has focused on quality issues of the surface mesh alone but has disregarded its suitability for a high-quality extension to a three-dimensional mesh.

In this paper, we develop a new method to generate quadrilateral surface meshes without self-intersecting dual cycles. This method reuses previous b-matching problem formulations of the quadrilateral mesh refinement problem. The key insight is that the b-matching solution can be decomposed into a collection of simple cycles and paths of multiplicity two, and that these cycles and paths can be consistently embedded into the dual surface mesh.

A second tool uses recursive splitting of components into simpler subcomponents by insertion of internal two-manifolds. We show that such a two-manifold can be meshed with quadrilaterals such that the induced dual cycle structure of each subcomponent is free of self-intersections if the original component satisfies this property. Experiments show that we can achieve hexahedral meshes with a good quality.     

大学数学多媒体教学的利与弊

多媒体辅助教学与大学数学教学的结合，使大学数学教学的效率得到提高，并丰富了教学形式．然而在大学数学多媒体课堂教学中还存在着过分依赖电子课件、削弱教师主导作用与学生主体作用等问题．此外，针对上述问题提出几点应对策略．     

Unstructured tetrahedral mesh generation technology

We present a robust unstructured tetrahedral mesh generation technology. This technology is a combination of boundary discretization methods, an advancing front technique and a Delaunay-based mesh generation technique. For boundary mesh generation we propose four different approaches using analytical boundary parameterization, interface with CAD systems, surface mesh refinement, and constructive solid geometry. These methods allow us to build a flexible grid generation technology with a user friendly interface.     

Elliptic systems and numerical transformations

Properties of a transformation method which has been developed for solving fluid dynamic problems on general two-dimensional regions are discussed. These include the error in the construction of the transformation and applications to mesh generation. An error and stability analysis for the numerical solution of a model parabolic problem is also presented.     

Stochastic Domain Decomposition for Time Dependent Adaptive Mesh Generation

The efficient generation of meshes is an important component in the numerical solution of problems in physics and engineering. Of interest are situations where global mesh quality and a tight coupling to the solution of the physical partial differential equation (PDE) is important. We consider parabolic PDE mesh generation and present a method for the construction of adaptive meshes in two spatial dimensions using stochastic domain decomposition that is suitable for an implementation in a multi- or many-core environment. Methods for mesh generation on periodic domains are also provided. The mesh generator is coupled to a time dependent physical PDE and the system is evolved using an alternating solution procedure. The method uses the stochastic representation of the exact solution of a parabolic linear mesh generator to find the location of an adaptive mesh along the (artificial) subdomain interfaces. The deterministic evaluation of the mesh over each subdomain can then be obtained completely independently using the probabilistically computed solutions as boundary conditions. A small scaling study is provided to demonstrate the parallel performance of this stochastic domain decomposition approach to mesh generation. We demonstrate the approach numerically and compare the mesh obtained with the corresponding single domain mesh using a representative mesh quality measure.     

A robust optimal preconditioner for the mixed finite element discretization of elliptic optimal control problems

In this paper, we consider the efficient solving of the resulting algebraic system for elliptic optimal control problems with mixed finite element discretization. We propose a block‐diagonal preconditioner for the symmetric and indefinite algebraic system solved with minimum residual method, which is proved to be robust and optimal with respect to both the mesh size and the regularization parameter. The block‐diagonal preconditioner is constructed based on an isomorphism between appropriately chosen solution space and its dual for a general control problem with both state and gradient state observations in the objective functional. Numerical experiments confirm the efficiency of our proposed preconditioner.     

On block preconditioners for saddle point problems with singular or indefinite (1, 1) block

We discuss a class of preconditioning methods for the iterative solution of symmetric algebraic saddle point problems, where the (1, 1) block matrix may be indefinite or singular. Such problems may arise, e.g. from discrete approximations of certain partial differential equations, such as the Maxwell time harmonic equations. We prove that, under mild assumptions on the underlying problem, a class of block preconditioners (including block diagonal, triangular and symmetric indefinite preconditioners) can be chosen in a way which guarantees that the convergence rate of the preconditioned conjugate residuals method is independent of the discretization mesh parameter. We provide examples of such preconditioners that do not require additional scaling. Copyright © 2010 John Wiley & Sons, Ltd.     

RKDG methods with WENO type limiters and conservative interfacial procedure for one-dimensional compressible multi-medium flow simulations

In this paper, we continue on studying the Runge-Kutta discontinuous Galerkin (RKDG) methods to solve compressible multi-medium flow with conservative treatment of the moving material interface. Comparing with the paper by J. Qiu, T.G. Liu and B.C. Khoo [J. Comput. Phys. 222 (2007) 353-373], we adopt the HLLC flux instead of Lax-Friedrichs numerical flux, the finite volume weighted essentially nonoscillatory (WENO) and Hermite WENO (HWENO) reconstructions as limiter instead of TVB limiter for RKDG. The HLLC flux is based on the approximate Riemann solver with little numerical viscosity and can resolve the contact discontinuity and shear wave very well. For limiter procedure, first we use the KXRCF indicator to identify the troubled cell, then apply WENO or HWENO method to reconstruct the polynomial in the troubled cell, while maintaining the cell average. This limiter procedure is more accurate and less problem dependent than the TVB limiter. Numerical results in one dimension for multi-medium flows such as gas-gas and gas-water are provided to illustrate the capability of these procedures.