Skip to main content
Springer Nature Link
Log in

Code verification for governing equations with arbitrary functions using adjusted method of manufactured solutions

  • Original Article
  • Published:
Engineering with Computers Aims and scope Submit manuscript

Abstract

A new, adjusted approach to code verification using the method of manufactured solutions is presented. It is applicable for the physical problems, represented by mathematical models that include partial differential governing equations, which contain one or more functions that can vary from case to case. For the verification of such codes it has to be presumed that the varying functions are arbitrary and that is why this adjusted method is called the MMS-A. The aim of the new approach is further simplification of the existing methods that can become complex, time consuming and less convenient in general, when used for problems with arbitrary functions. With some additional programming the MMS-A can also be used for verifying codes, in which it is difficult to access the right-hand side of the governing equations (black box codes). In the present article the new method is described in detail and it is compared to the original method of manufactured solutions. It is demonstrated that using the MMS-A, the additional source term can be omitted. The use of the MMS-A is shown through examples that display the effectiveness of the new method.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bond RB, Ober CC, Knupp PM, Bova SW (2007) Manufactured solution for computational fluid dynamics boundary condition verification. AIAA J 45(9):2224–2236

    Article  Google Scholar 

  2. Eça L, Hoekstra M, Hay A, Pelletier D (2007) A manufactured solution for a two-dimensional steady wall-bounded incompressible turbulent flow. Int J Comput Fluid Dyn 21(3–4):175–188

    Article  MATH  Google Scholar 

  3. Knupp P, Salari K (2003) Verification of computer codes in computational science and engineering. Discrete mathematics and its applications. Chapman & Hall, CRC, London

    Google Scholar 

  4. Malaya N (2012) MASA: a library for verification using manufactured and analytical solutions. Eng Comput 28:1–10

    Article  Google Scholar 

  5. Oberkampf WL, Roy CJ (2010) Verification and validation in scientific computing. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  6. Oliver TA, Estacio-Hirmos KC, Malaya N, Carey GF (2012) Manufactured solutions for the Favre-averaged Navier–Stokes equations with eddy viscosity turbulence models. In: 50th AIAA Aerospace Sciences Meeting, AIAA 2012-0080

  7. Pautz SD (2001) Verification of transport codes by the method of manufactured solutions: the ATTILA experience. In: Proceedings ANS international meeting on mathematical methods for nuclear applications, M&C 2001. Salt Lake City, Utah

  8. Powers JM, Aslam TD (2006) Exact solution for multidimensional compressible reactive flow for verifying numerical algorithms. AIAA J 45:337–344

    Article  Google Scholar 

  9. Roache PJ (1998) Chapter 3.6. In: Roache PJ (ed) Verification and validation in computational science and engineering. Hermosa Publishers, Albuquerque, NM

  10. Roache PJ (1999) Chapter 18. In: Roache PJ (ed) Fundamentals of computational fluid dynamics. Hermosa Publishers, Albuquerque, NM

  11. Roache PJ (2002) Code verification by the method of manufactured solutions. J Fluids Eng 124:4–10

    Article  Google Scholar 

  12. Roache PJ (2009) Chapter 3.6. In: Roache PJ (ed) Fundamentals of verification and validation. Hermosa Publishers, Albuquerque, NM

  13. Roy CJ (2005) Review of code and solution verification procedures for computational simulation. J Comput Phys 205(1):131–156

    Article  MATH  Google Scholar 

  14. Salari K, Knupp P (2000) Code verification by the method of manufactured solutions. In: SAND2000-1444. Sandia National Laboratories, Albuquerque, NM

  15. Silva HG, Souza LF, Medeiros MAF (2009) Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions. Int J Numer Meth Fluids 64(3):336–354

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Betnavska cesta 85B, 2000, Maribor, Slovenia

    Špela Brglez

Authors
  1. Špela Brglez
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Špela Brglez.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Brglez, Š. Code verification for governing equations with arbitrary functions using adjusted method of manufactured solutions. Engineering with Computers 30, 669–678 (2014). https://doi.org/10.1007/s00366-013-0315-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00366-013-0315-0

Keywords