瓦伦西亚静脉注射

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

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

此软件的关键字

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

zbMATH参考文献（27篇文章引用了，第1条标准)

显示第1到第20个结果，共27个。
按年份排序(引用)
  1. Bünger，Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱（2020）
  2. Konečný，Michal；Taha，Walid；Bartha，Ferenc A.；Duracz，Jan；Duracz，Adam；Ames，Aaron D.：封闭混合自动机在天顶点及之后的行为（2016）
  3. Pérez Galván，Carlos；Bogle，I.David L.：确定化学工程中保证解的动态全局优化方法（2016）
  4. Walawska，Irmina；Wilczak，Daniel:ODE变分方程解的有效封闭的隐式算法（2016）
  5. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）
  6. 冯志光；林，詹姆斯：广义系统的可达集估计（2015）
  7. Villanueva，Mario E.；Houska，Boris；Chachuat，Benoît:参数非线性ODE连续时间包络传播的统一框架（2015）
  8. Rauh，Andreas；Senkel，Luise；Auer，Ekaterina；Aschemann，Harald:固体氧化物燃料电池系统实时鲁棒控制的区间方法（2014）
  9. Auer，Ekaterina；Kiel，Stefan；Rauh，Andreas:解分段光滑初值问题的验证方法（2013）
  10. Dötschel，Thomas；Auer，Ekaterina；Rauh，Andreas；Aschemann，Harald：《高温燃料电池的热行为：可靠参数识别和基于区间的滑模控制》（2013）ioport公司
  11. Fazal，Qaisra；Neumaier，Arnold:优化初值问题的误差界（2013）
  12. Obaid，Hasim A.；Ouifki，Rachid；Patidar，Kailash C.：应用于HIV感染数学模型的无条件稳定非标准有限差分法（2013）
  13. Scott，Joseph K.；Barton，Paul I.：半显式指数1 DAEs解的区间界。一： 分析（2013）
  14. Scott，Joseph K.；Barton，Paul I.：半显式指数1 DAEs解的区间界。二： 计算（2013）
  15. Auer，Ekaterina；Rauh，Andreas:VERICOMP:一个比较和评估经验证的IVP解决方案的系统（2012年）
  16. Rauh，Andreas；Aschemann，Harald:分布式加热系统的参数识别和基于观测器的控制-固体氧化物燃料电池堆温度控制的基础（2012）
  17. Rauh，Andreas；Kersten，Julia；Auer，Ekaterina；Aschemann，Harald:不确定系统的基于灵敏度的前馈和反馈控制（2012）
  18. Aschemann，H.；Minisini，J.；Rauh，A.：非线性动力系统控制器设计的区间算法技术及其在机电一体化中的应用。二（2010）
  19. Aschemann，H.；Minisini，J.；Rauh，A.：非线性动力系统控制器设计的区间算术技术及其在机电一体化中的应用（2010）
  20. Krasnochtanova，Irina；Rauh，Andreas；Kletting，Marco；Aschemann，Harald；Hofer，Eberhard P.；Schoop，Karl Michael:区间方法作为具有参数不确定性的废水生物处理过程动力学模拟工具（2010年）