Solution Verification

Category: Analysis | Integrated 2026-04-06
CAE visualization for solution verification theory - technical simulation diagram
Solution Verification

Solution Verification: Theoretical Foundations

Overview

πŸ§‘β€πŸŽ“

Professor! Today's topic is Solution Verification, right? What exactly is it?


πŸŽ“

It is the estimation of discretization error for a specific problem. Uncertainty quantification using Richardson extrapolation and GCI.




Governing Equations




$$ \hat{f}_h = f_h + \frac{f_1 - f_2}{r^p - 1} $$
$$ \text{GCI}_{fine} = \frac{F_s|\varepsilon_{12}|}{r_{12}^p - 1} $$




Discretization Methods

πŸ§‘β€πŸŽ“

How do you actually solve this equation on a computer?


πŸŽ“

We use spatial discretization via the Finite Element Method (FEM). We assemble the element stiffness matrices and construct the global stiffness equation.


πŸŽ“

We perform transformation to the weak form (variational form) and use formulation via the Galerkin method using test functions and shape functions. The choice of element type (low-order elements vs. high-order elements, full integration vs. reduced integration) directly affects the trade-off between solution accuracy and computational cost.




Matrix Solution Algorithms

πŸ§‘β€πŸŽ“

What exactly are matrix solution algorithms?


πŸŽ“

We solve the simultaneous equations using direct methods (LU decomposition, Cholesky decomposition) or iterative methods (CG method, GMRES method). For large-scale problems, preconditioned iterative methods are effective.



Solution MethodClassificationMemory UsageApplicable Scale
LU decompositionDirect MethodO(nΒ²)Small to Medium Scale
Cholesky decompositionDirect Method (Symmetric Positive Definite)O(nΒ²)Small to Medium Scale
PCG MethodIterative MethodO(n)Large Scale
GMRES methodIterative MethodO(nΒ·m)Large Scale / Non-symmetric
AMG PreconditionerPreprocessingO(n)Very Large Scale
πŸ§‘β€πŸŽ“

So, if you cut corners in the finite element method part, you'll pay for it later. I'll keep that in mind!


Implementation in Commercial Tools

πŸ§‘β€πŸŽ“

So, what software can be used to perform Solution Verification?


Tool NameDeveloper/Current StatusMain File Formats
MSC Nastran / NX NastranMSC Nastran (Hexagon), NX Nastran (Siemens Digital Industries Software).bdf, .dat, .f06, .op2, .pch
Abaqus FEA (SIMULIA)Dassault Systèmes SIMULIA.inp, .odb, .cae, .sta, .msg
Ansys Mechanical (formerly ANSYS Structural)Ansys Inc..cdb, .rst, .db, .ans, .mac
Ansys FluentAnsys Inc..cas, .dat, .msh, .jou
Simcenter STAR-CCM+Siemens Digital Industries Software.sim, .java, .csv
COMSOL MultiphysicsCOMSOL AB.mph
OpenFOAMOpen Source (OpenCFD/ESI, OpenFOAM Foundation)Dictionary files (blockMeshDict, etc.), .foam

Vendor Lineage and Product Integration History

πŸ§‘β€πŸŽ“

Do the origins of each software have some dramatic stories?



MSC Nastran / NX Nastran

πŸ§‘β€πŸŽ“

Next is about MSC Nastran. What's the story?


πŸŽ“

Developed in the 1960s as NASA Structural Analysis (NASTRAN). Commercialized by MSC Software, later UGS (now Siemens) derived NX Nastran. MSC was acquired by Hexagon AB in 2017.

Current Affiliation: MSC Nastran (Hexagon), NX Nastran (Siemens Digital Industries Software)



Abaqus FEA (SIMULIA)

πŸ§‘β€πŸŽ“

What exactly is Abaqus FEA?


πŸŽ“

Developed in 1978 by HKS (Hibbitt, Karlsson & Sorensen). Acquired by Dassault Systèmes in 2005 and integrated into the SIMULIA brand.

Current Affiliation: Dassault Systèmes SIMULIA


πŸ§‘β€πŸŽ“

Wait, wait, structural analysis... so can it also be used for cases like this?



Ansys Mechanical (formerly ANSYS Structural)

πŸ§‘β€πŸŽ“

Tell me about "Ansys Mechanical"!


πŸŽ“

Developed in 1970 by Swanson Analysis Systems Inc. (SASI). Based on APDL (Ansys Parametric Design Language).

Current Affiliation: Ansys Inc.


πŸ§‘β€πŸŽ“

Wow, the structural analysis talk is super interesting! Tell me more.


File Formats and Interoperability

πŸ§‘β€πŸŽ“

Are there any points to note when transferring data between different software?


FormatExtensionTypeOverview
STEP.stp/.step3D CAD GeometryUniversal CAD geometry exchange format. Widely used for data transfer between CAD and CAE software.
IGES.iges/.igs3D CAD GeometryOlder standard for geometry exchange. Gradually being replaced by STEP.
Nastran Format.bdf/.datFEM ModelNative Nastran format. Defines elements, properties, boundary conditions, and loads.
Abaqus Input.inpFEM ModelNative Abaqus format. Contains model definition and analysis setup.
VTK/ParaView.vtk/.vtuPost-processing DataUniversal visualization format for CFD and FEA results. Multi-software compatible.
Ensight.casePost-processing DataFormat for time-series post-processing. Supports transient analysis data.
Related Simulators

Experience the theory through interactive simulators in this field

All Simulators

Related fields

Structural AnalysisFluid AnalysisThermal Analysis
Rate this article
Thank you for your feedback!
Helpful
More details
Report error
Helpful
0
More details
0
Report error
0
Written by NovaSolver Contributors
Anonymous Engineers & AI β€” Sitemap
About the Authors