瓦伦西亚静脉注射

VALENCIA-IVP：与其他初值问题求解者的比较验证了具有不确定初始条件和不确定参数的常微分方程的积分在许多实际应用中是重要的。如果已知不确定性的保证界，则区间方法可用于获得所有状态的有效包围。然而，经过验证的计算通常会受到高估的影响，在幼稚的实现中，高估甚至可能导致无意义的结果。状态方程的并行六面体和QR预处理、Taylor模型算法以及使用分裂和合并例程的仿真技术是目前几种减少高估的方法。本文描述了最近开发的有效求解器VALENCIA-IVP及其实现的几种降低高估的方法。此外，详细比较了该解算器与COSY-VI和VNODE这两种最著名的验证ODE解算器。对机械和生物过程工程中简化系统模型的仿真结果显示了每种工具的特性、优点和局限性。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献30篇文章,1标准件)

显示第1到第20个结果，共30个。
按年份排序(引用)
  1. 卡佩拉，托马斯；丹尼尔，威尔查克；Zgliczynèski，Piotr:庞加莱地图严格计算的最新进展（2022）
  2. 卡佩拉，托马斯；罗泽克先生，玛丽安；丹尼尔，威尔查克；Zgliczynski，Piotr:CAPD:：DynSys:用于动态系统严格数值分析的灵活C++工具箱（2021）
  3. Bünger，Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱（2020）
  4. 劳厄，安德烈亚斯；克斯滕，茱莉亚；Aschemann，Harald:线性连续时间合作系统可靠控制的区间和线性矩阵不等式技术及其在传热中的应用（2020）
  5. 科恩，米哈尔；塔哈，瓦利德；芭莎，费伦茨A。；杜拉茨，一月；杜拉茨，亚当；Ames，Aaron D.：将混合自动机的行为封闭到Zeno点及其之后（2016）
  6. Pérez Galván，卡洛斯；Bogle，I.David L.：确定化学工程保证解的动态全局优化方法（2016）
  7. 瓦拉夫斯卡，伊尔米娜；Wilczak，Daniel:ODE变分方程解的有效封闭的隐式算法（2016）
  8. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）
  9. 冯志光；Lam，James:关于奇异系统的可达集估计（2015）
  10. 维拉纽瓦，马里奥E。；霍斯卡，鲍里斯；Chachuat，Benoît:参数非线性ODE连续时间包络传播的统一框架（2015）
  11. 劳厄，安德烈亚斯；森克尔，路易斯；奥尔，叶卡捷琳娜；Aschemann，Harald:固体氧化物燃料电池系统实时鲁棒控制的区间方法（2014）
  12. 奥尔，叶卡捷琳娜；基尔，斯特凡；Rauh，Andreas:解分段光滑初值问题的验证方法（2013）
  13. 多谢，托马斯；奥尔，叶卡捷琳娜；劳厄，安德烈亚斯；Aschemann，Harald:高温燃料电池的热行为：可靠参数识别和基于区间的滑模控制（2013）ioport公司
  14. 卡伊斯拉法扎尔；Neumaier，Arnold:优化初值问题的误差界（2013）
  15. 奥贝德，哈西姆A。；乌伊夫基，瑞秋；Patidar，Kailash C:应用于HIV感染数学模型的无条件稳定非标准有限差分法（2013）
  16. 斯科特，约瑟夫K。；Barton，pauli.：半显式指数1的解的区间界。二： 计算（2013）
  17. 斯科特，约瑟夫K。；Barton，pauli.：半显式指数1的解的区间界。一： 分析（2013）
  18. 奥尔，叶卡捷琳娜；Rauh，Andreas:VERICOMP:一个比较和评估已验证的IVP解决方案的系统（2012年）
  19. 劳厄，安德烈亚斯；Aschemann，Harald:分布式加热系统的参数识别和基于观测器的控制-固体氧化物燃料电池堆温度控制的基础（2012）
  20. 劳厄，安德烈亚斯；克斯滕，茱莉亚；奥尔，叶卡捷琳娜；Aschemann，Harald:不确定系统的基于灵敏度的前馈和反馈控制（2012）