一类考虑年龄特点的离散AIDS模型的全局稳定性

根据艾滋病传播的特点建立了一类考虑年龄特点的离散AIDS模型.首先给出了建模思想,用差分方程建立了数学模型,然后对模型平衡点的稳定性进行了理论分析,得出一定条件下模型无病平衡点和地方病平衡点的稳定性.另外,还给出了模型的基本再生数,其意义为一个病人在染病期内平均感染的人数,基本再生数决定了模型无病平衡点和地方病平衡点的存在性和稳定性.     

平面系统零解的单侧稳定性及渐近稳定性

针对量Liapunov稳定性定理中要求在平衡原点某部域内满足一定的条件，考虑到平面系统的平衡点可以只在通过它的一对解的一侧讨论，经过一些条件的修改，得出了平衡点的单侧稳定性和渐近稳定性的判定定理，并给出证明过程．     

一类具有密度制约和治疗的SIS模型的性态分析

研究了一类具有密度制约和治疗的SIS传染病模型,讨论了平衡点的存在性和稳定性,并利用Poincare-Bendixson定理证明系统不存在极限环.     

BZ振荡反应体系的复杂动力学行为

结合动力系统的定性与稳定性理论、中心流形定理及Hopf分叉理论,分析了Belousov-Zhabotinsky反应的非线性动态现象的机理,包括随分叉参数变化时平衡点的类型及其稳定性变化。从理论上严格证明了BZ反应周期振荡的产生与消失是由于平衡点发生了2次Hopf分叉导致的。通过Matlab、Mathematica软件对模型进行数值模拟,验证了理论分析的结果。     

具有阶段结构和避难所的捕食系统稳定性

为进一步完善关于具有阶段结构种群系统的研究,讨论一类具有阶段结构和避难所的Leslie-Gower捕食者-食饵系统,利用微分方程中的微分不等式、比较原理、Hurwitz判据等定性和稳定性的方法,讨论了系统解的有界性,平衡点的存在性及渐近稳定性,证明了在适当条件下系统是一致持久的,通过定理条件可以发现,若系统的正平衡点是局部渐近稳定的,则该系统必是一致持久的,同时,对模型中的参数赋予确定的数值,利用数学软件对模型进行数值模拟,从而进一步证明了所得的结论.     

基于复值神经网络的分式规划问题

研究了利用复数神经网络解决带有区间约束条件的复变量非线性分式规划问题,提出的神经网络模型关于问题的可行解具有全局稳定性.对模型平衡点的存在性和稳定性给出了详细推导和证明.最后通过数值例子证实了该模型的可靠性和有效性.     

两种群竞争系统的稳定性及其数值仿真

对两种群竞争系统的Volterra prey-predator模型,利用微分方程的稳定性理论对模型的平衡点的稳定性进行了研究、分析了相轨线的特征、在给定几组参数值和初值下,利用Matlab软件对模型进行了数值仿真并给出图形结果.结果表明:模型存在着一个稳定的平衡点和一个不稳定的平衡点,系统呈周期性变化,在初值附近波动,存在着一条闭轨线.     

带可变的分布式延时的高阶Cohen-Grossberg神经网络的动力学行为分析(英文)

对于高阶和低阶CGNN的工作前人做了很多,其中论及的网络都属于文章中讨论的高阶Cohen-Grossberg神经网络的某种特殊情况.讨论了此类网络平衡点的存在性和稳定性.引理2给出了系统(3)何时有平衡点的一个判断,定理1和定理2则讨论了不同条件下引理中平衡点的稳定性.每一个引理和定理都有简单的式子便于计算和判断.研究的带有可变的分布式延时的Cohen-Grossberg神经网络的平衡点的存在性和稳定性的结果具有普遍的意义,可以用于一大类CGNN的平衡点存在性和稳定性的判定上.     

实施干预措施在HIV/AIDS预防中的效果

考虑了一类对高危人群实施干预措施的HIV/AIDS传播模型,给出了无病平衡点的全局稳定和地方病平衡点的局部稳定的条件.当R01时,讨论了地方病平衡点的局部渐进稳定性,重点讨论了对高危人群实施干预措施在HIV/AIDS预防中的积极效果.     

一类具比例时滞细胞神经网络的全局渐近稳定性

研究一类具多比例时滞细胞神经网络的全局渐近稳定性.首先应用Brouwer不动点定理证明该系统平衡点的存在性,其次根据矩阵谱半径理论证明该系统平衡点的唯一性,然后通过构造合适的Lyapunov泛函及运用不等式的分析技巧,与Barbalat引理相结合,讨论该系统平衡点的全局渐近稳定性,并得到该系统全局渐近稳定的时滞无关和时滞相关的2个新的充分条件,最后给出数值算例及仿真结果验证所得结论的正确性.     

对高危人群实施干预措施的时滞HIV/AIDS传播模型

考虑了一类对高危人群实施干预措施的HIV/AIDS传播模型,给出了无病平衡点的全局稳定和地方病平衡点局部稳定的条件,当R01时,疾病在人群中持久,同时,研究了干预措施在HIV/AIDS预防中的效果.     

艾滋病的药物动力学模型的稳定性证明

讨论了一类艾滋病药物动力学模型的平衡态的存在性,并通过研究其雅克比矩阵证明了两类平衡态的局部稳定性。     

一类有意识分类和控制策略的艾滋病性传播模型

提出了一类具有意识分类和控制策略的艾滋病性传播模型。讨论了模型无病平衡点和地方病平衡点的存在性,并证明了它们的稳定性结果。     

双线性发生率的艾滋病模型的研究

讨论了具有阶段结构和双线性发生率的艾滋病SI模型.在该模型中,通过分析讨论,得到了地方病平衡点存在的阈值条件,以及无病平衡点局部渐进稳定和全局渐进稳定的充分条件和地方病平衡点局部渐进稳定的充分条件.     

具有家庭干预的HIV/AIDS模型动力性研究

考虑一类具有移民、筛选和家庭干预的HIV/AIDS传染病模型的全局动力性.确定了模型的阈值R₀.当R₀ < 1,无病平衡点是全局渐近稳定的,疾病死亡;当R₀>1,唯一的地方病平衡点是全局渐近稳定的,疾病持续下去.同时也研究了模型平衡点的稳定性和敏感度行为.最后运用数字模拟来支持所得结果.     

一类具有收治率的艾滋病传播的随机模型及其风险分析

建立一类考虑收治率因素的艾滋病传播的随机微分方程模型,分析了其渐近稳定性,得到收治率的一个临界值表达式,通过仿真,验证该临界值对艾滋病消亡的作用,并比较不同的疾病传播率对艾滋病传播过程的影响.相应地,针对不同的疾病传播率,给定同一个控制目标,分别计算了在4种不同的收治强度下,艾滋病病毒感染者人数占总人口比例超过该控制目标的风险概率,从而为艾滋病的预防与控制提供一定的决策支持.     

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

主要研究了食饵具有非线性密度制约带Holling II型功能反应项的捕食者一食饵扩散模型中的半平凡平衡点的稳定性．先对模型的平凡平衡点和半平凡平衡点进行了分析,冉应用线性化方法和Lyapunov方法证明了该模型半平凡平衡点的稳定性．     

害鼠治理中一类在食饵中具有不育控制的捕食与被捕食模型

研究了一类食饵中具有不育控制的捕食与被捕食模型,讨论了模型解的有界性及零平衡点和正平衡点的局部稳定性,通过构造适当的Lyapunov函数并运用La Salle’s不变原理,证明了正平衡点的全局稳定性.     

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

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

Stability Analysis of Equilibrium Manifolds for a Two-Predators One-Prey Model

Introduction One of the most famous mathematical models is the predator-prey model of Lotka and Volterra. The important part of the relationship between a predator and a prey is the functional response, which depends on the density of the prey, the prey-d…