Fundamentals of Verification and Validation

This text is the successor to Verification and Validation in Computational Science and Engineering (1998). A third of the book covers new material. New chapter, sections and appendices, and other significant new material, are indicated in both the Table of Contents and in the Section Headings so that readers of the original book can easily find subjects of their interest. NEW TOPICS IN CODE VERIFICATION: V&V CREDIBILITY CHECKLIST FOR NON-SPECIALISTS; MORE TUTORIALS ON MMS (METHOD OF MANUFACTURED SOLUTIONS); MORE MMS APPLICATIONS FOR TURBULENT FLOWS; MMS COMPARISONS TO OTHER BENCHMARK METHODS (e.g. ODEs); JUSTIFICATIONS THAT MMS IS NOW THE ACCEPTED GOLD STANDARD. NEW TOPICS IN CALCULATION (SOLUTION) VERIFICATION: MORE GRID CONVERGENCE INDEX (GCI) APPLICATIONS (e.g. TURBULENCE); LEAST SQUARES GCI; DETECTION OF SINGULARITIES IN COMPUTATIONAL SOLID MECHANICS; UNSTRUCTURED GRIDS; ITERATION CONVERGENCE & FAR-FIELD BOUNDARY ERRORS; BAYESIAN VS STRICT FREQUENTIST INTERPRETATIONS; IMPLIED UNCERTAINTY OF ERROR ESTIMATES; ASSESSMENTS FROM SMALL SAMPLE STUDIES; ON NOT DISCARDING OUTLIERS; SINGLE GRID WIBERG ERROR ESTIMATORS; UNCERTAINTY ESTIMATES FROM SINGLE GRID ERROR ESTIMATORS; MIXED-ORDER METHODS & NONLINEAR FLUX LIMITERS; LES AND DNS METHODS; INCREMENTAL COSTS OF GRID CONVERGENCE STUDIES - THE BLESSING OF DIMENSIONALITY; ADDITIONAL HIGH QUALITY STUDIES CONFIRMING THE GCI; GCI IS NOW ACCEPTED STANDARD (ASME Journal of Fluids Engineering). NEW TOPICS IN VALIDATION: OBJECTIONS TO VALIDATION BASED ON PHILOSOPHY OF KARL POPPER; DEFINITIONS AND INTERPRETATIONS OF VALIDATION; VALIDATING TEMPORAL PREDICTIONS VS OUTCOMES; PARAMETER UNCERTAINTY AND MODEL FORM UNCERTAINTY; PARAMETER UNCERTAINTY IN VALIDATION VS PREDICTIVE ANALYSIS; EXTENDING VALIDATION BEYOND EXPERIMENTAL SETPOINTS; TOTAL VALIDATION UNCERTAINTY - ASME ANSI STANDARD V&V 20