瓦伦西亚

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

此软件的关键字

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

zbMATH参考文献（参考 18篇文章

显示第1至18个结果，共18个。
按年份排序(引用)

  1. Bünger，Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱（2020）
  2. Jauberthie，Carine；Travé-Massuyès，Louise；Verdière，Nathalie:非线性模型的集合成员可辨识性和相关参数估计特性（2016）
  3. Konečný，Michal；Taha，Walid；Bartha，Ferenc A.；Duracz，Jan；Duracz，Adam；Ames，Aaron D.：封闭混合自动机在天顶点及之后的行为（2016）
  4. Pérez Galván，Carlos；Bogle，I.David L.：确定化学工程中保证解的动态全局优化方法（2016）
  5. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）
  6. Villanueva，Mario E.；Houska，Boris；Chachuat，Benoît:参数非线性ODE连续时间包络传播的统一框架（2015）
  7. Auer，Ekaterina；Kiel，Stefan；Rauh，Andreas:解分段光滑初值问题的验证方法（2013）
  8. Fazal，Qaisra；Neumaier，Arnold:优化初值问题的误差界（2013）
  9. Auer，Ekaterina；Rauh，Andreas:VERICOMP:一个比较和评估经验证的IVP解决方案的系统（2012年）
  10. Rauh，Andreas；Aschemann，Harald:分布式加热系统的参数识别和基于观测器的控制-固体氧化物燃料电池堆温度控制的基础（2012）
  11. Aschemann，H.；Minisini，J.；Rauh，A.：非线性动力系统控制器设计的区间算术技术及其在机电一体化中的应用（2010）
  12. Krasnochtanova，Irina；Rauh，Andreas；Kletting，Marco；Aschemann，Harald；Hofer，Eberhard P.；Schoop，Karl Michael:区间方法作为具有参数不确定性的废水生物处理过程动力学模拟工具（2010年）
  13. Rump，Siegfried M.：验证方法：使用浮点运算的严格结果（2010）
  14. Auer，Ekaterina；Luther，Wolfram:SmartMobile中新灵敏度和DAE求解方法在机械系统验证分析中的应用（2009）
  15. Freihold，Mareile；Hofer，Eberhard P.：用于不确定动力系统分析的有效区间模拟的物理激励约束推导（2009）
  16. Rauh，Andreas；Brill，Michael；Günther，Clemens:用\textscValEncIA IVP求解微分代数方程的新区间算术方法（2009）
  17. Rauh，Andreas；Minisini，Johanna；Hofer，Eberhard:具有不确定性的非线性动态系统的灵敏度分析和控制器设计验证技术（2009）
  18. Auer，Ekaterina；Rauh，Andreas；Hofer，Eberhard P.；Luther，Wolfram:使用SmartMOBILE对机械系统进行验证建模：ValEncIA IVP改进性能（2008）