一类食饵-捕食系统的定性分析

文章研究一类食饵具常数投放且增长率含h(x)的食饵-捕食系统。利用常微分方程定性和稳定性理论分析了平衡点的性态,借助Dulac函数法得到了正平衡点全局渐近稳定的充分条件,最后利用Poincare-Bendixson环域定理和张芷芬唯一性定理,证明了极限环存在唯一的充分条件,并给出了数值模拟结果。     

一类基于比率的捕食-食饵系统定性分析

研究一类基于比率和HollingⅢ功能性反应的捕食-食饵系统.运用示性方程G(θ)=0,讨论了奇点(0,0)附近轨线的走向,并在此基础上,给出了系统平衡点是全局吸引子或者是吸引子的条件.最后通过构造境界线,运用Bendixson环域定理,得到了极限环存在的充分条件.     

一类捕食-食饵模型的稳定性

捕食与食饵一直是研究的热点,文章对捕食者具有选择投放的混合型捕食．食饵模型进行研究,首先考虑该系统平凡平衡点的局部稳定性;接着根据由泛函微分方程特征方程的一些性质得到当时滞很小时正平衡点是局部渐近稳定的,然而又发现当时滞增大时,稳定性将失去从而会出现Hopf分支。     

一类食饵-捕食扩散模型分析

在两种群相互作用的Lotka-Voherra模型的基础上考虑了一类食饵种群分布在2个斑块：一个斑块上食饵和捕食者相互作用且对捕食者种群进行捕获;而另—个斑块属于食饵保护区．没有捕食者进入且不允许对食饵种群进行捕获．并且食饵种群可以在2个斑块间进行扩散的食饵—捕食模型。讨论了平衡点的存在性,利用Hurwitz判别法证明了平衡点的局部渐近稳定性和通过构造李雅普诺夫函数,得到了平衡点全局渐近稳定的结论。     

一类具功能反应食饵-捕食系统的定性分析

对一类具有功能反应函数的食饵-捕食系统进行定性分析,得到了该系统崩溃,趋于平衡态,存在唯一极限环存在的条件.     

一类具有时滞Holling-IV型捕食-食饵系统的Hopf分支

研究了一类具有时滞的Holling-IV型功能性反应和Leslies形式的捕食者数量反应的两种群竞争模型.讨论了平衡点的存在性,局部稳定性和Hopf分支的存在性动力学性质.     

一类离散捕食-食饵系统的最优捕获策略

对一类离散的具有双密度制约的捕食-食饵系统的捕获策略进行了研究,应用差分方程稳定性理论得到了该系统正平衡点的存在性和稳定性的条件.为获得最大的经济效益,应用二次函数的理论讨论了在捕获努力量不同的情况下,应如何控制食饵种群及捕食者种群捕获努力量的大小,以获得在维持稳定捕获前提下的最优捕获策略,为实际生产提供了理论指导.     

一类反馈控制捕食-食饵系统平衡点的全局吸引

研究一类多时滞Lotka-Volterra捕食-食饵系统,通过构造多个Lyapunov函数,建立捕食-食饵系统正平衡点的全局吸引的充分性条件.并进一步证明了当食饵种群绝灭,有其它食物来源的捕食者也能稳定在某个值.     

一类被开发的捕食-食饵系统的定性分析

讨论了一类食饵种群被开发的两种群捕食系统,主要讨论了系统平衡点的行为以及系统的全局稳定性。用P ioncare切性曲线法及Du lac函数法得到了闭轨不存在的充分条件。用Hop f分支理论及张芷芬唯一性定理证明了极限环的存在唯一性。     

带时滞的Watt型食饵-捕食系统的定性分析

研究一类具有时滞的Watt型食饵一捕食系统,讨论了该系统在正平衡点处的稳定性,证明了该系统在特定的时滞参量值下将产生Hopf分岔.数值模拟结果表明,结论是可信的.     

一类酶催化反应模型的尖点及相应的正规形

讨论了酶催化反应模型S-A系统的Bogdanov-Takens型退化奇点(即尖点),给出了奇点为Bogdanov-Takens型退化奇点的条件,并推导出了相应的正规形.     

一类特殊半拟齐次函数的正规型

利用文献[1]中给出的半拟齐次函数的性质证明了一类特殊半拟齐次函数的正规型，使得半拟齐次函数的分类更加简化。     

矩阵标准形的应用

探讨了矩阵标准形在高等代数理论中的若干应用 .     

运用复规范形法计算Hopf分岔系统的最简规范形

为简化最简规范形的求解过程，提出了一种应用复规范形理论计算Hopf分岔系统最简规范形的有效方法．建立了复坐标下Hopf分岔系统的规范形及非线性变换，以复数运算替代原有实数形式矩阵表示法的矩阵推导过程，获得了此类Hopf分岔系统的最简规范形，归纳出了这一非线性系统最简规范形系数的选择规律．通过算例验证了本方法对于简化传统规范形结果的有效性．     

具有一对纯虚及单零特征根系统的最简规范形

最简规范形在分析高余维非线性系统分岔及稳定性等动力学特性方面具有重要的研究价值.为简化系统最简规范形的求解过程,采用复规范形理论,以复数运算替代原有的实数形式矩阵分析过程,获得了具有一对纯虚和单零特征根(Hopf-zero)分岔系统的最简规范形,归纳出了该类系统高阶关键方程的一般形式,并且重新定义了新的非线性变换表达式.所附算例验证了最简规范形理论对于简化传统规范形结果的有效性.     

Boyce—Codd范式的判定与分解

给定关系模式Ｒ和函数依赖集Ｆ，当Ｘ为Ｒ的一个真子集时，判定Ｘ关于Ｆ是否为Ｂｏｙｃｅ－Ｃｏｄｄ范式（以下简记为ＢＣＮＦ）是ＮＰ完全的，这一问题的难点在于Ｆ在Ｘ上投影的计算，本文给出了计算函数依赖集投影的一个实用算法，将其用于ＢＣＮＦ的判定，并在此基础上建立了ＢＣＮＦ的一个无损分解算法。     

非线性控制系统的Yokoyama型和最大能线性化子系统

本文对非线性控制系统提出一种新的标准型——Yokoyama 型.定义了三组指数,并用来研究非线性系统的反馈线性化条件和最大能线性化子系统的维数及其求法,其优点是整个计算过程能用递归算法完成.     

利用初等变换化二次型为标准形

用矩阵的初等变换求非退化的线性替换，进而化二次型为标准形。     

不经中心流形化简计算半单系统的最简规范形

为了在不经中心流形降维的情况下高效计算半单系统的最简规范形,基于矩阵表示法研究了半单系统的最简规范形．在系数矩阵的补算子空间上选取适当的近恒同变换代入原动力系统,求得含有低阶变换的传统规范形,通过逐次比较补算子空间上同阶项系数确定近恒同变换和系统最简规范形,利用符号运算语言Mathematica编制了计算半单系统最简规范形的通用程序,在不经过中心流形降维的情况下,可计算多种奇点类型的高维半单系统最简规范形,并给出了2个算例以证明该方法的有效性．     

关系数据库中的范式定义问题研究

范式是数据库设计的规范化准则,利用范式理论设计关系模式能较好地满足用户需求且优化数据库性能。本文对关系数据库的规范化理论和四种范式做了简要介绍,并对范式定义和函数依赖关系进行了探讨。针对第二范式定义的不严密性,提出了修正的第二范式定义,进一步界定范式概念中函数依赖关系的范围。