多项式隐函数在一点邻域里的近似显式算法

利用隐函定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式，使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定理证明中有进一步的应用。     

交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

一种新的高效高精度隐式矢通量差分方法

现代流体机械都向着高效率方向发展,航空发动机、工业燃气轮机、蒸汽轮机等现代原动机还不断提高功率,因而必然会对其通流部分的设计提出更高的要求。而其内部流动结构极为复杂,有二次流、边界层的发展转捩现象、分离、再附以及级间的干涉等等,现代叶栅还有部分工作在亚音、部分工作在超音的跨音流动状态。因此对流场的研究、设计应从两方面着手,一是粘性绕流问题;另一是内部的跨音流动。     

非线性抛物型方程的周期解与概周期解

本文研究一般的非线性抛物型方程的边值问题其中Ω是具光滑边界的Ｒｎ中的有界区域，是一对称矩阵，且满足正定条件均为正的常数。借助Ｇａｌｅｖｋｉｎ的方法，我们得到边值问题（１）、（２）在空间中解的存在唯一性及解随ｆ所具有的周期性与概周期性。     

高阶发展方程的两类显式格式的稳定性分析

对高阶发展方程Эｕ／Эｔ＝ａЭ＾２ｋ＋１ｕ／Эｘ＾２ｋ＋１给出了两类带参数ａ的三层显式差分格式，其截断误差均为Ｏ（ι＋ｈ）。稳定性分析指出：当ｋ为偶数时，它们无条件不稳定；当ｋ为奇数时，稳定条件为│Ｒ│≤ｆ（ｋ，ａ）是ａ（０≤ａ≤１０）的上升函数，但为ｋ的下降函数。例如，当ｋ＝１时，ｆ（１，３）＝０．９８７１２３，ｆ（１，１０）＝２．１５０６９０；当ｋ＝３时，ｆ（３，３）＝０．１０９１５３，ｆ（３     

高阶schrodinger方程的恒稳显式与半显式差分格式

利用加耗散项的方法，构造了高阶ｓｃｈｒｏｄｉｎｇｅｒ方程的无条件稳定的显式与半显式差分格式。     

改进的强隐式格式及其在三维Euler与N-S方程中的应用

将 Ｓｔｏｎｅ强隐式格式由单个方程推广到方程组，并用于三维高速可压缩流的 Ｅｕｌｅｒ和Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组的数值计算。为较好地捕捉激波、提高激波的分辨率，对离散后方程右端项的数值通量进行了改进，采用了ＮＮＤ格式的数值通量。典型三维算例表明，本格式具有高效率、高分辨率的特点，流场与实验数据较接近。     

非齐次热传导方程的隐式差分方法（I）

本文针对非齐次热传导方程提出了一种数值求解的两层三点隐式差分方法，所得格式精度分别达到Ｏ（Ｋ＋ｈ２）、Ｏ（Ｋ２＋ｋｈ２＋ｈ２）和Ｏ（Ｋ２＋ｋｈ２＋ｈ４），并通过数值算例进行了检验。     

Schrdinger型方程的半显式格式

本文给出了两个解ＳｃｈｒＯ¨ｄｉｎｇｅｒ型方程的半显式格式，两格式均能显式计算，且绝对稳定，截断误差为Ｏ（τｈ＋τ＋ｈ２）．     

求非线性方程数值解的两种三阶算法

本文在分析非线性方程数值解的二阶算法－牛顿逐根法的基础上，提出了两种改进思想，得到两种新的三阶算法。