Présentation

Article

1 - QUESTION D'« ARRONDI »

2 - CONSÉQUENCES DE L'ARITHMÉTIQUE DES ORDINATEURS EN CALCUL SCIENTIFIQUE

3 - MÉTHODES D'ESTIMATION DES BORNES DES ERREURS D'ARRONDI

  • 3.1 - Méthode J.H. Wilkinson
  • 3.2 - Arithmétique d'intervalles

Article de référence | Réf : AF1470 v1

Conséquences de l'arithmétique des ordinateurs en calcul scientifique
Validation des résultats des logiciels scientifiques - Problème des approximations arithmétiques

Auteur(s) : Jean VIGNES, René ALT

Date de publication : 10 oct. 2009

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Version en anglais English

RÉSUMÉ

Depuis plusieurs décennies maintenant, l’ordinateur effectue un nombre important d’opérations arithmétiques dans le domaine des sciences et des techniques, ainsi que dans beaucoup de nos activités quotidiennes. Malgré l’aide précieuse apportée, le problème des approximations reste bien réel. En effet, toute valeur numérique ne peut y être représentée qu'avec un nombre fini de chiffres, et doit donc être arrondie, sans compter même les incertitudes dues aux appareils de mesure. Cet article présente tout d’abord l'arithmétique des ordinateurs et ses conséquences en calcul scientifique, pour s’intéresser ensuite aux méthodes d'estimation des bornes de la propagation des erreurs d'arrondi.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

Auteur(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

L'ordinateur est actuellement utilisé dans la quasi totalité des sciences et des techniques, ainsi que dans beaucoup de nos activités quotidiennes. Cependant, il ne faut pas oublier que le but premier de ces machines était de pouvoir faire automatiquement des calculs numériques. Ils sont les successeurs des bouliers et des machines à calculer mécaniques, puis électriques, et sont en cela le résultat de l'association de l'électronique et des techniques de calcul anciennes et bien connues. Ainsi, les tout premiers ordinateurs pouvaient déjà, grâce à la rapidité d'exécution qu'apporte l'électronique, effectuer en un temps raisonnable un nombre important d'opérations arithmétiques.

Mais, sur ordinateur, toute valeur numérique ne peut être représentée qu'avec un nombre fini de chiffres. De ce fait, toute donnée ou résultat fourni par les opérations arithmétiques doit être arrondi, c'est-à-dire remplacé par une valeur proche représentable exactement. Ainsi, au niveau de chaque opération arithmétique, une erreur d'arrondi est générée, certes très faible, mais qui, tout au long des calculs, va se propager en affectant tous les résultats.

De plus, il est fréquent que les données mises en jeu dans le programme de calcul soient issues d'appareils de mesure (capteurs) et se trouvent donc entachées d'incertitudes dues à ces appareils. Il est également indispensable de pouvoir évaluer l'influence de ces incertitudes sur les résultats fournis par l'ordinateur.

Dans le chapitre , l'arithmétique des ordinateurs est présentée et les conséquences qu'elle engendre sont mises en évidence à l'aide d'exemples. Le chapitre est consacré aux méthodes déterministes d'estimation des bornes (majorantes) de la propagation des erreurs d'arrondi. L'analyse régressive est particulièrement intéressante pour étudier la stabilité des algorithmes. Cependant, elle nécessite une étude détaillée de chaque algorithme étudié.

L'arithmétique d'intervalles permet de calculer un intervalle contenant certainement la solution exacte du problème étudié, mais nécessite généralement une reformulation de l'algorithme si l'on ne veut pas trouver un intervalle beaucoup trop pessimiste.

Les autres aspects, notamment l'approche stochastique de la propagation des erreurs, à travers la méthode CESTAC, ainsi que l'apport du logiciel CADNA, seront étudiés dans le dossier qui lui fait suite, [AF 1 471].

Enfin, le lecteur trouvera une imposante bibliographie et des sites web recommandés dans la partie documentaire, le dossier [Doc. AF 1 470].

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

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-af1470


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

ABONNEZ-VOUS

Version en anglais English

2. Conséquences de l'arithmétique des ordinateurs en calcul scientifique

Dans ce chapitre, nous allons présenter la différence fondamentale qui existe entre le calcul algébrique et le calcul numérique sur ordinateur.

Dans le calcul algébrique, toutes les opérations arithmétiques symbolisées sont supposées être exécutées avec une précision infinie. Ainsi, les résultats obtenus sont toujours exacts. Dans le calcul numérique sur ordinateur, les opérations arithmétiques sont exécutées avec une précision limitée. Ainsi, les résultats obtenus sont toujours entachés d'une erreur due au fait que cette arithmétique n'est qu'une approximation de l'arithmétique à précision infinie.

Dans certains cas, cette erreur peut être tellement grande que les résultats obtenus sont non significatifs. Pour bien apprécier cette différence, il faut étudier comment sont codées les valeurs numériques en machine, et comment sont exécutées les opérations arithmétiques.

En calcul scientifique, les éléments de l'ensemble des entiers relatifs sont utilisés pour le comptage dans les boucles de calcul, ou pour le calcul des indices de variables. Les autres calculs utilisent les éléments de .

En machine, tous les éléments de et de sont codés en binaire, c'est-à-dire en base b = 2.

2.1 Représentation des nombres entiers relatifs

Le mode dit « entier » permet de représenter une partie seulement des éléments de

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

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

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

ABONNEZ-VOUS

Lecture en cours
Conséquences de l'arithmétique des ordinateurs en calcul scientifique
Sommaire
Sommaire

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

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

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

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

ABONNEZ-VOUS