.png){kind=icon}
返回
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}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
canonical forms
constructive techniques
equational techniques
geometric constraint solving
rewriting systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
9.5
论文数:
4.7K
被引数:
3.6W
机构
暂无机构信息
引用论文
.png){kind=icon}
Development of thermo-mechanical treatments of a maraging steel for yield strengths above 3 GPa
PREAI
分享收藏分享收藏 没有更多内容
没有更多内容