Bibliographie & annexes
Présentation
English
RÉSUMÉ
La méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) consiste à évaluer la fiabilité des résultats fournis par l'ordinateur. En effet, celui-ci réalise des calculs utilisant une représentation finie (nombres à virgules flottantes) des nombres réels, alors que ces nombres sont non finis. D'où résultats avec incertitudes, erreurs d'arrondis et risque d'invalidation. Cette méthode permet grâce à un procédé statistique dynamique, de déterminer le nombre de chiffres décimaux significatifs exacts dans les résultats fournis par un programme de calcul scientifique. Cet article décrit le principe de la méthode ainsi que des exemples d'utilisation du logiciel CADNA (logiciel permettant cette validation numérique).
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Jean VIGNES : Professeur émérite de l'université Pierre et Marie Curie
-
René ALT : Professeur émérite de l'université Pierre et Marie Curie
INTRODUCTION
Les chapitres suivants sont consacrés à l'approche stochastique de la propagation des erreurs d'arrondi et de l'influence des incertitudes des données sur les résultats fournis par un programme scientifique.
C'est la seule méthode permettant à chaque ingénieur de répondre à la question posée précédemment qui en substance est : « Quel est le nombre de chiffres décimaux significatifs exacts dans les résultats fournis par un programme de calcul scientifique ? »
Ainsi, la méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) est détaillée au chapitre 2, puis l'arithmétique stochastique est présentée au chapitre 3.
Le chapitre 4 est consacré à la description et à l'utilisation du logiciel CADNA (« Control of Accuracy and Debugging of Numerical Algorithms »). Ce logiciel met en œuvre la méthode CESTAC et l'arithmétique stochastique discrète.
Les chapitres 5 et 6 sont dédiés à l'apport du logiciel CADNA aux diverses méthodes de calcul numérique (directes, itératives et approchées) et à des exemples d'utilisation de ce logiciel. La conclusion constitue le chapitre 7.
Toute l'introduction de ces questions est faite dans le dossier [AF 1 470], la documentation est regroupée dans [Doc. AF 1 470].
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Exemples d'utilisation du logiciel CADNA
English
5. Apport du logiciel CADNA aux diverses méthodes de calcul scientifique
Les méthodes numériques, mises en œuvre dans les programmes de calcul scientifique, sont classées en trois catégories :
-
finies ;
-
itératives ;
-
approchées.
Pour chacune d'entre elles nous allons mettre en évidence les difficultés de leur utilisation et montrer comment ces difficultés peuvent être résolues en utilisant le contrôle de la précision et les concepts de l'arithmétique stochastique discrète, c'est-à-dire en utilisant le logiciel CADNA.
5.1 Méthodes numériques finies
Ces méthodes sont constituées de suites finies et ordonnées d'opérations dépendant de débranchements conditionnels. Lorsqu'elles sont exécutées sur ordinateur, à cause de la propagation des erreurs d'arrondi, deux problèmes se posent à la fois :
-
la fiabilité des résultats (nombre de chiffres décimaux significatifs exacts) ;
-
la fiabilité des débranchements.
Nous illustrons ceci en présentant sur des exemples les résultats obtenus, d'une part, avec l'arithmétique en virgule flottante usuelle, utilisant la norme IEEE 754 et, d'autre part, avec le logiciel CADNA.
Exemple Le premier exemple est le calcul du déterminant de la matrice de Hilbert d'ordre n définie par :
La valeur exacte du déterminant Δ* est donnée par :
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Apport du logiciel CADNA aux diverses méthodes de calcul scientifique
BIBLIOGRAPHIE
-
(1) - BREZINSKI (C.) - Méthodes numériques de base – Analyse numérique. - [AF 1 220] (2006).
-
(2) - LA PORTE (M.), VIGNES (J.) - Algorithmes numériques, analyse et mise en œuvre. - Éds Technip, Paris, vol.1 et 2 (1974 et 1980).
-
(3) - PICHAT (M.), VIGNES (J.) - Ingénierie du contrôle de la précision des calculs sur ordinateur. - Éd. Technip, Paris (1993).
-
(4) - MULLER (J.M.) - L'arithmétique des ordinateurs, - Masson, 1989.
-
(5) - GAO/Imtec-92-26 - Patriot missile Defense. - Software problems led to failure at Dahran Arabia (1992).
-
(6) - RUMP (S.M.) - How reliable are results of computers ? - Jahrbuch Uberliche Mathematik (1983).
-
...
NORMES
-
Floating-point arithmetic - IEEE 754 - 01-08
1.1 Sites web où les logiciels cités sont disponibles
Liste non exhaustive.
HAUT DE PAGE
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
