期刊名称：International Journal of Applied Mathematics and Computer Science
电子版ISSN：2083-8492
出版年度：2009
卷号：19
期号：3
DOI：10.2478/v10006-009-0037-z
出版社：De Gruyter Open
摘要：Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program S MART MOBILE enhances the existing MSS MOBILE with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty. In this paper, we outline the main features and functionalities of S MART MOBILE. In particular, we focus on its use of newly developed methods for sensitivity analysis and DAE solving for several practically relevant mechanical systems
关键词：multibody systems; result verification; sensitivity; DAE; uncertainty
