Etude theorique et implementation en ada de la methode cestac

Theoretical approach and ada implementation of cestac method

• Auteur / Autrice : Jean-Marie Chesneaux
• Direction : Jean Vignes
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques communes
• Date : Soutenance en 1988
• Etablissement(s) : Paris 6

Mots clés

Mots clés libres

Sciences et techniques communes

Mathematiques

These

Analyse numerique

Calcul erreur

Approche probabiliste

Erreur arrondi

Propagation erreur

Perturbation

Test student

Ada

Implementation

Cestac

La porte et vignes

Thesis

Numerical analysis

Error analysis

Probabilistic approach

Rounding error

Growth of error

Perturbation

Student test

Ada language

Implementation

Résumé

L'utilisation des ordinateurs dans le calcul scientifique a toujours pose le probleme de la precision des resultats obtenus du fait de la propagation des erreurs d'arrondi. La methode probabiliste cestac, fondee sur une perturbation aleatoire du dernier bit de la mantisse des resultats intermediaires, a toujours donne d'excellents resultats. Dans une premiere partie, une modelisation de cestac permet de justifier sa validite tant pour l'emploi du test de student pour estimer la precision des calculs que pour l'etude du biais entre la moyenne de distribution et le resultat mathematique exact. Dans la deuxieme partie, est presente un environnement complet en langage ada pour l'utilisation pratique de la methode fondee sur les notions de surcharge, de paquetage de parametres generiques