Verification of Computer Codes in Computational Science and Engineering

Author: Patrick Knupp,Kambiz Salari

Publisher: CRC Press

ISBN: 1420035428

Category: Mathematics

Page: 160

View: 5689


How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one can detect most any coding mistake that would prevent correct solutions from being computed. Verification of Computer Codes in Computational Science and Engineering sets forth a powerful alternative called OVMSP: Order-Verification via the Manufactured Solution Procedure. This procedure has two primary components: using the Method of Manufactured Exact Solutions to create analytic solutions to the fully-general differential equations solved by the code and using grid convergence studies to confirm the order-of-accuracy. The authors present a step-by-step procedural guide to OVMSP implementation and demonstrate its effectiveness. Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. Verification of Computer Codes in Computational Science and Engineering shows you how this can be done. The treatment is clear, concise, and suitable both for developers of production quality simulation software and as a reference for computational science and engineering professionals.

Computational Methods in Transport: Verification and Validation

Author: Frank Graziani

Publisher: Springer Science & Business Media

ISBN: 3540773622

Category: Science

Page: 332

View: 9243


The focus of this book deals with a cross cutting issue affecting all transport disciplines, whether it be photon, neutron, charged particle or neutrino transport. That is, verification and validation. In this book, we learn what the astrophysicist, atmospheric scientist, mathematician or nuclear engineer do to assess the accuracy of their code. What convergence studies, what error analysis, what problems do each field use to ascertain the accuracy of their transport simulations.

Experimentation, Validation, and Uncertainty Analysis for Engineers

Author: Hugh W. Coleman,W. Glenn Steele

Publisher: John Wiley & Sons

ISBN: 0470168889

Category: Science

Page: 317

View: 375


This Third Edition helps you assess and manage uncertainty at all stages of experimentation and validation of simulations In this greatly expanded Third Edition, the acclaimed Experimentation, Validation, and Uncertainty Analysis for Engineers guides readers through the concepts of experimental uncertainty analysis and the applications in validating models and simulations, solving problems experimentally, and characterizing the behavior of systems. This Third Edition presents the current, internationally accepted methodology from ISO, ANSI, and ASME standards to cover the planning, design, debugging, and execution phases of experiments. Cases in which the experimental result is determined only once or when the result is determined multiple times in a test are addressed and illustrated with examples from the authors' experience. The important practical cases in which multiple measured variables share correlated errors are discussed in detail, and strategies to take advantage of such effects in calibrations and comparative testing situations are presented. The methodology for determining uncertainty by Monte Carlo analysis is described in detail. Knowledge of the material in this Third Edition is a must for those involved in executing or managing experimental programs or validating models, codes, and simulations. Professionals and students in disciplines spanning the full range of engineering and science will find this book an essential guide.

Handbook of Research on Computational Science and Engineering: Theory and Practice

Theory and Practice

Author: Leng, J.

Publisher: IGI Global

ISBN: 161350117X

Category: Technology & Engineering

Page: 987

View: 467


By using computer simulations in research and development, computational science and engineering (CSE) allows empirical inquiry where traditional experimentation and methods of inquiry are difficult, inefficient, or prohibitively expensive. The Handbook of Research on Computational Science and Engineering: Theory and Practice is a reference for interested researchers and decision-makers who want a timely introduction to the possibilities in CSE to advance their ongoing research and applications or to discover new resources and cutting edge developments. Rather than reporting results obtained using CSE models, this comprehensive survey captures the architecture of the cross-disciplinary field, explores the long term implications of technology choices, alerts readers to the hurdles facing CSE, and identifies trends in future development.

AIAA Guide for the Verification and Validation of Computational Fluid Dynamics Simulations

Author: American Institute of Aeronautics and Astronautics

Publisher: Amer Inst of Aeronautics &

ISBN: 9781563472855

Category: Mathematics

Page: 19

View: 5286


This document presents for guidelines for assessing the credibility of modeling and simulation in computational fluid dynamics. The two main principles that are necessary for assessing credibility are verification and validation. Verification is the process of determining if a computational simulation accurately represents the conceptual model, but no claim is made of the relationship of the simulation to the real world. Validation is the process of determining if a computational simulation represents the real world. This document defines a number of key terms, discusses fundamental concepts, and specifies general procedures for conducting verification and validation of computational fluid dynamics simulations. The document's goal is to provide a foundation for the major issues and concepts in verification and validation. However, this document does not recommend standards in these areas because a number of important issues are not yet resolved. It is hoped that the guidelines will aid in the research, development, and use of computational fluid dynamics simulations by establishing common terminology and methodology for verification and validation. The terminology and methodology should also be useful in other engineering and science disciplines.

Assessing the Reliability of Complex Models

Mathematical and Statistical Foundations of Verification, Validation, and Uncertainty Quantification

Author: National Research Council,Division on Engineering and Physical Sciences,Board on Mathematical Sciences and Their Applications,Committee on Mathematical Foundations of Verification, Validation, and Uncertainty Quantification

Publisher: National Academies Press

ISBN: 0309256348

Category: Mathematics

Page: 144

View: 8530


Advances in computing hardware and algorithms have dramatically improved the ability to simulate complex processes computationally. Today's simulation capabilities offer the prospect of addressing questions that in the past could be addressed only by resource-intensive experimentation, if at all. Assessing the Reliability of Complex Models recognizes the ubiquity of uncertainty in computational estimates of reality and the necessity for its quantification. As computational science and engineering have matured, the process of quantifying or bounding uncertainties in a computational estimate of a physical quality of interest has evolved into a small set of interdependent tasks: verification, validation, and uncertainty of quantification (VVUQ). In recognition of the increasing importance of computational simulation and the increasing need to assess uncertainties in computational results, the National Research Council was asked to study the mathematical foundations of VVUQ and to recommend steps that will ultimately lead to improved processes. Assessing the Reliability of Complex Models discusses changes in education of professionals and dissemination of information that should enhance the ability of future VVUQ practitioners to improve and properly apply VVUQ methodologies to difficult problems, enhance the ability of VVUQ customers to understand VVUQ results and use them to make informed decisions, and enhance the ability of all VVUQ stakeholders to communicate with each other. This report is an essential resource for all decision and policy makers in the field, students, stakeholders, UQ experts, and VVUQ educators and practitioners.