Contribution a la resolution de contraintes par consistance forte

par YAHIA LEBBAH

Thèse de doctorat en Sciences et techniques

Sous la direction de Patrice Boizumault.

Soutenue en 1999

à Nantes .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Cette these propose differentes voies pour ameliorer les techniques de resolution de contraintes numeriques a base de filtrage par consistance forte. Ces techniques ont montre leur interet dans la resolution des problemes difficiles. Cependant, sur de nombreux problemes, elles s'averent couteuses. Une premiere proposition est d'utiliser des methodes d'extrapolation pour accelerer la convergence des suites de nombres. Les methodes classiques d'extrapolation sont non-conservatives, elles ne garantissent pas de trouver toutes les solutions. Nous proposons, en particulier, une methode qui permet d'utiliser l'extrapolation dans les algorithmes de filtrage sans omettre de solution. Un deuxieme aspect developpe dans cette these repose sur l'observation suivante : parfois, le filtrage decouvre fortuitement une solution, cependant, rien n'est prevu pour exploiter une telle decouverte. Nous proposons une nouvelle consistance la consistance enumerante qui justement exploite cette information. Une troisieme voie, est le developpement de l'aspect incremental des algorithmes de filtrage. Nous proposons un ensemble de techniques pour rendre encore plus incremental le filtrage. Enfin, face a un probleme donne, une consistance specialisee pour ce probleme peut etre beaucoup plus efficace. Nous proposons un langage dedie a la specification de consistances fortes.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 159 p.
  • Annexes : 101 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 99 NANT 2069
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 99 NANT 2069
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.