登入選單

返回Google圖書搜尋

Résolution de contraintes géométriques par rigidification récursive et propagation d'intervalles

Christophe JermannUniversité de Nice-Sophia Antipolis. Faculté des sciences

出版	2002
URL	http://books.google.com.hk/books?id=jkNyNwAACAAJ&hl=&source=gbs_api

註釋

Les problèmes de satisfaction de contraintes géométriques (GCSP) sont omniprésents dans les applications de CAO, de robotique ou de biologie moléculaire. Ils consistent à chercher les positions, orientations et dimensions d'objets géométriques soumis à des relations géométriques. Le but de la thèse était de proposer une méthode complète et efficace pour la résolution de GCSP. Dans la première partie, nous comparons des méthodes de résolution et de décomposition, et optons pour la décomposition de Hoffmann {\sl et al.} et la résolution par intervalles. Nous définissons un cadre général pour l'étude de la rigidité, concept central dans les techniques de décomposition géométriques. Dans la seconde partie, nous analysons la méthode de Hoffmann {\sl et al.}, et les limites inhérentes à toute approche géométrique structurelle. Nous proposons le concept de degré de rigidité pour surmonter certaines de ces limites. Nous introduisons une nouvelle méthode de décomposition, et sa combinaison avec les intervalles.