Approche stochastique de l'analyse des erreurs d'arrondi : méthode CESTAC
Validation des résultats des logiciels scientifiques. Approche stochastique

Ajouter à la bibliothèque

AF1471 V1 Article de référence

Approche stochastique de l'analyse des erreurs d'arrondi : méthode CESTAC
Validation des résultats des logiciels scientifiques. Approche stochastique

Auteur(s) : Jean VIGNES, René ALT

Date de publication : 10 octobre 2009 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

2. Approche stochastique de l'analyse des erreurs d'arrondi : méthode CESTAC

Les méthodes présentées précédemment permettent d'estimer des bornes majorantes de la propagation des erreurs d'arrondi ou des intervalles dans lequel se trouve la solution exacte du problème étudié, et d'estimer la stabilité des algorithmes utilisés.

Depuis l'arrivée d'ordinateurs pouvant exécuter des milliards d'opérations à la seconde, les utilisateurs prennent conscience de la nécessité de connaître la fiabilité des résultats fournis par l'ordinateur après plusieurs heures de calculs arithmétiques exécutés avec l'arithmétique en virgule flottante et, souvent, avec des données entachées d'incertitudes. Seule l'approche stochastique est capable de fournir une réponse .

L'idée de base de l'approche stochastique est que, au cours de l'exécution d'un programme de...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Mathématiques"

( 228 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Validation des résultats des logiciels scientifiques - Problème des approximations arithmétiques

Depuis plusieurs décennies maintenant, l’ordinateur effectue un nombre important d’opérations arithmétiqu...

Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

L'objectif de cet article ne vise pas à ce que le lecteur puisse tout connaître sur la méthode B ; ce ser...

Métamodèles et applications industrielles

Pour obtenir une solution numérique en calcul des structures, on utilise généralement une approximation p...

Interpolation, approximation et extrapolation rationnelles

Le but de cet article est de présenter les méthodes d'interpolation et d'approximation par des fonctions ...

Tous les livres blancs
Article Vers un nouveau record des cyberattaques ?
25 septembre 2019
Vers un nouveau record des cyberattaques ?

Année après année, c’est toujours le même constat : peu ou mal protégées, les entreprises et les administrations sont de plus en plus nombreuses à être victimes...

Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous