Logo de l'E.N.T. Alsace
Thèses électroniques Service Commun de la documentation
Logo de l'Université de Strasbourg
Thèses et Mémoire de l'Université de Strasbourg

Décomposition et paramétrisation de systèmes de contraintes géométriques sous-contraints

THIERRY, Simon Emile Bernard (2010) Décomposition et paramétrisation de systèmes de contraintes géométriques sous-contraints. Thèses de doctorat, Université de Strasbourg.

Plein texte disponible en tant que :

PDF - Un observateur de PDF est nécessaire, comme par exemple GSview, Xpdf or Adobe Acrobat Reader
938 Kb

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 soussystè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 d'EPrint:Thèse de doctorat
Discipline de la thèse / mémoire / rapport :Informatique
Mots-clés libres:contraintes géométriques ; sous-constriction ; paramétrisation ; décomposition ; interrogation de témoin ; repère ; groupes de transformation
Sujets:UNERA Classification UNERA > ACT Domaine d'activité UNERA > ACT-10 Informatique
CL Classification > DDC Dewey Decimal Classification > 500 Sciences de la nature et mathématiques > 510 Mathématiques > 518 Analyse numérique > 518.1 Algorithmes
Classification Thèses Unistra > Sciences, technologies > Sciences de la nature et mathématiques > 510 Mathématiques > 518 Analyse numérique > 518.1 Algorithmes

UNERA Classification UNERA > DISC Discipline UNERA > DISC-19 Mathématiques et informatique
Code ID:1929
Déposé le :12 Janvier 2011

Administrateurs de l'archive uniquement : éditer cet enregistrement