带非线性边界条件的反应扩散方程的数值方法

１引言近年来关于非线性抛物型方程数值解法的研究取得了许多好的结果,其中以Ｃ．Ｖ．Ｐａｏ为主的研究者们利用上、下解方法对带线性边界条件的半线性抛物型方程的有限差分系统进行了广泛的研究,提出了一系列有效的迭代算法（见［１］、［２］、［３］、［４］）．但对带非线性边界条件的半线性抛物型方程初边值问题,作者至今尚未见到有研究者将上、下解方法用在相应的差分系统上,求得数值解．其主要原因是由于边界上函数的非线性,解在边界网格点上的值未知且无法用内部网格点上的值直接表示,相应的差分系统表示形式受到影响,边界网…     

基于近似惯性流形的后验Galerkin的方法

１．引言 为提高用数值方法解非线性发展方程及非线性椭圆边值问题的逼近阶,许多学者例如Ｊ．Ｎｏｖｏ和 Ｅ．Ｔｉｔｉ［４］, Ｍａｒｉｏｎ和 Ｔｅｍａｎ［６］,Ｊ．Ｘｕ［７］以及 Ｗ．Ｌａｙｔｏｎ［９］等人,提出了后验Ｇａｌｅｒｋｉｎ方法、近似惯性流形方法、非线性Ｇａｌｅｒｋｉｎ方法、各种区域分裂法、多重网格法等等．本文根据［１］提出了一种新的高精度的后验 Ｇａｌｅｒｋｉｎ方法．它的逼近阶是经典 Ｇａｌｅｒｋｉｎ方法逼近阶的两倍． 考虑非线性椭圆边值问题这里ｎ是按ｄ＝２,３）上具有分段光滑边界ｒ的有界区域,…     

非线性RLW方程的特征数值方法

如所周知,在孤立子理论的研究及非线性波的物理问题中,RLW(Regularised LongWave)方程占据了相当重要的地位,在非常广泛的领域里得到了应用.因此,对该方程的研究已受到人们的很大重视,有许多专家、学者在这方面已做了不少工作.例如文献     

分裂算法理论的初步探讨

所谓分裂算法就是将一个复杂的物理过程分解为两个或多个较简单的过程而逐个计算,然后再叠加或综合.这种方法既可使计算逻辑简化,又可节省计算时间,是一种经济的计算方法.对于大气和海洋动力学问题的数值模拟,由于它们需要长时间积分,费时很多,因此如何减少计算量,节省计算时间成为一个不可回避的问题.尤其在我国计算机技术还比较落后的情况下,这个问题显得更加重要.分裂算法就是解决这个问题的最常用、最     

Burgers-Fisher方程改进的交替分段Crank-Nicolson并行差分方法

Burgers-Fisher方程在气体动力学,热传导,弹性力学等领域有着广泛的应用,其快速数值解法具有重要的科学意义和工程应用价值.文中提出Burgers-Fisher方程改进的交替分段Crank-Nicolson(IASC-N)并行差分方法.IASC-N格式的构造是基于交替分段技术,将古典显式格式,隐式格式和Cran...     

二维非线性Volterra积分方程数值解的渐近展开及其外推

本文讨论了求解二维非线性Ｖｏｌｔｅｒｒａ积分方程的Ｎｙｓｔｒｏｍ方法，得到了数值解的逐项渐近展开。从而可进行Ｒｉｃｈａｒｄｓｏｎ外推，提高数值解的精度。     

KdV-Burgers方程的一类新本性并行差分格式北大核心CSCD

KdV-Burgers方程作为湍流规范方程,具有深刻的物理背景,其快速数值解法具有重要的实际应用价值.针对KdV-Burgers方程,提出了一种新型的并行差分格式.基于交替分段技术,结合经典Crank-Nicolson(C-N)格式、显格式和隐格式,构造了混合交替分段Crank-Nicolson(MASC-N)差分格式.理论分析表明MASC-N格式是唯一可解、线性绝对稳定和二阶收敛的.数值试验表明,MASC-N格式比C-N格式具有更高的精度和效率.与ASE-I和ASC-N差分格式相比,MASC-N并行差分格式有最好的性能.表明该文的MASC-N并行差分方法能有效地求解KdV-Burgers方程.     

非线性发展方程的Taylor展开方法

提出了积分非线性发展方程的新方法,即Taylor展开方法．标准的Galerkin方法可以看作0-阶Taylor展开方法,而非线性Galerkin方法可以看作1-阶修正Taylor展开方法A·D2此外,证明了数值解的存在性及其收敛性．结果表明,在关于严格解的一些正则性假设下,较高阶的Taylor展开方法具有较高阶的收敛速度．最后,给出了用Taylor展开方法求解二维具有非滑移边界条件Navier-Stokes方程的具体例子．     

求解变系数线性对流扩散方程的AGE方法

1、引言 对流扩散方程是描述粘性流体运动的非线性方程的线性化模型方程,而且它本身也描述了许多自然现象,例如在水中或大气中污染物质浓度的扩散,沿海盐度,温度扩散等等．因此求解对流扩散方程的计算方法特别是并行解法引起了充分的重视。     

二维刚性边值问题的小波-吉尔解法

本文利用微分方程数值解的离散小波表示，讨论了此类方程在满足一定初始条件和边值条件下，在一个方向上利用小波伽辽金法，另一方向上利用吉尔方法进行求解，提出了一种解二维刚性初，边值问题的小波数值算法，计算结果表明，利用该方法所求得的数值解精度高，而且由小波特有的性质，它特别适用于求解带有奇异摄动的刚性问题。     

弱非线性椭圆型方程的Ritz—Galerkin解法和差分解法探讨

本文给出了Ｒｉｔｚ－Ｇａｌｅｒｋｉｎ解法的收敛性，并对模型问题的块Ｊａｃｏｂｉ和平行弦方法进行了收敛性分析。Ｂｅｒｓ在１９６４年给出模型问题差分方法收敛性的证明，这里得到了块Ｊａｃｏｂｉ块ＳＯＲ、块Ｎｅｗｔｏｎ－Ｊａｃｏｂｉ和块Ｎｅｗｔｏｎ－Ｓｏｒ四种算法的收敛性结果。以上这些Ｊａｃｏｂｉ算法都适合于并行计算，最后给出两个具体数值例子。     

A Parallel Projection for the Multicommodity Network Model

We present an application of parallel computing techniques to the solution of a quadratic programme that arises in the resource-directive decomposition method for multicommodity problems. A sequential algorithm for the quadratic programme is discussed, and its extension to a parallel implementation is given. Computational testing of the sequential and parallel algorithms was done on the Sequent Symmetry S81 parallel computer located in the Parallel Processing Laboratory at Southern Methodist University. On several large test problems the parallel version achieved a speed-up of 10 with 12 processors.     

An effective hybrid algorithm for computing symbolic determinants

A hybrid algorithm for computing the determinant of a matrix whose entries are polynomials is presented. It is based on the dimension-decreasing algorithm [22] and the parallel algorithm for computing a symbolic determinant of [19]. First, through the dimension-decreasing algorithm, a given multivariate matrix can be converted to a bivariate matrix. Then, the parallel algorithm can be applied to effectively compute the determinant of the bivariate matrix. Experimental results show that the new algorithm can not only reduce enormously the intermediate expression swell in the process of symbolic computation, but also achieve higher degree of parallelism, compared with the single parallel algorithm given in [19].     

最小树的一般算法

本文根据设计并行算法的基本原则,给出了最小树的两个对偶定理.在此基础上,建立了两种对偶的同步并行算法的雏型.这两种算法恰恰在对偶的意义下,概括了以往的最小树算法.     

Holonomy of supermanifolds

Holonomy groups and holonomy algebras for connections on locally free sheaves over supermanifolds are introduced. A one-to-one correspondence between parallel sections and holonomy-invariant vectors, and a one-to-one correspondence between parallel locally direct subsheaves and holonomy-invariant vector supersubspaces are obtained. As the special case, the holonomy of linear connections on supermanifolds is studied. Examples of parallel geometric structures on supermanifolds and the corresponding holonomies are given. For Riemannian supermanifolds an analog of the Wu theorem is proved. Berger superalgebras are defined and their examples are given. Supported from the Basic Research Center no. LC505 (Eduard Čech Center for Algebra and Geometry) of Ministry of Education, Youth and Sport of Czech Republic.     

解无约束最优化问题的块共轭方向法

在给出块共轭概念的基础上，提出了适合并行计算的向量组的块共轭化方法，进而得到解无约束最优化问题的并行块共轭方向法．有大量数值结果表明块共轭方向法具有工作量少．适用函数范围广等特点，是一种比较有效的无约束最优化方法．     

Methods and means of parallel processing of information

A condensed survey is given of practically all basic aspects of parallel programming, parallel methods of computational mathematics, and the structures and program provision of parallel computational systems (systems having two or more of some processor modules). The exposition is carried out on the basis of systematization and classification of the methods and means of parallel information processing.Translated from Itogi Nauki i Tekhniki, Seriya Teoriya Veroyatnostei Matematicheskaya Statistika, Teoreticheskaya Kibernetika, Vol. 17, pp. 85–193, 1979.     

H-SPLITTINGS AND ASYNCHRONOUS PARALLELITERATIVE METHODS

1.PropertiesofH-splittingA.FrommerandD.B.Szyldl3]proposedH-splittingandH-compatiblesplittingfortwo--stagemethods.Buttheydidnotdiscusstwosplittingfurthermore.WewillshowsomepropertiesofH-splittingandH-compatiblesplittingbeforeweapplythemtoestablishasynchronousparallelmultisplittingalgorithm.Definition1.([3])GivenAEL(R"),A=M--N(M,NEL(R")),whichitcalledH--splitting,if(M)--INIisanM-matrix;whichiscalledH-compati4le.SPlitting:if(A)=(M)--INI.Where(A)isO8trowskimatrix,INIisabsolutionma…     

色散方程的一类新的并行交替分段隐格式

本文给出了一组逼近色散方程的非对称差分格式，并用这组格式和对称的Crank-Nicolson型格式构造了求解色散方程的并行交替分段差分隐格式．这个格式是无条件稳定的，能直接在并行计算机上使用．数值试验表明，这个格式有很好的精度．