一类差分方程的Cm解的存在性和惟一性

讨论了一类较广泛的差分方程G(x,f(x),f(x 1),……,f(x n)=n,x∈R，其中G∈C^m（R^n 2,R),n≥2)，通过采用小挪动映射逼近不动点的方法，对任一整数m≥0，在较弱的条件下证明了该方程的C^m解的存在性和惟一性。     

解线性方程组的子空间直交基裂分法

 提出了一种解线性方程组的新方法,目的在于降低方程组的阶数进行计算,比Schur算法在计算量方面大为减少,特别对阶数越高稀疏性越强的方程组计算量的减少越为显著,并且该方法的算法比较简单,是一个有效的算法,在实用和理论上都有一定意义;最后在计算机上举数值例子与Schur方法进行比较.     

一维Bose-Einstein凝聚中的孤波

 导出了在一维原子玻色-爱因斯坦凝聚(BEC)中,原子被约束在谐和柱形陷阱中时的孤波的有关性质.     

(3+1)维非线性方程的多孤子解

研究了（3 1）维非线性方程的多孤子解。根据Painleve奇异分析或齐次平衡法可得到一个非线性变换，能使复杂的（3 1)维非线性方程转化为简单的线性偏微分方程和双线性偏微分方程，然后通过设定拟解，便构造出（3 1)维非线性方程的多孤子解。     

在Newman型结点上Lagrange插值多项式的发散性

191 8年 ,Bernstein证明了对于函数 |x|,由闭区间 [-1 ,1 ]上的等距结点所构成的 Lagrange插值多项式序列 ,除了 -1 ,0 ,1以外 ,在闭区间 [-1 ,1 ]上的其他任何点都发散 .1 995年 ,L.Brutman和 E.Passow将Bernstein的结论推广到一类 Newman型的结点上 .本文考虑了比 |x|更好性质的函数 ,它的 Lagrange插值多项式仍旧处处发散 ,进一步指出了 |x|的发散性并不是孤立的现象 .     

基于等距结点的Lagrange插值多项式在零点的收敛速度

S.M.Lozinskii指出了函数 |x|基于等距结点的 Lagrange插值多项式在零点的收敛速度 .2 0 0 0年 ,M.Revers把 S.M.Lozinskii的结果推广到 |x|α( 0 <α≤ 1 ) .在此中考虑了α>1的特殊情况 f ( x) =|x|5,对其基于等距结点 Lagrange插值多项式在零点收敛速度进行估计     

直线加速引力场的推导及性质

推导出直线加速引力场的空时度规以及在该时空中粒子的动力学方程和运动学方程;验证了狭义相对论和牛顿力学的规律是该引力场在一定条件下的近似,指出加速度具有极限。     

关于一类离散时间神经网络模型的稳定性

考虑一类离散时间神经网络模型的稳定性，得到了模型的平衡解是渐近稳定的充分必要条件。     

SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．     

杆振动方程的二级二阶显式辛格式及其稳定性

用PRK方法对四阶杆振动方程构造了二级二阶显式辛格式，并讨论了其稳定性．数值实验表明了理论分析的正确性．