zbMATH — the first resource for mathematics

Comprehensive code verification techniques for finite volume CFD codes. (English) Zbl 1365.76174
Summary: A detailed code verification study of a finite volume Computational Fluid Dynamics (CFDs) code using the Method of Manufactured Solutions is presented. The correctness of the code is verified through order of accuracy testing. Systematic mesh refinement required for order of accuracy testing and the way it is achieved particularly for unstructured meshes is discussed. The verification testing is performed on different mesh types which include triangular and quadrilateral elements in 2D and tetrahedral, prismatic, and hexahedral elements in 3D. The sensitivity of the order of accuracy to both mesh quality and mesh topology is examined. Along with the baseline steady-state governing equations, transport models, turbulence models, boundary conditions, and unsteady flows are verified. A new approach for the combined verification of spatial and temporal terms in the governing equations is developed and assessed.

76M12 Finite volume methods applied to problems in fluid mechanics
Full Text: DOI
[1] Roache, P.J., Verification and validation in computational science and engineering, (1998), Hermosa Publishers New Mexico
[2] Roy, C.J., Review of code and solution verification procedures in computational simulation, J comput phys, 205, 1, 131-156, (2005) · Zbl 1072.65118
[3] Oberkampf, W.L.; Roy, C.J., Verification and validation in scientific computing, (2010), Cambridge University Press Cambridge · Zbl 1211.68499
[4] Roache, P.J.; Steinberg, S., Symbolic manipulation and computational fluid dynamics, Aiaa j, 22, 10, 1390-1394, (1984) · Zbl 0547.76007
[5] Roache, P.J., Code verification by the method of manufactured solutions, J fluids eng, 124, 1, 4-10, (2002)
[6] Knupp P, Salari K. In: Rosen KH, editor. Verification of computer codes in computational science and engineering. Boca Raton (FL): Chapman and Hall/CRC; 2003. · Zbl 1025.68022
[7] Roy, C.J.; Nelson, C.C.; Smith, T.M.; Ober, C.C., Verification of Euler/navier – stokes codes using the method of manufactured solutions, Int J numer methods fluids, 44, 6, 599-620, (2004) · Zbl 1067.76580
[8] Smith TM, Ober CC, Lorber AA. SIERRA/Premo – a new general purpose compressible flow simulation code, AIAA paper 2002-3292; 2002.
[9] Nelson CC, Power GD. CHSSI project CFD-7: the NPARC alliance flow simulation system, AIAA paper 2001-0594; 2001.
[10] Hebert S, Luke E. Honey, I Shrunk the grids! a new approach to CFD verification. AIAA paper 2005-0685; 2006.
[11] Luke EA, Tong XL, Wu J, Cinnella P. CHEM 2: a finite-rate viscous chemistry solver – the user guide. Technical report MSSU-COE-ERC-04-07, Mississippi State University; 2004.
[12] Diskin B, Thomas JL. Accuracy analysis for mixed-element finite volume discretization schemes. Technical report TR 2007-8, Hampton (VA): National Institute of Aerospace; 2007.
[13] Thomas, J.L.; Diskin, B.; Rumsey, C.L., Towards verification of unstructured-grid solvers, Aiaa j, 46, 12, 3070-3079, (2008)
[14] Pelletier D, Roache PJ. CFD code verification and the method of the manufactured solutions. In: 10th Annual conference of the CFD society of Canada, Windsor (Ontario, Canada), 2002.
[15] Pelletier, D.; Turgeon, E.; Tremblay, D., Verification and validation of impinging round jet simulations using an adaptive FEM, Int J numer methods fluids, 44, 737-763, (2004) · Zbl 1085.76526
[16] Eca L, Hoekstra M. An introduction to CFD code verification including eddy-viscosity models. In: Wesseling P, Onate E, Periaux J, editors. European conference on computational fluid dynamics, ECCOMAS CFD 2006; 2006.
[17] Eca L, Hoekstra M. Verification of turbulence models with a manufactured solution. In: Wesseling P, Onate E, Periaux J, editors. European conference on computational fluid dynamics, ECCOMAS CFD 2006; 2006. · Zbl 1242.76200
[18] Eca, L.; Hoekstra, M.; Hay, A.; Pelletier, D., On the construction of manufactured solutions for one and two-equation eddy-viscosity models, Int J numer methods fluids, 54, 2, 119-154, (2007) · Zbl 1248.76112
[19] Spalart PR, Allmaras SR. A one-equation turbulence model for aerodynamic flows. AIAA paper 92-0439; 1992.
[20] Menter, F.R., Two-equation eddy-viscosity turbulence models for engineering applications, Aiaa j, 32, 8, 1598-1605, (1994)
[21] Kok JC. Resolving the dependence on free-stream values for the k-turbulence model. NLR-TP-00205; 1999.
[22] Roy CJ, Tendean E, Veluri SP, Rifki R, Luke EA, Hebert S. Verification of RANS turbulence models the Loci-CHEM using the method of manufactured, solutions. AIAA-2007-4203; 2007.
[23] Veluri SP, Roy CJ, Luke EA. Comprehensive code verification for an unstructured finite volume CFD code. AIAA-2010-127; 2010.
[24] Bond, R.B.; Ober, C.C.; Knupp, P.M.; Bova, S.W., Manufactured solution for computational fluid dynamics boundary condition verification, Aiaa j, 45, 9, 2224-2236, (2007)
[25] Luke, E.A.; Cinnella, P., Numerical simulations of mixtures of fluids using upwind algorithms, Comput fluids, 36, December, 1547-1566, (2007) · Zbl 1194.76278
[26] Zhang, Y.; Luke, E., Concurrent composition using loci, Comput sci eng, 11, 3, 27-35, (2009)
[27] Luke, E.; George, T., Loci: a rule-based framework for parallel multidisciplinary simulation synthesis, J funct program, 15, 03, 477-502, (2005) · Zbl 1096.68161
[28] Wilcox, D.C., Turbulence modeling for CFD, (1998), DCW Industries La Canada (CA)
[29] Diskin, B.; Thomas, J.L., Notes on accuracy of finite-volume discretization schemes on irregular grids, Appl numer math, 60, 224-226, (2010) · Zbl 1404.65220
[30] Veluri SP, Roy CJ, Hebert S, Luke EA. Verification of the Loci-CHEM CFD code using the method of manufactured, solutions. AIAA-2008-661; 2008.
[31] Kamm JR, Rider WJ, Brock JS. Combined space and time convergence analyses of a compressible flow algorithm. AIAA-2003-4241; 2003.
[32] Spalart PR, Allmaras SR. A one-equation turbulence model for aerodynamic flows. AIAA-92-0439; 1992.
[33] Luke E. On robust and accurate arbitrary polytope CFD solvers. AIAA paper 2007-3956; 2007.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.