DOI: 10.1615/ICHMT.2004.CHT-04
ISBN Print: 978-1-56700-174-7
ISSN: 2578-5486
VERIFICATION OF CODES AND SOLUTIONS IN COMPUTATIONAL SIMULATION
要約
Verification is the process of assessing the mathematical correctness of the numerical solution to a set of equations. In this paper, a broad overview is given of verification procedures for the numerical solution to partial differential equations. The two aspects of verification examined are code verification and solution verification. Code verification is a set of procedures developed to find coding mistakes that affect the numerical discretization. The method of manufactured solutions combined with order of accuracy verification is recommended for code verification, and this procedure is described in detail. Solution verification is used to estimate the numerical errors that occur in every computational simulation. Both round-off and iterative convergence errors are discussed, and a posteriori methods for estimating the discretization error examined. Emphasis is placed on discretization error estimation methods based on Richardson extrapolation as they are equally applicable to any numerical method. Additional topics covered include calculating the observed order of accuracy, error bands, practical aspects of grid refinement, and temporal discretization error.