Symbolic constraints in constructive geometric constraint solving

被引：27

作者：

Hoffmann, CM ^{[1
]}

JoanArinyo, R ^{[1
]}

机构：

[1] UNIV POLITECN CATALUNYA,DEPT LLENGUATGES & SISTEMES INFORMAT,E-08028 BARCELONA,SPAIN

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1997年 / 23卷 / 2-3期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1006/jsco.1996.0089

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In design and manufacturing applications, users of computer-aided design systems want to define relationships between dimension variables, since such relationships express design intent very flexibly. This work reports on a technique developed to enhance a class of constructive geometric constraint solvers with the capability of managing functional relationships between dimension variables. The method is shown to be correct. (C) 1997 Academic Press Limited.

引用

页码：287 / 299

页数：13