一般Hopf曲面上向量丛的结构

得到了非主Hopf曲面上连续复向量丛全纯结构的存在性及可滤性问题的充要条件.     

软件再生系统解的渐近稳定性分析

用补充变量的方法建立了各状态之间转移概率服从一般分布的软件再生系统的数学模型 .并用泛函分析中的 C0 半群理论对系统算子的谱点分布情况作了研究 ,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除 0点外均为系统算子的正则点 ,作为线性算子半群稳定性的一个直接结果 ,得出了软件再生系统解的渐近稳定性     

二阶非线性中立型泛函微分方程的振动定理

本文研究一类具有变系数和变偏差的二阶非线性中立型微分方程,得到了这类方程的所有有界解都振动的Ｓｈａｒｐ条件,并给出了这类方程的线性化振动准则.     

由扩散张量导出的各向异性扩散模型的隐式数值模拟

研究了由扩散张量导出的各向异性扩散的图像处理模型,并构造了隐式差分格式,形成了有13条对角线的大型稀疏矩阵.利用代数多重网格法求解了这个线性代数方程组.并进行了数值试验.     

求解非线性互补问题的逐次逼近阻尼牛顿法

针对非线性互补问题,提出了与其等价的非光滑方程的逐次逼近阻尼牛顿法,并 在一定条件下证明了该算法的全局收敛性.数值结果表明,这一算法是有效的.     

带有免疫和传染年龄的传染病模型

建立了带有免疫和传染年龄的传染病模型,这种传染病带有病原体Ⅰ或Ⅱ,病原体Ⅰ可发展为病原体Ⅱ,得到了无病平衡态全局稳定和局部稳定的条件.当病原体Ⅰ不发展为病原体Ⅱ时,得到了病原体Ⅰ类平衡态的稳定性依赖于病原体Ⅱ类的基本再生指数.     

一类串联可修复系统的稳态解

本文讨论了一类具有两不同部件串联的可修复系统。利用系统算子生成的Banach空间中的正压缩C_o半群的性质,证明了系统的非负稳态解恰是系统算子的0本征值所对应的规范化后的本征向量；同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的—个直接结果,得出了该串联可修复系统的渐近稳定性。     

具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的一个直接结果,得出了该可修人机系统的渐近稳定性．     

双锥不动点定理及其在非线性边值问题中的应用

本文研究了具可变号非线性项的非线性边值问题的正解存在性,推广了Krasnoselskii不动点定理,得到了新的锥上不动点定理,并应用这些定理给出这类边值问题正解的存在性.     

带有脉冲免疫和传染年龄的SIV传染病模型解的存在性

我们建立带有脉冲免疫和传染年龄的SIV传染病模型,这类传染病在潜伏期具有传染性,总人口规模依赖时间,并且传染类的康复率和传染年龄有关.我们证明此类模型解存在唯一.