一类病毒动力学模型的全局稳定性分析

在病毒能影响未感染细胞产生的假设下,研究了一类被感染细胞具有潜伏和活性两阶段的动力学模型,给出病毒存在与否的阈值,并讨论了平衡点的存在性.通过微分方程稳定性理论得到病毒灭绝平衡点的全局渐近稳定性,利用自治收敛定理证明了病毒存在平衡点的全局渐近稳定性.     

一类具有信息变量和等级治愈率的SI传染病模型的稳定性分析

本文研究了一类SI传染病模型,并简单地讨论了它的稳定性.通过研究发现无病平衡点E0=(1,0,1)当R0≤1时存在,且该平衡点是局部渐近稳定的.而它的全局渐近稳定通过构造Lyapunov函数被证明了.地方病平衡点E*=(S*,I*,Z*)存在的充分条件当R0 1时被得到,并且在本文中利用自治收敛定理得到了它的全局渐近稳定性.     

一类总人数变化的SEIR和SEIS组合传染病模型

研究了具有指数出生和标准发生率的SEIR和SEIS组合传染病模型,给出了疾病流行与否的阈值并讨论了平衡点的存在性.在考虑因病死亡率的条件下,利用微分方程稳定性理论及定性分析的方法得到了无病平衡点的全局渐近稳定性;当不考虑因病死亡率时,用自治收敛定理证明了地方病平衡点的全局渐近稳定性.     

一类具有信息变量和饱和恢复率的SIR传染病模型的研究

本文讨论了一类具有信息变量和饱和恢复率的SIR传染病模型的稳定性.当基本再生数R0≤1时,存在无病平衡点,当R0>1时,得到了存在地方病平衡点的充分条件;利用Routh-Hurwitz判据和特征根方法得到了平衡点的局部渐近稳定性,并通过构造Lyapunov函数讨论了无病平衡点的全局渐近稳定和利用自治收敛定理证明了地方病平衡点的全局渐近稳定性.     

一类差分方程的渐近稳定性

考虑种群模型中常见的线性自治差分方程中一类变时滞差分方程,获得其一致稳定和全局渐近稳定的充分条件,推广了已有的结论,并且证明了两定理的条件不能相互代替．     

基于比率的三种群混合模型的研究

研究了基于比率的三种群混合模型非自治系统的持久性 ,利用微分不等式证明了系统满足一定条件时是持续生存的 ;利用Brower不动点定理证明了适当条件下系统至少存在 1个正的周期解 ;通过构造适当的Lyapunov函数得到系统存在唯一全局渐近稳定周期解的充分性条件 .     

一个子级数收敛定理

利用最普遍Orlicz-Pettis型定理,通过构造特殊度量,在测度系统(L,Ca(L,G))上建立了一个子级数收敛定理,其中L是有效代数,G是局部凸空间.这一定理使著名的关于向量测度的Vitali-Hahn-Saks-Nikodyin定理成为它的推论,并且加以推广改进.     

基于Parseval框架的多小波子空间抽样定理

研究了基于Parseval框架的多小波子空间中的抽样定理.通过满足一定条件,给出抽样定理在多小波子空间中成立的等价条件.所得结果不仅推广了单小波子空间的抽样定理,而且抽样公式在L2(R)收敛意义下成立.     

一类具有信息变量和等级治愈率的SIR传染病模型的研究

研究了一类具有信息变量,饱和发生率和等级治愈率的SIR传染病模型。首先给出基本再生数R0,利用Routh-Hurw itz判据和特征根方法得到当R01时,无病平衡点局部渐近稳定;当R01时,地方病平衡点局部渐近稳定;模型出现两种分支,分别为跨临界分支和Hopf分支。其次通过构造Lyapunov函数证明了无病平衡点的全局稳定性,利用自治收敛定理证明了地方病平衡点的全局稳定性。最后用数值模拟验证了理论结果的正确性。     

Stieltjes积分的单调收敛定理

单调收敛定理涉及到积分与极限交换顺序问题,因而在理论和应用上都很重要.本文将关于Riemann积分的单调收敛定理推广到Stieltjes积分的情形.     

在脉冲免疫和脉冲隔离作用下的SIQR模型全局分析

本文讨论了在脉冲免疫和脉冲隔离作用下的SIQR模型．假定在每次免疫期有m次脉冲隔离发生，利用脉冲微分方程解的比较定理^[1]证明了无病周期解在一定条件下是全局渐近稳定的．     

遗传算法数学机理分析

对遗传算法（或基因算法）进行了较详细的分析与论述,包括SGA一般模型,GA模式定理,并利用齐次有限Markov链证明了SGA的非全全局收敛性和OMSGA的全局收敛性。     

一类带毒素和收获项的扩散模型的定性分析

利用常微分方程定性与稳定性理论研究一类带毒素和收获项的捕食与被捕食扩散模型的整体性态.证明了该模型在第一象限内存在一个吸引域;得出系统的一切正解是强持续生存的条件;最后利用数值模拟仿真进一步验证定理的准确性.     

一类潜伏期具有传染性的流行病模型的稳定性

研究一类潜伏期和染病期均具有传染性和康复可能的SEIQ流行病模型,确定了疾病流行与否的阈,利用Routh-Hurwitz判据和LaSalle不变集原理得到无病平衡点的全局渐近稳定性,并借助广义Bendixson-Dulac定理得到地方病平衡点的全局渐近稳定性,最后将隔离率作为控制变量,用范数指标函数作为衡量控制变量的标准,得出该模型最优控制元的存在惟一性.     

一类随机微分方程欧拉格式的收敛性

为进一步研究标量自治随机微分方程的数值解,给出了求解方程的欧拉格式,证明了方程的偏移系数和扩散系数均满足全局Lipschitz条件时的收敛性,并求出了局部收敛阶和均方强收敛阶.证明过程中放宽了限制条件,也得到了与系数满足全局Lipschitz条件和线性增长条件时相同的收敛阶.     

一类具功能性反应的食饵-捕食者两种群模型的定性分析

研究了一类具功能性反应的食饵-捕食者两种群模型.利用微分方程定性理论,当给定参数满足一定条件下,讨论了该系统平衡点的稳定性态.运用Dulac函数法,得到了系统不存在闭轨的充分条件.运用Poincare-Bendixson环域定理,证明了极限环的存在性.运用张芷芬惟一性定理,证明了极限环的惟一性.     

一类具反馈控制的病毒感染模型的稳定性与周期解

研究了一类具有反馈控制的病毒感染动力学模型.利用常微分方程定性与稳定性方法,通过分析特征方程,讨论了该模型各个平衡点的局部稳定性;通过构造适当的Lyapunov泛函,证明了未感染平衡点和反馈控制病毒感染平衡点的全局稳定性;最后,利用重合度理论中的延拓定理,给出了保证其周期系统存在正周期解的充分条件.     

弱集值渐近鞅的收敛定理

为了得到关于弱集值渐近鞅的收敛性质,首先证明了支撑数列的极限亦为一支撑函数,利用支撑函数的性质以及 值鞅的Doob停止定理,证明得到了两个结论：（1）在一定条件下,弱值值渐近鞅存在无限逼近的闭凸集值鞅;（2）在弱收敛意义下,弱值值渐近鞅收敛的两个等价条件。     

混合优化算法的全局收敛性分析

目前混合优化算法主要是基于实验的经验分析,有关其全局收敛性的理论分析较少.基于单调有界序列的极限定理,从统一性角度提出并证明了混合优化算法全局收敛的多个充分条件,进而得到混合优化算法设计和分析的基本准则:采用独立运行的全局收敛子算法的混合优化算法是全局收敛的;采用周期性重启动或引入随机个体的策略在参与比较和保留精英的条件下可以保证改进型算法的全局收敛性;高效实用的混合优化算法应采用搜索效率较高的算法作为主体而以其他算法作为辅助策略.