一类同身具有种群动力的非自治流行病模型

考虑一类具有Logistic增长的SIS非自治流行病模型,利用重合度理论证明了周期解的存在性,并通过构造Liypunov函数证明了周期解的全局渐近稳定性。     

分段常数变量反馈控制Logistic模型的吸引性

研究了一类具有分段常数变量与多时滞线性反馈控制Logistic模型正平衡点的全局吸引性,利用Barbalat引理证明了该模型解的一致有界与连续性,利用构造Lyapunov泛函方法得到了该模型全局吸引性的充分条件.     

多时滞反馈控制广义Logistic模型的全局吸引性

研究了一类多时滞反馈控制Logistic模型正平衡点的全局吸引性,利用第一比较定理证明了该模型解的一致有界性与连续性,通过构造Lyapunov泛函方法得到了该模型全局吸引性的充分条件,并举例说明定理的可实现性.     

Zika病毒传播动力学模型及其最优控制

为了探究Zika病毒传播规律,创建了具有Logistic增长率的Zika病毒传播动力学模型。证明了模型无病平衡点和地方病平衡点的存在性,计算了疾病爆发阈值——基本再生数。随后,提出了基于模型的最优控制问题,给出了最优解存在的必要条件并求得了最优解。最后通过数值仿真例子,对比不同控制策略,证明了模型的有效性和控制策略的合理性。     

一类具有Logistic死亡率的脉冲免疫接种SIRS传染病模型

建立了一类具有一般Logistic死亡率和标准传染率的SIRS传染病模型, 在脉冲免疫接种条件下, 利用离散动力系统的频闪映射方法, 得到了系统的无病周期解. 运用Floquet乘子理论和脉冲微分方程比较定理, 证明了该周期解的全局渐近稳定性, 并获得了系统一致持续生存的条件. 结果表明, 为了阻止疾病流行, 需要选择恰当的脉冲接种率和脉冲免疫接种周期.     

脉冲作用对环境污染中单种群动力学行为影响

研究了一个在污染环境中的单种群模型,该模型考虑外界污染源在固定时刻排放毒素到本环境中以及在同一时刻考虑通过一些因素作用使该种群生物体排泄毒素.利用脉冲微分方程的比较定理及周期单种群Logistic模型的一些已知结论,证明了当脉冲周期小于某个阈值时,该种群灭绝,反之,则该种群持续生存.并且还证明了上述的持续生存条件也能确保该系统存在惟一的全局渐近稳定的正周期解.     

具有脉冲免疫接种的SEIRS传染病模型分析

研究具有一般Logistic死亡率和标准传染率的SEIRS传染病模型的动力学行为.利用Floquet乘子理论和脉冲微分系统比较定理,证明了无病周期解的存在性和全局渐近稳定性,获得临界值τ0,θ0;并通过Matlab数值模拟的方法发现当τ>τ0或θ<θ0时会形成地方病.     

食饵种群为Logistic模型的捕食者-食系统的持久性

考虑食饵为比Logistic模型的捕食者—食非自治系统，证明了该系统在某些条件下是持久的。而且，若该系统是周期系统，在某些条件下，它们存在正周期解又是全局渐近稳定的。     

一类带功能反应项的捕食扩散模型的稳定性

主要讨论了食饵具有非线性密度制约带Holling-Π型功能反应项的捕食者—食饵扩散模型解的整体性态.先应用上下解方法证明了该模型解的一致有界性及其存在性;再应用线性化方法和Lyapunov方法证明了该模型正平衡点的稳定性.     

基于非局部流的癌细胞浸润组织模型分析

带非局部黏附项的癌细胞浸润组织模型描述了癌症细胞、周围健康组织以及基质降解酶之间的相互作用,它是一个非局部的反应-扩散-对流方程组.在零流边界条件和对初始数据合适的假设下,证明了该模型存在唯一且有界的整体光滑解.进一步,证明了该整体解指数收敛到常数稳态解.     

两物种抛物-抛物排斥趋化模型解的渐进行为

两物种抛物-抛物排斥趋化模型描述了两不同物种对同一种化学物质产生趋化排斥作用.对于充分光滑的初始数据,利用压缩不动点定理和先验估计技巧,证明了该模型存在唯一且有界的整体光滑解,并利用Lyapunov泛函证明了该整体解指数收敛到常数稳态解.     

溅射理论中的硬球模型

作者分别用Sigmund理论和硬球模型求解了溅射输运方程,证明了硬球模型的优越性,从而大大地扩展了Sigmund理论的适用范围(E＞10E0).用硬球模型求得了输运方程的一些严格解,在单元靶解析解的基础上,说明了L=0、1渐近解的正确性.在双元靶严格解的基础上,证明了泽优溅射与原子的半径大小无关.     

二次型CSTR模型和SG模型的恒稳定解的degree

研究了两个非线性常微分方程系统二次型CSTR模型和SG模型.证明了这两个模型分别存在一个严格的正不变区域且它们在各自的正不变区域内只有一个恒稳定解,这个恒稳定解的Degree是1.这为研究推广的二次型CSTR模型和SG模型解的存在性奠定了基础.     

一类具有强时滞核的单种群扩散模型的行波解

本文中,建立了一类具有强时滞核的单种群扩散模型行波解的存在性.首先,在该模型没有时滞的情况下,利用常微分方程的定性理论,得到了该模型行波解的存在性.然后,在该模型中时滞非常小时,结合线性链式法则和几何奇异摄动理论,证明了该模型的行波解仍然存在.     

一类时滞造血模型周期解的指数稳定性

研究了一类具有时变时滞的造血模型,利用Brouwer不动点定理,证明了所研究模型周期解的存在性,通过构造合适的Lyapunov函数,运用微分不等式技巧、连续性理论以及一种新的分析方法,获得了该模型正周期解指数稳定性的充分判据.给出了一个数值例子,证明了理论结果的有效性,并运用Matlab绘制了造血模型数值解的拟合图像.结论改进和推广了已有文献的相关结果.     

OWA算子Minimax Disparity赋权模型解的唯一性

采用单纯形算法给出了minimax disparity模型的解析解,并证明了minimax disparity模型的解的唯一性.     

具抑制因子的肿瘤生长模型自由边界问题的分歧分析

研究具有抑制物因子的肿瘤生长模型的自由边界问题,主要分析该问题的分歧现象.此模型中肿瘤的进攻性由参数μ来描述,首先证明了该问题当半径r=R_s时有唯一径向对称稳态解.在此基础上还证明了存在正整数m∈R和序列μ_m,使得μ_m(m>m),均存在由径向对称稳态解分歧出来的非径向对称稳态解.     

带有食饵趋向和非单调反应函数捕食模型的稳定性及Hopf分支

探讨了一类在齐次留曼边界条件下带有捕食趋向和非单调反应函数捕食模型的稳定性及Hopf分支.证明了在一定条件下当食饵趋向系数充分小时正常数解是全局渐近稳定的,但局部稳定性及其他常数解全局稳定性与食饵趋向系数无关,并证明了该模型有周期解分支.     

时滞Michaelis-Menten反应扩散方程模型的波前解

研究了时滞标量Michaelis-Menten反应扩散方程模型的波前解.通过构造相应二阶常微分方程的上下解,证明了当时滞充分小时,该模型波前解的存在性.     

一类具共生资源B-D型捕食模型解的存在唯一性

研究了一类具有空间扩散及捕食者和食饵具有共同生物资源的B-D型捕食模型,利用上下解的方法证明了该模型解的存在唯一性.