Décomposition et paramétrisation de systèmes de contraintes géométriques sous-contraint
Langue Français
Accéder à la thèseDroits d'accès : non autorisé

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

 
Auteur : Thierry, Simon Emile Bernard
Date de soutenance : 16-09-2010

Directeur(s) de thèse : Schreck, Pascal

Établissement de soutenance : Université de Strasbourg
École doctorale : École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....)
 
Discipline : Informatique
Classification : Mathématiques

Mots-clés libres : contraintes géométriques , sous-constriction , paramétrisation , décomposition , interrogation de témoin , repère , groupes de transformation
Mots-clés :
  • Algorithmes - Thèses et écrits académiques
  • Modèles mathématiques - Thèses et écrits académiques
Résumé : La résolution de systèmes de contraintes géométriques (GCS) a pour objectif de produire des figures qui respectent une description technique fournie par l'utilisateur sous la forme d'une esquisse cotée. Le GCS donné par l'utilisateur peut être bien contraint (il décrit un nombre fini non nul de figures), sous-contraint (une infinité de figures) ou sur-contraint (aucune solution). Classiquement, les systèmes sous-contraints sont considérés comme des cas d'erreur que l'utilisateur doit corriger en ajoutant des contraintes. Nos travaux proposent une autre approche, qui est celle de chercher à résoudre de manière homogène tous les systèmes de contraintes géométriques qui ne sont pas sur-contraints. Pour cela, nous proposons des algorithmes de paramétrisation, qui indiquent quels éléments du système doivent être fixés pour qu'il y ait un nombre fini de solutions, et des algorithmes de décomposition, qui permettent d'identifier les sous-systèmes bien contraints. Ces outils ouvrent la voie à des logiciels de modélisation par contraintes accessibles à des utilisateurs non-experts: ils permettent des retours visuels intuitifs sur le niveau de constriction du système. Comme nos algorithmes sont incrémentaux, ils permettent une approche par essai/erreur où l'utilisateur corrige l'esquisse au fur et à mesure de la résolution.
 
Type de contenu : Text
 
Entrepôt d'origine : Ressource locale
Identifiant : ecrin-ori-302991
Type de ressource : Thèse