粘性／非粘性方程有限元和谱方法混合逼近

讨论有粘性和无粘性Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程有限元和谱方法混合逼近问题，弱交面匹配关系被应用。收敛估计显示有限元精度和谱精度可在各自的子区域中得到。     

“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

基于航速修正处理的单舰被动定位算法

提出一种基于航速修正处理的单舰被动定位算法，在修正增益推广卡尔曼滤波器的基础上，该算法把运动目标舰艇的航道约束当作输出为0的增加的观测数据加入到测量方程，约束的强度由约束条件的噪声方差确定。提出一种规避因子，用来约束目标状态方程中的航速，基本思想是根据当前估计的目标位置和航速，估计了一个针航行到陆地岛礁或即将航行到陆地岛礁时，用规避因子矩阵来修正航速的方向和大小，避免了出现目标航行到陆地岛礁的情况。计算机模拟结果表明，航速修正处理后不会出现穿越陆地岛礁的运动舰艇航透，同时还能提高对海上运动舰艇辐射源的被动定位精度。     

非线性抛物型方程的耗散性和渐近性

利用能量积分、Ｐｏｉｎｃａｒｅ不等式和Ｓｏｂｏｌｅｖ空间的迹定理，证明了两类非线性抛物型方程在非线性Ｎｅｕｍａｎｎ边界条件下的吸收集的存在性，并给出了一类拟线性抛物型方程在齐次Ｎｅｕｍａｎｎ边界条件下的渐近估计     

关于大数混合基表示的算法与问题

本文基于求解ｎ个简单同余方程组的思想给出了一个求解同余方程组的算法，算法将花费３ｎ次模运算及ｎ次求逆元运算，优于牛顿迭代法。对大数的混合基表示提出了扩张问题与压缩问题，并证明了扩张问题与其求解问题是线性等价的，而压缩问题的难度小于扩张问题。     

一类孤立子系统的无穷守恒律及其精确解

通过一个谱问题得到了一类孤子族方程:包括广义TD(k=1),TD(k=1,α=0),广义C-KdV(k=0)与C-KdV(k=0,α=0)等,进而利用Riccati方程及相容条件得到了此类孤子方程的无穷多个守恒量及其连带流。并且针对特定的非线性发展方程,给出了其精确的孤子解及椭圆函数解。     

修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

关于简化Newton方法收敛性的注记

在假设算子方程解存在的前提下,给出了以解为中心的一个球域,证明了当初始点落到这个球域时,用于判断简化Newton方法收敛性的Kantorovich定理的条件必然满足,从而由简化Newton方法产生的迭代序列收敛.     

二阶非线性微分方程解的振动性与渐近性

讨论了一类二阶非线性微分方程解的振动性与渐近性,得到了该方程有界解的振动性与渐近性的新的充分条件,改进并推广了已有的结果。     

关子齐次微分方程的积分曲线

记所论微分方程为(E_λ)_n,本文拓广的不变直线法,在(E_λ)_n的“有理相曲线”与临界、中介水平线”的交、切点与型号间建立起对应关系.依次以各水平线上交、切点型号串得的型列为行,使构成(E_λ)_n的型阵.它表达出λ遍取不同实数值(由-∞至,+∞)时,(E_λ)_n积分曲线的定性变化图景.实际上,它就是的均匀旋转向量场的完全族.