×

zbMATH — the first resource for mathematics

Code verification of boundary conditions for compressible and incompressible computational fluid dynamics codes. (English) Zbl 1390.76005
Summary: To establish confidence in the code, a rigorous assessment of boundary condition implementation is necessary. In this work, techniques are presented for performing code verification of boundary conditions commonly used in compressible and incompressible computational fluid dynamics (CFD) codes. Using a compressible CFD code, this study assesses the subsonic inflow (isentropic and fixed-mass), subsonic outflow, supersonic outflow, no-slip wall (adiabatic and isothermal), and inviscid slip-wall. A novel approach is introduced to determine manufactured solutions for boundary condition verification when the velocity-field is constrained to be divergence-free during the simulation in an incompressible CFD code. The use of simplified curved surfaces is proposed for easier generation of manufactured solutions during the verification of certain boundary conditions involving many constraints. To perform rigorous code verification, general grids with mixed cell types at the verified boundary are used. It is found that the use of planar boundaries or only hexahedral cells at the verified boundary can mask sources of errors in the boundary condition implementation.
MSC:
76-04 Software, source code, etc. for problems pertaining to fluid mechanics
76G25 General aerodynamics and subsonic flows
Software:
FUN3D; Premo
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Roy, C. J., Review of code and solution verification procedures for computational simulation, J Comput Phys, 205, 1, 131-156, (2005) · Zbl 1072.65118
[2] Roache, P. J.; Steinberg, S., Symbolic manipulation and computational fluid dynamics, AIAA J, 22, 10, 1390-1394, (1984) · Zbl 0547.76007
[3] Knupp, P.; Salari, K., Verification of computer codes in computational science and engineering, (2003), Chapman & Hall/CRC · Zbl 1025.68022
[4] Roache, P. J., Fundamentals of verification and validation, (2009), Hermosa Publishers Albuquerque, NM
[5] Oberkampf, W. L.; Roy, C. J., Verification and validation in scientific computing, (2010), Cambridge University Press Cambridge, UK · Zbl 1211.68499
[6] 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)
[7] Smith, T.; Ober, C.; Lorber, A., SIERRA/premo - A new general purpose compressible flow simulation code, In: 32nd AIAA Fluid Dynamics Conference and Exhibit, (2002), American Institute of Aeronautics and Astronautics
[8] Veluri, S. P.; Roy, C. J.; Luke, E. A., Comprehensive code verification techniques for finite volume CFD codes, Comput Fluids, 70, 0, 59-72, (2012) · Zbl 1365.76174
[9] Luke EA, Tong X-L, Wu J, Tang L, Cinnella P. CHEM: A chemically reacting flow solver for generalized grids. 2003. URL http://www.tetraresearch.com/locichem/about-locichem/ (accessed 18-12-15).
[10] Choudhary, A.; Roy, C. J.; Luke, E. A.; Veluri, S. P., Issues in verifying boundary conditions for 3D unstructured CFD codes, In: 20th AIAA Computational Fluid Dynamics Conference, (2011), American Institute of Aeronautics and Astronautics
[11] Folkner, D.; Katz, A.; Sankaran, V., Design and verification methodology of boundary conditions for finite volume schemes, Comput Fluids, 96, 264-275, (2014) · Zbl 1390.65090
[12] Pelletier D, Roache PJ. Verification and Validation of Computational Heat Transfer. John Wiley & Sons Inc.; 2000 (Chap. 13) p. 417-442. doi:1002/9780470172599.ch13.
[13] Pelletier, D., Verification, validation, and uncertainty in computational fluids dynamics, Can J Civ Eng, 37, 7, 1003-1013, (2010)
[14] 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
[15] Eça, L.; Hoekstra, M.; Hay, A.; Pelletier, D., A manufactured solution for a two-dimensional steady wall-bounded incompressible turbulent flow, Int J Comput Fluid Dyn, 21, 3-4, 175-188, (2007) · Zbl 1184.76776
[16] Eça, L.; Hoekstra, M.; Vaz, G., Manufactured solutions for steady-flow Reynolds-averaged Navier-Stokes solvers, Int J Comput Fluid Dyn, 26, 5, 313-332, (2012)
[17] Hirsch, C., Numerical computation of internal and external flows: computational methods for inviscid and viscous flows, (1990), John Wiley & Sons Inc · Zbl 0742.76001
[18] Thompson, K. W., Time dependent boundary conditions for hyperbolic systems, J Comput Phys, 68, 1, 1-24, (1987) · Zbl 0619.76089
[19] Thompson, K. W., Time-dependent boundary conditions for hyperbolic systems, ii, J Comput Phys, 89, 2, 439-461, (1990) · Zbl 0701.76070
[20] Poinsot, T.; Lele, S., Boundary conditions for direct simulations of compressible viscous flows, J Comput Phys, 101, 1, 104-129, (1992) · Zbl 0766.76084
[21] Yee, H. C., Numerical approximation of boundary conditions with applications to inviscid equations of gas dynamics, Report NASA-TM-81265, A-8480, (1981), NASA Ames Research Center, URL https://ntrs.nasa.gov/?R=19810011307
[22] Yee, H. C.; Beam, R. M.; Warming, R. F., Boundary approximations for implicit schemes for one-dimensional inviscid equations of gasdynamics, AIAA J, 20, 9, 1203-1211, (1982) · Zbl 0496.76065
[23] Carlson, J.-R., Inflow/outflow boundary conditions with application to FUN3D, Technical Report NASA/TM; 2011-217181, (2011), Langley Research Center
[24] Luke, E. A.; Tong, X.-L.; Wu, J.; Cinnella, P.; Chamberlain, R., CHEM 3.2: A finite-rate viscous chemistry solver - the user guide, Report, (2010), Mississippi State University
[25] Pulliam, T. H., Notes on solution methods in computational fluid dynamics, Report, (1986), VKI Fluid Mechanics Lecture Series · Zbl 0619.76095
[26] Grasso, F.; Meola, C., Euler and Navier-Stokes equations for compressible flows: finite-volume methods, 235-237, (1996), Academic Press London, UK
[27] Phillips, T., Residual-based discretization error estimation for computational fluid dynamics, (2014), Virginia Tech, Dissertation
[28] Luke, E. A.; George, T., Loci: A rule-based framework for parallel multi-disciplinary simulation synthesis, J Funct Program, 15, 3, 477-502, (2005) · Zbl 1096.68161
[29] Roy, C.; Tendean, E.; Veluri, S.; Rifki, R.; Luke, E.; Hebert, S., Verification of RANS turbulence models in loci-CHEM using the method of manufactured solutions, 20th AIAA Computational Fluid Dynamics Conference, (2007), American Institute of Aeronautics and Astronautics
[30] Hebert, S.; Luke, E., Honey, I shrunk the grids! A new approach to CFD verification, 43rd AIAA Aerospace Sciences Meeting and Exhibit, (2005), American Institute of Aeronautics and Astronautics
[31] Veluri, S. P., Code verification and numerical accuracy assessment for finite volume CFD codes, (2010), Virginia Tech, Dissertation
[32] MFIX - Multiphase Flow with Interphase eXchanges. 2010. URL https://mfix.netl.doe.gov/ (accessed 18-12-15).
[33] Benyahia, S.; Syamlal, M.; O’Brien, T., Summary of MFIX equations 2012-1, Tech Report, (2012), National Energy Technology Laboratory
[34] Syamlal, M.; Rogers, W.; O’Brien, T., MFIX documentation: theory guide, Tech Report DOE/METC-95/1013, NTIS/DE95000031, (1993), National Energy Technology Laboratory
[35] Choudhary, A.; Roy, C. J.; Dietiker, J.-F.; Shahnam, M.; Garg, R., Code verification for multiphase flows using the method of manufactured solutions, Proceedings of the ASME 2014 4th Joint US-European Fluids Engineering Division Summer Meeting, 1C, (2014), ASME
[36] Thomas, J. L.; Diskin, B.; Rumsey, C. L., Towards verification of unstructured-grid solvers, AIAA J, 46, 12, 3070-3079, (2008)
[37] Patankar, S., Numerical heat transfer and fluid flow. hemisphere series on computational methods in mechanics and thermal science, (1980), CRC Press New York, USA
[38] Syamlal, M., MFIX documentation: numerical technique, Tech Report DOE/MC31346-5824, NTIS/DE98002029, (1998), National Energy Technology Laboratory
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.