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
基金
美国国家科学基金会;
关键词
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
相关论文
共 12 条
  • [1] ANDERL R, 1995, 3 ACM S FDN SOL MOD, P1
  • [2] GEOMETRIC CONSTRAINT SOLVER
    BOUMA, W
    FUDOS, I
    HOFFMANN, C
    CAI, JZ
    PAIGE, R
    [J]. COMPUTER-AIDED DESIGN, 1995, 27 (06) : 487 - 501
  • [3] FUDOS I, 1997, INT J COMPUTATIONAL
  • [4] FUDOS I, 1993, THESIS PURDUE U
  • [5] HENDERSON D, 1996, THESIS PURDUE U
  • [6] HSU C, 1996, THESIS U UTAH
  • [7] Jensen, 2018, CLASSICAL MODERN MEC
  • [8] JUANARINYO R, 1995, RULE CONSTRUCTIVE GE
  • [9] Plummer M.D., 1986, Matching theory
  • [10] VANLEEUVEN J, 1992, HDB THEORETICAL COMP, VA, P525