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 条
  • [41] Principled approach towards symbolic geometric constraint satisfaction
    Bhansali, Sanjay
    Kramer, Glenn A.
    Hoar, Tim J.
    [J]. 1600, Morgan Kaufmann Publ Inc, San Francisco, CA, United States (04):
  • [42] SOLVING GEOMETRIC CONSTRAINTS IN A PARALLEL NETWORK
    FISHER, RB
    ORR, MJL
    [J]. IMAGE AND VISION COMPUTING, 1988, 6 (02) : 100 - 106
  • [43] Solving geometric constraints by a hybrid method
    Ait-Aoudia, S
    Badis, H
    Kara, M
    [J]. FIFTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2001, : 749 - 753
  • [44] Solving Symbolic Regression Problems with Formal Constraints
    Bladek, Iwo
    Krawiec, Krzysztof
    [J]. PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'19), 2019, : 977 - 984
  • [45] Geometric constraint solving based on connectivity of graph
    Zhang, Gui-Fang
    Gao, Xiao-Shan
    [J]. Computer-Aided Design and Applications, 2004, 1 (1-4): : 469 - 476
  • [46] A geometric approach to anytime constraint solving for TCSPs
    Yeh, HM
    Hsu, JYJ
    Huang, HS
    [J]. PRICAI'98: TOPICS IN ARTIFICIAL INTELLIGENCE, 1998, 1531 : 365 - 376
  • [47] Specifying and solving symbolic and numeric temporal constraints
    Sadaoui, Samira
    Mouhoub, Malek
    Li, Xiao Feng
    [J]. INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2013, 17 (03) : 209 - 217
  • [48] A new constructive approach to constraint-based geometric design
    Podgorelec, D
    [J]. COMPUTER-AIDED DESIGN, 2002, 34 (11) : 769 - 785
  • [49] Kinematic chain substitution for geometric constraint solving
    Ogan, G
    Metzger, FJ
    Seybold, BJ
    Engeli, M
    [J]. WSCG 98, VOL 2: SIXTH INTERNATIONAL CONFERENCE IN CENTRAL EUROPE ON COMPUTER GRAPHICS AND VISUALIZATION 98, 1998, : 283 - 290
  • [50] Geometric constraint solving and simulation of complex linkages
    Gao, Xiaoshan
    Zhang, Guifang
    Yang, Weiqiang
    [J]. Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2003, 15 (05): : 517 - 522
12345