集群系统的单一系统映像研究

提出了一种集群网络服务器单一系统映像的结构，即Glosim系统．该系统在操作系统内核层通过修改与IPC对象、进程信号相关的系统调用，提供全局系统映像服务，支持全局IPC对象，包括消息队列、信号量及共享内存，同时引入全局工作进程概念，透明地提供SSI服务，并与LVS和SIOS配合，实现了集群系统的高性能单一系统映像．     

具时滞的细胞神经网络的全局稳定性的新定理

提出了判定具有时滞的细胞神经网络渐近稳定性的一条新定理，可以证明，该定理的结论使得直到目前为止的所有全局渐近稳定性定理或推论均为其特例，并且证明简单，条件判定也较容易实现。     

半导体中的多维流体力学模型在球的外部区域上的整体光滑解的渐进行为

研究半导体中的多维流体力学模型在球的外部区域上的整体光滑的渐进行为，证明了其依指数形式收敛到稳态解的特性。     

一类带有因病死亡率的SIS流行病积分模型的分析

本研究一类带有因病死亡率的SIS流行病积分模型，得到地方病平衡点存在的阈值，当该阈值小于1时，无病平衡点是全局吸引的，当该阈值大于1时，给出了地方病平衡点局部稳定的充分条件。     

非线性规划含三个参数的一族梯度投影法

利用偏斜梯度给出非线性不等式约束规划的含３个参数的一族梯度投影法．证明了方法的全局收敛性，并分析了算法族的几个有价值的特例．     

线性方程组解的判定定理和结构定理

给出了不同于一般高等代数教科书中线性方程组解的判定定理和结构定理．     

全局最优化的平滑积分变换方法Ⅰ基本思想和理论框架

提出了解决全局最优化中多极小问题的平滑积分变换方法．通过平滑积分变换将目标函数平滑变形，充分变形后的目标函数将仅有一个极小，沿该极小在变形过程中的轨迹回溯即可找出其对应的原始目标函数的一个较深且较宽的极小．研究了平滑积分变换的数学性质并提出了不依赖局部极小化算法的极小追踪技术．     

最优化问题广义投影下的广义次可行方向算法

利用广义投影技术和次可行方向法思想建立了非线性等式与不等式约束最优化问题的一个算法，它采用广义投影代替了传统的转轴运算，而且广义投影阵只由ε－积极约束函数的梯度产生，对于不等式约束的辅助优化问题，该算法是一个次可行方向类算法，称之为广义次可行方向法，算法在较弱的条件下具有全局收敛性。     

广义Cury线搜索下一种新共轭梯度法及其全局收敛性

本文对无约束最优化问题：ｍｉｎｆ（ｘ），ｘ∈Ｒｎ，提出一种新的共轭梯度法．该算法中参数βｋ采用一种新取法，并结合广义Ｃｕｒｙ线搜索及ｎ步重新开始策略．在关于目标函数较弱条件假设下，证明了所给算法的全局收敛性．     

抽象空间传染病模型非线性积分方程的整体解

利用分析方法和非紧性测度理论，讨论了抽象空间传染病模型非线性积分方程整体解的渐近行为及整体解集的特点。