一类含参变量积分的常差分方程计算方法

首次利用常差分方程方法计算了一类形如∫0πa+co bs cnoxs xdx(n∈N,a,b∈R)的含非负整数参数n与实数a,b的积分,且得到了完整的积分公式.     

Metrizability and Coconnectedness

Solving the problem stated in Sichler and Trnková, Topol. Its Appl., 142: 159–179, 2004, we construct metrics μ, ν on a set P such that the spaces X=(P,μ) and Y=(P,ν) have the same monoid of all continuous selfmaps, the space Y is coconnected (in the sense that every continuous map Y×Y→Y depends on at most one coordinate) while X is not. Also, properties of the forgetful functors Metr → Unif → Top are investigated for the “simultaneous variant” of the above problem. Supported by the Grant Agency of Czech Republic under grant 201/06/0664 and by the project of Ministry of Education of Czech Republic MSM 0021620839.     

高维抛物方程迎风区域分裂差分方法

结合迎风方法和区域分裂思想,采用一阶迎风、二阶修正迎风法逼近高维抛物方程的对流项.内边界处和子区域分别对应区域分裂显隐格式;并运用极值原理和嵌入定理给出了收敛性分析,最后给出数值试验,说明其实际意义.     

PERIODIC SOLUTIONS FOR A CLASS OF DELAYED NONLINEAR DIFFERENCE EQUATIONS

With the help of a continuation theorem based on Gaines and Mawhin's coincidence degree,some sufficient conditions are established for the global existence of positive periodic solutions of a class of delayed nonlinear difference equations.     

一种新的求解双曲型守恒律的三阶中心差分格式

本文提出了一种求解双曲型守恒律新的三阶中心差分格式，主要是引入了一种推广的三阶重构，并证明了这种重构在网格边界无振荡．所提的格式保持了中心差分格式简单的优点，不需用Riemann解算器，避免了进行特征解耦．数值试验结果表明本文格式是高精度、高分辨率的。     

Edgeworth Expansions for Studentized Versions of Symmetric Finite Population Statistics

We show the validity of the one-term Edgeworth expansion for Studentized asymptotically linear statistics based on samples drawn without replacement from finite populations. Replacing the moments defining the expansion by their estimators, we obtain an empirical Edgeworth expansion. We show the validity of the empirical Edgeworth expansion in probability.     

A segregated method for compressible flow computation. Part II: general divariant compressible flows

Typically, segregated methods have been used for the computation of incompressible flows whereas coupled solvers, for compressible flows. Compared to coupled solvers, segregated methods present the advantage of computational savings in RAM memory and CPU time, although at the cost of an inferior robustness. However, previously published segregated algorithms for general compressible flows are known to present pitfalls, like convergence to wrong solutions, lack of robustness in the presence of strong discontinuities, such as normal and oblique shocks, and complicated boundary condition imposition. Therefore, in this paper a segregated method for non‐isothermal compressible flows is proposed that preserves the thermodynamic coupling and overcomes the criticisms of existing methods. Copyright © 2005 John Wiley & Sons, Ltd.     

CONVERGENCE OF IMPLICIT ITERATIVE PROCESS WITH ERRORS FOR A FINITE FAMILY OF ASYMPTOTICALLY NONEXPANSIVE MAPPINGS

The purpose of this article is to study the weak and strong convergence of implicit iteration process with errors to a common fixed point for a finite family of asymptotically nonexpansive mappings and nonexpansive mappings in Banach spaces. The results presented in this article extend and improve thecorresponding results of [1, 2, 4-9, 11-15].     

Finite element and implicit Runge–Kutta implementation of an acoustics–convection upstream resolution algorithm for the time‐dependent two‐dimensional Euler equations

The second of a two‐paper series, this paper details a solver for the characteristics‐bias system from the acoustics–convection upstream resolution algorithm for the Euler and Navier–Stokes equations. An integral formulation leads to several surface integrals that allow effective enforcement of boundary conditions. Also presented is a new multi‐dimensional procedure to enforce a pressure boundary condition at a subsonic outlet, a procedure that remains accurate and stable. A classical finite element Galerkin discretization of the integral formulation on any prescribed grid directly yields an optimal discretely conservative upstream approximation for the Euler and Navier–Stokes equations, an approximation that remains multi‐dimensional independently of the orientation of the reference axes and computational cells. The time‐dependent discrete equations are then integrated in time via an implicit Runge–Kutta procedure that in this paper is proven to remain absolutely non‐linearly stable for the spatially‐discrete Euler and Navier–Stokes equations and shown to converge rapidly to steady states, with maximum Courant number exceeding 100 for the linearized version. Even on relatively coarse grids, the acoustics–convection upstream resolution algorithm generates essentially non‐oscillatory solutions for subsonic, transonic and supersonic flows, encompassing oblique‐ and interacting‐shock fields that converge within 40 time steps and reflect reference exact solutions. Copyright © 2005 John Wiley & Sons, Ltd.     

有源腔模式的有限元数值矩阵计算法

提出了一种计算有源腔模式分布的有限元数值矩阵方法。对腔镜进行基于菲涅耳–基尔霍夫衍射积分定理的有限元划分,利用MATLAB计算出光一次往返的传输矩阵。然后根据自再现理论,求出矩阵的特征值和特征向量。从而确定谐振腔的模式分布,给新型谐振腔的研究带来极大方便。