学科分类
/ 7
129 个结果
  • 简介:建立了一类具隔离和时滞的肺结核系统,运用脉冲时滞微分方程理论.运用脉冲时滞微分方程理论,得到了两个临界值R_1和R_2,当R_1〈1时,无病周期解全局吸引;当R_2〉1时,疾病将持续.

  • 标签: 隔离 时滞 潜伏期 全局吸引 持久性
  • 简介:本文首先用偏微分方程描述了一类带生长函数的具有林龄结构的植物病虫害模型;其次主要利用算子理论、积分方程理论证明了模型解的存在唯一性,利用对应的特征方程讨论了系统平衡态的稳定

  • 标签: 植物病虫害 存在性 平衡态 稳定性
  • 简介:本文研究一类具有状态时滞和输入时滞的时变时滞线性中立型系统.首先,通过选取合适的Lya—punov—Krasovskii泛函。应用LMI方法和Lyapunov—Krasovskii稳定定理对时滞相关的系统进行稳定分析,并设计了相应的控制器.改进了时不变时滞线性系统方面的一些结果.最后用实例验证所得到结果.

  • 标签: 时滞系统 Lyapunov—Krasovskii泛函鲁棒稳定性线性矩阵不等式(LMI) 反馈控制
  • 简介:综述了集值映射的某些概念,例如度量正则性、伪Lipschitz性质(Aubin性质)、度量次正则性和Calm性质和这些概念的相互关系以及某些判据.也给出了他们在变分方程解的鲁棒Lipschitz稳定、约束优化问题的最优性条件、集合族的线性正则性质和广义方程迭代过程的收敛性.

  • 标签: 度量正则 伪Lipschitz性质 CALM 变分方程 最优化
  • 简介:延迟微分方程在科学与工程等多个领域中有着广泛应用.本文考虑延迟抛物型方程的时间逼近.首先证明延迟抛物型方程二阶变步长BDF方法的稳定,进而通过重构获得更高阶的数值逼近,由此获得二阶变步长BDF方法的后验误差估计.

  • 标签: 延迟微分方程 稳定性 重构 后验误差估计 BDF方法
  • 简介:本文研究了一类具有Ivlev功能性反应的捕食系统,其中食饵种群具有避难所.本文的目的是对模型进行系统的分析,并讨论由于生物体之间相互作用可能产生的一些有意义的定性结果.

  • 标签: 捕食者-食饵 避难所 稳定性 极限环
  • 简介:讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t>0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定.

  • 标签: Volttera算子方程 C0-半群 渐进稳定性
  • 简介:考虑含分布时滞的退化中立型系统的鲁棒稳定.利用算子Ω的稳定和线性矩阵不等式得到一个新的鲁棒稳定判据,本判据将中立型时滞、时变离散时滞、时变分布时滞和退化中立型系统一起考虑,相比已有文献具有较低的保守性.利用Matlab可以验证本判据的有效性.

  • 标签: 退化中立型系统 分布时滞:线性矩阵不等式 积分不等式 稳定性
  • 简介:本文考虑了一类具时滞扰动的高维系统,利用不动点定理,建立了保证其撬周期解的存在性、唯一性和稳定的充分性条件,推广了相关文献的主要结论.

  • 标签: 时滞 概周期解 存在性 唯一性 稳定性
  • 简介:讨论了一类具有概周期系数的三种群第Ⅱ类功能性反应的模型,通过利用微分不等式及构造适当的李雅普诺夫函数获得了其存在全局渐近稳定的概周期解的充分条件

  • 标签: 概周期解 全局渐近稳定 李雅普诺夫函数
  • 简介:研究了一类环境污染相关的二维时滞微分方程动力学模型平衡点的稳定与Hopf分支周期解的存在性,利用LaSalle不变性原理证明变界平衡点E_0在条件n-m≥a时是全局渐近稳定的;同时,给出正平衡点产生Hopf分支的充分条件。最后,数值模拟验证了理论结果。

  • 标签: 时滞微分方程 稳定性 HOPF分支
  • 简介:(满分100分,90分钟完成)(A)基础知识达标检测一、选择题(每小题4分,共40分)1.一1{的倒数是().(A)詈(引专(c)一了8(D)一i52.如果la1=一a,那么a的取值范围是().(A)a<0(B)a≤0(C)a>0(D)a≥03.化简√(I.4l一/2)j的结果是().(A)l(B)0(c)1.4l一√2(D)j!一1.414.汁算一2x·』!的结果是().(舢一』。(引一2x’(c)一4x!(D)2x。5.下列因式分解正确的是().(A)x!一5J+6=(_+I)(Y一6)-(B)x!)一”!+Ⅵ=U(1一J)(C)1一(“+6):=(1+n+b)(1n

  • 标签: 达标检测 指数式 代数式 因式分解 分母有理化 分解因式