瓦伦西亚 swMATH ID: 8735 软件作者: Rauh,A;霍弗,E.P。;E.奥尔。 说明: VALENCIA-IVP:与其他初值问题求解器的比较。具有不确定初始条件和不确定参数的常微分方程的有效积分对于许多实际应用都很重要。如果不确定性的保证界限已知,则可以应用区间方法来获得所有状态的验证外壳。然而,经过验证的计算往往会受到高估的影响,在天真的实现中,高估甚至可能导致无意义的结果。状态方程的并行核和QR预处理、泰勒模型算法以及使用分裂和合并例程的模拟技术是减少高估的几种现有方法。本文描述了最近开发的验证解算器ValEncIA-IVP以及在其中实现的用于减少高估的几种方法。此外,还将该解算器与COSY VI和VNODE进行了详细的比较,这是两个最著名的验证ODE解算器。机械和生物过程工程中简化系统模型的仿真结果显示了每种工具的特定特性、优势和局限性。 主页: http://ieeexplore.iee.org/xpl/login.jsp?tp=&arnumber=4402426 关键词: 区间法;非光滑系统;初值问题;数值示例;摩擦;滞后,滞后 相关软件: ValEncIA-IVP公司;舒适的;FADBAD公司++;个人资料/偏差;智能手机;国际实验室;Matlab公司;VNODE公司;ODE积分器;塔迪夫;VERICOMP公司;移动的;雅尔米普;SeDuMi公司;千伏;流量*;系统建模器;github;查龙;OpenModelica公司 引用于: 19文件 全部的 前5名32位作者引用 9 安德烈亚斯·劳赫 4 哈拉尔德·阿斯切曼 4 叶卡捷琳娜·奥尔 4 埃伯哈德·霍弗(Eberhard P.Hofer)。 2 卢瑟、沃尔夫拉姆·杰罗姆 2 约翰娜·米尼西尼 1 亚伦·D·埃姆斯。 1 费伦茨·戈斯顿·巴塔 1 迈克尔·H·布里尔。 1 弗洛里安·班格尔 1 贝诺·查查特 1 亚当·杜拉茨 1 简·杜拉茨 1 托马斯·泽特库利奇 1 卡伊斯拉·法扎尔 1 马雷尔·弗雷霍德 1 克莱门斯·Günther 1 Boris Houska先生 1 Carine Jauberthie 1 朱莉娅·克尔斯滕 1 斯特凡·基尔 1 马克·克莱廷 1 米查尔·科内奇 1 伊琳娜·克拉斯诺赫塔诺娃 1 阿诺德·诺伊梅尔 1 卡洛斯·佩雷斯·加尔瓦恩 1 齐格弗里德·迈克尔(Siegfried Michael),臀部 1 卡尔·迈克尔·肖普 1 瓦利德·塔哈 1 Travé-Massuyès,路易丝 1 娜塔莉·威尔第 1 马里奥·爱德华多·维拉努埃娃 全部的 前5名12篇连载文章中引用 6 国际应用数学与计算机科学杂志 1 国际控制杂志 1 计算 1 计算与应用数学杂志 1 全球优化杂志 1 数值算法 1 应用数学建模 1 国际计算机与系统科学杂志 1 软计算 1 动力系统的数学和计算机建模 1 数字学报 1 非线性分析。混合动力系统 全部的 前5名11个领域引用 12 数值分析(65-XX) 10 系统论;控制(93至XX) 6 常微分方程(34-XX) 4 运筹学、数学规划(90-XX) 三 动力系统和遍历理论(37至XX) 2 计算机科学(68至XX) 2 粒子和系统力学(70-XX) 1 数学逻辑和基础(03-XX) 1 变分法与最优控制;最优化(49至XX) 1 可变形固体力学(74-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文