安德烈亚斯·韦伯;托马斯·斯特姆;Abdel-Rahman，Essam O。 用于排除振荡的算法全局准则。 （英语） Zbl 1214.92002号 牛。数学。生物。 73，第4期，899-916（2011）. 摘要：我们研究了解决以下问题的算法：给定一个由生物模型建立的参数常微分方程组，模型参数和变量是否存在取值范围，这些参数和变量从生物学角度来看都是有意义的，并且在哪里可以找到振荡轨迹？我们证明，在多项式向量场的常见情况下，排除非恒定极限环存在的已知准则会导致实域上的量词消除问题。我们将这些标准应用于以前在代数生物学背景下研究过的各种模型。 引用于7文件 MSC公司： 92B05型 普通生物学和生物数学 34个C99 常微分方程的定性理论 37N25号 生物学中的动力系统 92C45型 生化问题中的动力学（药代动力学、酶动力学等） 关键词：振荡;质量作用动力学 软件：重新记录;QEPCAD公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人，公牛。数学。生物学73，第4期，899--916（2011；Zbl 1214.92002） 全文： 内政部 参考文献： [1] Achatz，M.、McCallum，S.和；Weispfenning，V.（2008）。多项式指数问题的判定。ISSAC’08：第二十一届符号和代数计算国际研讨会论文集，奥地利林茨/哈根伯格（第215-222页）。纽约：ACM·Zbl 1236.68301号 [2] Arnon，D.S.、Collins，G.E.和；麦卡勒姆，S.（1984）。圆柱代数分解I：基本算法。SIAM J.计算。，13(4), 865–877. ·Zbl 0562.14001号 ·数字对象标识代码：10.1137/0213054 [3] Bonhoeffer，S.、Coffin，J.M.和；Nowak，M.A.（1997年）。人类免疫缺陷病毒药物治疗和病毒载量。J.Virol。，71(4), 3275. [4] Boulier，F.、Lefranc，M.、Lemaire，F.和Morant，P；U rgüplü，A.（2007）。关于证明遗传电路模型中不存在振荡的问题。在H.Anai、H.Horimoto和；T.Kutsia（编辑），计算机科学讲稿：第4545卷。代数生物学（AB 2007），奥地利哈根堡城堡（第66-80页）。柏林：斯普林格·Zbl 1127.92306号 [5] Boulier，F.、Lefranc，M.、Lemaire，F.和；Morant，P.-E.（2008）。应用严格的准稳态近似方法证明遗传电路模型中不存在振荡。在K.Horimoto，G.Regensburger，M.Rosenkranz，&；H.Yoshida（编辑），计算机科学讲稿：第5147卷。代数生物学（AB 2008）——第三届国际会议，奥地利哈根堡城堡（第56-64页）。柏林：斯普林格·Zbl 1171.92317号 [6] Brown，C.W.（2004）。QEPCAD B：通过柱面代数分解使用半代数集进行计算的系统。ACM SIGSAM公牛。，38(1), 23–24. ·doi:10.1145/980175.980185 [7] Davenport，J.H.和；Heintz，J.（1988）。实量词消除是双指数的。J.塞姆。计算。，5(1–2), 29–35. ·兹伯利0663.03015 ·doi:10.1016/S0747-7171（88）80004-X [8] De Jong，H.、Geiselmann，J.、Batt，G.、Hernandez，C.和；Page，M.（2004）。枯草芽孢杆菌产孢起始的定性模拟。牛。数学。生物学，66（2），261–299·Zbl 1334.92265号 ·doi:10.1016/j.bulm.2003.08.009 [9] 多尔兹曼，A.，&；Gilch，L.A.（2004）。通用厄米特量词消除。J.A.C.Bruno Buchberger（编辑），计算机科学讲稿：第3249卷。人工智能和符号计算：第七届国际会议，AISC 2004，奥地利林茨（第80-93页）。柏林：斯普林格·Zbl 1109.03315号 [10] A.Dolzmann，&；Sturm，T.（1997年a）。REDLOG：计算机代数符合计算机逻辑。ACM SIGSAM公牛。，31(2), 2–9. ·doi:10.1145/261320.261324 [11] A.Dolzmann，&；Sturm，T.（1997年b）。有序字段上无量词公式的简化。J.塞姆。计算。，24(2), 209–231. ·Zbl 0882.03030号 ·doi:10.1006/jsco.1997.0123 [12] Dolzmann，A.、Sturm，T.和；Weispfenning，V.（1998年）。一种新的实几何定理自动证明方法。J.汽车。原因。，21(3), 357–380. ·Zbl 0914.03013号 ·doi:10.1023/A:1006031329384 [13] Dolzmann，A.、Sturm，T.和；Weispfenning，V.（1998年b）。在实践中消除真正的量词。在B.H.Matzat、G.-M.Greuel和；G.Hiss（编辑），算法代数和数论（第221-247页）。柏林：斯普林格·Zbl 0934.68130号 [14] Dolzmann，A.、Seidl，A.和；Sturm，T.（2004）。CAD的高效投影订单。J.Gutierrez（Ed.），2004年符号和代数计算国际研讨会论文集（ISSAC 2004）（第111-118页）。纽约：ACM·Zbl 1134.68575号 [15] El Kahoui，M.和；韦伯（2000）。在软件组件体系结构中，通过量词消除确定Hopf分支。J.塞姆。计算。，30(2), 161–179. ·Zbl 0965.65137号 ·doi:10.1006/jsco.1999.0353 [16] El Kahoui，M.和；韦伯（2002）。参数化多项式向量场中的符号平衡点分析。在甘扎，V.G.，Mayr，E.W.和；Vorozhtsov，E.V.（编辑），科学计算中的计算机代数（CASC）（第71–83页），乌克兰雅尔塔，2002年9月。 [17] 埃迪·P·；Tóth，J.（1989）。化学反应的数学模型：确定性和随机模型的理论和应用。曼彻斯特：曼彻斯特大学出版社·Zbl 0696.92027号 [18] Feckan，M.（2001）。Bendixson准则的推广。程序。美国数学。社会学，129（11），3395–3400·Zbl 0977.34042号 ·doi:10.1090/S0002-9939-01-06107-X [19] 费德勒，B.，&；Hsu，S.-B.（2009）。恒化方程中的非周期性：多维负Bendixson–Dulac准则。数学杂志。《生物学》，59（2），233-253·Zbl 1231.92061号 ·doi:10.1007/s00285-008-0229-4 [20] Fussmann，G.F.、Ellner，S.P.、Shertzer，K.W.、Hairston，J.和；Nelson，G.（2000年）。跨越活捕食者-食饵系统的Hopf分支。科学，290（5495），1358-1360·doi:10.1126/science.290.5495.1358 [21] Gilch，L.A.（2003）。高效Hermitesche Quantorenemination。2003年9月，德国帕索94030，帕索大学毕业论文。 [22] Glass，L.和；Pasternack，J.S.（1978年）。生物振荡数学模型中极限环的预测。牛。数学。《生物学》，40（1），27–44·Zbl 0391.92001号 [23] Griffith，J.S.（1968年）。细胞控制过程的数学。一个基因的负反馈。J.西奥。生物学，202-208·doi:10.1016/0022-5193（68）90189-6 [24] Hasty，J.、McMillen，D.、Isaacs，F.、Collins，J.等人（2001年）。基因调控网络的计算研究：数字分子生物学。《遗传学自然评论》。，2(4), 268–279. ·doi:10.1038/35066056 [25] Hong，H.、Liska，R.和；斯坦伯格，S.（1997）。通过量词消除测试稳定性。J.塞姆。计算。，24(2), 161–187. ·Zbl 0886.65087号 ·doi:10.1006/jsco.1997.0121 [26] Jäger，W.，So，J.W.H.，Tang，B.，&；Waltman，P.（1987）。梯度仪比赛。数学杂志。生物学，25，23–42·Zbl 0643.92021号 ·doi:10.1007/BF00275886 [27] Lasaruk，A.和；Sturm，T.（2007a）。弱整数量词消除超出线性情况。在V.G.Ganzha、E.W.Mayr和；E.V.Vorozhtsov（编辑），计算机科学讲稿：第4770卷。科学计算中的计算机代数。2007年CASC会议记录（第275-294页）。柏林：斯普林格·Zbl 1141.68704号 [28] Lasaruk，A.和；Sturm，T.（2007b）。整数的完全线性理论的弱量词消除。普雷斯伯格算法的统一推广。申请。代数工程通讯。计算。，18(6), 545–574. ·Zbl 1154.68112号 ·数字对象标识代码：10.1007/s00200-007-0053-x [29] Li，M.Y.和；Muldowney，J.S.（1995）。吸引子的Hausdorff维数的下限。J.戴恩。不同。Equ.、。，7(3), 457–469. ·兹比尔083034044 ·doi:10.1007/BF02219372 [30] Mincheva，M.和；Roussel，M.R.（2007）。化学和生物化学网络分析的图论方法。常微分方程模型中的多重稳定性和振荡。数学杂志。《生物学》，55（1），61-86·Zbl 1149.34031号 ·doi:10.1007/s00285-007-0099-1 [31] Muldowney，J.S.（1990）。复合矩阵和常微分方程。落基山数学。，20(4), 857–872. ·Zbl 0725.34049号 ·doi:10.1216/rmjm/1181073047 [32] Niu、W.和；Wang，D.（2008）。生物系统稳定性分析的代数方法。数学。计算。科学。，1(3), 507–539. ·Zbl 1138.68668号 ·数字对象标识代码：10.1007/s11786-007-0039-x [33] Novak，B.、Pataki，Z.、Ciliberto，A.和；泰森·J·J（2001）。裂变酵母细胞分裂周期的数学模型。非线性科学杂志。，11(1), 277–286. ·兹比尔0992.92022 [34] Seidl，A.应用导向范式下的圆柱分解。博士论文，帕索大学，94030帕索，德国，2006年12月。 [35] Sensse，A.、Hauser，M.J.B.和；Eiswirth，M.（2006）。Shil'nikov混沌的反馈回路：过氧化物酶氧化酶反应。化学杂志。物理。，125, 014901. [36] Smith，H.L.、Tang，B.和；Waltman，P.（1991）。n容器梯度仪中的竞争。SIAM J.应用。数学。，51(5), 1451–1471. ·Zbl 0749.92024号 ·doi:10.1137/0151072 [37] Strzebonski，A.（2000年）。求解严格多项式不等式组。J.塞姆。计算。，29(3), 471–480. ·Zbl 0962.68183号 ·doi:10.1006/jsco.1999.0327 [38] Strzebonski，A.W.（2006年）。使用验证的数值进行圆柱代数分解。J.塞姆。计算。，41(9), 1021–1038. ·Zbl 1124.68123号 ·doi:10.1016/j.jsc.2006.06.004 [39] Strzebonski，A.（2008）。exp日志函数的真正根隔离。ISSAC’08：第二十一届符号和代数计算国际研讨会论文集，奥地利林茨/哈根伯格（第303–314页）。纽约：ACM·Zbl 1236.65057号 [40] Sturm，T.（2006）。用于应用量词消除的新域。在V.G.Ganzha、E.W.Mayr和；E.V.Vorozhtsov（编辑），计算机科学讲稿：第4194卷。科学计算中的计算机代数：第九届国际研讨会，2006年9月11日至15日，摩尔多瓦基希讷乌，CASC 2006。柏林：斯普林格。 [41] Sturm，T.（2007）。Redlog在线资源以消除应用的量词。学术学报。阿布。，序列号。B、 67（2），177-191。 [42] Sturm，T.和；韦伯（2008）。研究解决代数生物学中Hopf分支问题的通用方法。在K.Horimoto、G.Regensburger、M.Rosenkranz和；H.Yoshida（编辑），计算机科学讲义：第5147卷。代数生物学——第三届国际会议（AB 2008），奥地利哈根堡城堡。柏林：施普林格·Zbl 1171.92301号 [43] Sturm，T.、Weber，A.、Abdel-Rahman，E.O.和；El Kahoui，M.（2009年）。研究代数和逻辑算法以解决代数生物学中的Hopf分支问题。数学。计算。科学。，2(3), 493–515. 《生物学中的符号计算》特刊·Zbl 1205.37062号 ·doi:10.1007/s11786-008-0067-1 [44] Tarski，A.（1951年）。初等代数和几何的判定方法（第二修订版）。伯克利：加利福尼亚大学出版社。重印于B.F.Caviness和J.R.Johnson（编辑），量词消除和柱面代数分解。符号计算的文本和专著（第24-84页）。柏林：施普林格（1998）。 [45] Thomas，R.、Thieffry，D.和；考夫曼（Kaufman，M.）（1995年）。生物调控网络的动态行为——I。反馈回路的生物作用和回路特征状态概念的实际应用。牛。数学。生物学，57（2），247–276·Zbl 0821.92009 [46] Toth，J.（1987）。Bendixson型定理及其应用。Z.安圭。数学。机械。，67, 31–35. ·Zbl 0604.34022号 ·doi:10.1002/zamm.19870670108 [47] 塔克韦尔，H.C；Wan，F.Y.M.（2004）。病毒动力学模型中解的行为。生物系统，73（3），157-161·doi:10.1016/j.biosystems.2003.11.004 [48] Tyson，J.J.、Chen，K.和；Novak，B.（2001年）。网络动力学和细胞生理学。自然修订版分子细胞生物学。，2(12), 908–916. ·doi:10.1038/35103078 [49] van den Driessche，P.和；塞曼·M.L.（1998）。没有周期轨道的三维竞争Lotka-Volterra系统。SIAM J.应用。数学。，58(1), 227–234. ·Zbl 0910.34050号 ·doi:10.1137/S00361399995294767 [50] 魏斯芬宁，V.（1988）。领域中线性问题的复杂性。J.塞姆。计算。，5（1和2），3–27·Zbl 0646.03005号 ·doi:10.1016/S0747-7171（88）80003-8 [51] 魏斯芬宁，V.（1994）。实代数的量词消去-立方情况。符号和代数计算国际研讨会论文集（第258-263页）。纽约：ACM·Zbl 0919.03030号 [52] 魏斯芬宁，V.（1997a）。实代数的量词消去——二次型情形及其以外。申请。代数工程通讯。计算。，8（2），85–101·Zbl 0867.03003号 ·doi:10.1007/s002000050055 [53] 魏斯芬宁，V.（1997b）。通过量词消除进行模拟和优化。J.塞姆。计算。，24(2), 189–208. 量词消去应用专题·Zbl 0883.68075号 ·文件编号：10.1006/jsco.1997.0122 [54] 魏斯芬宁，V.（1998）。实代数量词消去的一种新方法。在B.Caveness&；J.Johnson（编辑），符号计算、量词消除和柱面代数分解的文本和专著（第376–392页）。纽约：斯普林格·Zbl 0900.03046号 [55] 魏斯芬宁，V.（2000）。判定线性超越问题。在V.G.Ganzha、E.W.Mayr和；E.V.Vorozhtsov（编辑），《科学计算中的计算机代数第三次研讨会论文集》，CASC’2000（第423-437页），2000年10月5日至9日，乌兹别克斯坦撒马尔罕。柏林：斯普林格·Zbl 0974.03010号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。