国家自然科学基金(11001204)
- 作品数：9 被引量：8H指数：2
- 相关作者：罗勇胡亦郑刘海玉李素梅陆征一更多>>
- 相关机构：温州大学中国科学院成都计算机应用研究所四川师范大学更多>>
- 发文基金：国家自然科学基金浙江省教育厅科研计划国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 一个周期环境下具有阶段结构的综合害虫治理模型的研究
- 2016年
- 基于害虫综合治理策略,我们运用脉冲泛函微分方程,建立了具有阶段结构的在固定时刻分别喷洒杀虫剂和释放有病害虫与天敌的害虫治理模型.通过应用脉冲微分方程比较定理,脉冲微分方程不等式,Floquet定理和小振幅扰动技巧,我们给出了系统易感害虫根除周期解的全局渐近稳定的充分条件和系统持续生存的充分条件.
- 胡亦郑刘海玉罗勇
- 关键词：周期解全局渐近稳定
- 多项式微分系统定性性质的算法化推导被引量：2
- 2010年
- 关于利用计算机代数系统,结合吴方法,Grbner基方法,结式方法以及实根分离算法等对于多项式微分系统定性分析和稳定性判定的一些近期进展,主要包括高维系统平衡点和稳定性判定,一般平面系统的焦点量计算,焦点量独立性的判定以及小扰动极限环的构造以及利用向量场对称性或不变解曲线的存在性部分算法化地给出中心存在的条件.最后展示一些计算实例并提出几个相关的公开问题.
- 胡亦郑罗勇陆征一
- 关键词：微分系统稳定性极限环
- 一类考虑CTL免疫反应的病毒动力学模型的定性分析被引量：4
- 2013年
- 在本文中,主要研究了一类具有CTL免疫反应的病毒动力学的数学模型,对其具有一般形式疾病发生率的模型进行了讨论,通过构造Lyapunov函数,给出了平衡点处的全局稳定性分析.当R_0≤1时,病毒在体内清除;当R_0>1,如果R_1<1,表示病毒最终生存而CTL免疫细胞最终消失;如果R_1>1,病毒和CTL免疫细胞会持续生存.
- 李素梅罗勇胡亦郑
- 关键词：CTL免疫反应发生率LYAPUNOV函数
- 具有Holling-II型的修改的Leslie-Gower捕食-食饵模型的定性分析
- 2013年
- 主要研究了具有Holling-II型、修改的Leslie-Gower捕食-食饵系统,对其具有一般非线性增长率和非线性密度制约的模型进行了讨论,得到了正平衡点存在、边界平衡点和正平衡点局部稳定的充分条件,通过构造Lyapunov函数,给出了平衡点处的全局稳定性分析.最后,通过数值模拟对相关的结论进行了验证.
- 伍秀娟罗勇
- 关键词：LYAPUNOV函数
- 食饵具脉冲扰动与捕食者具连续收获的阶段结构捕食-双食饵模型
- 2015年
- 运用脉冲微分方程的比较定理,研究了一类具有脉冲扰动与捕食者具有连续收获的时滞捕食-双食饵模型,证明了系统所有解的一致完全有界,讨论了周期解的存在性,得到捕食者灭绝周期解的全局吸引性和系统持续生存的充分条件.
- 刘海玉罗勇胡亦郑
- 关键词：脉冲扰动
- 一类扩散Holling-Tanner模型行波解的存在性
- 2012年
- 在生态学中,可以用非线性反应扩散方程来描述种群在时间上的变化和在空间中的分布及扩散情况.对于扩散的生物种群模型,通过研究模型中方程的渐近性态,可以知道该种群是持续生存还是趋向灭绝.在非线性反应扩散方程的研究中,行波解由于其形式简单,研究比较方便,为研究偏微分方程的动力学行为提供了一些途径.文章对一类添加扩散项的扩散Holling-Tanner系统进行了定性分析,得到了系统平衡点局部渐近稳定的充分条件.再通过构造Liapunov函数的方法,得到扩散Holling-Tanner系统平衡点全局渐近稳定的条件,以及该系统行波解存在的充分条件,并进行了数值模拟.
- 蒋松罗勇
- 关键词：全局渐近稳定行波解
- 一类松籽、松鼠、幼苗的征税模型分析被引量：1
- 2014年
- 运用微分方程理论,研究了一类非线性的红松种群征税模型,得到了该系统的平衡点,证明了该系统正平衡点的局部渐进稳定性和正平衡点的全局吸引域,利用Pontryagin最大值原理给出了最优征税策略.
- 郑洪艳罗勇胡亦郑
- 关键词：最优税收
- 基于多面体包含的非线性混成系统可达性分析被引量：1
- 2013年
- 针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性。
- 邹进林望罗勇曾振柄
- 关键词：混成系统可达性分析
- 具有不同频率脉冲控制的周期环境下捕食系统的动力学性质
- 2015年
- 研究了一类在周期环境下具有不同频率脉冲控制的综合害虫治理捕食系统模型,利用脉冲微分方程相关理论,分别给出了不同策略下害虫灭绝周期解的存在性与全局渐近稳定的充分条件,用数值模拟分析了系统参数、害虫和天敌的残存率、喷洒杀虫剂的次数等对临界值的影响.
- 李远远罗勇胡亦郑
- 关键词：脉冲控制全局渐近稳定捕食系统
