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 条
  • [1] On the domain of constructive geometric constraint solving techniques
    Joan-Arinyo, R
    Soto-Riera, A
    Vila-Marta, S
    Vilaplana, J
    [J]. SPRING CONFERENCE ON COMPUTER GRAPHICS, PROCEEDINGS, 2001, : 49 - 54
  • [2] A Constructive Approach to Solving Geometric Constraint Systems
    Gao Jianfeng
    Zhang Shensheng
    Bu Fenglin
    Zhao Jiyun(CIT Lab in Computer Science Dept.. Shanghai JiaoTong University. Shanghai 200030China University of Mining and Technology
    [J]. CADDM, 1999, DesignandManufacturing.1999 (01) : 9 - 16
  • [3] Dealing with redundancy and inconsistency in constructive geometric constraint solving
    Podgorelec, David
    Zalik, Borut
    Domiter, Vid
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2008, 39 (09) : 770 - 786
  • [4] Revisiting variable radius circles in constructive geometric constraint solving
    Chiang, CS
    Joan-Arinyo, R
    [J]. COMPUTER AIDED GEOMETRIC DESIGN, 2004, 21 (04) : 371 - 399
  • [5] Combining constructive and equational geometric constraint-solving techniques
    Joan-Arinyo, R
    Soto-Riera, A
    [J]. ACM TRANSACTIONS ON GRAPHICS, 1999, 18 (01): : 35 - 55
  • [6] Genetic algorithms for root multiselection in constructive geometric constraint solving
    Joan-Arinyo, R
    Luzón, MV
    Soto, A
    [J]. COMPUTERS & GRAPHICS-UK, 2003, 27 (01): : 51 - 60
  • [7] A graph-constructive approach to solving systems of geometric constraints
    Fudos, I
    Hoffmann, CM
    [J]. ACM TRANSACTIONS ON GRAPHICS, 1997, 16 (02): : 179 - 216
  • [8] The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
    Hidalgo, Marta R.
    Joan-Arinyo, Robert
    [J]. JOURNAL OF AUTOMATED REASONING, 2014, 52 (01) : 99 - 122
  • [9] Searching the solution space in constructive geometric constraint solving with genetic algorithms
    Luzón, MV
    Soto, A
    Gálvez, JF
    Joan-Arinyo, R
    [J]. APPLIED INTELLIGENCE, 2005, 22 (02) : 109 - 124
  • [10] Searching the Solution Space in Constructive Geometric Constraint Solving with Genetic Algorithms
    M. V. Luzón
    A. Soto
    J. F. Gálvez
    R. Joan-Arinyo
    [J]. Applied Intelligence, 2005, 22 : 109 - 124
12345