Contraintes globales et heuristiques de recherche pour les CSPs continus

Résumé : Les systèmes de contraintes de distance euclidienne apparaissent dans de nombreux domaines d'applications, comme en robotique, en biochimie
moléculaire ou en CAO. Les techniques issues de la programmation par contraintes permettent de résoudre ces problèmes en combinant une technique de bissection avec des méthodes de réduction des domaines (consistances locales ou partielles). Or, ces consistances sont des méthodes systématiques qui ne prennent pas en compte les propriétés spécifiques des contraintes.

Nous présentons dans cette thèse deux approches pour la conception d'une contrainte globale pour la résolution de systèmes de contraintes de distance. La première approche est basée sur l'inférence de contraintes
redondantes directement issues de propriétés géométriques du système.
La deuxième approche est basée sur l'introduction d'un algorithme de filtrage global dédié aux systèmes d'équations de distance.
Ces travaux ont débouché sur la conception d'une
technique de décomposition de domaines qui exploite la structure particulière des contraintes de distance. Enfin, nous présentons une généralisation de cette heuristique de recherche à des contraintes numériques quelconques.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2005. Français
Liste complète des métadonnées

Littérature citée [117 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00091375
Contributeur : Monique Oger <>
Soumis le : mercredi 6 septembre 2006 - 10:51:28
Dernière modification le : mercredi 6 septembre 2006 - 11:38:08
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:47:44

Identifiants

  • HAL Id : tel-00091375, version 1

Collections

Citation

Heikel Batnini. Contraintes globales et heuristiques de recherche pour les CSPs continus. Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2005. Français. 〈tel-00091375〉

Partager

Métriques

Consultations de
la notice

132

Téléchargements du document

258