Review of code and solution verification procedures for computational simulation

DOI10.1016/j.jcp.2004.10.036zbMath1072.65118OpenAlexW1996430385MaRDI QIDQ1780672

Publication date: 13 June 2005

Published in: Journal of Computational Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcp.2004.10.036

zbMATH Keywords

convergence numerical examples error estimation Burgers equation Richardson extrapolation mesh refinement computational simulation system of partial differential equations code verification solution verification

Mathematics Subject Classification ID

KdV equations (Korteweg-de Vries equations) (35Q53) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs (65M12) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Complexity and performance of numerical algorithms (65Y20) Algorithms with automatic result verification (65G20)

Related Items

High-order strand grid methods for shock turbulence interaction ⋮ Code-verification techniques for hypersonic reacting flows in thermochemical nonequilibrium ⋮ High aspect ratio grid effects on the accuracy of Navier-Stokes solutions on unstructured meshes ⋮ Comprehensive code verification techniques for finite volume CFD codes ⋮ An iterative near-boundary reconstruction strategy for unstructured finite volume method ⋮ Non-systematic grid refinement procedures for computational fluid dynamics ⋮ On the robustness and performance of entropy stable collocated discontinuous Galerkin methods ⋮ Manufactured solutions for the method-of-moments implementation of the electric-field integral equation ⋮ A high-order spectral algorithm for the numerical simulation of layered media with uniaxial hyperbolic materials ⋮ High-order methods for turbulent flows on three-dimensional strand grids ⋮ Robust verification of stochastic simulation codes ⋮ Structure Functions for Numerical Shocks ⋮ On the convergence of finite difference methods for PDE under temporal refinement ⋮ Comment on ``A procedure for the estimation of the numerical uncertainty of CFD calculations based on grid refinement studies ⋮ Weak second-order splitting schemes for Lagrangian Monte Carlo particle methods for the composition PDF/FDF transport equations ⋮ Design and verification methodology of boundary conditions for finite volume schemes ⋮ Comparative accuracy and performance assessment of the finite point method in compressible flow problems ⋮ Code verification of boundary conditions for compressible and incompressible computational fluid dynamics codes ⋮ Grid refinement study for three dimensional CFD model involving incompressible free surface flow and rotating object ⋮ Verification and validation of a high-order strand grid method for two-dimensional turbulent flows ⋮ Error analysis of a model order reduction framework for financial risk analysis ⋮ Source term discretization effects on the steady-state accuracy of finite volume schemes ⋮ The Guderley problem revisited ⋮ External verification analysis: a code-independent verification technique for unsteady PDE codes ⋮ Quasi-\textit{a priori} truncation error estimation and higher-order extrapolation for non-linear partial differential equations ⋮ A procedure for the estimation of the numerical uncertainty of CFD calculations based on grid refinement studies ⋮ Up to sixth-order accurate A-stable implicit schemes applied to the discontinuous Galerkin discretized Navier-Stokes equations ⋮ Numerical integration techniques for discontinuous manufactured solutions ⋮ Verification of fluid-dynamic codes in the presence of shocks and other discontinuities ⋮ A Brief Overview of the State-of-the-Practice and Current Challenges of Solution Verification ⋮ The non-homogeneous flow of a thixotropic fluid around a sphere ⋮ Isogeometric boundary element method for acoustic scattering by a submarine ⋮ Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity ⋮ Faster and more accurate transport procedures for HZETRN ⋮ Nonintrusive manufactured solutions for non-decomposing ablation in two dimensions ⋮ Prediction of discretization error using the error transport equation ⋮ A PLIC-VOF method suited for adaptive moving grids ⋮ On the verification of CFD solvers of all orders of accuracy on curved wall-bounded domains and for realistic RANS flows ⋮ Hybrid analysis and modeling, eclecticism, and multifidelity computing toward digital twin revolution ⋮ High-order perturbation of surfaces algorithms for the simulation of localized surface plasmon resonances in graphene nanotubes ⋮ Effective high-order energy stable flux reconstruction methods for first-order hyperbolic linear and nonlinear systems ⋮ The estimation of truncation error by \(\tau \)-estimation revisited ⋮ Verification of variable-density flow solvers using manufactured solutions ⋮ Code verification for finite volume multiphase scalar equations using the method of manufactured solutions ⋮ Numerical Simulation of Grating Structures Incorporating Two-Dimensional Materials: A High-Order Perturbation of Surfaces Framework ⋮ Sensitivity analysis of low Reynolds number channel flow using the finite volume method ⋮ Flexible and rigorous numerical modelling of multiphysics processes in fractured porous media using PorePy ⋮ Generalized Richardson extrapolation procedures for estimating grid-independent numerical solutions ⋮ A-posteriori error estimation for the finite point method with applications to compressible flow ⋮ A minimal hyperbolic system for unstable shock waves ⋮ Numerical investigation of a MILD combustion burner: analysis of mixing field, chemical kinetics and turbulence-chemistry interaction ⋮ Nektar++: design and implementation of an implicit, spectral/\(hp\) element, compressible flow solver using a Jacobian-free Newton Krylov approach ⋮ Mesh quality effects on the accuracy of CFD solutions on unstructured meshes ⋮ Numerical implementation of mixing and molecular transport in LES/PDF studies of turbulent reacting flows ⋮ Optimization of the location of multiple discrete heat sources in a ventilated cavity using artificial neural networks and micro genetic algorithm ⋮ Solution verification of multiphase flows with one-way coupling ⋮ Validation challenge workshop ⋮ Multivariate approach to the thermal challenge problem ⋮ A one-dimensional full-range two-phase model to efficiently compute bifurcation diagrams in sub-cooled boiling flows in vertical heated tube ⋮ A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing ⋮ Verification of a fluid-dynamics solver using correlations with linear stability results ⋮ Verification and validation of a direct numerical simulation code ⋮ A least-squares method with direct minimization for the solution of the breakage-coalescence population balance equation ⋮ Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions ⋮ High-order perturbation of surfaces algorithms for the simulation of localized surface plasmon resonances in two dimensions ⋮ Application of Gegenbauer polynomial expansions to mitigate Gibbs phenomenon in Fourier-Bessel series solutions of a dynamic sphere problem ⋮ Efficient monolithic projection method for time-dependent conjugate heat transfer problems ⋮ Verification and validation of the foredrag coefficient for supersonic and hypersonic flow of air over a cone of fineness ratio 3 ⋮ On representing complex configurations as asymptotic geometry ⋮ Use of the method of manufactured solutions for the verification of conjugate heat transfer solvers ⋮ On the generation of exact solutions for evaluating numerical schemes and estimating discretization error ⋮ Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study ⋮ Mesh Quality Effects on the Accuracy of Euler and Navier–Stokes Solutions on Unstructured Meshes ⋮ On the outflow conditions for spectral solution of the viscous blunt-body problem ⋮ Impact of the fourth-order compact difference scheme on computational properties of 3D grids in a nonhydrostatic model ⋮ Generalized Noh self-similar solutions of the compressible Euler equations for hydrocode verification ⋮ Time-property least-squares spectral method for population balance equations ⋮ Numerical scheme for solving the nonuniformly forced cubic and quintic Swift-Hohenberg equations strictly respecting the Lyapunov functional ⋮ An unstructured CVFEM and moving interface algorithm for non‐Newtonian Hele‐Shaw flows in injection molding ⋮ Recent advances on the numerical modelling of turbulent flows ⋮ Transient thermal response with nonlocal radiation of a blast furnace main trough

Uses Software

CGM

Cites Work