Aurélien的点心;亚历山德鲁·伊奥西夫;克里斯托弗·吕德斯;奥维迪乌·拉杜列斯库;哈米德·拉库伊;塞伊，马提亚斯;托马斯·斯特姆 多项式守恒定律的计算方法。 （英语） Zbl 07837870号 SIAM J.应用。动态。系统。 23，第1号，813-854（2024）. 摘要：对于多项式ODE模型，我们引入并讨论了精确守恒定律和近似守恒定律的概念，它们是ODE的完整集和截断集的第一个积分。对于快-慢系统，截断的ODE描述了快速动态。我们将相容类定义为状态空间的子集，通过将守恒定律等效为常数来获得。当相应的相容类包含有限个稳态时，一组守恒定律是完备的。完整的守恒定律集可用于模型降阶和研究模型的多平稳性。我们提供了计算多项式ODE模型的线性、单项式和多项式守恒定律以及测试其完整性的算法方法。由此产生的守恒定律及其完备性要么独立于参数，要么依赖于参数。在后一种情况下，我们提供了参数化的情况区分。特别地，我们提出了一种利用综合Gröbner系统和syzygies计算多项式守恒律的新方法。 MSC公司： 34C60个 常微分方程模型的定性研究与仿真 92C45型 生化问题中的动力学（药代动力学、酶动力学等） 34A05型 显式解，常微分方程的第一积分 34立方厘米 常微分方程的对称性、不变量 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 34-04 与常微分方程有关的问题的软件、源代码等 关键词：第一积分;化学反应网络;多项式守恒定律;糖浆;综合Gröbner系统;多项式ODE 软件：单一;QEPCAD公司;重新记录 PDF格式BibTeX公司 XML格式引用 \textit{A.Desoeuvres}等人，SIAM J.Appl。动态。系统。23，编号1，813--854（2024；Zbl 07837870） 全文： 内政部 arXiv公司 参考文献： [1] A.brahám，E.，Abbott，J.，Becker，B.，Bigatti，A.m.，Brain，m.，Buchberger，B.，Cimatti，A.，Davenport，J.H.，England，m.、Fontaine，P.，Forrest，S.，Griggio，A.，Kroening，D.，Seiler，W.m.，and Sturm，T.，（SC^2）：可满足性检查满足符号计算，载于《2016年CICM会议录》，Kohlhase，m.；Johansson，m。，de Moura，L.和Tompa，F.编辑，纽约斯普林格出版社，2016年，第28-43页·Zbl 1344.68198号 [2] Aris，R.和Mah，R.，《化学反应的独立性》，工业工程化学。芬达姆。，2（1963年），第90-94页。 [3] Arnold，V.，《经典力学的数学方法》，施普林格出版社，纽约，1978年·Zbl 0386.70001号 [4] Arnold，V.I.，《常微分方程》，俄罗斯版，施普林格-弗拉格出版社，柏林，1992年·兹比尔0744.34001 [5] Auger，P.、de La Parra，R.B.、Poggiale，J.-C、Sánchez，E.和Sanz，L.，动力学系统中的聚集方法及其在种群和群落动力学中的应用，Phys。《生活评论》，第5期（2008年），第79-105页。 [6] Ballarin，C.和Kauers，M.，求解参数线性系统：约束代数编程实验，ACM SIGSAM Bull。，38（2004），第33-46页·Zbl 1341.68310号 [7] Barrett，C.、Fontaine，P.和Tinelli，C.，《SMT-LIB标准：2.6版》，技术报告，爱荷华大学计算机科学系，2017年。 [8] Becker，T.、Weispfenning，V.和Kredel，H.、Gröbner Bases，《交换代数的计算方法》，Springer，纽约，1993年·Zbl 0772.13010号 [9] Berkesch，C.和Schreyer，F.-O.，Syzygies，有限长模和随机曲线，Commut。代数非交换。代数几何。，1（2015），第25-52页·Zbl 1359.13029号 [10] Bose，N.K.，Gröbner bases:多项式理想理论中的算法方法，《多维系统理论与应用》，Springer Netherlands，Dordrecht，1995年，第89-127页，doi:10.1007/978-94-017-0275-1。 [11] Boulier，F.、Lefranc，M.、Lemaire，F.和Morant，P.-E.，《使用消除法对化学反应系统进行模型简化》，数学。计算。科学。，5（2011年），第289-301页·1270.92025兹罗提 [12] Brown，C.W.，QEPCAD B:使用CAD计算半代数集的程序，ACM SIGSAM Bull。，37（2003），第97-108页，doi:10.1145/968708.968710·Zbl 1083.68148号 [13] Brown，C.W.和Gross，C.，《科学计算中的计算机代数：第九届国际研讨会》，CASC 2006，Ganzha，V.G.，Mayr，E.W.，and Vorozhtsov，E.V.，eds.，Springer，New York，2006，第89-100页·Zbl 1141.68675号 [14] Buchberger，B.，《Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide》，博士论文，奥地利因斯布鲁克大学数学研究所，1965年·Zbl 1245.13020号 [15] Chelliah，V.，Juty，N.，Ajmera，I.，Ali，R.，Dumousseau，M.，Glont，M..，Hucka，M.、Jalowicki，G.，Keating，S.，Knight-Schrijver，V.、Lloret-Villas，A.，Nath Natarajan，K.，Pettit，J.-B.，Rodriguez，N.、Schubert，M.和Wimalaratne，S.M.，Zhao，Y.，Hermjakob，H.，Le Novè，N.和Laibe，C.，《生物模型：十周年纪念》，Nucl。《酸类研究》，43（2015），第D542-D548页，doi:10.1093/nar/gku1181。 [16] Chèze，G.，Darboux多项式和多项式时间内有界次有理第一积分的计算，《复杂性杂志》，27（2011），第246-262页·Zbl 1215.65040号 [17] Cox，D.A.、Little，J.和O'shea，D.，《使用代数几何》，纽约斯普林格出版社，2006年。 [18] Cox，D.A.、Little，J.B.和O'Shea，D.，《理想、多样性和算法》，第四版，纽约斯普林格出版社，2015年·Zbl 1335.13001号 [19] Darmian，M.D.、Hashemi，A.和Montes，A.，“讨论带参数Gröbner基的新算法”勘误表[J.符号计算，33（1-2）（2002）183-208]，J.符号计算机。，46（2011），第1187-1188页，doi:10.1016/j.jsc.2011.05.002·Zbl 1279.13037号 [20] Decker，W.、Greuel，G.-M.、Pfister，G.和Schönemann，H.，奇异4-2-0-A多项式计算的计算机代数系统，2020年，http://www.singular.uni-kl.de。 [21] Desoeuvres，A.、Iosif，A.，Lüders，C.、Radulescu，O.、Rahkooy，H.、Seiß，M.和Sturm，T.，用近似守恒定律还原化学反应网络，SIAM J.Appl。动态。系统。，23（2024年），第256-296页。 [22] Dolzmann，A.和Sturm，T.，REDLOG：计算机代数符合计算机逻辑，ACM SIGSAM Bull。，31（1997），第2-9页，doi:10.145/261320.261324。 [23] Dolzmann，A.和Sturm，T.，有序域上无量词公式的简化，符号计算。，24（1997），第209-231页·兹伯利0882.03030 [24] Dolzmann，A.、Sturm，T.和Weispfenning，V.，《算法代数和数论中的实际量词消除》，Matzat，B.H.、Greuel，G.-M.和Hiss，G.编辑，Springer，纽约，1998年，第221-247页，doi:10.1007/978-3-642-59932-3_11·Zbl 0934.68130号 [25] 艾森巴德，D.，《Syzygies的几何：交换代数和代数几何的第二门课程》，斯普林格，纽约，2005年·Zbl 1066.14001号 [26] Feinberg，M.，《化学反应网络理论基础》，Springer，纽约，2019年，doi:10.1007/978-3-030-03858-8·Zbl 1420.92001年 [27] Feinberg，M.和Horn，F.J.，《开放化学系统动力学和底层反应网络的代数结构》，《化学》。工程科学。，29（1974年），第775-787页。 [28] Feliu，E.和Wiuf，C.，《质量作用动力学网络中开关行为的预判》，应用。数学。计算。，219（2012），第1449-1467页·Zbl 1417.37298号 [29] Fenichel，N.，《常微分方程的几何奇异摄动理论》，《微分方程》，31（1979），第53-98页·Zbl 0476.34034号 [30] Gao，S.，V.，F.IV和Wang，M.，计算Gröbner基的新框架，数学。公司。，85（2016），第449-465页，doi:10.1090/com/2969·Zbl 1331.13018号 [31] Goeke，A.、Walcher，S.和Zerz，E.，《经典准静态还原——数学表征》，《物理学》。D、 345（2017），第11-26页，doi:10.1016/j.physd.2016.12.002·Zbl 1378.34033号 [32] Goldman，L.，常微分方程多项式系统的积分，J.Pure Appl。《代数》，45（1987），第225-240页·Zbl 0631.34002号 [33] Gorban，A.N.、Radulescu，O.和Zinovyev，A.Y.，《化学反应网络的渐近》，《化学》。工程科学。，65（2010年），第2310-2324页。 [34] Goriely，A.，《动力系统的可积性和不可积性》，《世界科学》，新泽西州River Edge，2001年·Zbl 1002.34001号 [35] Hashemi，A.，Darmian，M.D.和Barkhordar，M.，Gröbner系统转换，数学。计算。科学。，11（2017），第61-77页，doi:10.1007/s11786-017-0295-3·Zbl 1409.68344号 [36] Hauke，M.，Signature Gröbner Bases:A Comprehensive Survey and A New Algorithmic Approach，硕士论文，奥地利格拉茨格拉茨科技大学，2020年。 [37] Hearn，A.C.，REDUCE：一个面向用户的交互式代数简化系统，载于《实验应用数学交互式系统研讨会论文集》，ACM，1967年，doi:10.1145/2402536.2402544。 [38] Hearn，A.C.，《REDUCE：前四十年》，摘自《算法代数与逻辑：A3L 2005会议录》，BOD，Norderstedt，德国，2005年，第19-24页。 [39] Kapur，D.，《求解参数多项式方程组的方法》，载于《约束编程原理与实践》，Springer，纽约，1995年，第217-224页。 [40] Kapur，D.，参数多项式理想的综合Gröbner基理论和相关的补全算法，J.Syst。科学。复杂。，30（2017），第196-233页，doi:10.1007/s11424-017-6337-8·兹比尔1376.13012 [41] Kapur，D.，Sun，Y.和Wang，D.，计算综合Gröbner基的一种有效方法，符号计算杂志。，52（2013），第124-142页，doi:10.1016/j.jsc.2012.05.015·兹比尔1283.13024 [42] Košta，M.，《通过虚拟替换消除实量词的新概念》，博士论文，德国萨尔州大学，2016年，doi:10.22028/D291-26679。 [43] Kreuzer，M.和Robbiano，L.，计算交换代数1，Springer，纽约，2008年。 [44] Kruff，N.、Lüders，C.、Radulescu，O.、Sturm，T.和Walcher，S.，《生物网络多时间尺度算法简化》，数学。计算。科学。，15（2021年），第499-534页·Zbl 1484.13058号 [45] Lozano，A.M.，The Gröbner Cover，Springer，New York，2018，doi:10.1007/978-3-030-03904-2·Zbl 1412.13001号 [46] Lu，D.，Sun，Y.和Wang，D.，《计算综合Gröbner系统和综合Gróbner基的算法综述》，J.Syst。科学。复杂。，32（2019），第234-255页，doi:10.1007/s11424-019-8357-z·Zbl 1417.68295号 [47] Lüders，C.、Sturm，T.和Radulescu，O.，ODEbase:系统生物学ODE系统库，Bioninform。高级，2（2022），vbac027。 [48] Lüders，C.、Sturm，T.和Radulescu，O.，《ODEbase:ODE系统用于系统生物学的知识库》，CoRR，http://arxiv.org/abs/2201.08980, 2022. [49] Mahdi，A.、Ferragut，A.、Valls，C.和Wiuf，C.，《生物化学反应网络中的守恒定律》，SIAM J.Appl。动态。系统。，16（2017年），第2213-2232页·Zbl 1387.37077号 [50] Man，Y.-K.，使用Prelle-Singer程序计算一阶常微分方程的闭式解，J.符号计算。，16（1993年），第423-443页·Zbl 0793.34002号 [51] Michaelis，L.和Menten，M.L.，Die kinetik der invertinwirkung，Biochem。Z、 49（1913），第352页。 [52] Montes，A.，讨论带参数Gröbner基的新算法，J.符号计算。，33（2002），第183-208页，doi:10.1006/jsco.2001.0504·Zbl 1068.13016号 [53] Nabeshima，K.，参数理想的泛型Gröbner基及其在综合Gróbner系统中的应用，《计算机代数应用会议论文集》，2022年，https://www.rs.tus.ac.jp/nabeshima/ACA2022/2022aca/nabeshima 22.pdf。 [54] Nieuwenhuis，R.、Oliveras，A.和Tinelli，C.，《求解SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）》，J.ACM，53（2006），第937-977页，doi:10.1145/1217856.1217859·Zbl 1326.68164号 [55] Prelle，M.J.和Singer，M.F.，微分方程初等积分，Trans。阿默尔。数学。《社会学杂志》，279（1983），第215-229页·Zbl 0527.12016号 [56] Radulescu，O.、Gorban，A.N.、Zinovyev，A.和Noel，V.，《计算生物学中动态生化反应网络的简化》，Front。遗传学，3（2012），131。 [57] Schneider，K.R.和Wilhelm，T.，通过扩展准静态近似进行模型简化，J.Math。生物学，40（2000），第443-450页·兹比尔0970.92028 [58] Schreyer，F.O.，标准曲线合子的标准基方法，J.Reine Angew。数学。，421（1991），第83-124页·Zbl 0729.14021号 [59] Schuster，S.和Höfer，T.，《确定化学反应体系中的所有极端半正守恒关系：保守性的测试标准》，J.Chem。Soc.Faraday Trans.公司。，87（1991），第2561-2566页。 [60] Seidl，A.，《应用导向范式下的圆柱分解》，博士论文，德国帕索大学，2006年。 [61] Seidl，A.M.和Sturm，T.，《科学计算中的计算机代数》中一阶上下文中的布尔量化，Ganzha，V.G.、Mayr，E.W.和Vorozhtsov，E.V.编辑，德国慕尼黑科技大学信息研究所，2003年，第329-345页。 [62] Sit，W.Y.，《求解参数线性系统的算法》，J.符号计算。，13（1992），第353-394页，doi:10.1016/S0747-7171（08）80104-6·Zbl 0752.34010号 [63] Sogokon，A.、Mitsch，S.、Tan，Y.K.、Cordwell，K.和Platzer，A.、Pegasus:声音连续不变量生成，形式方法系统。设计。，58（2021），第5-41页·Zbl 1505.68045号 [64] Soliman，S.，作为约束满足问题的生物化学模型的不变量和其他结构属性，分子生物学算法。，7（2012），第1-9页。 [65] Spivak，M.，《流形上的微积分：高级微积分经典定理的现代方法》，CRC出版社，佛罗里达州博卡拉顿，2018年。 [66] Sturm，T.，应用量词消除Redlog在线资源，Acta Acad。Ab.，67（2007），第177-191页。 [67] Sturm，T.，实量词消除、判定和可满足性及其应用的一些方法的综述，数学。计算。科学。，11（2017），第483-502页，doi:10.1007/s11786-017-0319-z·Zbl 1425.68380号 [68] Sturm，T.，《虚拟替代的三十年》，载于《2018年国际社会科学院院刊》，ACM，2018年，第11-16页·Zbl 1460.03007号 [69] 铃木A.和佐藤Y.，综合Gröbner基的替代方法，J.符号计算。，36（2003），第649-667页，doi:10.1016/S0747-7171（03）00098-1·Zbl 1053.13013号 [70] Tikhonov，A.N.，导数中包含小参数的微分方程系统，Mat.Sb.（N.S.），73（1952），第575-586页·Zbl 0048.07101号 [71] Volny，F.，《计算Groebner基的新算法》，博士论文，克莱姆森大学，北卡罗来纳州克莱姆森，2011年。 [72] Wei，J.和Prater，C.D.，《复杂反应系统的结构和分析》，《高级催化》，第13期，（1962年），第203-392页。 [73] 魏斯芬宁，V.，《综合Gröbner基础》，J.符号计算。，14（1992），第1-30页，doi:10.1016/0747-7171（92）90023-W·Zbl 0784.13013号 [74] Zhang，X.，《动力系统的可积性：代数与分析》，Springer，纽约，2017年·兹比尔1373.37053 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。