Verification of Computer Codes in Computational Science and Engineering

Knupp, Patrick; Salari, Kambiz

doi:10.1201/9781420035421

Cited by 125 publications

(144 citation statements)

References 0 publications

Supporting

Mentioning

138

Contrasting

Unclassified

Order By: Relevance

“…The results show that the model was asymptotically convergent given that the global numerical error was tending to zero as x was reduced. Also, we can say that the first term in the truncation error dominated the higher order terms, given that value for p was shown to be converging [2]. The global numerical error converged by a factor of approximately two during successive grid refinements.…”

Section: Discussionmentioning

confidence: 99%

“…The formal procedure that we will use for model verification was first implemented by Steinberg and Roache [16] and is summarised by Knupp and Salari [2]. The method focuses on order of accuracy.…”

Section: Background Theorymentioning

confidence: 99%

“…The observed order of accuracy for the numerical scheme, p, is calculated using the global numerical error at two grid resolutions x1 and x2, as follows [2];…”

Section: Observed Order Of Accuracymentioning

confidence: 99%

“…In numerical modelling, verification refers to the process by which one demonstrates that a partial differential equation (PDE) code correctly solves its governing equations [2]. This process involves comparison of numerically simulated results with a known analytical (exact) solution to the PDE.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Order verification of a Bridgman furnace front tracking model in steady state

Mooney

McFadden

2014

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

Numerical model verification is a prerequisite to model validation. However, verification can be difficult if an analytical solution is not available for the normally complex problem that the numerical model is setting out to address. This article aims to formally verify a Bridgman furnace solidification front tracking model code in a steady state scenario. To do this an order verification procedure is applied using an established analytical solution from the literature. The model is verified as first order accurate in space for steady state Bridgman solidification. Highlights A Bridgman furnace front tracking model code is verified for a steady-state solution.  An order verification procedure is outlined and demonstrated.  The model is verified as first order accurate in space.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Background Theorymentioning

confidence: 99%

“…The observed order of accuracy for the numerical scheme, p, is calculated using the global numerical error at two grid resolutions x1 and x2, as follows [2];…”

Section: Observed Order Of Accuracymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Order verification of a Bridgman furnace front tracking model in steady state

Mooney

McFadden

2014

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

show abstract

“…[16][17][18][19][20][21][22][23][24][25] Consistent with this importance, a procedure for verifying the conceptual development and numerical implementation of integration algorithms used to determine pF with temperature-dependent delays is now described. This procedure also provides the basis for an alternative approach to the numerical approximation of pF.…”

Section: Verification Of Numerical Proceduresmentioning

confidence: 99%

Effect of delayed link failure on probability of loss of assured safety in temperature-dependent systems with multiple weak and strong links

Helton

Johnson²,

Oberkampf

2009

Reliability Engineering & System Safety

View full text Add to dashboard Cite

Weak link (WL)/strong link (SL) systems constitute important parts of the overall operational design of high consequence systems, with the SL system designed to permit operation of the system only under intended conditions and the WL system designed to prevent the unintended operation of the system under accident conditions. Degradation of the system under accident conditions into a state in which the WLs have not deactivated the system and the SLs have failed in the sense that they are in a configuration that could permit operation of the system is referred to as loss of assured safety. The probability of such degradation conditional on a specific set of accident conditions is referred to as probability of loss of assured safety (PLOAS). Previous work has developed computational procedures for the calculation of PLOAS under fire conditions for a system involving multiple WLs and SLs and with the assumption that a link fails instantly when it reaches its failure temperature. Extensions of these procedures are obtained for systems in which there is a temperature-dependent delay between the time at which a link reaches its failure temperature and the time at which that link actually fails.

show abstract

Analysis of solar‐driven gasification of biochar trickling through an interconnected porous structure

et al. 2014

View full text Add to dashboard Cite

The efficient transfer of high-temperature solar heat to the reaction site is crucial for the yield and selectivity of the solar-driven gasification of biomass. The performance of a gas-solid trickle-bed reactor constructed from a high thermal conductivity porous ceramic packing has been investigated. Beech char particles were used as the model feedstock. A two-dimensional finite-volume model coupling chemical reaction with conduction, convection, and radiation of heat within the packing was developed and tested against measured temperatures and gasification rates. The sensitivity of the gasification rate and reactor temperatures to variations of the packing's pore diameter, porosity, thermal conductivity, and particle loading was numerically studied. A numerical comparison with a moving bed projected a more uniform temperature distribution and higher gasification rates due to the increased heat transfer via combined radiation and conduction through the trickle bed.

show abstract

Verification of Computer Codes in Computational Science and Engineering

Cited by 125 publications

References 0 publications

Order verification of a Bridgman furnace front tracking model in steady state

Order verification of a Bridgman furnace front tracking model in steady state

Effect of delayed link failure on probability of loss of assured safety in temperature-dependent systems with multiple weak and strong links

Analysis of solar‐driven gasification of biochar trickling through an interconnected porous structure

Contact Info

Product

Resources

About