×
安德烈·马西尼亚克;Malgorzata A.Jankowska。

Milne多步骤方法的区间版本。 （英文） Zbl 1425.65078号

数字。算法 79，第1期，87-105（2018）.
小结：本文提出了Milne型显式区间多步方法，它可以被认为是其他已知显式区间多步方法（Adams-Bashforth和Nyström）的替代方法。证明了用这些方法得到的解的封闭（以区间形式）包含初值问题的精确解。数值算例表明，该方法得到的区间宽度小于目前已知的显式区间多步法得到的区间。

引用于2文件

MSC公司：

65升06 常微分方程的多步、Runge-Kutta和外推方法
65G40型 区间分析的一般方法

关键词：

初值问题;多步骤方法;米尔恩方法;区间Milne方法;浮点区间算术

软件：

NSDTST公司;PASCAL-XSC公司;虚拟节点;STDTST公司
PDF格式BibTeX公司 XML格式引用
\textit｛A.Marciniak｝和\textit｛M.A.Jankowska｝，数字。算法79，No.1，87--105（2018；Zbl 1425.65078）
全文： 内政部

参考文献：

[1] Alefeld，G.，Herzberger，J.：区间计算简介。纽约学术出版社（1983）·Zbl 0552.65041号
[2] 贝茨，M；Hoffstätter，G，带区间剩余界的泰勒多项式的计算和应用，Reliab。计算。，83-97年4月（1998年）·Zbl 0897.65005号 ·doi:10.1023/A:1009958918582
[3] Berz，M.，Makino，K.：验证ODE集成的泰勒模型方法的性能。收录：Dongarra，J.、Madsen，K.、Wasniewski，J.（编辑）《应用并行计算》。科学计算的现状，计算机科学课堂讲稿，第3732卷，第65-73页（2005）
[4] Butcher，J.C.：常微分方程的数值分析：Runge-Kutta和一般线性方法。奇切斯特·威利（1987）·兹比尔0616.65072
[5] Corliss，G.F.，Rihm，R.：使用高阶泰勒级数验证先验外壳。摘自：科学计算、计算机算术和验证数字，第228-238页。Akademie Verlag（1996）·Zbl 0851.65054号
[6] Enright，WH；Pryce，JD，评估初始值方法的两个Fortran包，ACM Trans。数学。软质。，13, 1-27, (1987) ·Zbl 0617.65069号 ·doi:10.1145/23002.27645
[7] Gajda，K.，Jankowska，M.，Marciniak，A.，Szyszka，B.：区间Runge-Kutta和求解初值问题的多步方法综述。收录于：Wyrzykowski，R.、Dongarra，J.、Karczewski，K.、Wasniewski，J.（编辑）《并行处理与应用数学》，《计算机科学讲义》，第4967卷，第1361-1371页。柏林施普林格-弗拉格出版社（2008年）
[8] 加伊达，K；马西尼亚克，A；Szyszka，B，Runge-Kutta型三级和四级隐式区间方法，计算。方法科学。技术。，6, 41-59, (2000) ·doi:10.12921/cmst.2000.06.01.41-59
[9] 田纳西州甘比尔；Skeel，RD，应用于常微分方程的包裹效应对数缩减，SIAM J.Numer。分析。，25, 153-162, (1988) ·Zbl 0638.65068号 ·doi:10.1137/0725012
[10] Hammer，R.、Hocks，M.、Kulisch，U.、Ratz，D.：验证计算的数值工具箱I.基本数值问题、理论、算法和Pascal-XSC程序。施普林格出版社，柏林（1993年）·Zbl 0796.65001号
[11] 汉明，R.W.：科学家和工程师的数值方法，第2版。多佛出版公司，纽约（1973年）·Zbl 0262.65001号
[12] Hansen，E.R.：区间分析主题。牛津大学出版社，伦敦（1969）·兹比尔0185.40002
[13] Heirer，E.，Nörsett，S.P.，Wanner，G.：求解常微分方程I-非刚性问题。柏林斯普林格·弗拉格（1987）·Zbl 0638.65058号 ·doi:10.1007/978-3-662-12607-3
[14] Heirer，E.，Wanner，G.：求解常微分方程II-刚性和微分代数问题。柏林斯普林格·弗拉格（1991）·Zbl 0729.65051号
[15] 杰克逊，KR；Nedialkov，NS，《ODE IVP验证方法的一些最新进展》，Appl。数字。数学。，42, 269-284, (2002) ·Zbl 0998.65068号 ·doi:10.1016/S0168-9274（01）00155-6
[16] Jain，M.K.：微分方程的数值解。威利，纽约（1979）·Zbl 0409.65002号
[17] Jankowska，M；Marciniak，A，求解初值问题的隐式区间方法，计算。方法科学。技术。，8, 17-30, (2002) ·doi:10.12921/cmst.2002.08.01.17-30
[18] Jankowska，M；Marciniak，A，关于Adams-bashforth型显式区间方法，计算。方法科学。技术。，8, 46-57, (2002) ·doi:10.12921/cmst.2002.08.02.46-57
[19] Jankowska，M；Marciniak，A，关于Adams-moulton型的两类隐式区间方法，计算。方法科学。技术。，12, 109-113, (2006) ·doi:10.12921/cmst.2006.12.02.109-113
[20] Kalmykov，S.A.、Shokin，J.I.、Juldashev，E.C.：用区间法求解常微分方程。收录：Doklady AN SSSR，第230卷（1976年）
[21] Lohner，R.J.：普通初值和边值问题解的保证封闭计算。收录：Cash，J.R.，Gladwell，I.（编辑）《计算常微分方程》，第425-435页。牛津克拉伦登出版社（1992）·兹比尔0767.65069
[22] 马基诺，K；Berz，M，基于泰勒模型的验证积分器对包裹效应的抑制：通过预处理实现长期稳定，国际期刊Differ。埃克。申请。，10, 353-384, (2005) ·Zbl 1133.65045号
[23] 马基诺，K；Berz，M，《基于泰勒模型的验证积分器对包裹效应的抑制：单步法》，国际期刊《纯粹应用》。数学。，36175-196（2007年）·Zbl 1131.65060号
[24] Marciniak，A，解决初值问题的隐式区间方法，Numer。算法。，37, 241-251, (2004) ·Zbl 1074.65084号 ·doi:10.1023/B:NUMA.000049471.81341.60
[25] Marciniak，A，Nyström和Milne-simpson类型的多步区间方法，计算。方法科学。技术。，2007年3月13日至40日·doi:10.12921/cmst.2007.13.01.23-29
[26] Marciniak，A，关于求解初值问题的多步区间方法，J.Compute。申请。数学。，199, 229-237, (2007) ·Zbl 1109.65062号 ·doi:10.1016/j.cam.2005.07.036
[27] Marciniak，A.：解决初值问题的选定区间方法。波兹南科技大学出版社，波兹南（2009）。http://www.cs.put.poznan.pl/amarciniak/IMforIVP-book/IMforIVP.pdf
[28] Marciniak，A.：区间Milne多步方法的Delphi pascal程序。http://www.cs.put.poznan.pl/amarciniak/IMM示例 (2016)
[29] Marciniak，A.：区间算术单位。http://www.cs.put.poznan.pl/amarciniak/IAUnits/IAvalArithmetic32和64.pas (2016)
[30] 马西尼亚克，A；马萨诸塞州扬科夫斯卡；Hoffmann，T，关于区间预测-校正方法，数值。算法。，75, 777-808, (2017) ·Zbl 1375.65099号 ·数字对象标识码：10.1007/s11075-016-0220-x
[31] 马西尼亚克，A；Szyszka，B，Runge-Kutta型一级和二级隐式区间方法，计算。方法科学。技术。，5, 53-65, (1999) ·doi:10.192921/cmst.1999.05.01.53-65
[32] Milne，W.E.：微分方程的数值解。威利，纽约（1953年）·Zbl 0050.12202号
[33] 摩尔，R.E.：基于区间数的数字计算中误差的自动分析和控制。收录于：Rall，L.B.（编辑）《数字计算中的错误》，第1卷，第61-130页。威利，纽约（1965年）·兹比尔0202.45002
[34] Moore，R.E.：区间分析。普伦蒂斯·霍尔（Prentice-Hall），恩格伍德悬崖（Englewood Cliffs）（1966年）·Zbl 0176.13301号
[35] Moore，R.E.：区间分析的方法和应用。费城工业与应用数学学会（1979）·Zbl 0417.65022号
[36] Nedialkov，N.S.：ODE和DAE的间隔工具。技术报告CAS 06-09-NN，计算与软件部。麦克马斯特大学，汉密尔顿（2006）
[37] Nedialkov，N.S.：VNODE-LP——一个验证的常微分方程初值问题求解器。技术报告CAS 06-06-NN，计算与软件部。汉密尔顿麦克马斯特大学（2006）
[38] Nedialkov，N.S.，Jackson，K.R.：关于常微分方程初值问题区间方法中包裹效应的新观点。摘自：法西乌斯·A、库利什·U、洛纳·R（编辑）《封闭方法的观点》，第219-264页。施普林格·弗拉格，维也纳（2001年）·Zbl 0990.65074号
[39] Nedialkov，NS；KR杰克逊；Corliss，GF，常微分方程初值问题的验证解，应用。数学。计算。，105, 21-68, (1999) ·Zbl 0934.65073号
[40] Nickel，K.L.E.：如何对抗包装效果。收录：Goos，G.，Hartmanis，J.（编辑）《计算机科学讲义》，第121-132页。柏林斯普林格·弗拉格（1985）·Zbl 0613.65080号
[41] Nickel，KLE，《使用区间方法求解常微分方程》，ZAMM-J.Appl。数学。机械/Z.安圭。数学。机械。，66, 513-523, (1986) ·Zbl 0619.65063号 ·doi:10.1002/zamm.19860661102
[42] Rall，L.：自动微分：技术和应用。柏林斯普林格·弗拉格（1981）·Zbl 0473.68025号 ·doi:10.1007/3-540-10861-0
[43] Shokin，Y.I.：区间分析。新西伯利亚，瑙卡（1981）·Zbl 0452.65024号
[44] Stewart，NF，减少x'=f（t，x），比特数数值解中包裹效应的启发式算法。数学。，11, 328-337, (1971) ·Zbl 0252.65062号 ·doi:10.1007/BF01931814
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。