×
内迪亚科夫（Nedialko S.）。；约翰·普莱斯。

用泰勒级数求解微分代数方程。I： 计算泰勒系数。 （英语） Zbl 1084.65075号

比特币 45，第3期，561-591（2005）.
本文是作者用泰勒级数展开法求解微分代数方程初值问题的DAETS代码的基础系列之一。首先，它描述并证明了DAETS中使用自动微分计算泰勒系数（TC）的方法，其次，它证明了该方法在计算局部解的TC意义上是成功的，或者出现了许多可检测错误条件之一。
审核人：勒兹万·勒杜卡努（Iaši）

引用于2评论
引用于35文件

MSC公司：

65升80 微分代数方程的数值方法
34A09号 隐式常微分方程，微分代数方程
68瓦30 符号计算和代数计算

关键词：

微分代数方程；结构分析；泰勒级数；自动微分

软件：

泰勒中心；舒适的；ATOMFT公司；磅/平方英寸；泰勒；测试集IVP；塔迪夫；青少年-C；凯利；FADBAD公司++
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Nedialkov}和\textit{J.D.Pryce}，BIT 45，No.3，561--591（2005；Zbl 1084.65075）
全文： 内政部

参考文献：

[1] R.Barrio，ODE/DAE泰勒级数方法的性能，应用。数学。计算。，163（2005），第525-545页·Zbl 1067.65063号
[2] R.Barrio、F.Blesa和M.Lara，《常微分方程数值解泰勒方法的VSVO公式》，预印本，萨拉戈萨大学，提交出版，2005年·Zbl 1085.65056号
[3] D.Barton、I.M.Willers和R.V.M.Zahar，用泰勒级数方法自动求解常微分方程，计算。J.，14（1970），第243-248页·Zbl 0221.65132号
[4] C.Bendsten和O.Stauring，TADIFF，一个使用泰勒级数进行自动微分的灵活C++包，《1997年技术报告》-x5-94，丹麦技术大学数学建模系，DK-2800，丹麦林比，1997年4月。
[5] M.Berz，COSY INFINITY第8版参考手册，技术报告MSUCL–1088，国家超导回旋加速器实验室，密歇根州立大学，东兰辛，1997年。
[6] S.L.Campbell和C.W.Gear，一般非线性DAE指数，数值。数学。，72（1995），第173-196页·Zbl 0844.34007号
[7] Y.F.Chang和G.F.Corliss，ATOMFT：使用泰勒级数求解常微分方程和微分方程，计算。数学。申请。，28（1994年），第209-233页·Zbl 0810.65072号
[8] G.F.Corliss和W.Lodwick，约束在DAE验证解决方案中的作用，技术报告430，马奎特大学数学、统计和计算机科学系，密尔沃基，威斯康星州，1996年3月·Zbl 0900.65245号
[9] J.J.B.de Swart、W.M.Lioen和W.A.van der Veen，PSIDE–隐式微分方程的并行软件，1997年12月。http://www.cwi.nl/archive/projects/PSIDE/。
[10] A.Gofen，《泰勒个人电脑中心：探索、绘制和整合ODE的最终准确性》，载于《计算科学：ICCS 2002》，P.Sloot等人编辑，Lect。注释计算。科学。，第2329卷，斯普林格，阿姆斯特丹，2002年·Zbl 1054.65507号
[11] G.H.Golub和C.F.V.Loan，《矩阵计算》，约翰·霍普金斯大学出版社，巴尔的摩，第三版，1996年·Zbl 0865.65009号
[12] A.Griewank，《评估导数：算法微分的原理和技术》，《应用数学的前沿》，宾夕法尼亚州费城SIAM出版社，2000年·Zbl 0958.65028号
[13] A.Griewank，D.Juedes和J.Utke，ADOL-C，一个用C/C++编写的算法自动微分包，ACM Trans。数学。软质。，22（1996），第131-167页·Zbl 0884.65015号
[14] J.Hoefkens，《用高阶泰勒模型进行严格数值分析》，博士论文，密歇根州立大学数学系和物理与天文系，密歇歇根州东兰辛市，488242001年8月。
[15] F.Iawernaro和F.Mazzia，解常微分方程的块边值方法，SIAM J.Sci。计算。，21（1999），第323–339页。GAMD网站是http://pitagora.dm.uniba.it/mazzia/ode/gamd.html·兹伯利0941.65067
[16] K.R.Jackson和N.S.Nedialkov，ODE IVP验证方法的一些最新进展，应用。数字。数学。，42（2002），第269-284页·Zbl 0998.65068号
[17] R.Jonker和A.Volgenant，密集和稀疏线性分配问题的最短增广路径算法，《计算》，38（1987），第325-340页。可从www.magiclogic.com/assignment.html获取分配代码·Zbl 0607.90056号
[18] A.Jorba和M.Zou，通过高阶泰勒方法进行ODE数值积分的软件包，技术报告，德克萨斯大学奥斯汀分校数学系，德克萨斯州78712-1082，美国，2001年。
[19] C.T.Kelley，线性和非线性方程的迭代方法，应用数学前沿，第16卷，SIAM，费城，1995年·Zbl 0832.65046号
[20] W.M.Lioen和J.J.B.de Swart，初值问题求解器测试集，技术报告MAS-R9832，CWI，荷兰阿姆斯特丹，1998年12月。http://www.cwi.nl/cwi/projects/IVPtestset/。 ·Zbl 0914.65074号
[21] F.Mazzia和F.Iaverano，初值问题解决者测试集，技术报告40，意大利巴里大学数学系，2003年。http://pitagora.dm.uniba.it/测试集/。
[22] R.E.Moore，《区间分析》，Prentice-Hall，新泽西州恩格尔伍德克利夫斯，1966年·Zbl 0176.13301号
[23] N.S.Nedialkov，计算常微分方程初值问题解的严格边界，博士论文，加拿大多伦多大学计算机科学系，M5S 3G41999年2月·Zbl 0947.65081号
[24] N.S.Nedialkov、K.R.Jackson和G.F.Corliss，《验证常微分方程初值问题的解》，应用。数学。计算。，105（1999），第21-68页·Zbl 0934.65073号
[25] N.S.Nedialkov和J.D.Pryce，用泰勒级数求解微分代数方程（II）：计算系统雅可比矩阵，提交给BIT，2005年·Zbl 1084.65075号
[26] C.C.Pantelides，微分代数系统的一致初始化，SIAM J.Sci。统计计算。，9（1988年），第213-231页·Zbl 0643.65039号
[27] J.D.Pryce，用泰勒级数求解高指数DAE，Numer。《算法》，19（1998），第195-211页·Zbl 0921.34014号
[28] J.D.Pryce，DAE的简单结构分析方法，BIT，41（2001），第364–394页·Zbl 0989.34005号
[29] L.B.Rall，《自动微分：技术与应用》，Lect。注释计算。科学。，第120卷，施普林格出版社，柏林，1981年·Zbl 0473.68025号
[30] O.Stauring和C.Bendtsen，FADBAD++网页，2003年5月。FADBAD++可从www.imm.dtu.dk/FADBAD.html获取。
[31] A.Wächter，《大尺度非线性优化的内点算法及其在过程工程中的应用》，博士论文，卡内基梅隆大学，匹兹堡，宾夕法尼亚州，2002年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。