Geodesic
Numerical Verification of Industrial Numerical Codes
Christophe Denis1 ; Sethy Montan1
1 EDF R&D, SINETICS Department, 1, avenue du Général de Gaulle, Clamart, France
ESAIM. Proceedings, Tome 35 (2012), pp. 107-113 Cet article a éte moissonné depuis la source EDP Sciences

Voir la notice de l'article

Several approximations occur during a numerical simulation: physical effects 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-off errors at each arithmetical expression and some mathematical properties are lost. The aim of the numerical verification activity at EDF R is to study the effect of the round-off error propagation on the results of a numerical simulation. It is indeed crucial to perform a numerical verification of industrial codes such as developped at EDF R even more for code running in HPC environments. This paper presents some recent studies around the numerical verification at EDF R
DOI : 10.1051/proc/201235006

Christophe Denis 1 ; Sethy Montan 1

1 EDF R&D, SINETICS Department, 1, avenue du Général de Gaulle, Clamart, France 
@article{EP_2012_35_a6,
     author = {Christophe Denis and Sethy Montan},
     title = {Numerical {Verification} of {Industrial} {Numerical} {Codes}},
     journal = {ESAIM. Proceedings},
     pages = {107--113},
     year = {2012},
     volume = {35},
     doi = {10.1051/proc/201235006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/proc/201235006/}
}
TY  - JOUR
AU  - Christophe Denis
AU  - Sethy Montan
TI  - Numerical Verification of Industrial Numerical Codes
JO  - ESAIM. Proceedings
PY  - 2012
SP  - 107
EP  - 113
VL  - 35
UR  - http://geodesic.mathdoc.fr/articles/10.1051/proc/201235006/
DO  - 10.1051/proc/201235006
LA  - en
ID  - EP_2012_35_a6
ER  - 
%0 Journal Article
%A Christophe Denis
%A Sethy Montan
%T Numerical Verification of Industrial Numerical Codes
%J ESAIM. Proceedings
%D 2012
%P 107-113
%V 35
%U http://geodesic.mathdoc.fr/articles/10.1051/proc/201235006/
%R 10.1051/proc/201235006
%G en
%F EP_2012_35_a6
Christophe Denis; Sethy Montan. Numerical Verification of Industrial Numerical Codes. ESAIM. Proceedings, Tome 35 (2012), pp. 107-113. doi: 10.1051/proc/201235006

Cité par Sources :