Building PDE codes to be verifiable and validatable

Computing in Science and Engineering

Volumn 6, Issue 5, 2004, Pages 30-38

  Roache, Patrick J ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTATIONAL METHODS; COMPUTER AIDED DESIGN; CONVERGENCE OF NUMERICAL METHODS; GRAVITATION; LEGACY SYSTEMS; LINGUISTICS; MATHEMATICAL MODELS; PARAMETER ESTIMATION; SEMANTICS;

CODE VERIFICATION; GRID CONVERGENCE TESTING; LINGUISTIC SHIFT;

PARTIAL DIFFERENTIAL EQUATIONS;

EID: 4544221547     PISSN: 15219615     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCSE.2004.33     Document Type: Article

References (20)

1. P.J. Roache, Verification and Validation in Computational Science and Engineering, Hermosa Publishers, 1998.
2. P.J. Roache, "Quantification of Uncertainty in Computational Fluid Dynamics," Ann. Rev. Fluid Mechanics, vol. 29, 1997, pp. 123-160.
3. Guide for the Verification and Validation of Computational Fluid Dynamics Simulations, AIM G-077-1998, Am. Inst. Aeronautics and Astronautics, 1998.
4. N. Oreskes, K. Shrader-Frechette, and K. Belitz, "Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences," Science, vol. 263, no. 5147, 1994, pp. 641-646.
5. W.L. Oberkampf and T.G. Trucano, "Verification and Validation in Computational Fluid Dynamics," Progress in Aerospace Sciences, vol. 38, no. 3, 2002, pp. 209-272.
6. P.J. Roache, Error Bars for CFD, AIAA Paper 2003-0408, Am. Inst. Aeronautics and Astronautics, 2003.
7. J.C. Helton et al., "Effect of Alternative Conceptual Models in a Preliminary Performance Assessment for the Waste Isolation Pilot Plant," Nuclear Eng. and Design, vol. 154, 1995, pp. 251-344.
8. P.J. Roache, K. Ghia, and F. White, "Editorial Policy Statement on the Control of Numerical Accuracy," ASME J. Fluids Eng., vol. 108, no. 1, 1986, p. 2.
9. P.J. Roache, "Need for Control of Numerical Accuracy," AIAA J. Spacecraft and Rockets, vol. 27, no. 2, 1990, pp. 98-102.
10. G. Polya, How to Solve It: A New Aspect of Mathematical Method, Princeton Univ. Press, 1957.
11. P. J. Roache, "Code Verification by the Method of Manufactured Solutions," ASME J. Fluids Eng., vol. 114, no. 1, 2002, pp. 4-10.
12. P. Knupp and K. Salari, Verification of Computer Codes in Computational Science and Engineering, CRC Press, 2002.
13. L. Eça and M. Hoekstra, "An Evaluation of Verification Procedures for CFD Algorithms," Proc. 24th Symp. Naval Hydrodynamics, 2002.
14. P.J. Roache, "Recent Contributions to Verification and Validation Methodology," Keynote Address, Minisymposium on Verification and Validation II, Proc. Mondial Congress World Congress on Computational Mechanics V, 2002.
15. J. Cadafalch et al., "Verification of Finite Volume Computations on Steady State Fluid Flow and Heat Transfer," ASME I. Fluids Eng., vol. 124, no. 3, 2003, pp. 11-21.
16. P.J. Roache, "Conservatism of the GCI in Finite Volume Computations on Steady State Fluid Flow and Heat Transfer," ASME J., Fluids Eng., vol. 125, no. 4, 2003, pp. 731-732.
17. M. Ainsworth and J.T. Oden, A Posteriori Error Estimation in Finite Element Analysis, John Wiley & Sons, 2000.
18. D. Pelletier and P.J. Roache, "Verification and Validation of Computational Heat Transfer," Handbook of Numerical Heat Transfer, 2nd ed., W.J. Minowycz, E.M. Sparrow, and J.Y. Murthy, eds., John Wiley & Sons, 2004, Chapter 13.
19. I. Celik and G. Hu, "Single Grid Error Estimation Using Error Transport Equation," submitted to ASME I. Fluids Eng., 2004.
20. R.B. Laughlin, "The Physical Basis of Computability," Computing in Science & Eng., vol. 4, no. 3, 2002, pp. 22-25.