×
叶卡捷琳娜·奥尔;沃尔夫拉姆·路德

SmartMOBILE及其在保证机械系统建模和仿真中的应用。 （英语） Zbl 1188.93053号

Filipe，Joaquim（编辑）等人，《控制、自动化和机器人信息学》。2007年5月9日至12日，法国安格斯，控制、自动化和机器人信息学国际会议（INCINO 2007）的论文选集。柏林：施普林格出版社（ISBN 978-3-540-85639-9/pbk）。电气工程课堂讲稿24，139-151（2009）。
摘要：为了自动化工业和研究机械系统的建模和仿真，开发了许多工具，其中MOBILE程序发挥了相当大的作用。然而，这些工具不能保证结果的正确性，例如，因为潜在的有限精度算法中可能存在错误。为了避免这些错误并证明结果的正确性，开发了一些所谓的验证方法，包括基于区间和泰勒形式的算法。本文提出了基于MOBILE的多体建模与仿真工具SmartMOBILE，保证了结果的正确性。通过使用经过验证的方法，我们还可以考虑测量中的不确定性，并研究其对模拟的影响。我们在几个应用程序的帮助下演示了SmartMOBILE的主要概念和用法。
关于整个系列，请参见[Zbl 1149.93006号].

引用于1文件

MSC公司：

93C85号 控制理论中的自动化系统（机器人等）
2005年第70季度 机械系统的控制
93B40码 系统理论中的计算方法（MSC2010）
93二氧化碳 控制理论中的线性系统
05年3月34日 涉及常微分方程的控制问题

关键词：

经验证的方法;间隔;泰勒模型;初值问题;保证多体建模与仿真

软件：

智能手机;移动;C-XSC 2.0版;个人资料/偏差
PDF格式BibTeX公司 XML格式引用
\textit｛E.Auer｝和\textit｛W.Luther｝，Lect。注释Electr。工程24、139--151（2009；Zbl 1188.93053）
全文： 内政部

参考文献：

[1] Kecskeméthy，A.：Objektorientierte Modellierung der Dynamik von Mehrkör-persystemen mit Hilfe von U bertragungselementen。杜伊斯堡大学Gerhard Mercator博士论文（1993年）
[2] Huckle，T.：软件错误，www5.in.tum.de/Huckle/bugse.html（2005）
[3] Arnold，D.N.：《可归因于不良数值计算的一些灾难》，www.ima.umn.edu/Arnold/disables/（1998）
[4] Moore，R.E.，区间分析（1966），纽约：Prentice Hall，纽约·Zbl 0176.13301号
[5] de Figueiredo，L.H。；Stolfi，J.，《仿射算法：概念和应用》，《数值算法》，第37期，第147-158页（2004年）·Zbl 1074.65050号 ·doi:10.1023/B:NUMA.000049462.70970.b6
[6] Neumaier，A.，Taylor Forms-使用和限制，可靠计算，9，43-79（2002）·Zbl 1071.65070号 ·doi:10.1023/A:1023061927787
[7] 罗纳（Lohner，R.）。；库利什，美国。；罗纳（Lohner，R.）。；Facius，A.，《误差界计算中包裹效应的普遍性》。，《关于封闭方法的观点》，201-217（2001），纽约维也纳：施普林格，纽约维也纳·Zbl 0990.65073号
[8] Auer，E.，Rauh，A.，Hofer，E.P.，Luther，W.：{使用SmartMOBILE对机械系统进行验证建模：ValEncIA-IVP.In:Dagstuhl研讨会论文集06021：实数算法的可靠实现：理论与实践。计算机科学讲义（2006）即将发表。}·Zbl 1165.65307号
[9] Knüppel，O.，PROFIL/BIAS-快速间隔库，计算，53，277-287（1994）·Zbl 0808.65055号 ·doi:10.1007/BF02307379
[10] Lerch，M.、Tischler，G.、Wolff von Gudenberg，J.、Hofschuster，W.、Krämer，W.：Interval Library filib++2.0：设计、功能和示例程序。《2001/4年技术报告》，Bergische Universityät GH Wuppertal（2001）·Zbl 1365.65140号
[11] Klatte，R.、Kulisch，U.、Wiethoff，A.、Lawo，C.、Rauch，M.：C-XSC：扩展科学计算的C++类库。Springer-Verlag（1993）·Zbl 0814.68035号
[12] 斯托尔菲，J.:LibAffa，http://savannah.nongu.org/projects/libaffa (2003)
[13] Berz，M.，Makino，K.：COSY INFINITY 8.1版。用户指南和参考手册。密歇根州立大学MSU HEP 20704技术报告（2002）
[14] 锤子，R。；霍克斯，M。；库利什，美国。；Ratz，D.，《验证计算的C++工具箱I——基本数值问题》（1995），海德堡和纽约：斯普林格·弗拉格，海德伯格和纽约·Zbl 0828.68041号
[15] Lohner，R.：Einschlieβung der Lösung gewönlicher Anfangs-und Randwertaufgaben und Anwendungen。卡尔斯鲁厄大学博士论文（1988年）·Zbl 0663.65074号
[16] Nedialkov，N.S.：面向对象验证ODE解算器的设计与实现。Kluwer学术出版社（2002）
[17] M.Berz。；Makino，K.，在高阶Taylor模型上使用微分代数方法验证ODE和流的集成，可靠计算，4361-369（1998）·Zbl 0976.65061号 ·doi:10.1023/A:1024467732637
[18] Griewank，A.：评估衍生品：算法区分的原理和技术。暹罗（2000）·Zbl 0958.65028号
[19] 斯塔宁，O.，本特森，C.：FADBAD++，www.FADBAD.com（2005）
[20] Griewank，A。；朱德斯，D。；Utke，J.，ADOL-C，用C/C++编写的算法自动区分包，ACM Trans。数学。软件，22，2，131-167（1996）·Zbl 0884.65015号 ·数字对象标识代码：10.1145/229473.229474
[21] Nedialkov，N.S.：计算常微分方程初值问题解的严格边界。多伦多大学博士论文（1999年）·Zbl 1130.65312号
[22] Kecskeméthy，A。；Hiller，M.，《有效描述多体动力学的面向对象方法》，CMAME，115，287-314（1994）
[23] Auer，E.，Tändl，M.，Strobach，D.，Kecskeméthy，A.：在SmartMOBILE中验证简化肌肉激活模型。收录：2006年SCAN会议记录光盘，IEEE计算机学会（2007）
[24] Auer，E.：多体系统动力学的区间建模。摘自：《计算与应用数学杂志》，Elsevier（2006）Online·Zbl 1232.70001号
[25] 奥尔，E。；Kecskeméthy，A。；Tändl，M。；特拉辛斯基，H。；Alt、R。；Frommer，A。；Kearfott，R。；Luther，W.，《多体系统建模中的区间算法》。，LNCS 2991：带结果验证的数值软件，132-159（2004），柏林-海德堡纽约：施普林格，柏林-海德堡纽约·Zbl 1126.65311号
[26] Traczinski，H.：在MOBILE中集成von Algorithmen和Datenypen zur validierten Mehrkörpersimulation。杜伊斯堡大学博士论文（2006）
[27] Hörsken，C。；Traczinski，H。；克雷默，W。；Wolff von Gudenberg，J.，《采用区间算术的多体系统建模》。，科学计算，验证数值，区间方法，317-328（2001），Kluwer学术出版社：Dordrecht，Kluwer学术出版社
[28] 北卡罗来纳州大都会。；Ulam，S.，《蒙特卡罗方法》，美国统计协会杂志，44，335-341（1949）·Zbl 0033.28807号 ·doi:10.2307/2280232
[29] Hörsken，C.：计算机辅助设计与Mehrkörpersystemen中的Methoden zur rechnergestützten Toleranzanalysie。杜伊斯堡-埃森大学博士论文（2003）
[30] Strobach，D.，Kecskeméthy，A.，Steinwender，G.，Zwick，B.：通过优化和平滑轮廓补丁粗略识别肌肉激活轮廓的简化方法。摘自：《计算多体动力学进展国际ECCOMAS专题会议CD会议记录》，西班牙马德里，ECCOMAS（2005年6月21日至24日）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。