Contribution a la résolution de contraintes sur les réels par propagation d'intervalles

par Olivier Lhomme

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Rueher.

Soutenue en 1994

à nice .

    mots clés mots clés


  • Résumé

    Les algorithmes de propagation d'intervalles sont utilisés pour approximer les domaines de variation des variables d'un système de contraintes (polynomiales, trigonométriques ou logarithmiques). Dans un premier temps, nous étudions ces algorithmes et proposons notamment une formalisation en termes de consistances partielles. Nous introduisons ensuite une famille de consistances partielles ainsi que des algorithmes associés qui fournissent de meilleures approximations des domaines de variation des variables. Ces techniques sont implantées dans le systeme interlog II, qui est sommairement présenté

  • Titre traduit

    Contribution to the study of interval propagation algorithms


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 193 p.
  • Annexes : 118 ref. bibliogr.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.