检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学院成都计算所数理室,成都610041 [2]西南民族学院数学系,成都610041
出 处:《数学物理学报(A辑)》1999年第2期189-195,共7页Acta Mathematica Scientia
基 金:国家自然科学基金
摘 要:讨论一类六维生物数学模型,在[1,2]的基础上,进一步考虑生物种群之间的相互作用,引进扰动项,研究了中心流形及Hopf分支问题.利用计算机代数符号软件计算了中心流形,得到了产生Hopf分支的判定条件,并给出了数值算例,所用机器证明的思想方法可广泛运用于类似复杂生物数学模型的研究.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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.148.170.88