6533b85dfe1ef96bd12bdb59

RESEARCH PRODUCT

Résolution des contraintes géométriques

subject

description

National audience; La modélisation par contraintes définit les objets géométriques (typiquement, en 2D, les points, droites, cercles, coniques, etc) par les contraintes qu'ils doivent vérifier (distances, angles, tangences, incidences, etc. entre paires d'objets). L'exposé tente de faire le point sur les diverses méthodes proposées à ce jour pour la résolution des contraintes, en 2D ou en 3D. Les méthodes algébriques transforment les contraintes en un système d'équations, et recourent ensuite à des méthodes numériques (relaxation, Newton-Raphson) [4] ou symboliques (bases de Grobner, méthode de Wu et Ritt) [5,3]. Les méthodes géométriques décomposent le système de contraintes en problèmes géométriques élémentaires (solubles à la règle et au compas par exemple) ; la décomposition est effectuée soit par des manipulations de graphes [1,6] soit par un moteur d'inférence [7], soit par un langage tel prolog [2].