Ibex

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 13/09/13
  • Correction mineure : 13/09/13
Mots-clés

Ibex : bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Site web
  • Système : UNIX-like, Windows, MacOS X
  • Version actuelle : 2.0.9 - 28/08/2013
  • Licence(s) : LGPL - v3
  • Etat : diffusé en beta
  • Support : maintenu, développement en cours
  • Concepteur(s) : équipe d'Ibex
  • Contact concepteur(s) : gilles.chabert @ mines-nantes.fr
  • Laboratoire(s), service(s)... : Lab-STICC, LIGM, LINA, LIRMM, OSM, Universidad Técnica Federico Santa María (Chile)

 

Fonctionnalités générales du logiciel

Cette bibliothèque C++ s'utilise pour résoudre une variété de problèmes pouvant se formuler de la façon suivante :

Trouver une caractérisation fiable en boîtes (produits cartésiens d'intervalles) d'ensembles définis implicitement par contraintes.

L'adjectif "fiable" signifie que toutes les sources d'imprécision doivent être controlées :

  • approximation des nombres réels par réels à virgule flottante,
  • erreurs d'arrondi,
  • troncatures de linéarisation,
  • incertitudes des paramètres du modèle,
  • bruit de mesure,
  • ...
Contexte d’utilisation du logiciel

Outil de recherche en programmation par contraintes.

Publications liées au logiciel