多项式微分方程的广义反射函数及其周期解

为了研究多项式微分方程周期解的存在性与稳定性,通过多项式微分方程的广义反射函数来寻找其Poincaré映射.给出了多项式微分方程具有线性广义反射函数的充要条件,以及在该条件下线性广义反射函数的具体表达式和多项式微分方程周期解的存在性与稳定性.该结果对研究相关微分方程周期解与稳定性具有一定的参考价值和指导意义.     

具时滞神经反馈模型的Hopf分支

研究了一类具时滞神经反馈模型的动力学性质.利用超越函数的零点分布定理和规范型理论,讨论了系统平衡点的稳定性和局部Hopf分支的存在性,给出了确定分支方向及分支周期解稳定性的计算公式.在此基础上,证明了全局Hopf分支的存在性,最后给出了一个数值仿真的例子,仿真结果表明,分支周期解的存在性可以由局部延拓至全局,从而验证了理论结果的正确性.     

一类具有时滞捕捞项的比率依赖模型的稳定性与分支分析

研究了一类具有时滞捕捞项的捕食者食饵模型.利用泛函微分方程理论,讨论了模型的正平衡点的存在性、局部稳定性和Hopf分支的存在性的条件,其次运用Hassard方法分析了周期解分支的方向和稳定性,并给出了数值模拟证实分析的结果.     

电子束聚焦系统模型正椭圆周期解的存在性

为了控制电子束的运动轨迹,使其有效地聚焦目标,对电子束聚焦系统数学模型的正椭圆周期解的存在性进行研究.利用Floquet理论得到了该方程的正椭圆周期解存在的条件;然后利用上下解方法和拓扑度的同伦不变性理论,证明了该模型正椭圆周期解的存在性定理,并进行了实例验证.结果表明：对该模型的系数取值范围的界定合理,正椭圆周期解的存在性定理正确,为进一步研究稳定性奠定了基础.     

一类带有脉冲接种的离散SIS模型的分析

给出了一般离散SIS模型及其动力学性态,并建立了带有脉冲接种的离散SIS传染病动力学模型,考虑了它的无病周期解的稳定性条件;给出了离散脉冲SIS传染病模型的基本再生数,它决定了传染病模型无病周期点的存在性及稳定性;最后用两种方法给出了带有脉冲接种模型的控制策略.     

一类时滞系统解的稳定性和周期性

通过构造适当的Liapunov泛函,研究一类时滞系统零解的稳定性和周期解的存在性,推广了已有的结果.最后给出几个具体的应用例子,说明了主要结果的可行性和实用性.     

具有饱和发生率的脉冲接种SIR传染病模型

针对一类具有垂直感染和饱和发病率的脉冲接SIR传染病模型,研究了模型无病周期解的存在性及其稳定性,得到无病周期解的全局稳定性和模型一致持久性的条件,并对结果进行了数值模拟,验证了结论的正确性,同时给出模型中的参数对疾病传播的影响.     

潜伏期带有输入的非自治SEIR传染病模型

针对一类潜伏期具有人口输入的非自治SEIR传染病模型,给出了模型解的正性、疾病的持久性,以及当参数为周期函数时模型的周期解的存在性及稳定性的充分条件.最后通过数值模拟说明了,若潜伏期有人口输入,则传染病定为持久稳定的.     

泛函微分方程的周期解

利用泛函数微分方程的Lipschitz稳定性,讨论方程的周期解的存在性,给出几个存在定理。     

静态神经网络概周期解的存在性与全局指数稳定性

利用压缩不动点原理和微分不等式,研究了S-分布时滞静态神经网络概周期解的全局指数稳定性,在不要求作用函数有界、单调与可微的前提下,给出了判断该模型概周期解存在性与指数稳定性的新的充分性条件,该结论推广了已有的结果。     

离散微分代数系统的有界性及周期解的存在性

研究离散微分代数系统的解的有界性，得出：若一个具有周期性质的离散微分代数系统的解是最终有界的，则必存在周期解．利用广义Lyapunov函数研究一类离散微分代数大系统，给出了其存在周期解的充分条件．     

中立型多延迟积分微分代数方程渐近稳定性分析

研究具有多个延迟的向量形式的中立型多延迟积分微分代数方程(NMDIDAEs),给出渐近稳定的相关定义,构造并证明中立型多延迟积分微分代数方程(NMDIDAEs)解析解渐近稳定的条件.     

含有微分代数子系统的混杂系统稳定性研究

针对目前广泛存在的微分代数混杂系统(DAHS)的一般模型,提出了包括稳定性和(大范围)渐近稳定性概念的稳定性理论框架.利用单李雅普诺夫(Lyapunov)函数和多李雅普诺夫函数工具,得出了在任意切换及慢切换条件下判断DAHS的稳定性及渐近稳定性的充分条件.尤其对仅包含线性微分代数子系统的混杂系统,还具体给出了其切换序列的选择办法,以使整个系统达到大范围渐近稳定.在一个包括两个线性微分代数子系统的DAHS实例中,用相关定理得出了切换序列的选择办法,使得整个系统稳定.     

Asymptotic stability properties of θ-methods for delay differential equations

0　ＩＮＴＲＯＤＵＣＴＩＯＮＩｎｒｅｃｅｎｔｙｅａｒｓ ,ｍｕｃｈｒｅｓｅａｒｃｈｈａｓｂｅｅｎｆｏｃｕｓｅｄｏｎｔｈｅｎｕｍｅｒｉｃａｌｓｏｌｕｔｉｏｎｏｆｄｅｌａｙｄｉｆｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎｓ[1～ 3] .Ｔｈｅｓｅｓｙｓｔｅｍｓｃａｎｂｅｆｏｕｎｄｉｎａｗｉｄｅｖａｒｉｅｔｙｏｆｓｃｉｅｎｔｉｆｉｃａｎｄｅｎｇｉｎｅｅｒｉｎｇａｐｐｌｉｃａｔｉｏｎｓｓｕｃｈａｓｃｉｒｃｕｉｔａｎａｌｙｓｉｓ ,ｃｏｍｐｕｔｅｒａｉｄｅｄｄｅｓｉｇｎａｎｄｎｏｎｌｉｎｅａｒｐｏｗｅｒｓｙｓｔｅｍｓ .Ｉｎ…     

关于离散线性区间系统稳定性的判定问题

本文研究离散线性区间系统的稳定性,给出判定稳定性及不稳定性的方法。     

一阶微分代数方程组的相容性的讨论

讨论了微分代数方程组ｘ＝ｇ（ｘ，ｔ）（１．１）ｆ（ｘ，ｔ）＝０（１．２）的相容条件。并指出了国外某些文献中忽略的一个问题。     

计算一类微分系统稳定区间的判定条件

对于一类滞后型微分系统, 为了给出计算其稳定时滞区间的代数判定条件, 通过分析其时滞相关稳定性, 构造了计算该系统稳定时滞区间的算法. 借助于 Routh-Hurwitz 准则及多项式完全判别系统, 该算法可实现在线计算. 该算法适用于一类多时滞微分系统, 并可计算多个稳定时滞区间, 完善了一些文献中只针对单时滞微分系统或只给出一个稳定时滞区间的结果.     

滞后区间系统的鲁棒稳定性分析及其应用

研究了滞后区间系统的鲁棒稳定性和镇定问题。基于Ｌｙａｐｕｎｏｖ原理,给出了判断滞后区间系统的时滞独立渐近稳定的充分条件,这个充分条件是一个代数Ｒｉｃｃａｔｉ不等式方程存在正定解。进一步,利用这个充分条件得到了镇定问题的解,所设计的静态线性反馈控制律保证区间闭环系统内部稳定。对国产某型飞机运动系统的分析,说明本文的结果是有用的。     

离散区间延迟系统分支稳定性

研究离散区间延迟系统的一种特殊形式的渐近稳定性，即分支渐近稳定性，证明了离散区间延迟系数分支渐近稳定的充要条件是系统矩阵在每一时刻都满足一定约束条件的系统状态向量变换成满足另一个约束的向量，由此给出了区间延迟系统分支渐近稳定的充要条件。     

区间时变时滞离散系统的稳定性分析及控制器设计

含有区间状态时滞的系统在实际中有重要的应用,如它可以方便地描述一类网络控制系统.本文对含有区间状态时滞的线性离散系统考虑了稳定性分析与状态反馈控制器设计问题.为研究该类系统的稳定性,通过引入二重求和和三重求和构造了新型的Lyapunov-Krasovskii泛函.在对所构造的泛函处理其差分的过程中,利用了基于Abel引理的有限和不等式技术以及时滞分割方法,进而提出了该类系统稳定的线性矩阵不等式充分性条件.相对于以往的Lyapunov泛函,本文所提出的Lyapunov-Krasovskii泛函包含更多的时滞信息,而且所采用的差分处理方法不涉及原系统的模型变化,因而所提出的渐近稳定充分条件具有较低保守性.另外,相对于以前存在的自由权矩阵方法,本文所提出的方法具有较少的可行性变量矩阵,因而能有效地降低计算量.基于所提出的稳定性条件,本文进一步提出了无记忆状态反馈镇定控制器的设计方法.所提出镇定控制器设计方法也通过线性矩阵不等式给出,具有很好的数值稳定性.最后,通过数值算例验证了所提方法的正确性和有效性.