Arithmétique par intervalles

Nathalie Revol 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : Cet article est une introduction à l'arithmétique par intervalles. Avec une telle arithmétique, il est possible à la fois de tenir compte des incertitudes sur les données et de retourner un encadrement contenant à coup sûr le résultat d'un calcul : la force de l'arithmétique par intervalles est en effet la fiabilité des résultats. L'objectif de cette introduction est de mettre en évidence les points forts d'une telle arithmétique et de montrer comment contourner ses faiblesses. Son avantage majeur est de fournir une information globale telle qu'un surencadrement de l'image d'un ensemble par une fonction. Cette information globale peut être utilisée pour déterminer le caractère contractant d'une itération et par conséquent pour prouver l'existence et l'unicité de la solution calculée. Elle peut aussi servir à optimiser globalement une fonction en évitant de se laisser piéger par un optimum local.
Type de document :
Article dans une revue
Calculateurs Parallèles et Systèmes Répartis, Hermes, 2001, L'arithmétique des ordinateurs, 13 (4-5), pp.387-426
Liste complète des métadonnées

https://hal.inria.fr/inria-00545026
Contributeur : Nathalie Revol <>
Soumis le : jeudi 9 décembre 2010 - 14:08:43
Dernière modification le : vendredi 20 avril 2018 - 15:44:23
Document(s) archivé(s) le : jeudi 10 mars 2011 - 11:50:34

Fichier

arith-int.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00545026, version 1

Collections

Citation

Nathalie Revol. Arithmétique par intervalles. Calculateurs Parallèles et Systèmes Répartis, Hermes, 2001, L'arithmétique des ordinateurs, 13 (4-5), pp.387-426. 〈inria-00545026〉

Partager

Métriques

Consultations de la notice

256

Téléchargements de fichiers

127