本文主要讨论了映射f具有平均伪轨的部分跟踪性质或者平均跟踪性质的一些动力学性状.详细叙述如下在引言部分中,我们简单介绍了动力系统的发展史以及伪轨跟踪性质的由来及其
时滞差分方程组周期解问题是时滞差分方程重要的研究方向,具有重要的理论意义和物理背景.本文利用临界点理论研究两类一阶时滞差分方程组周期解的存在性与多重性.本文由三章
本文主要讨论了一类2m阶非线性差分方程的边值问题,通过建立相应的变分框架,将边值问题的解转化为对应的非线性泛函的临界点.利用环绕定理和鞍点定理获得变分泛函临界点的存
本文主要考虑一类代数微分方程Real Cubic Swift-Hohenberg方程其中α,C为任意常数.本文的主要工作是研究上述代数微分方程的亚纯解表示问题.第一章介绍了本文的研究内容、背
针对模糊二次规划问题(FQP),本文提出了将容差法与罚函数法结合起来求解的一种新型解法。首先用容差法将模糊问题清晰化,接着运用罚函数法进行求解,最后用数值例子,验证了这
本文主要利用Guo-Krasnosel’skii不动点定理,研究几类半正二阶差分方程在不同边界条件下正解的存在性与多解性问题.第一章为绪论,简述有关差分方程边值问题的历史背景和研究
目的:中医脾胃病的研究有着悠久的历史,早在《黄帝内经》就有记载,尤其金元时期李东垣的《脾胃论》对脾胃学说的发展做出了巨大贡献。王小平教授,善于辨证用药,对中医脾胃病尤其是泄泻,有独到的临床经验和学术思想。因此,研究王小平教授治疗泄泻用药规律,总结其辩治经验,对指导后学临床实践具有参考意义。方法:通过临床研究,包括收集和分析治疗泄泻的临床病例,阅读和整理反映王小平教授学术思想和临床经验的论文和著作,
模型检测是一项很成功的自动化系统验证技术,对于不满足的验证属性,需要额外输出一个反例。为了生成更好的模型反例,对原始系统模型进行等价化简和抽象。在概率模型检测中,使