Skip to Main content Skip to Navigation
Conference papers

Numerical Verification of Industrial Numerical Codes

Abstract : Several approximations occur during a numerical simulation: physical e ects mapy be discarded, continuous functions replaced by discretized ones and real numbers replaced by finite-precision representations. The use of the floating point arithmetic generates round-o errors at each arithmetical expression and some mathematical properties are lost. The aim of the numerical verification activity at EDF R&D is to study the e ect of the round-o error propagation on the results of a numerical simulation. It is indeed crucial to perform a numerical verification of industrial codes such as devel- opped at EDF R&D even more for code running in HPC environments. This paper presents some recent studies around the numerical verification at EDF R&D
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-00765536
Contributor : Séthy Montan <>
Submitted on : Friday, December 14, 2012 - 5:22:08 PM
Last modification on : Thursday, March 21, 2019 - 2:22:08 PM
Document(s) archivé(s) le : Friday, March 15, 2013 - 3:52:28 AM

File

template_cd2.pdf
Files produced by the author(s)

Identifiers

Citation

Christophe Denis, Séthy Montan. Numerical Verification of Industrial Numerical Codes. Congrès National de Mathématiques Appliquées et Industrielles, May 2011, Guidel, France. pp.107-113, ⟨10.1051/proc/201235006⟩. ⟨hal-00765536⟩

Share

Metrics

Record views

260

Files downloads

335