论文摘要
由我国著名的数学家吴文俊先生首创的吴特征列方法是他的数学机械化理论的核心算法,机器证明的吴方法和方程求解的吴特征列方法均以此为基础。代数系统和微分方程系统的吴特征列方法已有比较成熟的理论,而差分多项式系统的吴特征列方法是最近由高小山等人发展起来的,他们给出了差分类型的吴-Ritt零点分解定理和对应的吴特征列算法.差分类型的算法已经在某些领域方面得到了应用：如利用该算法可以解决差分多项式组是否平凡的问题,也就是说可以判断一个多项式在一组差分多项式的非空零点集上是否为零的问题；该算法还解决了差分情形下的完备理想的成员问题；还实现了某些类型的差分方程定理的机器证明。本文主要的内容是在高小山、罗勇等人提出的差分多项式系统的吴特征列方法的基础上给出该算法的—个实际应用：即利用该算法给出某类生物种群模型的符号解.本文以Lotka-Volterra捕食者-食饵系统为例,利用差分类型的吴特征列算法求出其符号解,然后对符号解及其图像进行分析,进而得到某些类型的生物种群不是灭绝的结论.
论文目录
相关论文文献
- [1].一类多项式系统极限环的唯一性与分支[J]. 数学物理学报 2011(06)
- [2].一类平面多项式系统的周期函数的临界点个数[J]. 中山大学学报(自然科学版) 2009(04)
- [3].具有十个大振幅极限环的五次多项式系统(英文)[J]. 数学进展 2008(02)
- [4].多项式系统及其相伴系统研究进展[J]. 宁德师范学院学报(自然科学版) 2011(03)
- [5].一类多项式系统的全局结构与分岔[J]. 湛江师范学院学报 2008(03)
- [6].一类四次多项式系统原点的极限环分支[J]. 广西科学 2013(02)
- [7].两类五次平面多项式系统的中心判定[J]. 河南科技大学学报(自然科学版) 2012(03)
- [8].一类七次多项式系统的中心与等时中心条件[J]. 桂林电子科技大学学报 2010(02)
- [9].一类五次多项式系统中心焦点的判定[J]. 湖南工业大学学报 2008(05)
- [10].零维三角列多项式系统的实根隔离快速算法[J]. 系统科学与数学 2019(08)
- [11].一类(n+1)次多项式系统极限环的存在性(英文)[J]. 工程数学学报 2014(02)
- [12].一类平面五次系统的极限环[J]. 高等函授学报(自然科学版) 2009(05)
- [13].一类平面五次多项式系统的焦点量与极限环[J]. 青岛大学学报(自然科学版) 2010(01)
- [14].一类平面多项式的周期函数的高阶临界周期[J]. 华南师范大学学报(自然科学版) 2009(03)
- [15].一类多项式系统无穷远点的中心-焦点判定[J]. 江西理工大学学报 2010(01)
- [16].多项式极限环的讨论[J]. 科技信息 2009(09)
- [17].线性时不变参数多项式系统鲁棒指数稳定性的LMI方法[J]. 青岛大学学报(工程技术版) 2009(01)
- [18].一类特殊多项式系统的奇点量公式[J]. 内蒙古师范大学学报(自然科学汉文版) 2008(03)
- [19].一类含多面体不确定性多项式系统鲁棒镇定[J]. 控制与决策 2013(09)
- [20].S_2可逆四次多项式系统的极限环数目[J]. 沈阳航空航天大学学报 2013(01)
- [21].基于降维动态观测器的一类多项式系统的非线性H_∞控制[J]. 厦门大学学报(自然科学版) 2018(02)
- [22].零维多项式系统保持重数的零点分解[J]. 系统科学与数学 2010(11)
- [23].一类有十一个赤道环的七次多项式系统[J]. 中南林业科技大学学报 2008(06)
- [24].无理式系统的主共振分岔分析[J]. 振动与冲击 2012(02)
- [25].一类可逆三次系统的等时中心[J]. 系统科学与数学 2008(02)
- [26].3D重构中的多项式约束模式[J]. 计算机应用研究 2016(03)
- [27].三维多项式系统焦点量的计算（英文）[J]. 上海师范大学学报(自然科学版) 2014(05)
- [28].一类三次多项式系统的定性分析[J]. 四川理工学院学报(自然科学版) 2013(01)
- [29].基于平方和规划法的一种估计系统吸引域的改进算法[J]. 科学技术与工程 2012(05)
- [30].一类具有九个小扰动极限环的三维多项式系统[J]. 科学技术与工程 2008(01)