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 条
  • [11] The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
    Marta R. Hidalgo
    Robert Joan-Arinyo
    Journal of Automated Reasoning, 2014, 52 : 99 - 122
  • [12] The reachability problem in constructive geometric constraint solving based dynamic geometry
    Joan-Arinyo, R. (robert@lsi.upc.edu), 1600, Kluwer Academic Publishers (52):
  • [13] Geometric constraint solving techniques based on symbolic algebra and graphical reduction
    Li, Yantao
    Liu, Shixia
    Hu, Shimin
    Sun, Jiaguang
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2002, 42 (10): : 1410 - 1413
  • [14] Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof
    Hidalgo, Marta
    Joan-Arinyo, Robert
    COMPUTER-AIDED DESIGN, 2012, 44 (07) : 709 - 720
  • [15] Symbolic Automata Constraint Solving
    Veanes, Margus
    Bjorner, Nikolaj
    de Moura, Leonardo
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 640 - 654
  • [16] Constraint solving and symbolic execution
    Zhang, Jian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 539 - 544
  • [17] Geometric constraint solving with geometric transformation
    高小山
    黄磊东
    蒋鲲
    ScienceinChina(SeriesF:InformationSciences), 2001, (01) : 50 - 59
  • [18] Geometric constraint solving with geometric transformation
    Xiaoshan Gao
    Leidong Huang
    Kun Jiang
    Science in China Series F Information Sciences, 2001, 44 (1): : 50 - 59
  • [19] A constructive approach to solving 3-D geometric constraint systems using dependence analysis
    Li, YT
    Hu, SM
    Sun, JG
    COMPUTER-AIDED DESIGN, 2002, 34 (02) : 97 - 108
  • [20] A workbench for geometric constraint solving
    de Regt, Rogier
    van der Meiden, Hilderick A.
    Bronsvoort, Willem F.
    Computer-Aided Design and Applications, 2008, 5 (1-4): : 471 - 482
12345