耦合Gross-Pitaevskii方程的高效保质量守恒格式

该文为耦合Gross-Pitaevskii方程提出了一个新的保质量守恒格式.首先对空间导数利用高阶紧致格式离散得到半离散格式;然后在时间方向上利用基于外推的Crank-Nicolson格式离散,得到一个半显式的数值格式,然而此格式不能保持GP方程固有的质量守恒,因此,对格式得到的数值解利用投影方法进行修正,使其满足离散质量守恒;最后通过数值实验验证了该格式具有高精度以及保持质量守恒.     

关于3维Navier－Stokes方程解的整体正则性研究

本文对３维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程解的整体正则性进行了研究,得到了解在一些更弱的范数意义下的“小初值”正则性结果。     

非线性摄动电报方程初值问题的渐近理论

对一类二阶半线性摄动电报方程,给出了一个渐近方法,证明了解的渐近理论及形式近似解的合理性都在时间变量无穷大时（０≤ｔ≤Ｏ（｜ε｜－１））成立,并推广了赖绍永的工作［应用数学及力学,１９９７,１８（７）：６１１～６１６］．     

Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.     

一类一阶线性非齐次方程组的解法

利用二阶线性微分方程的可解定理,给出一阶线性非齐次方程组的一种新解法     

具有变时滞的偏泛函微分方程平凡解的一致渐近稳定性

运用Ｒａｚｕｍｉｋｈｉｎ技巧．对两类具有变时滞的偏泛函微分方程进行了讨论．获得其平凡解一致渐近稳定的充分判别条件．     

剪枝 Galois 格上规则的直接计算

Ｇａｌｏｉｓ格用于知识发现具有许多优点,并在实际应用中显示了一定的价值。现提出一种在已剪枝的Ｇａｌｏｉｓ格上直接计算规则的算法,其主要依据格结点的直接泛化来产生规则集合。该算法在一定条件下更为有效,并且所产生的规则集合是无冗余的。文中所述方法已用于数据库知识发现工具ＨＵＴＫＤＤ中。     

有间隙系统自激振动的近似解析解

对有间隙系统自激振动非线性方程的解析解进行了分析,通常平均法产生误差的重要原因在于假设平均法的解时未考虑间隙的影响,从而提出一种新的方法,即加权平均法。经验证,计算精度符合工程要求,为某些非线性方程提供了一条求其近似解析解的途径。