黄波;牛，魏;王东明 微分方程定性理论的符号计算。 （英语） Zbl 1513.34137号 数学学报。科学。，序列号。B、 英语。预计起飞时间。 42，第6期，2478-2504（2022）. 摘要：本文综述了用于分析常微分方程组定性行为的符号计算方法，重点对系统平衡点和周期轨道邻域中极限环的局部稳定性和分岔进行了符号和代数分析，重点介绍计算生物学的应用。 引用于2文件 MSC公司： 34二氧化碳 积分曲线、奇点、常微分方程极限环的拓扑结构 68瓦30 符号计算和代数计算 34D20型 常微分方程解的稳定性 34C23型 常微分方程的分岔理论 关键词：生物系统;中心焦点;极限循环;定性分析;符号计算 软件：QEPCAD公司;LINLBF系列;发现者 PDF格式BibTeX公司 XML格式引用 \textit{B.Huang}等人，《数学学报》。科学。，序列号。B、 英语。第42版，第62478-2504号（2022年；兹bl 1513.34137） 全文： 内政部 参考文献： [1] Poincaré，H.，Mémoire sur les courbes définies par une quation différentielle（I），（II），数学与应用杂志，7375-422（1881） [2] Liapunov，A.，运动稳定性的一般问题（1892） [3] 内米茨基，V。；Stepanov，V.，微分方程定性理论（1960），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 0089.29502号 [4] 张，Z。；丁·T。；黄，W。；Dong，Z.，微分方程定性理论（1992），普罗维登斯，RI:美国数学学会，普罗维登斯，RI·Zbl 0779.34001号 [5] 秦，Y。；张杰。；秦川，一类非线性系统稳定性判据的计算机推导，曲阜师范大学，21-11（1985）·兹比尔0643.34064 [6] Wang，D.，一类微分系统的机械操纵，符号计算杂志，1233-254（1991）·Zbl 0745.93067号 ·doi:10.1016/S0747-7171（08）80127-7 [7] Wu，W-T，初等几何中机械定理证明的基本原理，《系统科学与数学科学杂志》，4207-235（1984） [8] Buchberger B.Gröbner bases:多项式理想理论中的算法方法//Bose N K，Ed.多维系统理论。雷德尔：多德雷赫特，1985:184-232·Zbl 0587.13009号 [9] 金，X。；Wang，D.，《关于Kukles存在中心的条件》，公牛伦敦数学协会，22，1-4（1990）·Zbl 0692.34027号 ·doi:10.1112/blms/22.1.1 [10] 克里斯托弗，C。；Lloyd，N.，《金和王关于某些三次系统中心条件的论文》，伦敦数学协会，22，5-12（1990）·Zbl 0696.34026号 ·doi:10.1112/blms/22.1.5 [11] 劳埃德，N。；Pearson，J.，某些立方系统的计算中心条件，《计算应用数学杂志》，40，323-336（1992）·Zbl 0754.65072号 ·doi:10.1016/0377-0427（92）90188-4 [12] Christopher，C.，中心的不变代数曲线和条件，Proc R Soc Edib Sect a，1241209-1229（1994）·Zbl 0821.34023号 ·doi:10.1017/S0308210500030213 [13] Ye，W。；Ye，Y.，Kukles系统的定性理论：（I）临界点的数目，Ann Differ方程，17275-286（2001）·Zbl 0994.34018号 [14] 皮尔逊，J。；Lloyd，N.，Kukles重温：计算技术的进步，计算数学应用，60，2797-2805（2010）·Zbl 1207.68449号 ·doi:10.1016/j.camwa-2010年9月34日 [15] Hong，H。；里斯卡，R。；斯坦伯格，S.，通过量词消除测试稳定性，符号计算杂志，24161-187（1997）·Zbl 0886.65087号 ·doi:10.1006/jsco.1997.0121 [16] 王，D。；夏，B。；高，X-S；Labahn，G.，《具有实溶液分类的生物系统稳定性分析》，2005年符号和代数计算国际研讨会论文集，354-361（2005），纽约：ACM出版社，纽约·Zbl 1360.92048号 ·数字标识代码：10.1145/1073884.1073933 [17] Hong，H。；唐，X。；Xia，B.，多稳态生物调控系统稳定性分析的特殊算法，符号计算杂志，70112-135（2015）·兹比尔1328.92028 ·doi:10.1016/j.jsc.2014.09.039 [18] 皮尔逊，J。；劳埃德，N。；Christopher，C.，中心条件的算法推导，SIAM Rev，38，619-636（1996）·Zbl 0876.34033号 ·doi:10.1137/S0036144595283575 [19] 罗曼诺夫斯基，V。；Shafer，D.，《中心和循环性问题：计算代数方法》（2009），马萨诸塞州波士顿：Birkhäuser Boston Inc，马萨诸纳州波士顿·Zbl 1192.34003号 [20] Romanovski，V.，多项式系统中的计算代数和极限环分岔，非线性Phenom复系统，10，79-85（2007） [21] 陈，C。；Corless，R。；莫雷诺·马扎（Moreno Maza，M.）。；余，P。；Zhang，Y.，正则链理论在极限环研究中的应用，国际分岔混沌，231350154-1-23（2013）·Zbl 1277.34033号 ·doi:10.1142/S021812741350154X [22] 太阳，X。；Huang，W.，使用正则链限制多项式Liénard系统的极限环数，符号计算杂志，79，197-210（2017）·Zbl 1365.34063号 ·doi:10.1016/j.jsc.2016.02.004 [23] Buchberger，B.，Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem null dimensional Polynomide[D]（1965），奥地利：因斯布鲁克大学·Zbl 1245.13020号 [24] 福盖尔，J-C；詹尼，P。；Lazard，D.，通过改变次序有效计算零维Gröbner基，符号计算杂志，16，329-344（1993）·兹伯利0805.13007 ·doi:10.1006/jsco.1993.1051 [25] 福盖尔，J-C；Mou，C.，《稀疏FGLM算法》，《符号计算杂志》，80，538-569（2017）·Zbl 1404.13031号 ·doi:10.1016/j.jsc.2016.07.025 [26] Faugère，J-C，计算Gröbner基（F4）的一种新的高效算法，《纯粹应用代数杂志》，13961-88（1999）·Zbl 0930.68174号 ·doi:10.1016/S0022-4049（99）00005-5 [27] 福盖尔，J-C；Giusti，M.，《计算Gröbner基而不归零的一种新的有效算法（F5）》，2002年符号和代数计算国际研讨会论文集，75-83（2002），纽约：ACM出版社，纽约·Zbl 1072.68664号 ·数字对象标识代码：10.1145/780506.780516 [28] Wu，W-T，《数学机械化》（2000），北京：科学出版社/克鲁沃学院，北京·Zbl 0987.68074号 [29] Ritt，J.，微分代数（1950），纽约：美国数学学会，纽约·Zbl 0037.18402号 ·doi:10.1090/coll/033 [30] 奥布里，P。；拉扎德，D。；Moreno Maza，M.，《关于三角集理论》，《符号计算杂志》，28，105-124（1999）·Zbl 0943.12003号 ·文件编号：10.1006/jsco.1999.0269 [31] Wang，D.，《消除方法》（2001），纽约：施普林格出版社，纽约·Zbl 0964.13014号 ·doi:10.1007/978-3-7091-6202-6 [32] 考克斯·D。；Little，J。；O'Shea，D.，《使用代数几何》（2005），纽约：施普林格出版社，纽约·Zbl 1079.13017号 [33] 柯林斯，G。；Barkhage，H.，通过柱面代数分解消除实闭域的量词，第二届GI会议论文集，Adtomata理论和形式语言，134-183（1975），柏林-海德堡：斯普林格，柏林-海德堡·Zbl 0318.02051号 [34] 柯林斯，G。；Hong，H.，量词消除的部分柱面代数分解，符号计算杂志，12，299-328（1991）·Zbl 0754.68063号 ·doi:10.1016/S0747-7171（08）80152-6 [35] Yang，L。；侯，X。；Xia，B.，一类不等式型定理自动发现的完整算法，科学中国期刊F，44，33-49（2001）·Zbl 1125.68406号 [36] Yang，L。；夏，B。；Dolzmann，A。；塞德尔，A。；Sturm，T.，参数半代数系统的实解分类，算法代数和逻辑-A3L会议录2005，281-289（2005），Norderstedt:Herstellung und Verlag，Norderster [37] 拉扎德，D。；Rouillier，F.，《求解参数多项式系统》，《符号计算杂志》，42，636-667（2007）·Zbl 1156.14044号 ·doi:10.1016/j.jsc.2007.01.007 [38] 王，D。；阿奈，H。；Horimoto，K.，计算多项式代数及其生物学应用，《第一届代数生物学国际会议论文集》（AB 2005），127-137（2005），东京：环球学院出版社，东京 [39] 米勒，R。；Michel，A.，《常微分方程》（1982），纽约：学术出版社，纽约·Zbl 0552.34001号 [40] Liénard，A。；Chipart，M.，Sur le signe de la partie réelle des racines d'une quation algébrique，数学纯粹应用杂志，10291-346（1914） [41] 牛，W。；Wang，D.，《生物系统稳定性分析的代数方法》，《数学计算科学》，1507-539（2008）·Zbl 1138.68668号 ·数字对象标识代码：10.1007/s11786-007-0039-x [42] Jirstrand，M.，通过量词消除进行非线性控制系统设计，符号计算杂志，24137-152（1997）·Zbl 0882.93022号 ·文件编号：10.1006/jsco.1997.0119 [43] 她，Z。；夏，B。；Xiao，R.，渐近稳定性分析的半代数方法，非线性分析，3588-596（2009）·Zbl 1217.93153号 [44] 她，Z。；李，H。；Xue，B.，发现连续动力系统的多项式Lyapunov函数，符号计算杂志，58，41-63（2013）·Zbl 1338.37025号 ·doi:10.1016/j.jsc.2013.06.003 [45] 牛，W。；Wang，D.，自组装胶束系统稳定性和分岔的代数分析，应用数学计算，219108-121（2012）·兹比尔1297.34066 [46] Khibnik，A。；Roose，D.，LINLBF:余维3之前平衡点的连续和分叉分析程序，连续和分岔：数值技术和应用，283-296（1990），马萨诸塞州诺威尔：克鲁沃学术出版社·Zbl 0705.34001号 ·doi:10.1007/978-94-009-0659-4_19 [47] 古根海默，J。；迈尔斯，M。；Sturmfels，B.，《计算Hopf分岔I》，SIAM J Numer Anal，34，1-21（1997）·Zbl 0948.37037号 ·doi:10.1137/S0036142993253461 [48] 古根海默，J。；Myers，M.，《计算霍普夫分岔》，II：神经生理学的三个例子。SIAM科学计算杂志，17，1-27（1996）·Zbl 0948.37037号 [49] 摩尔，G。；加勒特，T。；Spence，A。；Roose，D.，《Hopf分岔点的数值检测，连续性和分岔：数值技术和应用》，227-246（1990），马萨诸塞州诺威尔：克鲁沃学术出版社，马萨诸塞州诺威尔·Zbl 0705.34045号 ·doi:10.1007/978-94-009-0659-4_15 [50] Roose，D.，与其他方法相比计算Hopf分岔点的算法，J Comput Appl Math，12517-529（1985）·Zbl 0577.65092号 ·doi:10.1016/0377-0427（85）90045-7 [51] Liu，W.，不使用特征值的Hopf分岔判据，数学分析应用杂志，182250-256（1994）·兹比尔0794.34033 ·doi:10.1006/jmaa.1994.1079 [52] El Kahoui先生。；韦伯，A.，《通过软件组件体系结构中的量词消除确定Hopf分支》，《符号计算杂志》，30，161-179（2000）·Zbl 0965.65137号 ·doi:10.1006/jsco.1999.0353 [53] 沙鲁兹，S。；Kalkin，D。；Dieulot，J.等人。；Richard，J.，三维或更高维非线性系统中的极限环行为：Lotka-Volterra示例，第40届IEEE决策与控制会议论文集，379-386（2001），奥兰多：IEEE，奥兰多市·Zbl 1237.34038号 [54] 库兹涅佐夫，Y.，《应用分叉理论的要素》（2004），纽约：施普林格-弗拉格出版社，纽约·Zbl 1082.37002号 ·doi:10.1007/978-14757-3978-7 [55] Chow，S-N；Hale，J.，《分叉理论方法》（1982），纽约：斯普林格出版社，纽约·兹伯利04874.7039 ·doi:10.1007/978-1-4613-8159-4 [56] 戈瓦茨，W。；古根海默，J。；Khibnik，A.，为多个Hopf分支定义函数，SIAM J Numer Ana，341269-1288（1997）·Zbl 0873.65053号 ·doi:10.1137/S0036142995282182 [57] Liapunov，A.，Probléme Général de la Stabilitédu Movement（1947），新泽西：普林斯顿大学出版社，新泽西·Zbl 0031.18403号 [58] Giné，J。；Santallusia，X.，计算庞加莱-李雅普诺夫常数的新算法的实现，计算机应用数学杂志，166465-466（2004）·兹比尔1051.65125 ·doi:10.1016/j.cam.2003.08.043 [59] Lynch，S。；王，D。；Zheng，Lyapunov量的符号计算和Hilbert第十六个问题的第二部分，带符号计算的微分方程，1-22（2005），巴塞尔：Birkhäuser，巴塞尔·Zbl 1107.34028号 [60] 余，P。；Chen，G.，焦点值的计算与应用，非线性动力学，51，409-427（2008）·Zbl 1170.70306号 ·doi:10.1007/s11071-007-9220-7 [61] Shi，S.，一种在弱焦点周围构建无接触循环的方法，J微分方程，41，301-312（1981）·Zbl 0442.34029号 ·doi:10.1016/0022-0396（81）90039-5 [62] Giné，J.，关于平面微分系统中的一些开放问题和Hilbert的第16个问题，混沌孤子与分形，311118-1134（2007）·Zbl 1149.34023号 ·doi:10.1016/j.chaos.2005.10.057 [63] Żoladek，H.，关于Bautin定理的某些推广，非线性，7273-279（1994）·Zbl 0838.34035号 ·doi:10.1088/0951-7715/7/013 [64] Żoladek，H.，带中心的可逆立方系统的分类，Topol方法非线性分析，479-136（1994）·Zbl 0820.34016号 ·doi:10.12775/TMNA.1994.024 [65] Dulac，H.，Détermination et intégration D’une certaine classe D’équations différentielles ayant pour point singulier un center，公牛科学数学，32，230-252（1908） [66] Bautin，N.，关于随着焦点或中心型平衡位置系数的变化而出现的极限环数，Mat Sb，30，181-196（1952）·Zbl 0059.08201号 [67] Sibirskii，K.，关于奇点附近极限环的数量，微分方程，136-47（1965） [68] 库克斯，I.，Sor quelques cas de discrimination entre un foyer et un centre，Dokl Akad Nauk SSSR，42，208-211（1944）·Zbl 0063.03332号 [69] Cherkas，L.，方程\（yy’=\sum\limits_{i=0}^3{p_i}（x）{y^i}）具有中心的条件，Differentsial'nye Uravneniya，141594-1600（1978）·Zbl 0414.34045号 [70] Wang，D.，《某些微分方程的多项式系统》，《符号计算杂志》，28，303-315（1999）·Zbl 0948.34018号 ·doi:10.1006/jsco.1998.0278 [71] Sadovskii，A.，三次非线性振动系统的中心和焦点问题的解，微分方程，33236-244（1997）·Zbl 0908.34018号 [72] Wang，D.，多项式系统的消去方法，符号计算杂志，16，83-114（1993）·Zbl 0803.13016号 ·doi:10.1006/jsco.1993.1035 [73] Lu，Z。；马，S。；高，X-S；Wang，D.，多项式微分系统的中心、焦点和极限环，数学机械化和应用，365-387（2000），伦敦：学术出版社，伦敦·Zbl 0968.68201号 [74] Giné，J.，广义多项式Kukles系统的中心条件，Commun Pur Appl Anal，16417-425（2017）·Zbl 1367.34031号 ·doi:10.3934/cpaa.2017021 [75] 查瓦里加，J。；Giné，J.，受四次齐次多项式扰动的线性中心的可积性，Publ Mat，40，21-39（1996）·Zbl 0851.34001号 ·doi:10.5565/PUBLMAT_40196_03 [76] 查瓦里加，J。；Giné，J.，受五次齐次多项式扰动的线性中心的可积性，Publ Mat，41，335-356（1997）·Zbl 0897.34030号 ·doi:10.5565/PUBLMAT_41297_02 [77] Giné，J。；利伯里，J。；Valls，C.，奇数度Kukles齐次系统中心，布尔伦敦数学协会，47315-324（2015）·Zbl 1323.34039号 ·doi:10.1112/blms/bdv005 [78] Giné，J。；利伯里，J。；Valls，C.，《偶数度Kukles齐次系统的中心》，《应用分析计算杂志》，第7期，第1534-1548页（2017年）·Zbl 1456.34027号 [79] Schlomiuk，D.，《代数特殊积分、可积性和中心问题》，跨美洲数学学会，338799-841（1993）·Zbl 0777.58028号 ·doi:10.1090/S0002-9947-1993-1106193-6 [80] Edneral，V。；Mahdi，A。；罗曼诺夫斯基，V.，《R3中中心流形的中心问题》，《非线性分析》，第75期，第2614-2622页（2012年）·Zbl 1259.34021号 ·doi:10.1016/j.na.2011.11.006 [81] Mahdi，A.，《三阶常微分方程的中心问题》，《国际Bifur混沌杂志》，23，1350078-1-11（2013）·Zbl 1270.34045号 ·doi:10.1142/S0218127413500788 [82] Mahdi，A。；佩索阿，C。；Hauenstein，J.，《中心焦点问题的混合符号-数字方法》，《符号计算杂志》，82，57-73（2017）·Zbl 1372.14053号 ·doi:10.1016/j.jsc.2016.11.019 [83] 罗曼诺夫斯基，V。；夏，Y。；张欣，解析微分系统的各种局部可积性及其应用，《微分方程》，2573079-3101（2014）·Zbl 1305.34022号 ·doi:10.1016/j.jde.2014.06.007 [84] Conti，R.，平面多项式系统的中心，综述。Le Matematiche，53207-240（1998）·兹比尔1156.34315 [85] 查瓦里加，J。；Sabatini，M.，《等时中心调查》，质量理论动力系统，1,1-70（1999）·doi:10.1007/BF02969404 [86] Hilbert，D.，《数学问题》，Bull Amer Math Soc，8437-479（1902）·doi:10.1090/S0002-9904-1902-00923-3 [87] 杜拉克，H.，《苏尔莱斯循环极限》，法国公牛数学，51，45-188（1923）·doi:10.24033/bsmf.1031 [88] Otrokov，N.，关于奇异点附近微分方程的极限环数，Mat Sbornik，34127-144（1954）·Zbl 0059.08102号 [89] 埃卡莱，J.，《杜拉克猜想的可分析功能和构造性导论》。数学现状。（1992），巴黎：赫尔曼，巴黎·Zbl 1241.34003号 [90] Yu，Ilyashenko，极限环的有限性定理，Uspekhi Mat-Nauk，2143-200（1990） [91] 克里斯托弗，C。；王，D。；Zheng，Z.，从中心估计极限环分支，带符号计算的微分方程，23-35（2005），巴塞尔：Birkhäuser，巴塞尔·Zbl 1108.34025号 ·doi:10.1007/3-7643-7429-22 [92] Chen，L。；Wang，M.，二次微分系统极限环的相对位置和数量，数学学报，22751-758（1979）·Zbl 0433.34022号 [93] 李，C。；刘，C。；Yang，J.，具有13个极限环的三次系统，J微分方程，2463609-3619（2009）·Zbl 1176.34037号 ·doi:10.1016/j.jde.2009.01.038 [94] Bamon，R.，二次向量场Dulac问题的解，Ann Acad Bros Cienc，57111-142（1985）·Zbl 0585.58029号 [95] 克里斯托弗，C。；Lloyd，N.，《多项式系统：希尔伯特数的下限》，英国皇家学会学报，第450期，第219-224页（1995年）·Zbl 0839.34033号 [96] Han，M。；Li，J.，多项式系统希尔伯特数的下界，微分方程J，2523278-3304（2012）·Zbl 1247.34047号 ·doi:10.1016/j.jde.2011.01.024 [97] Han，M。；Shang，D。；Wang，Z.，四阶近哈密顿多项式系统极限环的分岔，国际Bifur混沌杂志，11，4117-4144（2007）·Zbl 1159.34029号 ·doi:10.1142/S0218127407019895 [98] 太阳，X。；Han，M.，《关于Z4-等变五次近哈密顿系统的极限环数》，《数学学报》，Engl-Ser，311805-1824（2015）·Zbl 1351.34035号 ·文件编号：10.1007/s10114-015-2117-3 [99] Wu，Y。；王，X。；Tian，L.，Z4等变五次平面向量场中极限环的分支，Acta Math Sin，Engl Ser，267779-798（2010）·兹比尔1194.34074 ·doi:10.1007/s10114-010-6487-2 [100] 王，S。；Yu，P.，五次哈密顿系统在六阶扰动下极限环的分岔，混沌孤子与分形，261317-1335（2005）·Zbl 1098.37057号 ·doi:10.1016/j.chaos.2005.03.010 [101] Li，J.，Hilbert的第16个问题与平面多项式向量场的分岔，国际混沌杂志，13，47-106（2003）·Zbl 1063.34026号 ·doi:10.1142/S0218127403006352 [102] Wang，D.，一类具有六元组焦点的三次微分系统，J微分方程，87305-315（1990）·Zbl 0712.34044号 ·doi:10.1016/0022-0396（90）90004-9 [103] 李，J。；Bai，J.，平面三次微分系统多重Hopf分岔的周期性：M（3）≥7，科学通报，2016-2017（1990），23 [104] E.詹姆斯。；Lloyd，N.，具有八个小振幅极限环的三次系统，IMA J Appl Math，47，163-171（1991）·Zbl 0743.34037号 ·doi:10.1093/imamat/47.2.163 [105] 宁，S。；马，S。；Kwek，K.，《具有八个小振幅极限环的三次系统》，《应用数学-莱特》，第7期，第23-27页（1994年）·Zbl 0804.34033号 ·doi:10.1016/0893-9659（94）90005-1 [106] 余，P。；Corless，R.，《与希尔伯特第16个问题相关的极限环符号计算》，《公共非线性科学数值模拟》，第14期，第4041-4056页（2009年）·Zbl 1221.34082号 ·doi:10.1016/j.cnsns.2008.10.010 [107] 张伟。；侯，X。；Zeng，Z.，可逆三次系统的弱中心和临界周期分支，计算数学应用，40771-782（2000）·Zbl 0962.34025号 ·doi:10.1016/S0898-1221（00）00195-4 [108] Lu，Z。；Luo，Y.，三维Lotka-Volterra系统中的两个极限环，Comput Math Appl，44，51-66（2002）·Zbl 1014.34034号 ·doi:10.1016/S0898-1221（02）00129-3 [109] 王，D。；Zheng，《带符号计算的微分方程》（2005），巴塞尔：Birkhäuser，巴塞尔·Zbl 1083.34002号 ·数字对象标识代码：10.1007/3-7643-7429-2 [110] 陈，C。；莫雷诺·马扎（Moreno Maza，M.）。；格特，V。；科普夫，W。；Mayr，E.，动力学系统平衡的半代数描述，科学计算中的计算机代数，101-125（2011），海德堡：Springer，Heidelberg·Zbl 1316.14109号 ·doi:10.1007/978-3642-23568-99 [111] 劳埃德，N。；Pearson，J.，《具有九个极限环的三次微分系统》，《应用分析计算》，293-304（2012）·兹比尔1304.34062 [112] 余，P。；Tian，Y.，平面三次多项式系统奇点周围的十二个极限环，Commun非线性科学数值模拟，192690-2705（2014）·Zbl 1510.37083号 ·doi:10.1016/j.cnsns.2013.12.014 [113] 列万多夫斯基，V。；罗曼诺夫斯基，V.S^D，具有非自由基Bautin理想的三次系统的周期性，J微分方程，2461274-1287（2009）·Zbl 1163.34019号 ·doi:10.1016/j.jde.2008.07.026 [114] Han，M。；Romanovski，V.，估算多项式系统中极限环的数量，《数学分析应用杂志》，368491-497（2010）·Zbl 1209.34040号 ·doi:10.1016/j.jmaa.2010.04.024 [115] Han，M。；Yu，P.，正规形式，Melnikov函数，极限环分岔（2012），纽约：Springer，纽约·Zbl 1252.37002号 ·doi:10.1007/978-14471-2918-9 [116] Han，M。；杨，J。；Yu，P.，近哈密顿系统的Hopf分岔，国际分岔混沌，194117-4130（2009）·Zbl 1183.34054号 ·doi:10.1142/S0218127409025250 [117] 利伯里，J。；Zhang，X.，通过平均方法在高维微分系统中的Hopf分岔，太平洋数学杂志，240，321-341（2009）·Zbl 1171.34027号 ·doi:10.2140/pjm.2009.240.321 [118] 利伯里，J。；Valls，C.，通过平均理论研究R3中一些解析微分系统的Hopf分岔，离散Contin Dyn系统，30779-790（2011）·兹伯利1218.37066 ·doi:10.3934/dcds.2011.30.779 [119] 黄，B。；Yap，C.，《非线性微分系统小极限环的算法方法：重访平均法》，《符号计算杂志》（2021） [120] Yu，P.，通过微扰技术计算正规形，J Sound Vib，211，19-38（1998）·Zbl 1235.34126号 ·doi:10.1006/jsvi.1997.1347 [121] 毕，Q。；Yu，P.，半简单情况下正规形式的符号计算，计算应用数学杂志，102195-220（1999）·Zbl 0944.65132号 ·doi:10.1016/S0377-0427（98）00222-2 [122] 曾，B。；Yu，P.，使用范式理论分析两个Rössler系统的零Hopf分岔，Internal J Bifur Chaos，3020300050-1-14（2020）·兹比尔1460.37045 ·doi:10.1142/S0218127420300505 [123] 田，Y。；Yu，P.，计算半简单情形正规形的显式递推公式，Commun非线性科学数值模拟，192294-2308（2014）·Zbl 1457.37066号 ·doi:10.1016/j.cnsns.2013.11.019 [124] 利伯里，J。；Makhlouf，A。；Badi，S.，通过二阶平均理论的三维Hopf分岔，离散Contin Dyn系统，251287-1295（2009）·Zbl 1186.37059号 ·doi:10.3934/dcds.2009.25.1287 [125] Chow，S-N；Mallet-Paret，J。；J.马斯登。；McCracken，M.，霍普夫分岔和平均方法，霍普夫分岔及其应用，151-162（1976），纽约：Springer-Verlag，纽约·Zbl 0346.58007号 ·doi:10.1007/978-1-4612-6374-6_12 [126] 利伯里，J。；Novaes，D。；Teixera，M.，通过Brouwer度求周期解的高阶平均理论，非线性，27563-583（2014）·Zbl 1291.34077号 ·doi:10.1088/0951-7715/27/3/563 [127] 黄，B。；Wang，D.，某些微分系统极限环的Zero-Hopf分支（2022） [128] 桑德斯，J。；Verhulst，F。；Murdock，J.，《非线性动力系统中的平均方法》，应用数学科学（2007），纽约：Springer，纽约·Zbl 1128.34001号 [129] 利伯里，J。；Moeckel，R。；Simó，C.，《中心构型、周期原点和哈密顿系统》，《数学高级课程-CRM巴塞罗那》（2015），巴塞尔：Birkhäuser，巴塞尔 [130] Pi，D.等人。；Zhang，X.，《用平均法研究微分系统的极限环》，Canad Appl Math Quart，7243-269（2009）·Zbl 1362.34066号 [131] 巴雷拉，L。；利伯里，J。；Valls，C.，从任意维的零位奇点分支的极限环，非线性动力学，921159-1166（2018）·Zbl 1398.34044号 ·doi:10.1007/s11071-018-4115-3 [132] 打击，T。；Perko，L.，平面分析系统的中心极限环和分界线环的分岔，SIAM Rev，36，341-376（1994）·Zbl 0807.34051号 ·doi:10.1137/1036094 [133] 古根海默，J。；Holmes，P.，非线性振荡、动力学系统和向量场的分支（1993），纽约：斯普林格，纽约·Zbl 0515.34001号 [134] 维亚诺，M。；利伯里，J。；Giacomini，H.，扰动哈密顿平面系统通过积分因子倒数的任意阶分岔，非线性分析，48，117-136（2002）·Zbl 1011.34029号 ·doi:10.1016/S0362-546X（00）00176-0 [135] Han，M。；罗曼诺夫斯基，V。；Zhang，X.，Melnikov函数法和平均法的等价性，Qual Theory Dyn Syst，15，471-479（2016）·Zbl 1377.34056号 ·文件编号：10.1007/s12346-015-0179-3 [136] Arnold，I.，等变向量场共振和普遍变形附近的自振荡稳定性损失，《函数分析应用》，11，85-92（1977）·Zbl 0411.58013号 ·doi:10.1007/BF01081886 [137] 克里斯托弗，C。；Li，C.，微分方程的极限环，高等数学课程（2007），巴塞罗那CRM，巴塞尔：Birkhäuser，巴塞罗纳CRM，巴塞尔·Zbl 1359.34001号 [138] Cveticanin，L.，强非线性振子（2018），Cham:Springer，Cham·Zbl 1367.70001号 ·doi:10.1007/978-3-319-58826-1 [139] Dumortier，F。；Li，C.，四阶椭圆哈密顿量的扰动：（I）鞍环和双鞍环，J微分方程，176114-157（2001）·Zbl 1004.34018号 ·doi:10.1006/jdeq.2000.3977 [140] 阿谢基，R。；Zangeneh，H.，带眼圈的五次哈密顿系统的极限环分支，非线性分析，68，2957-2976（2008）·Zbl 1158.34024号 ·doi:10.1016/j.na.2007.02.039 [141] 阿什吉，R。；Zangeneh，H.，具有双尖环的五次Hamilton系统的极限环分支，计算数学应用，591409-1418（2010）·Zbl 1189.34072号 ·doi:10.1016/j.camwa.2009.12.024 [142] 赵，L.，一类具有双同宿环的超椭圆Hamilton系统通过幂零鞍的扰动，非线性分析，95374-387（2014）·Zbl 1288.34050号 ·doi:10.1016/j.na.2013.09.020 [143] 格劳，M。；马尼奥斯，F。；Villadelprat，J.，阿贝尔积分的切比雪夫准则，Transl Am Math Soc，363，109-129（2011）·兹伯利1217.34052 ·doi:10.1090/S0002-9947-2010-05007-X [144] 马尼奥斯，F。；Villadelprat，J.，某些阿贝尔积分的零点数的界，J微分方程，251166-1669（2011）·兹伯利1237.34039 ·doi:10.1016/j.jde.2011年5月26日 [145] Wang，J。；Xiao，D.，关于一类具有一个幂零鞍的超椭圆哈密顿系统的小扰动中的极限环数，J微分方程，2502227-2243（2011）·Zbl 1217.34051号 ·doi:10.1016/j.jde.2010.11.004 [146] 阿塔巴吉，A。；Zangeneh，H.，一类带尖点的五阶超椭圆哈密顿系统小扰动中极限环的分岔，应用分析计算杂志，1299-313（2011）·Zbl 1304.34058号 [147] Wang，J.，通过区间分析限制从多项式哈密顿系统中心分叉的极限环数，混沌孤子与分形，87，30-38（2016）·Zbl 1355.34058号 ·doi:10.1016/j.chaos.2016.03.007 [148] 胡，Y。；牛，W。；Huang，B.，使用符号计算方法限制参数Liénard系统的极限环数，Commun非线性科学数值模拟，96105716-1-16（2021）·Zbl 1462.37018号 ·doi:10.1016/j.cnsns.2021.105716 [149] 太阳，X。；Xi，H。；Zangeneh，R。；Kazemi，R.，一类Liénard系统小扰动极限环的分岔，国际Bifur混沌杂志，241450004-1-23（2014）·Zbl 1284.34052号 ·doi:10.1142/S021812741450047 [150] Kazemi，R。；Zangeneh，H.，具有两个幂零鞍的超椭圆哈密顿系统小扰动中极限环的分岔，《应用分析计算杂志》，2395-413（2012）·Zbl 1319.34067号 [151] 太阳，X。；赵，L.，一类具有幂零奇点的七阶超椭圆哈密顿系统的扰动，应用数学计算，289194-203（2016）·Zbl 1410.34099号 [152] 太阳，X。；Yu，P.，两个四阶超椭圆哈密顿系统阿贝尔积分零点数的精确界，J微分方程，2677369-7384（2019）·Zbl 1435.37077号 ·doi:10.1016/j.jde.2019.07.023 [153] Smith，J.，《生物学中的数学思想》（1968），伦敦：剑桥大学出版社，伦敦·doi:10.1017/CBO9780511565144 [154] Smith，J.，《进化与游戏理论》（1982），伦敦：剑桥大学出版社，伦敦·Zbl 0526.90102号 ·doi:10.1017/CBO9780511806292 [155] May，R.，《具有非常复杂动力学的简单数学模型》，《自然》，261459-467（1976）·Zbl 1369.37088号 ·doi:10.1038/261459a0 [156] 牛伟，用代数方法对生物系统进行定性分析[D]（2011），巴黎：巴黎第六大学，巴黎 [157] 牛，W。；王，D。；霍里莫托，K。；雷根斯堡，G。；Rosenkranz，M.，《生物系统分岔和极限环的代数分析》，《第三届代数生物学国际会议论文集》，156-171（2008），海德堡：斯普林格-Verlag，海德伯格·Zbl 1171.92307号 [158] 埃尔拉米，H。；艾斯沃思，M。；格里戈里耶夫，D。；格特，V。；科普夫，W。；迈尔，E。；Heidelberg，S-V，使用反应坐标计算化学反应网络中Hopf分叉的有效方法，科学计算中的计算机代数，88-99（2013）·Zbl 1412.34132号 ·doi:10.1007/978-3-319-02297-07 [159] 布拉德福德，R。；Davenport，J。；England，M.，《识别某些生物网络的多个稳态参数发生》，《符号计算杂志》，98，84-119（2020）·Zbl 1442.92056号 ·doi:10.1016/j.jsc.2019.07.008 [160] 狄更斯坦，A。；Millán，M。；Shiu，A.，结构化反应网络中的多平稳性，B Math Biol，81，1527-1581（2019）·Zbl 1415.92083号 ·doi:10.1007/s11538-019-00572-6 [161] 牟，C。；Ju，W.，基于弦图计算生物动力系统平衡的稀疏三角分解，IEEE/ACM Trans-Comput Biol Bioinform（2022） [162] Gatermann，K。；Huber，B.，化学反应系统中出现的稀疏多项式系统族，《符号计算杂志》，33，275-305（2022）·Zbl 0994.92040号 ·doi:10.1006/jsco.2001.0512 [163] Gatermann，K。；Green，E。；霍斯顿，S。；Laubenbacher，R.，《计算化学中稀疏多项式系统的稳定解》，符号计算：代数、几何和工程中的方程求解，53-70（2001），普罗维登斯，RI:美国数学学会，普罗维登斯，RI·Zbl 1009.68198号 ·doi:10.1090/conm/286/04754 [164] Gatermann，K。；艾斯沃思，M。；Sensse，A.，《分析质量作用系统中Hopf分岔的Toric理想和图论》，《符号计算杂志》，401361-1382（2005）·Zbl 1120.13033号 ·doi:10.1016/j.jsc.2005.07.002 [165] 费雷尔，J。；Machleder，E.，爪蟾卵母细胞中全细胞或单细胞命运转换的生化基础，科学，280895-898（1998）·doi:10.1126/science.280.5365.895 [166] Angeli，D。；费雷尔，J。；Sontag，E.，检测一大类生物正反馈系统中的多稳态、分叉和滞后现象，美国国家科学院院刊，1011822-1827（2004）·doi:10.1073/pnas.0308265100 [167] 刘，L。；Lu，Z。；Wang，D.，Lotka-Volterra系统的LaSalle不变集结构，科学中国（Ser A），34783-790（1991）·Zbl 0743.34055号 [168] Lu，Z.，Lotka-Volterra系统全局稳定性的计算机辅助证明，计算数学应用，3149-59（1996）·Zbl 0887.34050号 ·doi:10.1016/0898-1221（96）00075-2 [169] 李，B。；沈毅。；Li，B.，酶动力学中的准稳态定律，《物理化学杂志》A，1122311-2321（2008）·doi:10.1021/jp077597q [170] 李，B。；Li，B.，酶动力学可逆模型中的准稳态定律，《数学化学杂志》，51，2668-2686（2013）·兹比尔1278.92013 ·doi:10.1007/s10910-013-0229-5 [171] Boulier，F。；Lemaire，F。；Sedoglavic，A.，《细胞生物学中多项式ODE模型的自动简化方法》，《数学计算科学》，2443-464（2009）·Zbl 1205.37094号 ·doi:10.1007/s11786-008-0062-6 [172] Boulier，F。；拉扎德，D。；Ollivier，F。；Levet，A.，有限生成微分理想根的表示，1995年符号和代数计算国际研讨会论文集，158-166（1995），纽约：ACM出版社，纽约·Zbl 0911.13011号 [173] Boulier，F。；Lefranc，M。；Lemaire，F.，《使用消除法对化学反应系统进行模型简化》，《数学与计算科学》，第5289-301页（2011年）·1270.92025兹罗提 ·doi:10.1007/s11786-011-0093-2 [174] Boulier，F。；Lefranc，M。；Lemaire，F。；霍里莫托，K。；Regensburger，G.，应用严格的准稳态近似方法证明遗传电路模型中不存在振荡，《第三届代数生物学国际会议论文集》，56-64（2008），海德堡：斯普林格-Verlag，海德伯格·Zbl 1171.92317号 [175] Wang，D.，反馈控制系统的代数稳定性准则和稳定性条件的符号推导，国际控制杂志，85，1414-1421（2012）·Zbl 1253.93106号 ·doi:10.1080/00207179.2012.686633 [176] 李，X。；Wang，D.，使用三角分解和实解分类计算半代数经济体的均衡，《数学经济学杂志》，54，48-58（2014）·Zbl 1308.91103号 ·doi:10.1016/j.jmateco.2014.08.007 [177] 黄，B。；Niu，W.，使用符号计算方法分析回跳排斥器，国际J分叉混沌，2919505-1-13（2019）·Zbl 1411.37034号 ·doi:10.1142/S0218127419500548 [178] Quadrat，A。；Zerz，E.，《动力系统中的代数和符号计算方法，延迟和动力学的进展》（2020），Cham:Springer，Cham·Zbl 1446.93001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。