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

共 50 条

[31] Interrogating witnesses for geometric constraint solving
Foufou, Sebti
Michelucci, Dominique
[J]. INFORMATION AND COMPUTATION, 2012, 216 : 24 - 38
[32] A propagation approach to geometric constraint solving
Li, YT
Sun, JG
[J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 994 - 998
[33] Parallel Algorithms on Geometric Constraint Solving
Jiang Kun
Gao Yang
Lv Xingfeng
Zhan Yang
[J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 778 - +
[34] The application of OEA in the geometric constraint solving
Cao, Chun-Hong
Zhang, Bin
Li, Wen-Hui
Limin, Wang
[J]. PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 2070 - +
[35] Classification and solving of merge patterns in geometric constraint solving
Gao, XS
Zhang, GF
[J]. SMI 2003: SHAPE MODELING INTERNATIONAL 2003, PROCEEDINGS, 2003, : 89 - 98
[36] Geometric constraint solving with conics and linkages
Gao, XS
Jiang, K
Zhu, CC
[J]. COMPUTER-AIDED DESIGN, 2002, 34 (06) : 421 - 433
[37] Delaying Constraint Solving in Symbolic Graph Transformation
Orejas, Fernando
Larnbers, Leen
[J]. GRAPH TRANSFORMATIONS, 2010, 6372 : 43 - +
[38] Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
Gao, Xiao-Shan
Chou, Shang-Ching
[J]. CAD Computer Aided Design, 1998, 30 (02): : 115 - 122
[39] Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility
Gao, XS
Chou, SC
[J]. COMPUTER-AIDED DESIGN, 1998, 30 (02) : 115 - 122
[40] A principled approach towards symbolic geometric constraint satisfaction
Bhansali, S
Kramer, GA
Hoar, TJ
[J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1996, 4 : 419 - 443

← 1 2 3 4 5 →