Reliability of computational science

Today's computers allow us to simulate large, complex physical problems. Many times the mathematical models describing such problems are based on a relatively small amount of available information such as experimental measurements. The question arises whether the computed data could be used as the basis for decision in critical engineering, economic, and medicine applications. The representative list of engineering accidents occurred in the past years and their reasons illustrate the question. The paper describes a general framework for verification and validation (V&V) which deals with this question. The framework is then applied to an illustrative engineering problem, in which the basis for decision is a specific quantity of interest, namely the probability that the quantity does not exceed a given value. The V&V framework is applied and explained in detail. The result of the analysis is the computation of the failure probability as well as a quantification of the confidence in the computation, depending on the amount of available experimental data. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 23: 753–784, 2007

[1]  Ivo Babuška,et al.  SOLVING STOCHASTIC PARTIAL DIFFERENTIAL EQUATIONS BASED ON THE EXPERIMENTAL DATA , 2003 .

[2]  Robert Tibshirani,et al.  An Introduction to the Bootstrap , 1994 .

[3]  M. Tribus,et al.  Probability theory: the logic of science , 2003 .

[4]  Patrick J. Roache,et al.  Verification and Validation in Computational Science and Engineering , 1998 .

[5]  T. Fearn.  The Jackknife , 2000 .

[6]  J. Tinsley Oden,et al.  THE RELIABILITY OF COMPUTER PREDICTIONS: CAN THEY BE TRUSTED? , 2005 .

[7]  George B. Kleindorfer,et al.  Validation in Simulation: Various Positions in the Philosophy of Science , 1998 .

[8]  Raúl Tempone,et al.  Galerkin Finite Element Approximations of Stochastic Elliptic Partial Differential Equations , 2004, SIAM J. Numer. Anal..

[9]  Ivo Babuška,et al.  Quantitative Assessment of the Accuracy of Constitutive Laws for Plasticity with an Emphasis on Cyclic Deformation , 1993 .

[10]  A. Meyers.  Reading , 1999, Language Teaching.

[11]  Edwin Thompson Jaynes,et al.  Probability theory , 2003 .

[12]  I. Hlavácek.  Uncertain input data problems and the worst scenario method , 2011 .

[13]  David McDonald.  Elements of applied probability for engineering, mathematics and systems science , 2004 .

[14]  Ivo Babuška.  On randomised solutions of Laplace's equation , 1961 .

[15]  B. Efron,et al.  The Jackknife: The Bootstrap and Other Resampling Plans. , 1983 .

[16]  Timothy G. Trucano,et al.  Verification and Validation in Computational Fluid Dynamics , 2002 .

[17]  Susan A. Murphy,et al.  Monographs on statistics and applied probability , 1990 .

[18]  G. C. Tiao,et al.  Bayesian inference in statistical analysis , 1973 .

[19]  J. Tinsley Oden,et al.  Verification and validation in computational engineering and science: basic concepts , 2004 .

[20]  B. Efron.  The jackknife, the bootstrap, and other resampling plans , 1987 .

[21]  K. Fernow.  New York , 1896, American Potato Journal.

[22]  J. Kellett.  London , 1914, The Hospital.

[23]  R. A. Leibler,et al.  On Information and Sufficiency , 1951 .

[24]  I. Babuska,et al.  The finite element method and its reliability , 2001 .

[25]  Thomas H. Naylor,et al.  Verification of Computer Simulation Models , 1967 .

[26]  I. Babuska,et al.  Solving elliptic boundary value problems with uncertain coefficients by the finite element method: the stochastic formulation , 2005 .

[27]  Fabio Nobile,et al.  Worst case scenario analysis for elliptic problems with uncertainty , 2005, Numerische Mathematik.