.png){kind=icon}
Return
Combining constructive and equational geometric constraint-solving techniques
.png){kind=icon}
OA
AI
DOI：10.1145/300776.300780.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
In the past few years, there has been a strong trend towards developing parametric, computer-aided design systems based on geometric constraint solving. An effective way to capture the design intent in these systems is to define 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 functional capabilities. This work reports on a hybrid method that combines two geometric constraint solving techniques: constructive and equational. The hybrid solver has the capability of managing functional relationships between dimension variables and variables representing conditions external to the geometric problem. The hybrid solver is described as a rewriting system and is shown to be correct.
Keywords:
canonical forms
constructive techniques
equational techniques
geometric constraint solving
rewriting systems
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
9.5
Papers:
4.7K
Citations:
3.6W
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveDevelopment of thermo-mechanical treatments of a maraging steel for yield strengths above 3 GPa
PREAI
ShareSaveShareSaveShareSaveShareSave no more
no more