一种解非线性方程组的不精确牛顿——兰索斯方法

本文提出一种不完全线搜索技术的不精确牛顿—克雷洛夫(Newton-Krylov)子空间方法解对称非线性方程组,其中克雷洛夫子空间方法采用的是兰索斯(Lanczos)类分解技术.迭代方向是通过使用兰索斯方法近似求解非线性方程组的牛顿方程获得的.在合理的假设条件下,分析了算法的全局收敛性和局部超线性收敛速率.最后,数值结果显示了该算法的有效性.     

考虑CTL免疫饱和作用及自我增殖的HIV模型的性态分析

建立了具有CTL免疫饱和作用及自我增殖的病毒动力学模型,通过构造Lyapunov函数,得到了模型的全局稳定性.特别地,当CTL自我增殖率比较大时,如果基本再生数小于阈值,无感染但免疫激活平衡点始终存在且全局渐近稳定,这意味着在HIV感染中虽然病毒被清除,但免疫效应始终存在.而当CTL自我增殖率不足时,免疫饱和效应可能导致免疫功能受到抑制.进一步通过数值模拟发现,忽略免疫饱和作用会过高估计免疫效应.     

一种新的自适应非单调牛顿算法（英文）

本文针对无约束优化问题,提出一种新的自适应非单调线搜索技术.基于新的非单调线搜索技术,提出一种自适应非单调牛顿算法.在适当的假设下,证明了新的算法的全局收敛性.数值结果表明了该算法的可行性和有效性.     

一类振动方程周期解的全局分岔

本文利用Ｍｅｌｎｉｋｏｖ函数方法，通过分析无穷远处轨线的性质，研究一类柱面振动方程周期解的全局分岔问题，获得了第二类闭轨存在性和唯一性的条件。     

硬弹簧Duffing方程的全局分叉

本文采用Melnikov方法讨论硬弹簧系统在周期外激励与参数激励作用下的全局分叉,给出了相应的结论。     

一类含平方、立方非线性项1:2内共振两自由度系统的全局分岔

研究了一类含平方、立方非线性项的两自由度系统的全局分岔。首先应用多尺度法求解其平均方程 ,然后通过一系列变换得到一个近似可积的两自由度系统。应用能量 相位准则 ,确定了在哈密顿共振时Silnikov轨道存在的条件。通过数值计算验证了此条件。     

用胞映射方法讨论GKDV方程全局吸引域

本文用胞映射方法画出了GKDV方程未受扰系统和受扰系统的全局吸引域、r步吸引域。     

计算具有区间参数结构的固有频率的优化方法

基于区间函数的单向包含性质，把具有区间非确定参数结构的固有频率所在区间范围问题 转化成两个全局优化问题，并采用一种实数编码遗传算法求取问题的全局解. 用一种能够求 得剪切型结构和弹簧质量系统特征值范围精确解的单调分析方法进行检验. 在一 些文献中，直接采用区间数运算法则和有限元法得到结构区间刚度阵和区间质量阵，并把关 于该区间刚度阵和区间质量阵的广义区间特征值问题的特征值区间作为待求的非确定性结构 的特征值所在的区间范围，该方法易于扩大问题的解域. 算例表明，可望得到结构 固有频率区间范围的准确解.     

一类含时滞的比率依赖捕食系统正平衡点的全局稳定性分析

讨论了一种食饵增长为Gilpin-Ayala型的比率依赖的食饵捕食者模型,利用第二加性复合矩阵原理证明线性化系统正轨道解的稳定性,结合系统在凸集中存在唯一的局部正平衡点,证明了正平衡点的全局渐近稳定性.结合数值模拟验证了所得结论的合理性,同时指出定理结论仅为充分条件,丰富完善了模型的动力学性质.     

具有潜伏期和免疫应答的HIV感染模型的全局稳定性

本文考虑具有CTL免疫应答和细胞内部潜伏阶段的HIV感染数学模型,得到其基本再生数,通过构造适用的Lyapunov函数,研究该模型的健康平衡点和感染平衡点的稳定性.当基本再生数不大于1时,健康平衡点在可行域上是全局稳定的,即HIV在个体体内最终灭绝;当基本再生数大于1时,模型存在惟一的感染平衡点在可行域上是全局稳定的,即HIV在个体体内呈现持续存在状态,且其浓度最终趋于一个常数.