Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Engineering with Computers
Erschienen in: Engineering with Computers 4/2013

01.10.2013 | Original Article

MASA : a library for verification using manufactured and analytical solutions

verfasst von: Nicholas Malaya, Kemelli C. Estacio-Hiroms, Roy H. Stogner, Karl W. Schulz, Paul T. Bauman, Graham F. Carey

Erschienen in: Engineering with Computers | Ausgabe 4/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper we introduce the Manufactured Analytical Solution Abstraction ( MASA ) library for applying the method of manufactured solutions to the verification of software used for solving a large class of problems stemming from numerical methods in mathematical physics including nonlinear equations, systems of algebraic equations, and ordinary and partial differential equations. We discuss the process of scientific software verification, manufactured solution generation using symbolic manipulation with computer algebra systems such as Maple™ or SymPy, and automatic differentiation for forcing function evaluation. We discuss a hierarchic methodology that can be used to alleviate the combinatorial complexity in generating symbolic manufactured solutions for systems of equations based on complex physics. Finally, we detail the essential features and examples of the Application Programming Interface behind MASA , an open source library designed to act as a central repository for manufactured and analytical solutions over a diverse range of problems.
Vorheriger Artikel CAD model repair using knowledge-guided NURBS
Nächster Artikel Anisotropic metrics for finite element meshes using a posteriori error estimates: Poisson and Stokes equations

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
2
The workstation used in this work was a 6-core 3.3 GHz i7 Intel processor with 12 GB RAM running Ubuntu Linux.
 
3
https://​red.​ices.​utexas.​edu/​projects/​software. Please note that the server certification fingerprint requires a modern web browser.
 
Literatur
1.
2.
3.
Babuska I, Oden JT (2004) Verification and validation in computational engineering and science: basic concepts. Comput Methods Appl Mech Eng 193(36–38):4057–4066MathSciNetCrossRefMATH
4.
Bond RB, Ober CC, Knupp PM, Bova SW (2007) Manufactured solution for computational fluid dynamics boundary condition verification. AIAA J 45(9):2224–2236CrossRef
5.
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–188CrossRefMATH
6.
Eça L, Hoekstra M, Hay A, Pelletier D (2007) Verification of RANS solvers with manufactured solutions. Eng Comput 23(4):253–270CrossRef
7.
Ellis JR, Hall CD (2009) Model development and code verification for simulation of electrodynamic tether system. J Guid Control Dyn 32(6):1713–1722CrossRef
8.
Fike JA, Alonso JJ (2011) The development of hyper-dual numbers for exact second-derivative calculations. In: AIAA paper 2011-886, 49th AIAA Aerospace Sciences Meeting
9.
10.
11.
Griewank A (1989) On automatic differentiation. In: In mathematical programming: recent developments and applications. Kluwer Academic Publishers, The Nethjerlands, pp 83–108
12.
Kernighan BW, Pike R (1999) The Practice of Programming (Addison-Wesley Professional Computing Series). Addison-Wesley Professional, Boston
13.
Knupp P, Salari K (2003) Verification of computer codes in computational science and engineering. Discrete mathematics and its applications. Chapman & Hall/CRC, London
14.
Long K, Kirby R, Waanders BVB (2010) Unified embedded parallel finite element computations via software-based frechet differentiation. SIAM J Sci Comput 32(6):3323–3351MathSciNetCrossRefMATH
15.
McClarren RG, Lowrie RB (2008) Manufactured solutions for the P-1 radiation-hydrodynamics equations. J Quant Spectrosc Radiat Transf 109(15):2590–2602CrossRef
16.
Oberkampf WL, Roy CJ (2010) Verification and validation in scientific computing. Cambridge University Press, CambridgeCrossRefMATH
17.
Oberkampf WL, Trucano TG (2002) Verification and validation in computational fluid dynamics. Prog Aerosp Sci 38(3):209–272CrossRef
18.
Oberkampf WL, Trucano TG (2008) Verification and validation benchmarks. Nucl Eng Des 238(3):716–743CrossRef
19.
Oden JT, Belytschko T, Fish J, Hughes TJ, Johnson C, Keyes D, Laub A, Petzold L, Srolovitz D, Yip S (2006) Revolutionizing engineering science through simulation. Tech rep, National Science Foundation Blue Ribbon Panel on Simulation-Based Engineering Science (SBES)
20.
Oliver TA, Estacio-Hiroms 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
21.
Pelletier D, Turgeon E, Tremblay D (2004) Verification and validation of impinging round jet simulations using an adaptive FEM. Int J Numer Methods Fluids 44(7):737–763CrossRefMATH
22.
Powers JM, Aslam TD (2006) Exact solution for multidimensional compressible reactive flow for verifying numerical algorithms. AIAA J 45:337–344CrossRef
23.
Prudencio E, Schulz KW (2012) The parallel C++ statistical library QUESO: Quantification of uncertainty for estimation, simulation and optimization. In: Euro-Par 2011: Parallel Processing Workshops, Lecture Notes in Computer Science, vol 7155. Springer, Berlin, Heidelberg, pp 398–407. http://​dx.​doi.​org/​10.​1007/​978-3-642-29737-3_​44
24.
Roache PJ (1998) Verification and validation in computational science and engineering. Hermosa Publishers, Socorro
25.
Roache PJ (2002) Code verification by the method of manufactured solutions. J Fluids Eng Transact ASME 124(1):4–10CrossRef
26.
Roy CJ (2005) Review of code and solution verification procedures for computational simulation. J Comput Phys 205(1):131–156CrossRefMATH
27.
Roy CJ, Smith TM, Ober CC (2002) Verification of a compressible CFD code using the method of manufactured solutions. In: 32nd AIAA Fluid Dynamics Conference and Exhibit, AIAA 2002–3110
28.
Roy CJ, Tendean E, Veluri SP, Rifki R, Hebert S, Luke EA (2007) Verification of rans turbulence models in Loci-CHEM using the method of manufactured solutions. In: 18th AIAA Computational Fluid Dynamics Conference, AIAA 2007–4203
30.
Roy CJ, Nelson CC, Smith TM, Ober CC (2004) Verification of Euler/Navier–Stokes codes using the method of manufactured solutions. Int J Numer Meth Fluids 44(6):599–620CrossRefMATH
30.
Salari K, Knupp P (2000) Code verification by the method of manufactured solutions. Tech Rep SAND2000 - 1444, Sandia National Laboratories
31.
Shih TM (1985) A procedure to debug computer-programs. Int J Numer Meth Fluids 21(6):1027–1037CrossRefMATH
32.
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–354CrossRef
33.
34.
Sutherland W (1893) The viscosity of gases and molecular force. Phil Mag 5(36):507–531CrossRef
35.
Tremblay D, Etienne S, Pelletier D (2006) Code Verification and the Method of Manufactured Solutions for Fluid-Structure Interaction Problems. In: 36th AIAA Fluid Dynamics Confernce, AIAA 2006–3218, pp 882–892
Metadaten
Titel
MASA : a library for verification using manufactured and analytical solutions
verfasst von
Nicholas Malaya
Kemelli C. Estacio-Hiroms
Roy H. Stogner
Karl W. Schulz
Paul T. Bauman
Graham F. Carey
Publikationsdatum
01.10.2013
Verlag
Springer London
Erschienen in
Engineering with Computers / Ausgabe 4/2013
Print ISSN: 0177-0667
Elektronische ISSN: 1435-5663
DOI
https://doi.org/10.1007/s00366-012-0267-9

Weitere Artikel der Ausgabe 4/2013

Engineering with Computers 4/2013 Zur Ausgabe

Original Article

Three dimensional flow simulation of load rejection of a prototype pump-turbine

Original Article

A usage coverage-based approach for assessing product family design

Original Article

A neuro-simulated annealing approach to the inverse kinematics solution of redundant robotic manipulators

Original Article

Triangular Bézier surface patches in modeling shape of boundary geometry for potential problems in 3D

Original Article

Fatigue-life estimation of functionally graded materials using XFEM

Original Article

Asynchronous evolutionary shape optimization based on high-quality surrogates: application to an air-conditioning duct

Neuer Inhalt

    Bildnachweise