Verification of the Loci-CHEM CFD Code using the Method of Manufactured Solutions

Loci CHEM is a Computational Fluid Dynamics (CFD) code developed using the Loci Framework that can simulate three-dimensional flows of chemically reacting mixtures of thermally perfect gases. It is a library of Loci rules that consists of reusable rules that can be dynamically reconfigured to solve a variety of problems. The present study involves the verification of Euler and Navier-Stokes equations and their associated sub-models in LociCHEM on different mesh types using the Method of Manufactured Solutions (MMS). MMS is the most general approach for ensuring that there are no mistakes (i.e. bugs) in the computer code and that the algorithms are consistent and convergent. The different meshes include both 2D and 3D meshes. The observed order of accuracy is calculated and compared with the formal order of accuracy of the chosen numerical method. The code is verified when the observed order of accuracy matches the formal order in the limit as the mesh is refined.

[1]  M. Underwood,et al.  WIND 2.0 - Progress on an applications-oriented CFD code , 1999 .

[2]  Christopher J. Roy,et al.  Review of code and solution verification procedures for computational simulation , 2005 .

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

[4]  Robert Bush,et al.  A three dimensional zonal Navier-Stokes code for subsonic through hypersonic propulsion flowfields , 1988 .

[5]  D. Wilcox.  Turbulence modeling for CFD , 1993 .

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

[7]  Robert Tomaro,et al.  The defining methods of Cobalt-60 - A parallel, implicit, unstructured Euler/Navier-Stokes flow solver , 1999 .

[8]  Edward A. Luke,et al.  Loci: A Deductive Framework for Graph-Based Algorithms , 1999, ISCOPE.

[9]  William L. Oberkampf,et al.  Issues in Computational Fluid Dynamics Code Verification and Validation , 1997 .

[10]  Christopher J. Roy,et al.  Verification of Euler/Navier–Stokes codes using the method of manufactured solutions , 2004 .

[11]  G. D. Power,et al.  WIND: The Production Flow Solver of the NPARC Alliance , 1998 .

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

[13]  Edward A. Luke,et al.  Honey, I Shrunk the Grids! A New Approach to CFD Verification , 2005 .

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

[15]  Dominique Pelletier,et al.  Verification and validation of impinging round jet simulations using an adaptive FEM , 2004 .

[16]  C. Nelson,et al.  CHSSI Project CFD-7: The NPARC Alliance Flow Simulation System , 2001 .

[17]  Patrick Knupp,et al.  Code Verification by the Method of Manufactured Solutions , 2000 .

[18]  Alfred Abraham Lorber,et al.  SIERRA/Premo-A New General Purpose Compressible Flow Simulation Code , 2002 .

[19]  Patrick J. Roache,et al.  Symbolic manipulation and computational fluid dynamics , 1983 .