Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
复制标题
在 SmartMobile 中使用新的灵敏度和 Dae 求解方法对机械系统进行验证分析
DOI：
10.2478/v10006-009-0037-z
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Wolfram
中科院分区：
文献类型：
--
作者：
Andreas;Ekaterina;Eberhard P;Luther;Wolfram
登录
查看更多内容
用于验证计算的 C 工具箱 I
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
U. Kulisch;R. Hammer;M. Hocks;D. Ratz
通讯作者：
D. Ratz
ValEnciA-IVP 的扩展，用于减少高估、微分代数系统的模拟以及动态优化
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
A. Rauh;E. Auer;J. Minisini;E. Hofer
通讯作者：
E. Hofer
面向对象的验证型 ODE 求解器的设计与实现
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
Nedialko S. Nedialkovy
通讯作者：
Nedialko S. Nedialkovy
上泰勒模型
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Ingo Eble
通讯作者：
Ingo Eble
当前硬件架构中的数值验证：国际 Dagstuhl 研讨会，德国 Dagstuhl 城堡，2008 年 1 月 6 日至 11 日。修订论文
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
A. Cuyt;W. Krämer;W. Luther;Peter W. Markstein
通讯作者：
Peter W. Markstein