学科分类
/ 5
95 个结果
  • 简介:延迟微分方程在科学与工程等多个领域中有着广泛应用.本文考虑延迟抛物型方程的时间逼近.首先证明延迟抛物型方程二阶变步长BDF方法的稳定性,进而通过重构获得更高阶的数值逼近,由此获得二阶变步长BDF方法的后验误差估计.

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

  • 标签: 捕食者-食饵 避难所 稳定性 极限环
  • 简介:对紧算子方程的不适定性进行了详细的分析,证明了紧算子方程奇异值分解定理,并以一维热传导方程反问题为例,将其转化为紧算子方程,讨论了求解此反问题的最优估计及进行了误差分析,数值模拟表明了理论分析与实际应用的一致性.

  • 标签: 紧算子 反问题 不适定 正则化 正则参数
  • 简介:通过使用叠合度理论、M-矩阵、李雅谱诺夫函数和不等式技巧等,在时间尺度上研究带有狄利克雷边值和反应扩散项的非自治模糊细胞神经网络的全局指数稳定性,并获得一些使其存在全局指数稳定的平衡点的充分条件.最后,给出一个例子去验证结论的有效性.

  • 标签: 全局指数稳定 模糊细胞神经网络 狄利克雷边值 时间尺度 反应扩散
  • 简介:讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t>0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.

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

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

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

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

  • 标签: 时滞微分方程 稳定性 HOPF分支
  • 简介:如果企业发生销售已使用过的固定资产业务时,手工会计只需由不同部门填写形成相应的会计凭证即可,但采用ERP系统进行管理,应该通过数据流有序流转,从而做到职能间的高度集成。用友ERP-U8V10.1版本软件有效地解决了固定资产采购的数据流转,但固定资产销售业务似乎没有得到有效解决,下面以实例分析探讨更为合理的解决办法。

  • 标签: 销售业务 固定资产 环境 数据流转 手工会计 ERP系统