一类基于综合害虫管理策略的捕食系统的动力学性质

基于综合害虫管理策略,提出了一类食饵具有阶段结构和时滞的捕食模型,并对其动力学性质进行了分析.证明了系统所有的正解是一致完全有界的,得到了害虫灭绝周期解的全局吸引和系统持续生存的充分条件.     

一类具有脉冲和食饵具有阶段结构的时滞捕食模型的定性分析

讨论了与害虫治理相关的一类食饵具有阶段结构和时滞的捕食模型,并对其动力学性质进行了分析.证明了系统所有的解是一致完全有界的,并且得到了害虫灭绝周期解的全局吸引和系统永久持续生存的充分条件.     

具有脉冲反馈控制的捕食模型的动力复杂性

考虑了害虫综合管理策略的食饵依赖模型,即当害虫的数量达到经济危害阈值时,采用综合控制策略,如生物控制、放养控制、化学控制,以使害虫的数量达到可接受的水平.给出了Poincaré映射,得到了半平凡周期解的存在性,并利用类似Poincaré判据得到半平凡周期解稳定性的充分条件.最后,给出例子及数值模拟验证结论的正确性.     

具有阶段结构及脉冲控制的害虫管理模型

研究一类具有阶段结构、时滞及脉冲控制的害虫管理模型,利用时滞微分方程和脉冲微分方程中相关的理论与方法,得到系统害虫灭绝周期解全局吸引及系统一致持续的充分条件,并通过数值模拟验证了结论.     

具有生物和化学两类脉冲控制的捕食-食饵系统分析

基于害虫的生物和化学脉冲控制策略,研究具有阶段结构和脉冲控制的捕食-食饵系统,利用Floquet理论及比较定理分别得到系统害虫灭绝周期解全局渐进稳定和系统持续生存的充分条件.以数值模拟验证所得理论结果的可靠性.     

具有状态反馈脉冲控制的害虫管理模型

研究具有状态反馈脉冲控制的害虫管理模型,利用微分方程几何理论及后继函数的方法得到系统阶一周期解存在的充分条件,并证明了该周期解是轨道渐近稳定的.     

具有脉冲干扰和功能反应的综合害虫控制系统的灭绝性

基于综合害虫管理(IPM)策略,考虑一个具有脉冲干扰和HollingⅡ功能反应的害虫管理SI模型,讨论了害虫灭绝周期解的存在性及稳定性,获得了相应的充分条件,并给出了数值分析实例.     

一类具有状态脉冲反馈控制的害虫治理模型

研究一类具有状态脉冲反馈控制的害虫治理模型。采用脉冲理论和微分方程的定性理论得到系统唯一的正平衡点是全局渐近稳定的;利用半连续动力系统几何理论获得系统阶1周期存在的充分条件,且存在的阶1周期解轨道是渐近稳定的。结果表明:在害虫治理过程中,根据害虫数量多少,实施人工脉冲干预的目的是要把害虫数量控制在允许的经济阈值之内,而不是彻底消灭害虫,这样可以保证对生态环境实现可持续发展。     

具有脉冲效应的综合害虫控制SI模型的持久性分析

基于综合害虫管理(IPM)策略,考虑一个具有脉冲干扰和Holling II功能反应的害虫管理SI模型,建立了系统持续生存的充分条件,并通过脉冲微分方程的比较定理给出证明.     

一类杀虫剂函数影响下的非自治周期害虫综合治理模型研究

考虑到自然界害虫种群的出生率、死亡率以及人类对害虫的控制都是呈周期性变化的情况,建立了一类化学控制和生物控制相结合的非自治害虫治理模型.将杀虫剂作用函数看成是分段连续的指数函数,并将杀虫剂残留效应引入到害虫控制模型,给出了害虫灭绝周期解全局渐近稳定的充分条件.     

非线性时滞微分方程振动的充要条件及应用

首先给出了一阶非线性时滞微分方程所有解振动的充要条件和充分条件,然后应用这个结果,研究了一类非线性中立型方程的振动性,改进和推广了魏俊杰等撰写的论文中的一些结果。     

带LMI约束的混合整数二次规划问题的全局最优性条件

推导出带LM I约束的非凸二次规划的全局最优充分性条件.其中,主要是利用一种研究全局最优化问题的全局最优性条件的新方法,来对这类特殊非凸二次规划问题的全局最优充分性条件进行研究.通过利用一个拉格朗日函数和L-次微分相结合的方法,然后再利用这两个已证明的结论推导出带LM I约束的混合整数二次规划最小问题的全局极小点的全局最优性充分条件,而且在推导出的定理基础上得到了一些推论.     

一类与单种群模型有关的非线性泛函微分方程解的振荡性

给出了一类一阶非线性泛函微分方程解的振荡性的充分性判据,并用例子说明了用线性化方程的振荡性判据去给出非线性方程的振荡性的判据有时是错误的。同时,得到了时滞的单种群方程的解的振荡性的一些充分性判据。     

具有反馈控制的捕食-竞争系统的全局性态

利用Lyapunov函数方法得到了具有反馈控制的捕食一竞争系统正平衡点的全局渐近稳定的充分条件；分别用构造递归序列的方法和构造Lyapunov泛函的方法得到了具有反馈控制与时滞的捕食一竞争系统正平衡点全局吸引和全局渐近稳定的充分条件．     

箱样条曲面的单调性

引理1 设X_(s+1)={e~1,…,e~s,e~1+…+e~s},ξ∈X_(s+1),如果对于所有的i∈Z~s,都有C_(i+ξ)≥C_i,则箱样条曲面S(x)=■C_iΦ_i(x|X_(s+1))在ξ方向上是单调非降的。其中Φ_i(x|X_(s+1))是箱样条函数。定理1 设X_n={x~1,…,x~n}■Z~s■{0},对任意1≤i≤n,〈X_n■{x_i}〉=R~s,令I_k={j|Φ_j(x|X_n■{x~i})■0,x∈suppΦ_k(x|X_n■{x~i})},M_k=■(C_(j+x~i)+C_j)则箱样条曲面S(x)=∑C_jΦ_j(x|X_n),x∈R~S(1)在x~i方向上单调非降的必要条件是     

一类高次多项式系统的定性分析

作者研究了一类平面高次多项式微分系统的奇点性态和极限环问题,给出了系统的奇点为稳定焦点、不稳定焦点和鞍点的充分条件.通过选取恰当的Dulac函数,作者给出了该系统极限环不存在的一些充分条件,并利用Hopf分支问题的Liapunov第二方法得到了该系统极限环存在性和稳定性的若干充分条件,然后利用Cherkas和Zheilevych的唯一性定理得到了极限环唯一性的若干充分条件.     

广义次对角占优矩阵的充分条件

利用判定广义对角占优矩阵的充分条件,通过类比法给出了判断广义次对角占优矩阵的一组充分条件.     

不同分布相依序列部分和的完全收敛性

讨论了不同分布的~ρ序列的部分和在含有慢变函数因子的情形下的完全收敛性的充分条件,其中关键的矩条件仅仅是相对应的E|X0|ph(|X0|1/α)<∞.特别地,对同分布序列获得了与独立情形下的Baum和Kate定理一致的充分条件.     

一类一阶线性DDE特征方程根的讨论

通过对一阶线性低维DDE特征方程的具体计算,探讨了其仅有有限根的充要条件,并给出这类n维差分微分方程应满足的充要条件.