Verification and validation in scientific computing.
From MaRDI portal
Publication:3057604
zbMATH Open1211.68499MaRDI QIDQ3057604FDOQ3057604
Authors: William L. Oberkampf, Christopher J. Roy 
Publication date: 15 November 2010
Recommendations
Cited In (only showing first 100 items - show all)
- The estimation of truncation error by \(\tau\)-estimation for Chebyshev spectral collocation method
- Reconstructing reality. Models, mathematics, and simulations
- Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics
- Evaluation of physics constrained data-driven methods for turbulence model uncertainty quantification
- Towards interval techniques for model validation
- The dome and the ring: verification of an old mathematical model for the design of a stiffened shell roof
- Bayesian calibration, validation and uncertainty quantification for predictive modelling of tumour growth: a tutorial
- Non-systematic grid refinement procedures for computational fluid dynamics
- A combined ghost-point-forcing / direct-forcing immersed boundary method (IBM) for compressible flow simulations
- Virtual model validation of complex multiscale systems: applications to nonlinear elastostatics
- Verification and validation in computational engineering and science: basic concepts
- Rolling element bearing diagnosis based on probability box theory
- A fast pressure-correction method for incompressible flows over curved walls
- Verification and validation in scientific computing code
- Viscous flow simulations at high Reynolds numbers without wall functions: Is \(y^+ \simeq 1\) enough for the near-wall cells?
- Finite element error estimates on geometrically perturbed domains
- Turbulent flow in rough wall channels: \textit{validation} of RANS models
- Identification of dynamical systems with structured uncertainty
- Robust verification analysis
- A finite volume method with linearisation in time for the solution of advection-reaction-diffusion systems
- Convergence analysis of the direct simulation Monte Carlo based on the physical laws of conservation
- A discontinuous Galerkin scheme for Chimera overset viscous meshes on curved geometries
- Code verification of boundary conditions for compressible and incompressible computational fluid dynamics codes
- Oscillon preheating in full general relativity
- Stochastic analysis of the impact of freestream conditions on the aerodynamics of a rectangular 5:1 cylinder
- Data partition methodology for validation of predictive models
- Review of code and solution verification procedures for computational simulation
- Dealing with uncertainties in engineering problems using only available data
- Computational modeling of the nonlinear stochastic dynamics of horizontal drillstrings
- Validation of a decision support model for investigation and improvement in stroke thrombolysis
- A flux correction for finite-volume discretizations: achieving second-order accuracy on arbitrary polyhedral grids
- Experimental design for parameter estimation in steady-state linear models of metabolic networks
- Chapter 12: Computational results for validation of nominations
- Analysis of stability, verification and chaos with the Kreiss-Yström equations
- Nonintrusive manufactured solutions for non-decomposing ablation in two dimensions
- Source term discretization effects on the steady-state accuracy of finite volume schemes
- Comprehensive code verification techniques for finite volume CFD codes
- Systematic validation of non-equilibrium thermochemical models using Bayesian inference
- Bayesian Probabilistic Numerical Methods
- Mesh quality effects on the accuracy of CFD solutions on unstructured meshes
- Title not available (Why is that?)
- Scientific computing with automatic result verification
- Stable generalized finite element method (SGFEM)
- On code verification of RANS solvers
- External verification analysis: a code-independent verification technique for unsteady PDE codes
- Bayesian estimates of parameter variability in the \(k-\varepsilon\) turbulence model
- Quasi-\textit{a priori} truncation error estimation and higher-order extrapolation for non-linear partial differential equations
- Numerical integration techniques for discontinuous manufactured solutions
- A conservative lattice Boltzmann model for the volume-averaged Navier-Stokes equations based on a novel collision operator
- Verification of fluid-dynamic codes in the presence of shocks and other discontinuities
- How can computer simulations produce new knowledge?
- Consistent lattice Boltzmann methods for the volume averaged Navier-Stokes equations
- The estimation of truncation error by \(\tau \)-estimation revisited
- Verification of variable-density flow solvers using manufactured solutions
- A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing
- A surrogate-assisted uncertainty-aware Bayesian validation framework and its application to coupling free flow and porous-medium flow
- An efficient reconstruction algorithm for diffusion on triangular grids using the nodal discontinuous Galerkin method
- Quasi-a priori truncation error estimation in the DGSEM
- mCRE-based parameter identification from full-field measurements: consistent framework, integrated version, and extension to nonlinear material behaviors
- An efficient adaptive mesh refinement (AMR) algorithm for the discontinuous Galerkin method: applications for the computation of compressible two-phase flows
- Verification of numerical codes for modeling of the flow and isotope separation in gas centrifuges
- The GBS code for tokamak scrape-off layer simulations
- Bayesian calibration, validation, and uncertainty quantification of diffuse interface models of tumor growth
- On the use of the method of manufactured solutions for the verification of CFD codes for the volume-averaged Navier-Stokes equations
- On the solution of the Neumann Poisson problem arising from a compact differencing scheme using the full multi-grid method
- Analytical solutions for the resonance response of Goupillaud-type elastic media using \(z\)-transform methods
- A coupled FEM-MFS method for the vibro-acoustic simulation of laminated poro-elastic shells
- Probabilistic optimization of engineering system with prescribed target design in a reduced parameter space
- Satellite conjunction analysis and the false confidence theorem
- On false accuracy verification of UMUSCL scheme
- Code-verification techniques for the method-of-moments implementation of the combined-field integral equation
- Verification and accuracy check of simulations with pope and ipope
- Numerical issues in gas flow dynamics with hydraulic shocks using high order finite volume WENO schemes
- Solution verification of multiphase flows with one-way coupling
- Relinearization of the error transport equations for arbitrarily high-order error estimates
- On the model building for transmission line cables: a Bayesian approach
- Truncation error estimation in the p-anisotropic discontinuous Galerkin spectral element method
- Composable block solvers for the four-field double porosity/permeability model
- Hydrodynamic confirmation of quasi-similarity theory and its application to weak blast wave motion generated by ultrashort pulse laser breakdown in quiescent air
- Code-verification techniques for hypersonic reacting flows in thermochemical nonequilibrium
- A simple criterion for estimating the grid level of detail for RANS methods
- Verification and validation of delayed detached eddy simulation for cavitating turbulent flow around a hydrofoil and a marine propeller behind the hull
- An abstract framework for choreographic testing
- On the convergence of finite difference methods for PDE under temporal refinement
- A Numerical investigation of crack behavior near a fixed boundary using singular integral equation and finite element methods
- Calibration, validation, and prediction in random simulation models: Gaussian process metamodels and a Bayesian integrated solution
- On pitfalls in accuracy verification using time-dependent problems
- Robust verification of stochastic simulation codes
- Time-accurate flow simulations using a finite-volume based lattice Boltzmann flow solver with dual time stepping scheme
- Development of a high-order continuous Galerkin sharp-interface immersed boundary method and its application to incompressible flow problems
- A general methodology for symbolically generating manufactured solutions satisfying prescribed conditions: application to two-phase flows equations
- Smoothed truncation error in functional error estimation and correction using adjoint methods in an unstructured finite volume solver
- On the influence of modelling choices on combustion in narrow channels
- Representing model discrepancy in bound-to-bound data collaboration
- Subset simulation for probabilistic computer models
- Manufactured solutions for an electromagnetic slot model
- Code-verification techniques for the method-of-moments implementation of the magnetic-field integral equation
- Analytical formulas for verification of aerodynamic force and moment computations
- Opers and Non-Abelian Hodge: Numerical Studies
- Trusting computations: a mechanized proof from partial differential equations to actual program
This page was built for publication: Verification and validation in scientific computing.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3057604)
