Verification and validation for marine applications of CFD

This paper discusses Verification and Validation for Computational Fluid Dynamics (CFD) applications. It emphasizes the differences between the mathematical problem of “solving the equations right” (Verification) and the science/engineering activity of “solving the right equations” (Validation). A clear distinction is made between Code Verification (error evaluation) and Solution Verification (error estimation) and procedures based on grid refinement studies are presented and discussed for both activities. The paper presents examples of Code Verification for Reynolds-Averaged Navier–Stokes solvers using the Method of the Manufactured Solutions; Solution Verification exercises including the KVLCC2 tanker at model and full scale Reynolds number and two examples of the application of the American Society of Mechanical Engineers (ASME) V&V 20 Validation procedure. This paper is written to stimulate a conscientious approach to CFD in marine applications.

[1]  P. Roache.  Code Verification by the Method of Manufactured Solutions , 2002 .

[2]  Joel H. Ferziger,et al.  Computational methods for fluid dynamics , 1996 .

[3]  Timothy G. Trucano,et al.  Verification and validation. , 2005 .

[4]  L. Eça,et al.  The numerical friction line , 2008 .

[5]  Guilherme Vaz,et al.  Free-Surface Viscous Flow Computations: Validation of URANS Code FreSCo , 2009 .

[6]  Dominique Pelletier,et al.  Verification of RANS solvers with manufactured solutions , 2007, Engineering with Computers.

[7]  B. P. Leonard,et al.  Simple high-accuracy resolution program for convective modelling of discontinuities , 1988 .

[8]  Christopher J. Roy,et al.  Verification and Validation in Scientific Computing: Planning, management, and implementation issues , 2010 .

[9]  B. Launder,et al.  The numerical computation of turbulent flows , 1990 .

[10]  Luís Eça,et al.  On the characterization of grid density in grid refinement studies for discretization error estimation , 2013 .

[11]  F. Menter.  Two-equation eddy-viscosity turbulence models for engineering applications , 1994 .

[12]  L. Eça,et al.  Evaluation of numerical error estimation based on grid refinement studies with the method of the manufactured solutions , 2009 .

[13]  F. Blottner,et al.  Accurate Navier-Stokes results for the hypersonic flow over a spherical nosetip , 1989 .

[14]  M. Hoekstra,et al.  Numerical simulation of ship stern flows with a space-marching Navier-Stokes method , 1999 .

[15]  Patrick Knupp,et al.  Verification of Computer Codes in Computational Science and Engineering , 2002 .

[16]  M. Vinokur,et al.  On one-dimensional stretching functions for finite-difference calculations. [computational fluid dynamics] , 1983 .

[17]  Luís Eça,et al.  A procedure for the estimation of the numerical uncertainty of CFD calculations based on grid refinement studies , 2014, J. Comput. Phys..

[18]  Suak-Ho Van,et al.  Wind tunnel tests on flow characteristics of the KRISO 3,600 TEU containership and 300K VLCC double-deck ship models , 2003 .

[19]  L Eca,et al.  Combining Accuracy and Effciency with Robustness in Ship Stern Flow Computation , 2001 .

[20]  Vicente Jose Romero.  Comparison of a Pragmatic and Versatile "Real Space" Model Validation Framework against Several Other Frameworks. , 2011 .

[21]  Dominique Pelletier,et al.  On the construction of manufactured solutions for one and two‐equation eddy‐viscosity models , 2007 .

[22]  Luís Eça,et al.  Code Verification, Solution Verification and Validation: An Overview of the 3rd Lisbon Workshop , 2009 .

[23]  D. H. Kim,et al.  Measurement of flows around modern commercial ship models , 2001 .

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

[25]  P. Spalart.  A One-Equation Turbulence Model for Aerodynamic Flows , 1992 .

[26]  Manuel D. Salas,et al.  Some Observations on Grid Convergence , 2013 .

[27]  Luís Eça,et al.  Numerical aspects of including wall roughness effects in the SST k–ω eddy-viscosity turbulence model , 2011 .

[28]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[29]  Christopher J. Roy,et al.  A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing , 2011 .