Introduction à l'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 a 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 sur le résultat d'un calcul~: la force de l'arithmétique par intervalle- s 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 pieger par un optimum local.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00072290
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:19:23 PM
Last modification on : Thursday, February 7, 2019 - 4:46:43 PM
Long-term archiving on : Sunday, April 4, 2010 - 11:02:23 PM

Identifiers

  • HAL Id : inria-00072290, version 1

Collections

Citation

Nathalie Revol. Introduction à l'arithmétique par intervalles. [Rapport de recherche] RR-4297, INRIA. 2001. ⟨inria-00072290⟩

Share

Metrics

Record views

283

Files downloads

1464