Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic

Résumé

Interval arithmetic undergoes a standardization effort started in 2008 by the IEEE P1788 working group. The structure of the proposed standard is presented: the mathematical level is distinguished from both the implementation and representation levels. The main definitions are introduced: interval, mathematical functions, either arithmetic operations or trigonometric functions, comparison relations, set operations. While developing this standard, some topics led to hot debate. Such a hot topic is the handling of exceptions. Eventually, the system of decorations has been adopted. A decoration is a piece of information that is attached to each interval. Rules for the propagation of decorations have also been defined. Another hot topic is the mathematical model used for interval arithmetic. Historically, the model introduced by R. Moore in the 60s covered only non-empty and bounded intervals. The set-based model includes the empty set and unbounded intervals as well. Tenants of Kaucher arithmetic also insisted on offering "reverse" intervals. It has eventually been decided that an implementation must provide at least one of these flavors of interval arithmetic. The standard provides hooks for these different flavors. As the preparation of the draft should end in December 2013, no chapter is missing. However, a reference implementation would be welcome.
Fichier principal
Vignette du fichier
Revol.pdf (222.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00920662 , version 1 (20-12-2013)
hal-00920662 , version 2 (17-02-2014)

Identifiants

  • HAL Id : hal-00920662 , version 2

Citer

Nathalie Revol. Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic. ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Michael Beer, Jul 2014, Liverpool, United Kingdom. pp.1-10. ⟨hal-00920662v2⟩
421 Consultations
446 Téléchargements

Partager

More