Contraintes géométriques en dimension 3
Auteur / Autrice : | Arnaud Fabre |
Direction : | Pascal Schreck |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Université Louis Pasteur (Strasbourg) (1971-2008) |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
En informatique graphique, les utilisateurs sont toujours en quête d'outils ergonomiques pour améliorer le processus de modélisation d'objets numériques. Dans ce cadre, la modélisation à base de contraintes a pour but de générer automatiquement un objet à partir d'une spécification déclarative de ses propriétés (qu'elles soient topologiques ou dimensionnelles). En 3D, on remarque que l'on ne peut pas appliquer directement les méthodes de résolution connues en 2D, ceci pour des raisons de complexité, d'explosion du nombre de cas à traiter, etc. . . , mais aussi pour des raisons de négligence de l'importance de l'interface entre l'utilisateur et la méthode de résolution. Nous abordons dans ce manuscrit successivement la formalisation de problèmes de contraintes géométriques et l'automatisation de la génération d'outils pour résoudre des contraintes, l'interface homme-machine pour poser des contraintes 3D, et une méthode de résolution de contraintes 3D, nommée reparamétrisation, à la fois formelle et numérique.