Interval Tools for ODEs and DAEs
Interval Tools for ODEs and DAEs
复制标题
用于 ODE 和 DAE 的区间工具
DOI：
10.1109/scan.2006.28
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
N. Nedialkov
中科院分区：
文献类型：
--
作者：
N. Nedialkov
本文综述了常微分方程初值问题（IVP）解的界的区间方法和计算软件的现状。我们介绍了VNODE-LP求解器的IVP常微分方程，作者的VNODE包的继任者。VNODE-LP完全使用文学编程实现。VNODE-LP工作的一个主要目标是生成一个区间求解器，以便其正确性可以由人类专家验证，类似于数学结果的正确性。我们还讨论了计算微分代数方程解的界的状态。
We overview the current state of interval methods and software for computing bounds on solutions in initial value problems (IVPs)for ordinary differential equations (ODEs). We introduce the VNODE-LP solver for IVP ODEs, a successor of the author's VNODE package. VNODE-LP is implemented entirely using literate programming. A major goal of the VNODE-LP work is to produce an interval solver such that its correctness can be verified by a human expert, similar to how mathematical results are certified for correctness. We also discuss the state in computing bounds on solutions in differential algebraic equations.