Combining constructive and equational geometric constraint-solving techniques

Citation
R. Joan-arinyo et A. Soto-riera, Combining constructive and equational geometric constraint-solving techniques, ACM T GRAPH, 18(1), 1999, pp. 35-55
Citations number
27
Categorie Soggetti
Computer Science & Engineering
Journal title
ACM TRANSACTIONS ON GRAPHICS
ISSN journal
07300301 → ACNP
Volume
18
Issue
1
Year of publication
1999
Pages
35 - 55
Database
ISI
SICI code
0730-0301(199901)18:1<35:CCAEGC>2.0.ZU;2-E
Abstract
In the past few years, there has been a strong trend towards developing par ametric, computer-aided design systems based on geometric constraint solvin g. An effective way to capture the design intent in these systems is to def ine relationships between geometric and technological variables. In general , geometric constraint solving including functional relationships requires a general approach and appropriate techniques to achieve the expected funct ional capabilities. This work reports on a hybrid method that combines two geometric constraint solving techniques: constructive and equational. The h ybrid solver has the capability of managing functional relationships betwee n dimension variables and variables representing conditions external to the geometric problem. The hybrid solver is described as a rewriting system an d is shown to be correct.