{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:43:41Z","timestamp":1709203421331},"reference-count":23,"publisher":"University of Zielona G\u00f3ra, Poland","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9,1]]},"abstract":"Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems<\/jats:title>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 SmartMobile 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 SmartMobile. In particular, we focus on its use of newly developed methods for sensitivity analysis and DAE solving for several practically relevant mechanical systems.<\/jats:p>","DOI":"10.2478\/v10006-009-0037-z","type":"journal-article","created":{"date-parts":[[2009,9,29]],"date-time":"2009-09-29T10:04:23Z","timestamp":1254218663000},"page":"455-467","source":"Crossref","is-referenced-by-count":0,"title":["Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems"],"prefix":"10.61822","volume":"19","author":[{"given":"Ekaterina","family":"Auer","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Luther","sequence":"additional","affiliation":[]}],"member":"37438","reference":[{"key":"1","unstructured":"Auer, E. (2007). SmartMOBILE: A framework for reliable modeling and simulation of kinematics and dynamcis of mechanical systems<\/i>, Ph.D. thesis, Universit\u00e4t Duisburg-Essen, Duisburg."},{"key":"2","first-page":"109","article-title":"SmartMOBILE\u2014An environment for guaranteed multibody modeling and simulation","author":"E. Auer","year":"2007"},{"key":"3","first-page":"145","article-title":"Numerical verification assessment in computational biomechanics","volume":"5492","author":"E. Auer","year":"2009"},{"key":"4","first-page":"7","article-title":"Toward validating a simplified muscle activation model in SmartMOBILE","author":"E. Auer","year":"2007"},{"key":"5","unstructured":"Bell, B. M. (2006). Automatic differentiation software CppAD. http:\/\/www.coin-or.org\/CppAD\/<\/a>"},{"key":"6","unstructured":"Bendsten, C. and Stauning, O. (1996). FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods, Technical Report 1996-x5-94<\/i>, Technical University of Denmark, Lyngby."},{"key":"7","unstructured":"Berz, M. and Makino, K. (2006). COSY INFINITY 9.0. Programmer's manual, Technical Report MSUHEP 060803<\/i>, Michigan State University, East Lansing, MI."},{"key":"8","unstructured":"Eble, I. (2007). \u00dcber Taylor-Modelle<\/i>, Ph.D. thesis, Universit\u00e4t Karlsruhe, Karlsruhe."},{"key":"9","author":"A. Griewank","year":"2000","journal-title":"Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation"},{"key":"10","author":"R. Hammer","year":"1995","journal-title":"C++ Toolbox for Verified Computing I\u2014Basic Numerical Problems"},{"key":"11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0045-7825(94)90064-7","article-title":"An object-oriented approach for an effective formulation of multibody dynamics","volume":"3-4","author":"A. Kecskem\u00e9thy","year":"1994","journal-title":"Computer Methods in Applied Mechanics and Engineering"},{"key":"12","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","article-title":"PROFIL\/BIAS\u2014A fast interval library","volume":"3-4","author":"O. Kn\u00fcppel","year":"1994","journal-title":"Computing"},{"key":"13","author":"D. Knuth","year":"1993","journal-title":"The CWEB System of Structured Documentation"},{"key":"14","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","article-title":"Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken","volume":"3","author":"R. Krawczyk","year":"1969","journal-title":"Computing"},{"key":"15","article-title":"Validated solution of initial value problems for ODEs with interval parameters","author":"Y. Lin","year":"2006"},{"key":"16","first-page":"1","article-title":"Solving differential-agebraic equations by Taylor series (III): The DAETS code","volume":"1","author":"N. Nedialkov","year":"2007","journal-title":"Journal of Numerical Analysis, Industrial and Applied Mathematics"},{"key":"17","unstructured":"Nedialkov, N. S. (2002). The design and implementation of an object-oriented validated ODE solver, Technical report<\/i>, University of Toronto, Toronto."},{"key":"18","first-page":"36","article-title":"ValEncIA-IVP: A comparison with other initial value problem solvers","author":"A. Rauh","year":"2007a"},{"key":"19","doi-asserted-by":"crossref","first-page":"1023001","DOI":"10.1002\/pamm.200700022","article-title":"Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization","volume":"1","author":"A. Rauh","year":"2007b","journal-title":"PAMM"},{"key":"20","first-page":"175","article-title":"Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering","volume":"5492","author":"A. Rauh","year":"2009"},{"key":"21","first-page":"103","article-title":"Terminology for model credibility","volume":"3","author":"S. Schlesinger","year":"1979","journal-title":"Simulation"},{"key":"22","article-title":"A Simplified Approach for Rough Identification of Muscle Activation Profiles via Optimization and Smooth Profile Patches","author":"D. Strobach","year":"2005"},{"key":"23","doi-asserted-by":"crossref","first-page":"469","DOI":"10.2478\/v10006-009-0038-y","article-title":"An object-oriented approach to simulating human gait motion based on motion tracking","volume":"3","author":"M. T\u00e4ndl","year":"2009","journal-title":"International Journal of Applied Mathematics and Computer Science"}],"container-title":["International Journal of Applied Mathematics and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/amcs\/19\/3\/article-p455.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/amcs.2009.19.issue-3\/v10006-009-0037-z\/v10006-009-0037-z.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:27:43Z","timestamp":1709202463000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10006-009-0037-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,1]]},"references-count":23,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.2478\/v10006-009-0037-z","relation":{},"ISSN":["1641-876X"],"issn-type":[{"value":"1641-876X","type":"print"}],"subject":[],"published":{"date-parts":[[2009,9,1]]}}}