一类流体超导系统的渐近稳定性

用无穷维动力系统的方法研究了一类流体超导系统的长时间行为.在齐次边界条件与非齐次边界条件下证明了系统在其不变流形上的全局吸引子为系统在该不变流形内的唯一平衡点,从而得到了该系统的渐近稳定性.     

一类反应扩散方程系统的渐近稳定性

用无穷维动力系统的方法研究了一类反应扩散系统的渐近稳定性.在齐次边界条件下证明了系统在其不变流行上的全局吸引子为系统在该不变流行内的唯一平衡点,从而证明了该系统的渐近稳定性.     

一类具有扩散的营养-微生物模型的Hopf分支周期解

考虑一类满足齐次Neumann边界条件的营养-微生物扩散模型.在满足Hopf分支存在性的条件下,利用中心流形定理和规范型理论,讨论了扩散系统Hopf分支方向及空间非齐次分支周期解的稳定性.     

一类反应扩散系统解的边缘稳定性──肺动脉毛细血管中血红蛋白反应的研究

发生于肺动脉毛细血管中血红蛋白的氧化反应扩散系统是带有非齐次混合边界条件的五分支方程系统，对此系统该文通过化非齐次边界条件为齐次边界，而后构造一类Ｂａｎａｃｈ空间，在其上借助于讨论齐次线性化算子的谱结构，得到了一特殊平衡解的边缘稳定性．     

Degn-Harrison反应扩散系统的全局稳定性

在齐次Neumann边界条件下,研究一类Degn-Harrison反应扩散系统的全局稳定性.通过构造不变矩形区域与李亚普诺夫函数,得到系统全局稳定的充分条件.结果表明,抑制强度参数与Degn-Harrison反应扩散系统局部和全局稳定性密切相关.     

在非齐次边界条件下一类非齐次Schrdinger-Poisson系统的多个解

研究了具有非齐次非线性扰动项和非齐次边界条件的一类Schrdinger-Poisson系统.Schrdinger-Poisson系统是非常重要的数学物理方程组,这类系统在物理上有很重要的意义,描述了带电粒子在电磁场运动,特别是在未给定势的电磁场里的相互作用.这类系统在其次边界条件下的各类情况均有人讨论,但在非齐次边界条件下具有非齐次非线性扰动项的此类系统没有讨论.于是从数学的角度可以看出此研究是必要的.主要用Ekeland变分原理和山路引理得到了此类Schrdinger-Poisson系统多个解的存在性结果.     

在非齐次边界条件下一类非齐次Schr(o)dinger-Poisson系统的多个解

研究了具有非齐次非线性扰动项和非齐次边界条件的一类Schr(o)dinger-Poisson系统.Schr(o)dinger -Poisson系统是非常重要的数学物理方程组,这类系统在物理上有很重要的意义,描述了带电粒子在电磁场运动,特别是在未给定势的电磁场里的相互作用.这类系统在其次边界条件下的各类情况均有人讨论,但在非齐次边界条件下具有非齐次非线性扰动项的此类系统没有讨论.于是从数学的角度可以看出此研究是必要的.主要用Ekeland变分原理和山路引理得到了此类Schr(o)dinger-Poisson系统多个解的存在性结果.     

一类三种群食物链扩散模型的稳定性

分析了一类由一个食饵种群、一个低级捕食者种群和一个高级捕食者种群组成的三种群食物链扩散模型.利用极值原理和Young不等式得出了解在齐次Neumann边界条件下存在唯一性和一致有界性,并用线性化方法和Lyapunov函数方法讨论了该模型正平衡点的稳定性,分别得到了该模型正平衡点的局部和全局渐近稳定性定理.     

一类带有扩散的三种群捕食系统的定性分析

考虑了一类具有扩散项的三种群捕食系统,其中两个捕食者捕获同一种食饵.该模型带有齐次Neumann边界条件.首先讨论了系统的全局吸引性,然后分别运用线性化方法和Lyapunov函数方法讨论了系统唯一正常数平衡态的局部稳定性和全局稳定性.     

反应扩散Schnakenberg系统周期解的图灵不稳定性

针对生化反应中的周期振荡现象,讨论一类具有齐次Neumann边界条件的Schnakenberg模型.利用Hopf分支理论、中心流形理论、规范型方法以及扰动理论等方法,给出反应扩散Schnakenberg系统的Hopf分支周期解的存在性、稳定性以及图灵不稳定性.     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

线性系统Hamilton扩张系统的能控性和能观测性

利用控制系统的微分几何理论,研究了线性系统和它的Hamilton扩张系统的能控性之问的关系以及它们的能观测性之间的关系.通过计算线性系统的能控性矩阵和它的Hamilton扩张系统的能控性矩阵,证明了线性系统和它的Hamilton扩张系统的能控性是等价的.同时通过计算线性系统的能观测性矩阵和它的Hamilton扩张系统的能观测性矩阵,证明了线性系统和它的Hamilton扩张系统的能观测性也是等价的.证明了线性系统的Hamilton扩张系统是能控的当且仅当它是能观测的,原线性系统既是能控的,又是能观测的.     

具有脉冲效应的非自治捕食者-食饵系统周期正解

讨论了一类具有脉冲效应的非自治捕食者-食饵系统的动力学行为．利用脉冲微分方程的比较定理．证明了系统的有界性,讨论了平凡周期解与半平凡周期解(食饵灭绝周期解)的局部稳定性．进而利用重合度理论证明了系统周期正解的存在性．     

一类非自治n种群互惠系统的周期正解

研究了一类具有周期系数互惠的n种群微分系统.在适当的Banach空间中引入算子,将微分系统化为等价的算子方程;利用Arzela-Ascoli及重合度的同伦不变性质,证明了所引入的算子满足重合度延拓定理的条件,从而证明了系统周期解的存在性,并给出解的估计.     

固定资产投资系统解的有界性和指数稳定性

文章研究了一类固定资产投资系统模型,利于Gronwall引理,得出了该系统解的有界性和指数稳定性的充分条件,并通过一个例子对所给的结论进行了验证.     

冠状系统R-旋转图连通的充要条件

六角系统的R-旋转图是1棵有向根树,但冠状系统的R-旋转图是一个有向森林.其底图不一定连通.如果冠状系统是基本的,已经证明其R-旋转图至少包含2棵有向根树.利用有向根树问的一种乘法运算,证明了一个冠状系统的R-旋转图为1棵有向根树当且仅当该冠状系统的每个基本分支都是六角系统.     

一类随机血糖-胰岛素调节系统的渐近性分析

以最基本的IVGTT确定性模型为基础,构建了一个具有白噪声干扰的随机血糖-胰岛素系统.证明了系统正解的存在唯一性,讨论了系统正解的渐近行为.由于随机血糖-胰岛素系统加入了随机项后,其对应的确定性系统的正平衡点将不复存在,为了讨论系统的稳定性,证明了在一定条件下,随机系统的解将围绕确定性系统的正平衡点附近某点做随机振动,且其振动幅度与白噪声干扰强度大小有关.通过数值模拟,探讨了白噪声干扰对系统的影响.     

Rossler系统的自适应控制研究

采用自适应控制方法对Rossler系统进行控制。当该混沌动力学系统的参数未知时,对原系统进行坐标变换,基于Lyapunov稳定性理论,设计合适的控制器和参数自适应律,通过理论推导证明了变换后系统在原点的渐近稳定性,从而理论上证明了原系统可控制到不稳定平衡点的结论。系统仿真结果证明可使系统控制到任意一个不稳定平衡点,从而达到了控制目的,力证了该方法的有效性。     

微分中值定理与Newton-Leibniz公式证明体系的探讨

通过对微分中值定理与Newton-Leibniz公式证明体系的探讨,阐明了微分中值定理与Newton-Leibniz公式是相互联系的,而且可互相证明,亦可独立证明,从而使微积分内容的理解更加清晰.