Abstract
This manuscript is a brief overview of code and calculation verification in computational physics and engineering. Verification is an essential technology to assess the quality of discrete solutions obtained by running simulation codes that solve systems of ordinary or partial differential equations, such as the finite element and finite volume methods. Code verification assesses the extent to which a numerical method is implemented correctly, that is, without any programming mistake (or “bug”) that would adversely affect the quality of computations. The centerpiece of code verification is the formulation of verification test problems that admit exact or manufactured solutions and which are used for comparison with approximate solutions obtained from the simulation software. Solution verification assesses the extent to which the discretization (in time, space, energy, modal basis, etc.) implemented to solve governing equations provides a sufficiently small level of truncation error. The keystone of solution verification is the practice of mesh refinement from which estimates of the (spatial) order of accuracy of the numerical method can be estimated. It is also possible to derive bounds of truncation error produced in the calculation. The discussion is presented in the context of Peter Lax’s 1954 groundbreaking work on the convergence of discrete solutions. It is illustrated with a simple example of one-dimensional advection solver. (Publication approved for unlimited, public release, LA-UR-16-24553, Unclassified.)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hemez, F.M., Doebling, S.W., Anderson, M.C.: A brief tutorial on verification and validation. In: 22nd SEM International Modal Analysis Conference, Dearborn, Michigan (2004)
Roache, P.J.: Verification in Computational Science and Engineering. Hermosa Publishers, Albuquerque, NM (1998)
Salari, K., Knupp, P.: Code verification by the method of manufactured solutions, Technical Report SAND-2000-1444, Sandia National Laboratories, Albuquerque, NM (2000)
Kamm, J.R., Rider, W.J., Brock, J.S.: Consistent metrics for code verification, Technical Report LA-UR-02-3794, Los Alamos National Laboratory, Los Alamos, NM (2002)
Kamm, J.R., Rider, W.J., Brock, J.S.: Combined space and time convergence analyses of a compressible flow algorithm. In: 16th AIAA Computational Fluid Dynamics Conference, Orlando, FL (2003)
Knoll, D.A., Chacon, L., Margolin, L.G., Mousseau, V.A.: On balanced approximations for time integration of multiple time scale systems. J. Comput. Phys. 185(2), 583–611 (2003)
Buechler, M., McCarty, A., Reding, D., Maupin, R.D.: Explicit finite element code verification problems. In: 22nd SEM International Modal Analysis Conference, Dearborn, MI (2004)
Li, S., Rider, W.J., Shashkov, M.J.: Two-dimensional convergence study for problems with exact solution: uniform and adaptive grids, Technical Report LA-UR-05-7985, Los Alamos National Laboratory, Los Alamos, NM (2005)
Smitherman, D.P., Kamm, J.R., Brock, J.S.: Calculation verification: point-wise estimation of solutions and their method-associated numerical error. J. Aerosp. Comput. Inf. Commun. 4, 676–692 (2007)
Hemez, F.M., Brock, J.S., Kamm, J.R.: Nonlinear error ansatz models in space and time for solution verification. In: 1st Non-deterministic Approaches Conference and 47th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference, Newport, RI (2006)
Warming, R., Hyett, B.: The modified equation approach to the stability and accuracy analysis of finite difference methods. J. Comput. Phys. 14, 159–179 (1974)
LeVeque, R.J.: Numerical Methods for Conservation Laws. Birkhauser-Verlag Publishers, Basel (1990)
Lax, P.D., Richtmyer, R.D.: Survey of the stability of linear finite difference equations. Commun. Pure Appl. Math. 9, 267–293 (1956)
Mollineaux, M.G., Van Buren, K.L., Hemez, F.M., Atamturktur, S.: Simulating the dynamics of wind turbine blades: part I, model development and verification. Wind Energy. 16, 694–710 (2013)
Van Buren, K.L., Mollineaux, M.G., Hemez, F.M., Atamturktur, S.: Simulating the dynamics of wind turbine blades: part II, model validation and uncertainty quantification. Wind Energy. 16, 741–758 (2013)
Roache, P.J.: Perspective: a method for uniform reporting of grid refinement studies. ASME J. Fluids Eng. 116, 405–413 (1994)
Stern, F., Wilson, R., Shao, J.: Quantitative V&V of computational fluid dynamics (CFD) simulations and certification of CFD codes with examples. In: 2004 ICHMT International Symposium on Advances in Computational Heat Transfer, Norway (2004)
Acknowledgments
The author gratefully acknowledges the support of the Advanced Certification Campaign at the Los Alamos National Laboratory (LANL). LANL is operated by Los Alamos National Security, L.L.C., under contract DE-AC52-06NA25396 on behalf of the National Nuclear Security Administration of the U.S. Department of Energy.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 The Society for Experimental Mechanics, Inc.
About this paper
Cite this paper
Hemez, F. (2017). A Brief Overview of Code and Solution Verification in Numerical Simulation. In: Barthorpe, R., Platz, R., Lopez, I., Moaveni, B., Papadimitriou, C. (eds) Model Validation and Uncertainty Quantification, Volume 3. Conference Proceedings of the Society for Experimental Mechanics Series. Springer, Cham. https://doi.org/10.1007/978-3-319-54858-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-54858-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54857-9
Online ISBN: 978-3-319-54858-6
eBook Packages: EngineeringEngineering (R0)