北京航空航天大学学报 ›› 2015, Vol. 41 ›› Issue (12): 2363-2369.doi: 10.13700/j.bh.1001-5965.2014.0794

• 论文 • 上一篇    下一篇

利用符号计算方法研究生物系统全时滞稳定性

柳君, 牛薇   

  1. 北京航空航天大学 中法工程师学院, 北京 100191
  • 收稿日期:2014-12-17 修回日期:2015-03-20 出版日期:2015-12-20 发布日期:2016-01-04
  • 通讯作者: 牛薇(1982-),女,陕西西安人,讲师,Wei.Niu@buaa.edu.cn,主要研究方向为符号计算和代数生物学. E-mail:Wei.Niu@buaa.edu.cn
  • 作者简介:柳君(1993-),女,山西临汾人,硕士研究生,jun.liu@buaa.edu.cn
  • 基金资助:
    中央高校基础科研业务费专项资金(50100002014124004)

Analysis of all time-delay stability for biological systems using symbolic computation methods

LIU Jun, NIU Wei   

  1. Sino-French Engineer School, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
  • Received:2014-12-17 Revised:2015-03-20 Online:2015-12-20 Published:2016-01-04

摘要: 生物系统全时滞稳定性表明系统对于时滞具有很好的可靠性,因此一直是学者们研究的热点,该研究通常采用传统的数学方法或数值计算方法.针对高维非线性含参数的生物系统,利用Hurwitz判据和多项式完全判别系统提出了带参数的非线性生物系统全时滞稳定性的一个充要代数判据.在此基础上,研究了如何利用Grbner基、三角化分解和实解分类等符号计算方法来处理得到的代数问题,并提出了一个利用符号计算方法系统化、算法化和自动化分析生物系统全时滞稳定性问题的方法.该方法使用的计算均是精确的,这为生物学家以及工程师研究某些生物系统的稳定性提供了理论基础.最后,通过对实际生物模型,比如时滞Lotka-Volterra模型和SIR传染病模型全时滞稳定性问题分析得到的有效结果,证明了符号计算方法分析生物系统全时滞稳定性的可行性及其相较于传统数学方法的优越性.

关键词: 符号计算, 全时滞稳定性, 代数方法, 生物系统, 非线性

Abstract: All time-delay stability for biological systems shows that the time-delay system possess good reliability, so this issue has always been the highlight of the scholars research. However, researchers usually adopt the traditional mathematical methods or numerical calculation methods. Based on Hurwitz criterion and polynomial complete discriminant system, a sufficient and necessary algebraic criterion of all time-delay stability for nonlinear biological systems with parameters was introduced. By using symbolic computation methods, such as the methods of Grbner basis,triangular decomposition and real solution classification, a systematic and algorithmic approach for automatically analyzing all time-delay stability of biological systems with parameters was proposed. All the computations in our approach are all exact, which may help biologists and engineers to perform algebraic analysis for certain biological models. The successful experiments on the all time-delay stability analysis of several biological models, such as time delayed Lotka-Volterra systems and SIR epidemic models with time delay, showed the feasibility of our algebraic approach and also the superiority of symbolic computation methods compared with traditional mathematic methods.

Key words: symbolic computation, all time-delay stability, algebraic approach, biological systems, nonlinear

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发