Abstract
In this paper, we present several aspects of the recent project PROREOP developing a new prognosis system for optimizing patient-specific preoperative surgical planning for the human skeletal system. We address verification and validation assessment in PROREOP with special emphasis on numerical accuracy and performance. To assess numerical accuracy, we propose to employ graded instruments, including accuracy tests and error analysis. The use of such instruments is exemplified for the process of accurate femur reconstruction. Moreover, we show how to verify the simulation results and take into account measurement uncertainties for a part of this process using tools and techniques developed in the project TellHIM&S.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Oberkampf, W.L., Trucano, T.G., Hirsch, C.: Verification, validation, and predictive capability in computational engineering and physics. Technical Report SAND2003-3769, Sandia National Laboratories (2003)
ASME Committee (PT60) on Verification and Validation in Computational Solid Mechanics: Guide for verification and validation in computational solid mechanics (2006)
Anderson, A.E., Ellis, B.J., Weiss, J.A.: Verification, validation and sensitivity studies in computational biomechanics. Computer Methods in Biomechanics and Biomedical Engineering 10(3), 171–184 (2007)
Einarsson, B. (ed.): Accuracy And Reliability in Scientific Computing. Society for Industrial and Applied Mathematics, U.S. (2005)
Kreinovich, V., Beck, J., Ferregut, C., Sanchez, A., Keller, G.R., Averill, M., Starks, S.A.: Monte-Carlo-type techniques for processing interval uncertainty, and their engineering applications. In: Proceedings of the Workshop on Reliable Engineering Computing, Savannah, GA, September 2004, pp. 139–160 (2004)
Auer, E., Luther, W.: SmartMOBILE — An environment for guaranteed multibody modeling and simulation. In: Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics ICINCO (2007) ISBN: 978-972-8865-87-0
Schlesinger, S.: Terminology for model credibility. Simulation 32(3), 103–104 (1979)
Kochs, H.D.: Key factors of dependability of mechatronic units: Mechatronic dependability. In: 28th Annual International Computer Software and Application Conference (COMP-SAC 2004), Hong Kong, China, pp. 584–586. IEEE Computer Society, Los Alamitos (2004)
On Uncertainty Management, E.P.G.: Uncertainty in Industrial Practice — A guide to quantitative uncertainty management. Wiley, Chichester (to appear)
Hörsken, C., Traczinski, H.: Modeling of multibody systems with interval arithmetic. In: Krämer, W., van Gudenberg, J.W. (eds.) Scientific Computing, Validated Numerics, Interval Methods, pp. 317–328. Kluwer, Dordrecht (2001)
Luther, W., Dyllong, E., Fausten, D., Otten, W., Traczinski, H.: Numerical verification and validation of kinematics and dynamical models for flexible robots in complex environment. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, pp. 181–199. Springer, Heidelberg (2001)
Rauh, A.: Theorie und Anwendung von Intervallmethoden für Analyse und Entwurf robuster und optimaler Regelungen dynamischer Systeme. Ph.D thesis, University of Ulm (2008)
Cuypers, R., Tang, Z., Luther, W., Pauli, J.: A parametrized model for efficient and accurate femur reconstruction using model-based segmentation and superquadric shapes. In: I-ASTED, Baltimore (April 2008)
Kecskeméthy, A.: Objektorientierte Modellierung der Dynamik von Mehrkörpersystemen mit Hilfe von Übertragungselementen. Ph.D thesis, Gerhard Mercator Universität Duisburg (1993)
Auer, E.: SmartMOBILE: A framework for reliable modeling and simulation of kinematics and dynamcis of mechanical systems. Ph.D thesis, Universität Duisburg-Essen. WiKu Verlag Dr. Stein (2007) ISBN: 978-3-86553-240-4
Nedialkov, N.S.: The design and implementation of an object-oriented validated ODE solver. Kluwer Academic Publishers, Dordrecht (2002)
Auer, E., Rauh, A., Hofer, E.P., Luther, W.: Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Real Number Algorithms. LNCS, vol. 5045, pp. 1–27. Springer, Heidelberg (2008)
Eble, I.: RiOT, http://iamlasun8.mathematik.uni-karlsruhe.de/~ae08/
Berz, M., Makino, K.: COSY INFINITY 9.0. Programmer’s manual. Technical Report MSUHEP 060803, Michigan State University (2006)
Stark, T., Kecskeméthy, A., Tändl, M.: Application of MOBILE for an improved kinematical model using motion- and MRI measurements. In: The 15th European Conference on Mathematics for Industry, London, England, June 30 - July 4 (2008)
Neumaier, A.: Taylor forms — use and limits. Reliable Computing 9, 43–79 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Auer, E., Luther, W. (2009). Numerical Verification Assessment in Computational Biomechanics. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds) Numerical Validation in Current Hardware Architectures. Lecture Notes in Computer Science, vol 5492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01591-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-01591-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01590-8
Online ISBN: 978-3-642-01591-5
eBook Packages: Computer ScienceComputer Science (R0)