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 条
  • [21] Geometric constraint solving with linkages
    Gao, Xiaoshan
    Zhu, Changcai
    Ruan Jian Xue Bao/Journal of Software, 2000, 11 (09): : 1151 - 1158
  • [22] Geometric constraint solving with conics
    Gao, XS
    Jiang, K
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 101 - 106
  • [23] Constraints and constraint solving: An introduction
    Jouannaud, JP
    Treinen, R
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 1 - 46
  • [24] Applying constructive geometric constraint solvers to geometric problems with interval parameters
    Joan-Arinyo, R
    Mata, N
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2001, 47 (01) : 213 - 224
  • [25] Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints
    Chan, W
    Anderson, R
    Beame, P
    Notkin, D
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 316 - 327
  • [26] Solving geometric constraints by homotopy
    Lamure, H
    Michelucci, D
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 1996, 2 (01) : 28 - 34
  • [27] Numerical solving of geometric constraints
    Ait-Aoudia, S
    SIXTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2002, : 125 - 129
  • [28] GEOMETRIC CONSTRAINT SOLVING WITH SOLUTION SELECTORS
    Kale, Vaibhav
    Bapat, Vikram
    Bettig, Bernie
    DETC 2008: PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATIONAL IN ENGINEERING CONFERENCE, VOL 3, PTS A AND B: 28TH COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2009, : 353 - 365
  • [29] Geometric constraint solving for parametric conics
    Chen, B
    Tang, M
    Dong, JX
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, 2002, : 185 - 188
  • [30] Geometric Constraint Solving With Solution Selectors
    Bettig, Bernhard
    Kale, Vaibhav
    JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2012, 12 (04)
12345