二维柱坐标系中守恒的保球对称的中心型拉氏方法

提出了一种Godunov型中心型拉氏方法,用于求解二维柱坐标系中的可压缩多介质Euler方程组,该方法完全在体积控制体上离散,不仅保证质量、动量和总能量守恒,且该方法在二维柱坐标系中保一维球对称;并且对一维球对称问题在球对称网格划分下,精度测试表明该方法具有一阶精度,算例显示方法非常有效。     

二维柱坐标系中守恒的保球对称的中心型拉氏方法

提出了一种Godunov型中心型拉氏方法,用于求解二维柱坐标系中的可压缩多介质Euler方程组,该方法完全在体积控制体上离散,不仅保证质量、动量和总能量守恒,且该方法在二维柱坐标系中保一维球对称;并且对一维球对称问题在球对称网格划分下,精度测试表明该方法具有一阶精度,算例显示方法非常有效。     

Verification of a mixed high‐order accurate DNS code for laminar turbulent transition by the method of manufactured solutions

This paper presents results on a verification test of a Direct Numerical Simulation code of mixed high‐order of accuracy using the method of manufactured solutions (MMS). This test is based on the formulation of an analytical solution for the Navier–Stokes equations modified by the addition of a source term. The present numerical code was aimed at simulating the temporal evolution of instability waves in a plane Poiseuille flow. The governing equations were solved in a vorticity–velocity formulation for a two‐dimensional incompressible flow. The code employed two different numerical schemes. One used mixed high‐order compact and non‐compact finite‐differences from fourth‐order to sixth‐order of accuracy. The other scheme used spectral methods instead of finite‐difference methods for the streamwise direction, which was periodic. In the present test, particular attention was paid to the boundary conditions of the physical problem of interest. Indeed, the verification procedure using MMS can be more demanding than the often used comparison with Linear Stability Theory. That is particularly because in the latter test no attention is paid to the nonlinear terms. For the present verification test, it was possible to manufacture an analytical solution that reproduced some aspects of an instability wave in a nonlinear stage. Although the results of the verification by MMS for this mixed‐order numerical scheme had to be interpreted with care, the test was very useful as it gave confidence that the code was free of programming errors. Copyright © 2009 John Wiley & Sons, Ltd.     

The residual formulation of the method of manufactured solutions for computationally efficient solution verification

The method of manufactured solutions (MMS) is a solution verification methodology for determining whether the implementation of a discretization method is achieving its theoretical order of accuracy. This methodology combines the advantages of grid refinement studies and comparison with exact solution, by modifying the governing equations solved within a code by adding a source term to drive the solution towards a predetermined analytic function. By solving the modified equations on a sequence of grids and comparing the differences between the converged solution and manufactured solution, the order of accuracy of the implementation can be investigated. However, in its current form, converged solutions on a sequence of grids are required which can be quite costly and difficult to obtain. In this paper, by comparing the MMS to the method for determining the theoretical order of accuracy of a discretization method, the residual formulation of the MMS is developed. This new formulation only requires that the residual of the discretized governing equations to be calculated and not the solution to the discretized equations, thus avoiding the computational cost and difficulties inherent in obtaining converged solutions. Furthermore, since only the residuals are interrogated, individual components of the flow solver can be tested, in isolation, allowing the MMS to be used more effectively in locating errors within the code. This new approach is demonstrated to yield the same order of accuracy as the original MMS using three different cases—one-dimensional porous media equation, one-dimensional St Venant equations and two-dimensional unstructured Navier–Stokes simulations.     

Accuracy analysis of immersed boundary method using method of manufactured solutions

The immersed boundary method is an effective technique for modeling and simulating fluid-structure interactions especially in the area of biomechanics.This paper analyzes the accuracy of the immersed boundary method.The procedure contains two parts,i.e.,the code verification and the accuracy analysis.The code verification provides the confidence that the code used is free of mistakes,and the accuracy analysis gives the order of accuracy of the immersed boundary method.The method of manufactured solutions is taken as a means for both parts.In the first part,the numerical code employs a second-order discretization scheme,i.e.,it has second-order accuracy in theory.It matches the calculated order of accuracy obtained in the numerical calculation for all variables.This means that the code contains no mistake,which is a premise of the subsequent work.The second part introduces a jump in the manufactured solution for the pressure and adds the corresponding singular forcing terms in the momentum equations.By analyzing the discretization errors,the accuracy of the immersed boundary method is proven to be first order even though the discretization scheme is second order.It has been found that the coarser mesh may not be sensitive enough to capture the influence of the immersed boundary,and the refinement on the Lagrangian markers barely has any effect on the numerical calculation.     

On the construction of manufactured solutions for one and two‐equation eddy‐viscosity models

This paper presents manufactured solutions (MSs) for some well‐known eddy‐viscosity turbulence models, viz. the Spalart & Allmaras one‐equation model and the TNT and BSL versions of the two‐equation k–ω model. The manufactured flow solutions apply to two‐dimensional, steady, wall‐bounded, incompressible, turbulent flows. The two velocity components and the pressure are identical for all MSs, but various alternatives are considered for specifying the eddy‐viscosity and other turbulence quantities in the turbulence models. The results obtained for the proposed MSs with a second‐order accurate numerical method show that the MSs for turbulence quantities must be constructed carefully to avoid instabilities in the numerical solutions. This behaviour is model dependent: the performance of the Spalart & Allmaras and k–ω models is significantly affected by the type of MS. In one of the MSs tested, even the two versions of the k–ω model exhibit significant differences in the convergence properties. Copyright © 2006 John Wiley & Sons, Ltd.     

Verification of Euler/Navier–Stokes codes using the method of manufactured solutions

The method of manufactured solutions is used to verify the order of accuracy of two finite‐volume Euler and Navier–Stokes codes. The Premo code employs a node‐centred approach using unstructured meshes, while the Wind code employs a similar scheme on structured meshes. Both codes use Roe's upwind method with MUSCL extrapolation for the convective terms and central differences for the diffusion terms, thus yielding a numerical scheme that is formally second‐order accurate. The method of manufactured solutions is employed to generate exact solutions to the governing Euler and Navier–Stokes equations in two dimensions along with additional source terms. These exact solutions are then used to accurately evaluate the discretization error in the numerical solutions. Through global discretization error analyses, the spatial order of accuracy is observed to be second order for both codes, thus giving a high degree of confidence that the two codes are free from coding mistakes in the options exercised. Examples of coding mistakes discovered using the method are also given. Copyright © 2004 John Wiley & Sons, Ltd.     

Coupling Eulerian‐Lagrangian method of air‐particle two‐phase flow with population balance equations to simulate the evolution of vehicle exhaust plume

In this paper, we present a new numerical scheme to describe the dynamic evolution of multiphase polydisperse systems in terms of time, space, and properties by coupling the Eulerian‐Lagrangian method for air‐particle two‐phase flow and population balance equations to describe particle property evolution due to microbehaviors (eg, aggregation, breakage, and growth). This coupling scheme was used to comprehensively simulate the two‐phase flow structure, particle size spectrum, particle number, and volume concentrations. These were characterized by a high‐resolution particle tracking using the Lagrangian approach and the high precision of moments of the particle size spectrum by solving the population balance equation with the quadrature method of moments. The algorithm of the coupling scheme was incorporated into the open source computational fluid dynamics software OpenFOAM to simulate the dynamic evolution of vehicle exhaust plume. The impacts of vehicle velocity, exhaust temperature, and aggregation efficiency on the distribution of auto exhaust particles in space and changes in their properties were analyzed. The results indicate that the particle number concentration, volume concentration, and average diameter of particles in the vehicle exhaust plume could be strongly affected by the plume structure and flow properties.     

A method for finding the invariants and exact solutions of coupled non-linear differential equations with applications to dynamical systems

The polynomial invariants of (a set) non-linear differential equations are found by using a direct approach. The integrability of these invariants deserves the integrability of the given set of coupled differential equations. As applications, the Lorenz and Rikitake sets, among others, are studied. New invariants are obtained.     

一般形式的二维时—空守恒格式

本文将经作者改进后的一维时－空守恒格式推广到了二维情形，得到了一个一般形式的二维Ｅｕｌｅｒ方程时－空守恒格式，该格式对各种不规则几何区域内的流动问题具有很强的适应性，同时它还保留了一维格式的优点。几个典型算例的计算结果表明，本文格式不仅精度高，通用性好，而且对激波等间断具有很高的分辨率。     

A three-level time-split MacCormack method for two-dimensional nonlinear reaction-diffusion equations

A three-level explicit time-split MacCormack method is proposed for solving the two-dimensional nonlinear reaction-diffusion equations. The computational cost is reduced thank to the splitting and the explicit MacCormack scheme. Under the well-known condition of Courant-Friedrich-Lewy (CFL) for stability of explicit numerical schemes applied to linear parabolic partial differential equations, we prove the stability and convergence of the method in L^∞(0,T;L²)-norm. A wide set of numerical evidences which provide the convergence rate of the new algorithm are presented and critically discussed.     

A Lagrangian criterion of unsteady flow separation for two-dimensional periodic flows

The present paper proposes a Lagrangian criterion of unsteady flow separation for two-dimensional periodic flows based on the principle of weighted averaging zero skin-friction given by Haller(HALLER, G. Exact theory of unsteady separation for two-dimensional flows. Journal of Fluid Mechanics, 512, 257–311(2004)). By analyzing the distribution of the finite-time Lyapunov exponent(FTLE) along the no-slip wall, it can be found that the periodic separation takes place at the point of the zero FTLE.This new criterion is verified with an analytical solution of the separation bubble and a numerical simulation of lid-driven cavity flows.