The DOI matches its Crossref record.
Verification and validation in computational fluid dynamics
Abstract
Abstract Verification and validation (V&V) are the primary means to assess accuracy and reliability in computational simulations. This paper presents an extensive review of the literature in V&V in computational fluid dynamics (CFD), discusses methods and procedures for assessing V&V, and develops a number of extensions to existing ideas. The review of the development of V&V terminology and methodology points out the contributions from members of the operations research, statistics, and CFD communities. Fundamental issues in V&V are addressed, such as code verification versus solution verification, model validation versus solution validation, the distinction between error and uncertainty, conceptual sources of error and uncertainty, and the relationship between validation and prediction. The fundamental strategy of verification is the identification and quantification of errors in the computational model and its solution. In verification activities, the accuracy of a computational solution is primarily measured relative to two types of highly accurate solutions: analytical solutions and highly accurate numerical solutions. Methods for determining the accuracy of numerical solutions are presented and the importance of software testing during verification activities is emphasized. The fundamental strategy of validation is to assess how accurately the computational results compare with the experimental data, with quantified error and uncertainty estimates for both. This strategy employs a hierarchical methodology that segregates and simplifies the physical and coupling phenomena involved in the complex engineering system of interest. A hypersonic cruise missile is used as an example of how this hierarchical structure is formulated. The discussion of validation assessment also encompasses a number of other important topics. A set of guidelines is proposed for designing and conducting validation experiments, supported by an explanation of how validation experiments are different from traditional experiments and testing. A description is given of a relatively new procedure for estimating experimental uncertainty that has proven more effective at estimating random and correlated bias errors in wind-tunnel experiments than traditional methods. Consistent with the authors’ contention that nondeterministic simulations are needed in many validation comparisons, a three-step statistical approach is offered for incorporating experimental uncertainties into the computational analysis. The discussion of validation assessment ends with the topic of validation metrics, where two sample problems are used to demonstrate how such metrics should be constructed. In the spirit of advancing the state of the art in V&V, the paper concludes with recommendations of topics for future research and with suggestions for needed changes in the implementation of V&V in production and commercial software.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
No references could be resolved yet.
Research works printed but not linked: 237
- Abgrall R, Desideri JA. The European hypersonic database: a new CFD validation tool for the design of space vehicles. AIAA-93-3045, 1993. · doi:10.2514/6.1993-3045
- Aeschliman DP, Oberkampf WL. Experimental methodology for computational fluid dynamics code validation. SAND95-1189, Sandia National Laboratories, Albuquerque, NM, 1997. · doi:10.2172/563720
- Aeschliman, 1998, Experimental methodology for computational fluid dynamics code validation, AIAA J, 36, 733, 10.2514/2.461 · doi:10.2514/2.461
- Aeschliman DP, Oberkampf WL, Blottner FG. A proposed methodology for CFD code verification, calibration, and validation, Paper 95-CH3482-7, 1995. · doi:10.1109/iciasf.1995.519133
- Agonafer D, editor. Solutions to CFD benchmark problems in electronic packaging, HTD-vol. 255. New York: The American Society of Mechanical Engineers, 1993.
- Alapaty, 1997, Uncertainty in the specification of surface characteristics, Boundary-Layer Meteorol, 82, 473, 10.1023/A:1017166907476 · doi:10.1023/a:1017166907476
- Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV. Methodology for characterizing modeling and discretization uncertainties in computational simulation. SAND2000-0515, Sandia National Laboratories, Albuquerque, NM, 2000. · doi:10.2172/752055
- Babuska, 1997, A posteriori error estimation for finite element solutions of Helmholtz’ equation—Part II, Int J Numer Methods Eng, 40, 3883, 10.1002/(SICI)1097-0207(19971115)40:21<3883::AID-NME231>3.0.CO;2-V · doi:10.1002/(sici)1097-0207(19971115)40:21<3883::aid-nme231>3.0.co;2-v
- Babuska, 1987, Pollution problem of the p- and h-p versions of the finite element method, Commun Appl Numer Methods, 3, 553, 10.1002/cnm.1630030617 · doi:10.1002/cnm.1630030617
- Babuska, 1995, A posteriori estimation and adaptive control of the pollution error in the h-version of the finite element method, Int J Numer Methods Eng, 38, 4207, 10.1002/nme.1620382408 · doi:10.1002/nme.1620382408
- Bailey MP, Kemple WG. The scientific method of choosing model fidelity. 1992 Winter Simulation Conference Proceedings. Arlington, VA, 1992. p. 790–7. · doi:10.1145/167293.167723
- Balachandar, 1997, Properties of the mean recirculation region in the wakes of two-dimensional bluff bodies, J Fluid Mech, 351, 167, 10.1017/S0022112097007179 · doi:10.1017/s0022112097007179
- Balci, Formulated problem verification as an explicit requirement of model credibility, Simulation, 1985, 76
- Balci, 1984, A bibliography on the credibility assessment and validation of simulation and mathematical models, Simuletter, 15, 15
- Barber, 1998, Role of code validation and certification in the design environment, AIAA J, 36, 752, 10.2514/2.433 · doi:10.2514/2.433
- Barkley, 1996, Three-dimensional floquet stability analysis of the wake of a circular cylinder, J Fluid Mech, 322, 215, 10.1017/S0022112096002777 · DOI · Paper page
- Barragy, 1997, Stream function-vorticity driven cavity solution using p finite elements, Comput Fluids, 26, 453, 10.1016/S0045-7930(97)00004-2 · doi:10.1016/s0045-7930(97)00004-2
- Beck, 1987, Water quality modeling, Water Resour Res, 23, 1393, 10.1029/WR023i008p01393 · DOI · Paper page
- Benek, 1998, Validation issues for engine—airframe integration, AIAA J, 36, 759, 10.2514/2.434 · doi:10.2514/2.434
- Bertin JJ, Martellucci A, Neumann RD, Stetson KF. Developing a data base for the calibration and validation of hypersonic CFD codes—sharp cones. AIAA Paper No. 93-3044, 1993. · doi:10.2514/6.1993-3044
- Blackwell BF, Armaly BF, ediors. Computational aspects of heat transfer: benchmark problems, ASME HTD-vol. 258. New York: American Society of Mechanical Engineers, 1993.
- Blackwell BF, Pepper DW, editors. Benchmark problems for heat transfer codes, ASME HTD-vol. 222. New York: American Society of Mechanical Engineers, 1992.
- Blottner, 1974, Variable grid scheme applied to turbulent boundary layers, Comput Methods Appl Mech Eng, 4, 179, 10.1016/0045-7825(74)90033-4 · doi:10.1016/0045-7825(74)90033-4
- Blottner, 1975, Investigation of some finite-difference techniques for solving the boundary layer equations, Comput Methods Appl Mech Eng, 6, 1, 10.1016/0045-7825(75)90012-2 · doi:10.1016/0045-7825(75)90012-2
- Blottner FG. Introduction to computational techniques for boundary layers. SAND79-0893, Sandia National Laboratories, Albuquerque, NM, 1979. · doi:10.2172/6037417
- Blottner, 1982, Influence of boundary approximations and conditions on finite-difference solutions, J Comput Phys, 48, 246, 10.1016/0021-9991(82)90049-3 · doi:10.1016/0021-9991(82)90049-3
- Blottner, 1990, Accurate Navier–Stokes results for the hypersonic flow over a spherical nosetip, J Spacecraft Rockets, 27, 113, 10.2514/3.26115 · doi:10.2514/3.26115
- Blottner FJ, Lopez AR. Determination of solution accuracy of numerical schemes as part of code and calculation verification. SAND98-2222, Sandia National Laboratories, Albuquerque, NM, 1998. · doi:10.2172/1044
- Botella, 2001, Computing singular solutions of the Navier–Stokes equations with the Chebyshev-collocation method, Int J Numer Methods Fluids, 36, 125, 10.1002/fld.121 · doi:10.1002/fld.121
- Botta, 1972, The numerical solution of the Navier–Stokes equations for laminar, incompressible flow past a parabolic cylinder, J Eng Math, 6, 63, 10.1007/BF01535240 · doi:10.1007/bf01535240
- Bowen, 1995, 10-commandments of formal methods, Computer, 28, 56, 10.1109/2.375178 · doi:10.1109/2.375178
- Bussoletti JE. CFD calibration and validation: the challenges of correlating computational model results with test data. AIAA-94-2542, 1994. · doi:10.2514/6.1994-2542
- Carpenter, 1999, Accuracy of shock capturing in two spatial dimensions, AIAA J, 37, 1072, 10.2514/2.835 · doi:10.2514/2.835
- Caughlin D. Verification, validation, and accreditation (VV&A) of models and simulations through reduced order metamodels. 1995 Winter Simulation Conference, Arlington, VA, 1995. p. 1404–12.
- Celik I, Hassan Y, Hughes D, Johnson R, Sommerfeld M, editors. Experimental and computational aspects of validation of multiphase flow CFD codes, FED-vol. 180. New York: The American Society of Mechanical Engineers, United Engineering Center, 1994.
- Celik, 1995, Calculation of numerical uncertainty using Richardson extrapolation, J Fluids Eng, 117, 439, 10.1115/1.2817281 · doi:10.1115/1.2817281
- Chapman, 1975, Computers vs. wind tunnels, Astronaut Aeronaut, 13, 22
- Chiang, 1999, A numerical revisit of backward-facing step flow problem, Phys Fluids, 11, 862, 10.1063/1.869958 · doi:10.1063/1.869958
- Chlond, 2000, Large-eddy simulation of a nocturnal stratocumulus-topped marine atmospheric boundary layer, Boundary-Layer Meteorol, 95, 31, 10.1023/A:1002438701638 · doi:10.1023/a:1002438701638
- Chorin AJ, Kast AP, Kupferman R. On the prediction of large-scale dynamics using unresolved computations. LBNL-42283, Lawrence Berkeley National Laboratory, Berkeley, CA 1998 · doi:10.1090/conm/238/03539
- Chorin, 1998, Optimal prediction of underresolved dynamics, Proc Natl Acad Sci, 95, 4094, 10.1073/pnas.95.8.4094 · doi:10.1073/pnas.95.8.4094
- Chorin, 1999, Unresolved computation and optimal prediction, Commun Pure Appl Math, 52, 1231, 10.1002/(SICI)1097-0312(199910)52:10<1231::AID-CPA3>3.0.CO;2-C · doi:10.1002/(sici)1097-0312(199910)52:10<1231::aid-cpa3>3.0.co;2-c
- Cohen ML, Rolph JE, Steffey DL, editors. Statistics, testing, and defense acquisition: new approaches and methodological improvements. Washington, DC: National Academy Press, 1998.
- Cole JD, Cook LP, Schleiniger G. Analysis of a glancing shock moving past a wedge. AIAA-98-2688, 1998. · doi:10.2514/6.1998-2688
- Coleman, 1997, Uncertainties and CFD code validation, J Fluids Eng, 119, 795, 10.1115/1.2819500 · doi:10.1115/1.2819500
- Conway, 1963, Some tactical problems in digital simulation, Manage Sci, 10, 47, 10.1287/mnsc.10.1.47 · doi:10.1287/mnsc.10.1.47
- Cosner, RR. Issues in aerospace application of CFD analysis. AIAA Paper No. 94-0464, 1994. · doi:10.2514/6.1994-464
- Cosner RR. CFD validation requirements for technology transition. AIAA Paper No. 95-2227, 1995. · doi:10.2514/6.1995-2227
- Cosner RR. The role of validation in the CFD process at McDonnell Douglas/St. Louis. AIAA-96-2273, 1996. · doi:10.2514/6.1996-2273
- Cosner RR. Experimental data needs for risk management in CFD applications. AIAA Paper No. 98-2781, 1998. · doi:10.2514/6.1998-2781
- Cukier, 1978, Nonlinear sensitivity analysis of multiparameter model systems, J Comput Phys, 26, 1, 10.1016/0021-9991(78)90097-9 · DOI · Paper page
- Davis PA, Olague NE, Goodrich MT. Approaches for the validation of models used for performance assessment of high-level nuclear waste repositories. NUREG/CR-5537; SAND90-0575, Sandia National Laboratories, Albuquerque, NM, 1991. · doi:10.2172/5914752
- Davis, 1967, Laminar incompressible flow past a semi-infinite flat plate, J Fluid Mech, 27, 691, 10.1017/S002211206700254X · doi:10.1017/s002211206700254x
- Davis, 1972, Numerical solution of the Navier–Stokes equations for symmetric laminar incompressible flow past a parabola, J Fluid Mech, 51, 417, 10.1017/S0022112072002265 · doi:10.1017/s0022112072002265
- de Vahl Davis, 1983, Natural convection of air in a square cavity, Int J Numer Methods Fluids, 3, 249, 10.1002/fld.1650030305 · DOI
- Dennis, 1971, Numerical solutions for steady symmetric viscous flow past a parabolic cylinder in a uniform stream, J Fluid Mech, 50, 801, 10.1017/S0022112071002891 · doi:10.1017/s0022112071002891
- Dery, 1993, Revisiting the issue of model validation in OR, Eur J Oper Res, 66, 168, 10.1016/0377-2217(93)90311-A · DOI
- Desideri JA, Glowinski R, Periaux J, editors. Hypersonic flows for reentry problems, vol. I: Survey lectures and test cases for analysis. Berlin: Springer, 1991.
- Desideri JA, Glowinski R, Periaux J, editors. Hypersonic flows for reentry problems, vol. II: Test cases-experiments and computations. Berlin: Springer, 1991.
- Dietrich, 1990, Convergence studies with the Sandia Ocean Modeling system, Int J Numer Methods Fluids, 11, 127, 10.1002/fld.1650110202 · doi:10.1002/fld.1650110202
- DiMascio A, Paciorri R, Favini B. Convergence of two numerical schemes for turbulent boundary layer computations. AIAA 98-3009, 1998. · doi:10.2514/6.1998-3009
- Dolling, 1998, High-speed turbulent separated flows, AIAA J, 36, 725, 10.2514/2.460 · doi:10.2514/2.460
- Draper, 1995, Assessment and propagation of model uncertainty, J R Stat Soc B, 57, 45, 10.1111/j.2517-6161.1995.tb02015.x · DOI · Paper page
- Du, 1997, Short-range ensemble forecasting of quantitative precipitation, Mon Weather Rev, 125, 2427, 10.1175/1520-0493(1997)125<2427:SREFOQ>2.0.CO;2 · doi:10.1175/1520-0493(1997)125<2427:srefoq>2.0.co;2
- Dwoyer D. The relation between computational fluid dynamics and experiment, AIAA Ground Testing Conf. 1992.
- Ethier, 1994, Exact fully 3D Navier–Stokes solutions for benchmarking, Int J Numer Methods Fluids, 19, 369, 10.1002/fld.1650190502 · doi:10.1002/fld.1650190502
- Ferson, 1996, Different methods are needed to propagate ignorance and variability, Reliability Eng System Saf, 54, 133, 10.1016/S0951-8320(96)00071-3 · DOI · Paper page
- Ferziger, 1996, Further discussion of numerical errors in CFD, Int J Numer Methods Fluids, 23, 1263, 10.1002/(SICI)1097-0363(19961230)23:12<1263::AID-FLD478>3.0.CO;2-V · DOI
- Fletcher, 1983, Generating exact solutions of the two-dimensional burgers equations, Int J Numer Methods Fluids, 3, 213, 10.1002/fld.1650030302 · doi:10.1002/fld.1650030302
- Folland GB. Introduction to partial differential equations, 2nd ed. Princeton, NJ: Princeton University Press, 1996.
- Fortin, 1997, Localization of HOPF bifurcations in fluid flow problems, Int J Numer Methods Fluids, 24, 1185, 10.1002/(SICI)1097-0363(19970615)24:11<1185::AID-FLD535>3.0.CO;2-X · doi:10.1002/(sici)1097-0363(19970615)24:11<1185::aid-fld535>3.0.co;2-x
- Fossett, 1991, An assessment procedure for simulation models, Oper Res, 39, 710, 10.1287/opre.39.5.710 · doi:10.1287/opre.39.5.710
- Frank, 1999, Treatment of uncertainties in space nuclear risk assessment with examples from Cassini mission applications, Reliability Eng System Saf, 66, 203, 10.1016/S0951-8320(99)00002-2 · DOI
- Freitas CJ, editor. The CFD triathlon: three laminar flow simulations by commercial CFD Codes, FED-vol. 160. New York: The American Society of Mechanical Engineers, United Engineering Center, 1993.
- Frey, 1996, Characterizing, simulating, and analyzing variability and uncertainty, Hum Ecol Risk Assess, 2, 762, 10.1080/10807039609383650 · DOI
- Gallopoulos, 1997, CSE, IEEE Comput Sci Eng, 4, 39, 10.1109/99.609830 · doi:10.1109/99.609830
- Gartling, 1990, A test problem for outflow boundary conditions-flow over a backward-facing step, Int J Numer Methods Fluids, 11, 953, 10.1002/fld.1650110704 · doi:10.1002/fld.1650110704
- Gass, 1993, Model Accreditation, Eur J Oper Res, 66, 250, 10.1016/0377-2217(93)90316-F · DOI
- Gerbeau, 1997, Spurious velocities in the steady flow of an incompressible fluid subjected to external forces, Int J Numer Methods Fluids, 25, 679, 10.1002/(SICI)1097-0363(19970930)25:6<679::AID-FLD582>3.0.CO;2-Q · doi:10.1002/(sici)1097-0363(19970930)25:6<679::aid-fld582>3.0.co;2-q
- Gervais, 1997, Some experiments with stability analysis of discrete incompressible flow in the lid-driven cavity, Int J Numer Methods Fluids, 24, 477, 10.1002/(SICI)1097-0363(19970315)24:5<477::AID-FLD500>3.0.CO;2-S · doi:10.1002/(sici)1097-0363(19970315)24:5<477::aid-fld500>3.0.co;2-s
- Ghia, 1982, High-Re solutions for incompressible flow using the Navier–Stokes equations and a multigrid method, J Comput Phys, 48, 387, 10.1016/0021-9991(82)90058-4 · DOI · Paper page
- Goldstein D, Hughes D, Johnson R, Lankford D, editors. Data for validation of CFD codes, FED-vol. 146. New York: The American Society of Mechanical Engineers, United Engineering Center, 1993.
- Gosman AD. Quality assurance for industrial CFD codes. AIAA 98-2637, 1998. · doi:10.2514/6.1998-2637
- Graves Jr. R. Software validation: the bridge from R&D to industrial application. AIAA-92-0587, 1992. · doi:10.2514/6.1992-587
- Grenda JM, Schwer DA, Merkle CL. Use of analytical solutions in validating unsteady CFD Codes. AIAA-96-2164, 1996. · doi:10.2514/6.1996-2164
- Gresho, 1993, Is the steady viscous incompressible two-dimensional flow over a backward-facing step at Re=800 stable?, Int J Numer Methods Fluids, 17, 501, 10.1002/fld.1650170605 · DOI
- Grinstein, 1994, Open boundary conditions in the simulation of subsonic turbulent shear flows, J Comput Phys, 115, 43, 10.1006/jcph.1994.1177 · doi:10.1006/jcph.1994.1177
- Guerrero, 1992, Integral transform solution for the lid-driven cavity flow problem in streamfunction-only formulation, Int J Numer Methods Fluids, 15, 399, 10.1002/fld.1650150403 · doi:10.1002/fld.1650150403
- Guerrero, 1996, Benchmark integral transform results for flow over a backward-facing step, Comput Fluids, 25, 527, 10.1016/0045-7930(96)00005-9 · doi:10.1016/0045-7930(96)00005-9
- Gustafson, 1998, Computational verifiability and feasibility of the ASCI program, IEEE Comput Sci Eng, 5, 36, 10.1109/99.660304 · doi:10.1109/99.660304
- Gustafson K. Capturing correct solutions in CFD, 515. Sixteenth International Conference on Numerical Methods in Fluid Dynamics. Arcachon, France, 1998. p. 171–6. · doi:10.1007/bfb0106579
- Hamill, 1995, A probabilistic forecast contest and the difficulty in assessing short-range forecast uncertainty, Weather Forecasting, 10, 620, 10.1175/1520-0434(1995)010<0620:APFCAT>2.0.CO;2 · DOI
- Hamilton, 1991, Model validation, Commun Stat-Theory Methods, 20, 2207, 10.1080/03610929108830628 · doi:10.1080/03610929108830628
- Hansen, 1994, An integral equation justification of the boundary conditions of the driven-cavity problem, Comput Fluids, 23, 225, 10.1016/0045-7930(94)90036-1 · doi:10.1016/0045-7930(94)90036-1
- Hanson, 1999, A framework for assessing uncertainties in simulation predictions, Physica D, 133, 179, 10.1016/S0167-2789(99)00090-1 · doi:10.1016/s0167-2789(99)00090-1
- Hatton, 1997, The T experiments, IEEE Comput Sci Eng, 4, 27, 10.1109/99.609829 · DOI
- Haworth, 1993, A global approach to error estimation and physical diagnostics in multidimensional computational fluid dynamics, Int J Numer Methods Fluids, 17, 75, 10.1002/fld.1650170106 · doi:10.1002/fld.1650170106
- Haynes TS, Reed HL, Saric WS. CFD validation issues in transition modeling. AIAA-96-2051, 1996. · doi:10.2514/6.1996-2051
- Helton, 1993, Uncertainty and sensitivity analysis techniques for use in performance assessment for radioactive waste disposal, Reliability Eng System Saf, 42, 327, 10.1016/0951-8320(93)90097-I · DOI · Paper page
- Helton, 1994, Treatment of uncertainty in performance assessments for complex systems, Risk Anal, 14, 483, 10.1111/j.1539-6924.1994.tb00266.x · DOI · Paper page
- Helton, 1997, Uncertainty and sensitivity analysis in the presence of stochastic and subjective uncertainty, J Stat Comput Simul, 57, 3, 10.1080/00949659708811803 · DOI · Paper page
- Helton, 1999, Uncertainty and sensitivity analysis in performance assessment for the waste isolation pilot plant, Comput Phys Commun, 117, 156, 10.1016/S0010-4655(98)00171-4 · DOI
- Hills RG, Trucano TG. Statistical validation of engineering and scientific models with application to CTH. SAND2001-0312, Sandia National Laboratories, Albuquerque, NM, 2001. · doi:10.2172/782589
- Hoffman, 1994, Propagation of uncertainty in risk assessments, Risk Anal, 14, 707, 10.1111/j.1539-6924.1994.tb00281.x · DOI · Paper page
- Holden MS, Moselle JR. A database of aerothermal measurements in hypersonic flow for CFD validation. AIAA Paper No. 92-4023, 1992. · doi:10.2514/6.1992-4023
- Holden MS, Moselle JR, Sweet SJ, Martin SC. A database of aerothermal measurements in hypersonic flow for CFD validation. AIAA Paper No. 96-4597, 1996. · doi:10.2514/6.1996-4597
- Hora, 1996, Aleatory and epistemic uncertainty in probability elicitation with an example from hazardous waste management, Reliability Eng System Saf, 54, 217, 10.1016/S0951-8320(96)00077-4 · DOI · Paper page
- Hortmann, 1990, Finite volume multigrid prediction of laminar natural convection, Int J Numer Methods Fluids, 11, 189, 10.1002/fld.1650110206 · doi:10.1002/fld.1650110206
- Hutton AG, Casey MV. Quality and trust in industrial CFD—a European perspective. AIAA2001-0656, 2001. · doi:10.2514/6.2001-656
- IEEE. IEEE standard dictionary of electrical and electronics terms. ANSI/IEEE Std 100-1984, 1984.
- IEEE. IEEE standard glossary of software engineering terminology. IEEE, IEEE Std 610.12-1990, New York, 1991.
- Iman, 1988, An investigation of uncertainty and sensitivity analysis techniques for computer models, Risk Anal, 8, 71, 10.1111/j.1539-6924.1988.tb01155.x · DOI · Paper page
- Jameson, 1998, Mesh refinement and modeling errors in flow simulation, AIAA J, 36, 676, 10.2514/2.453 · doi:10.2514/2.453
- Johnson, 1996, A review of fault management techniques used in safety-critical avionic systems, Prog Aerosp Sci, 32, 415, 10.1016/0376-0421(96)82785-0 · DOI
- Kammeyer ME. Wind tunnel facility calibrations and experimental uncertainty. AIAA 98-2715, 1998. · doi:10.2514/6.1998-2715
- Karniadakis, 1992, Three-dimensional dynamics and transition to turbulence in the wake of bluff objects, J Fluid Mech, 238, 1, 10.1017/S0022112092001617 · DOI · Paper page
- Ketelle RH, Lee RR, Bownds JM, Rizk TA. Model validation lessons learned: a case study at Oak Ridge National Laboratory. CONF-89085406/DE89 015900, Oak Ridge National Laboratory, Oak Ridge, TN, 1989. · doi:10.2172/330567
- Kleijnen JPC. Statistical validation of simulation models. Eur J Oper Res 1995;21–34. · doi:10.1016/0377-2217(95)00132-a
- Kleijnen, 1995, Verification and validation of simulation models, Eur J Oper Res, 82, 145, 10.1016/0377-2217(94)00016-6 · DOI · Paper page
- Kleindorfer, 1998, Validation in simulation, Manage Sci, 44, 1087, 10.1287/mnsc.44.8.1087 · DOI · Paper page
- Kurshan, 2000, Program verification, Notices Am Math Soc, 47, 534
- Landry, 1983, Model validation in operations research, Eur J Oper Res, 14, 207, 10.1016/0377-2217(83)90257-6 · DOI · Paper page
- Landry, 1993, In search of a valid view of model validation for operations research, Eur J Oper Res, 66, 161, 10.1016/0377-2217(93)90310-J · doi:10.1016/0377-2217(93)90310-j
- Laskey, 1996, Model uncertainty, IEEE Trans Systems, Man and Cybernetics-Part A: Systems Hum, 26, 340, 10.1109/3468.487959 · DOI
- Lee, 1996, On statistical model validation, journal of dynamic systems, Meas Control, 118, 226, 10.1115/1.2802308 · DOI
- Leijnse, 1994, Model definition and model validation, Adv Water Resour, 17, 197, 10.1016/0309-1708(94)90041-8 · doi:10.1016/0309-1708(94)90041-8
- Lin SJ, Barson SL, Sindir MM. Development of evaluation criteria and a procedure for assessing predictive capability and code performance. Advanced Earth-to-Orbit Propulsion Technology Conference. Marshall Space Flight Center, Huntsville, AL, 1992.
- Mair, 1999, Benchmarks for submerged structure response to underwater explosions, Shock Vibration, 6, 169, 10.1155/1999/743708 · doi:10.1155/1999/743708
- Marciniak JJ, editor. Encyclopedia of software engineering. New York: Wiley, 1994.
- Martellucci A. The challenging process of validating CFD codes. AIAA-90-1402, 1990. · doi:10.2514/6.1990-1402
- Marvin JG. CFD Validation experiments for hypersonic flows. AIAA-92-4024, 1992. · doi:10.2514/6.1992-4024
- Marvin, 1995, Perspective on computational fluid dynamics validation, AIAA J, 33, 1778, 10.2514/3.12727 · doi:10.2514/3.12727
- Mehta, 1990, Computational requirements for hypersonic flight performance estimates, J Spacecraft Rockets, 27, 103, 10.2514/3.26114 · doi:10.2514/3.26114
- Mehta, 1991, Some aspects of uncertainty in computational fluid dynamics results, J Fluids Eng, 113, 538, 10.1115/1.2926512 · doi:10.1115/1.2926512
- Mehta, 1996, Guide to credible computer simulations of fluid flows, J Propulsion Power, 12, 940, 10.2514/3.24126 · doi:10.2514/3.24126
- Milliken GA, Johnson DE. Analysis of messy data, vol. 1: Designed experiments. Belmont, CA: Lifetime Learning Publications, 1984.
- Miser, 1993, A foundational concept of science appropriate for validation in operational research, Eur J Oper Res, 66, 204, 10.1016/0377-2217(93)90313-C · DOI
- Mittal, 1995, Effect of three-dimensionality on the lift and drag of nominally two-dimensional cylinders, Phys Fluids, 7, 1841, 10.1063/1.868500 · DOI
- Mittal R, Balachandar S. Vortical structures in bluff body wakes. AIAA-95-0867, 1995. · doi:10.2514/6.1995-867
- Najjar, 1995, Effects of intrinsic three-dimensionality on the drag characteristics of a normal flat plate, Phys Fluids, 7, 2516, 10.1063/1.868698 · doi:10.1063/1.868698
- Naylor, 1967, Verification of computer simulation models, Manage Sci, 14, 92, 10.1287/mnsc.14.2.B92 · DOI · Paper page
- Neumann RD. CFD validation—the interaction of experimental capabilities and numerical computations. AIAA Paper No. 90-3030, 1990. · doi:10.2514/6.1990-1401
- Nishida, 1992, Higher-order solutions of square driven cavity flow using a variable-order multi-grid method, Int J Numer Methods Eng, 34, 637, 10.1002/nme.1620340215 · doi:10.1002/nme.1620340215
- Nordstrom, 1994, Accurate solutions of the Navier–Stokes equations despite unknown outflow boundary data, J Comput Phys, 120, 184, 10.1006/jcph.1995.1158 · doi:10.1006/jcph.1995.1158
- NRC. Statistical software engineering, National Research Council. Washington, DC: National Academy Press, 1996.
- O’Connell, 2000, Can you trust software capability evaluations?, Computer, 33, 28, 10.1109/2.820036 · doi:10.1109/2.820036
- Oberkampf WL. A proposed framework for computational fluid dynamics code calibration/validation. AIAA Paper No. 94-2540, 1994. · doi:10.2514/6.1994-2540
- Oberkampf WL. Bibliography for verification and validation in computational simulation. SAND98-2041, Sandia National Laboratories, Albuquerque, NM, 1998. · doi:10.2172/701
- Oberkampf, 1992, Joint computational/experimental aerodynamics research on a hypersonic vehicle, AIAA J, 30, 2000, 10.2514/3.11172 · doi:10.2514/3.11172
- Oberkampf WL, Aeschliman DP, Henfling JF, Larson DE. Surface pressure measurements for CFD code validation in hypersonic flow. AIAA Paper No. 95-2273, 1995. · doi:10.2172/101212
- Oberkampf WL, Aeschliman DP, Henfling JF, Larson DE, and Payne, JL. Surface pressure measurements on a hypersonic vehicle. AIAA Paper No. 96-0669, 1996. · doi:10.2514/6.1996-669
- Oberkampf, 1998, Issues in computational fluid dynamics code verification and validation, AIAA J, 36, 687, 10.2514/2.456 · doi:10.2514/2.456
- Oberkampf WL, Blottner FG, Aeschliman DP. Methodology for computational fluid dynamics code verification/validation. AIAA Paper No. 95-2226, 1995. · doi:10.2514/6.1995-2226
- Oberkampf WL, DeLand SM, Rutherford BM, Diegert KV, Alvin KF. A new methodology for the estimation of total uncertainty in computational simulation. AIAA Paper No. 99-1612, 1999. · doi:10.2514/6.1999-1612
- Oberkampf WL, DeLand SM, Rutherford BM, Diegert KV, Alvin KF. Estimation of total uncertainty in computational simulation. SAND2000-0824, Sandia National Laboratories, Albuquerque, NM, 2000. · doi:10.2514/6.1999-1612
- Oberkampf WL, Diegert KV, Alvin KF, Rutherford BM. Variability, uncertainty, and error in computational simulations, ASME-HTD-vol. 357-2. New York: American Society of Mechanical Engineers, 1998.
- Oberkampf WL, Trucano TG. Validation methodology in computational fluid dynamics. AIAA 2000-2549, 2000. · doi:10.2514/6.2000-2549
- Oden, 1998, Local and pollution error estimation for Stokesian flow, Int J Numer Methods Fluids, 27, 33, 10.1002/(SICI)1097-0363(199801)27:1/4<33::AID-FLD648>3.0.CO;2-3 · doi:10.1002/(sici)1097-0363(199801)27:1/4<33::aid-fld648>3.0.co;2-3
- Oral, 1993, The facets of the modeling and validation process in operations research, Eur J Oper Res, 66, 216, 10.1016/0377-2217(93)90314-D · DOI
- Oren, 1981, Concepts and criteria to assess acceptability of simulation studies, Commun ACM, 24, 180, 10.1145/358598.358605 · DOI
- Oren TI, Zeigler BP, Elzas MS, editors. Simulation and model-based methodologies: an integrative view. Berlin: Springer, 1984. · doi:10.1007/978-3-642-82144-8
- Oreskes, 1994, Verification, validation, and confirmation of numerical models in the earth sciences, Science, 263, 641, 10.1126/science.263.5147.641 · DOI · Paper page
- Pace DK. Fidelity Considerations for RDE distributed simulation, 1. 1997 Fall Simulation Interoperability Workshop Papers 1997. p. 249–59.
- Pace DK. Dimensions and attributes of simulation fidelity, 1. 1998 Fall Simulation Interoperability Workshop Papers, 1998.
- Paciorri, 1998, Exploring the validity of the Spalart–Allmaras turbulence model for hypersonic flows, J Spacecraft Rockets, 35, 121, 10.2514/2.3307 · doi:10.2514/2.3307
- Palmer, 2000, Predicting uncertainty in forecasts of weather and climate, Rep Prog Phys, 63, 71, 10.1088/0034-4885/63/2/201 · DOI · Paper page
- Parry, 1996, The characterization of uncertainty in probabilistic risk assessments of complex systems, Reliability Eng System Saf, 54, 119, 10.1016/S0951-8320(96)00069-5 · doi:10.1016/s0951-8320(96)00069-5
- Paté-Cornell, 1996, Uncertainties in risk analysis, Reliability Eng System Saf, 54, 95, 10.1016/S0951-8320(96)00067-1 · DOI · Paper page
- Paulk MC, Weber CV, Curtis B, Chrissis MB, editors. The capability maturity model: guidelines for improving the software process. Reading, MA: Addison-Wesley, 1994.
- Peercy DE. Personal Communication, 2000. · doi:10.1038/35023223
- Pilch M, Trucano TG, Moya JL, Froehlich GK, Hodges AL, Peercy DE. Guidelines for Sandia ASCI verification and validation plans—content and format: Version 2. SAND2000-3101, Sandia National Laboratories, Albuquerque, NM, 2001. · doi:10.2172/750305
- Porter JL. A summary/overview of selected computational fluid dynamics (CFD) code validation/calibration activities. AIAA Paper No. 96-2053, 1996. · doi:10.2514/6.1996-2053
- Rai, 1996, A general framework for the analysis of uncertainty and variability in risk assessment, Hum Ecol Risk Assess, 2, 972, 10.1080/10807039609383658 · doi:10.1080/10807039609383658
- Reed, 1998, Computational fluid dynamics validation issues in transition modeling, AIAA J, 36, 742, 10.2514/2.432 · doi:10.2514/2.432
- Richardson, 1927, The deferred approach to the limit, Trans R Soc London, Ser A: Math Phys Sci, 226, 299, 10.1098/rsta.1927.0008 · DOI · Paper page
- Rizzi, 1998, Toward establishing credibility in computational fluid dynamics simulations, AIAA J, 36, 668, 10.2514/2.442 · doi:10.2514/2.442
- Roache, 1990, Need for control of numerical accuracy, J Spacecraft Rockets, 27, 98, 10.2514/3.26113 · doi:10.2514/3.26113
- Roache, 1994, Perspective, J Fluids Eng, 116, 405, 10.1115/1.2910291 · DOI · Paper page
- Roache, 1998, Verification of codes and calculations, AIAA J, 36, 696, 10.2514/2.457 · DOI · Paper page
- Roache, 1986, Editorial policy statement on the control of numerical accuracy, J Fluids Eng, 108, 2, 10.1115/1.3242537 · DOI · Paper page
- Roache, 1993, Completed Richardson extrapolation, Commun Numer Methods Eng, 9, 365, 10.1002/cnm.1640090502 · doi:10.1002/cnm.1640090502
- Roache, 1990, Experience with benchmark test cases for groundwater flow, FED-vol. 93, 49
- Rowe, 1994, Understanding uncertainty, Risk Anal, 14, 743, 10.1111/j.1539-6924.1994.tb00284.x · DOI
- Roy, 2001, Assessment of one- and two-equation turbulence models for hypersonic flows, J Spacecraft Rockets, 38, 699, 10.2514/2.3755 · DOI
- Roy CJ, McWherter-Payne MA, Oberkampf WL. Verification and validation for laminar hypersonic flowfields. AIAA2000-2550, 2000. · doi:10.2514/6.2000-2550
- Salari K, Knupp P. Code verification by the method of manufactured solutions. SAND2000-1444, Sandia National Labs, Albuquerque, NM, 2000. · DOI · Paper page
- Saltelli, 1997, Guest editorial, Reliability Eng System Saf, 57, 1, 10.1016/S0951-8320(97)00022-7 · DOI
- Sanders, 2000, Ensemble simulations of explosive cyclogenesis at ranges of 2–5 days, Mon Weather Rev, 128, 2920, 10.1175/1520-0493(2000)128<2920:ESOECA>2.0.CO;2 · DOI
- Sargent RG. An expository on verification and validation of simulation models. 1985 Winter Simulation Conference, Sacramento, CA, 1985. p. 15–22. · doi:10.1145/21850.253058
- Sargent RG. Validation of mathematical models. Symposium on Validation of Geosphere Flow and Transport Models, Stockholm, Sweden, 1990. p. 571–9.
- Sargent RG. Verifying and validating simulation models. 1996 Winter Simulation Conference, Coronado, CA, 1996. p. 55–64. · doi:10.1145/256562.256572
- Schlesinger, 1979, Terminology for model credibility, Simulation, 32, 103, 10.1177/003754977903200304 · DOI · Paper page
- Schreiber, 1983, Driven cavity flows by efficient numerical techniques, J Comput Phys, 49, 310, 10.1016/0021-9991(83)90129-8 · DOI · Paper page
- Serrano, 1995, Analytical solutions of the nonlinear groundwater flow equation in unconfined aquifers and the effect of heterogeneity, Water Resources Research, 31, 2733, 10.1029/95WR02038 · doi:10.1029/95wr02038
- Settles GS, Dodson LJ. Hypersonic shock/boundary-layer interaction database. NASA, Contractor Rept. 177577, 1991. · doi:10.2514/6.1991-1763
- Settles, 1994, Supersonic and hypersonic shock/boundary-layer interaction database, AIAA J, 32, 1377, 10.2514/3.12205 · doi:10.2514/3.12205
- Sheng, 1993, Model validation, Reliability Eng System Saf, 42, 247, 10.1016/0951-8320(93)90092-D · doi:10.1016/0951-8320(93)90092-d
- Shih, 1985, A procedure to debug computer-programs, Int J Numer Methods Eng, 21, 1027, 10.1002/nme.1620210605 · doi:10.1002/nme.1620210605
- Shih, 1989, Effects of grid staggering on numerical schemes, Int J Numer Methods Fluids, 9, 193, 10.1002/fld.1650090206 · doi:10.1002/fld.1650090206
- Shimazaki K, Himeno Y, Baba N. Quantification of uncertainty in computational fluid dynamics, FED-vol. 158, New York: The American Society of Mechanical Engineers, 1993.
200 of 237 shown
Cited by
Blocken, B. (2015) · Building and Environment · doi:10.1016/j.buildenv.2015.02.015 · Cited by 1,163
(2016) · Systems Engineering for Commercial Aircraft · doi:10.4324/9781315611716-18 · Cited by 804
Review of computational fluid dynamics for wind turbine wake aerodynamics
Sanderse, B., van der Pijl, S. P., & Koren, B. (2011) · Wind Energy · doi:10.1002/we.458 · Cited by 594
Hazards, safety and knowledge gaps on hydrogen transmission via natural gas grid: a critical review
Messaoudani, Z. L., Rigas, F., Binti Hamid, M. D., & Che Hassan, C. R. (2016) · International Journal of Hydrogen Energy · doi:10.1016/j.ijhydene.2016.07.171 · Cited by 226
Physics of E × B discharges relevant to plasma propulsion and similar technologies
Kaganovich, I. D., Smolyakov, A., Raitses, Y., Ahedo, E., Mikellides, I. G., Jorns, B., Taccogna, F., Gueroult, R., Tsikata, S., Bourdon, A., et al. (2020) · Physics of Plasmas · doi:10.1063/5.0010135 · Cited by 202
Metadata
- Authors
- Oberkampf, W. L., & Trucano, T. G.
- Venue
- Progress in Aerospace Sciences
- Publisher
- Elsevier BV
- Published
- 2002-04
- Volume
- 38
- Issue
- 3
- Pages
- 209-272
- ISSN
- 0376-0421 (ISSN-L)
- OpenAlex
- W2135014481
- Cited by
- 1,150
- References
- 0
- FWCI
- 21.52
- Type
- journal article
- Language
- en
- Open access
- closed
- Licence
- www.elsevier.com/tdm/userlicense/1.0/ (tdm)
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Verification and validation in computational fluid dynamics. https://app.cochat.ai/papers/10.1016/s0376-0421(02)00005-2
- The paper
- Oberkampf, W. L., & Trucano, T. G. (2002). Verification and validation in computational fluid dynamics. Progress in Aerospace Sciences. https://doi.org/10.1016/s0376-0421(02)00005-2
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.