摘要
讨论一类六维生物数学模型，在［１，２］的基础上，进一步考虑生物种群之间的相互作用，引进扰动项，研究了中心流形及Ｈｏｐｆ分支问题．利用计算机代数符号软件计算了中心流形，得到了产生Ｈｏｐｆ分支的判定条件，并给出了数值算例，所用机器证明的思想方法可广泛运用于类似复杂生物数学模型的研究．
The six-dimension biomathematics model is studied. Interactions among the microbes are considered and the model in [1] [2] is improved. The problems on center manifold and Hop f bifurcation a re discussed. The center manifold and the criterion quantity of Hopf bifurcation are computed by using symbolic software based on computer algebra. The numeracal example are given. The idea and method on Automated Theorem proving can be applied to various complex biodynamical systems.
出处
《数学物理学报（A辑）》
CSCD
北大核心
1999年第2期189-195,共7页
Acta Mathematica Scientia
基金
国家自然科学基金
关键词
HOPF分支
生物数学模型
Qualitative theory, Equilibrium points, Center manifold, Hopf bifurcation, Computer algebra.
