Home »

Proposition de stage - 2019

Étude prospective de l'arithmétique des Unums pour l'évaluation garantie


Niveau :

TER M1 (1 à 2 étudiants)

Résumé :

John Gustafson a défini les unums en 2015 comme une nouvelle représentation des nombres réels en machine pour remplacer la représentation classique suivant la norme IEEE 754. Les avantages mis en avant sont une capacité à mieux représenter les constantes arrondies ainsi qu’une moindre empreinte en mémoire pour une précision de calcul donnée. Plusieurs bibliothèques existent déjà dans différents langages pour supporter plus ou moins complètement les unums, mais aucune application convaincante n’a encore été documentée. L’objectif de ce TER est d’étudier les bibliothèques existantes pour implémenter une bibliothèque C++ complète de calcul sur les unums, puis de comparer leur utilisation avec l’arithmétique des intervalles en ce qui concerne la résolution de contraintes non-linéaires au sein de la plateforme IBEX.

Copyright : LS2N 2017 - Mentions Légales - 
 -