Decomposition of geometric constraint systems: A survey

被引:44
作者
Jermann, Christophe
Trombettoni, Gilles
Neveu, Bertrand
Mathis, Pascal
机构
[1] Univ Nantes, LINA, F-44322 Nantes, France
[2] INRIA Sophia Antipolis, COPRIN Team, F-06902 Sophia Antipolis, France
[3] Univ Strasbourg 1, LSIIT, F-67400 Illkirch Graffenstaden, France
关键词
geometric constraints; decomposition techniques; rigidity; DOF analysis; connectivity analysis; DR-planner; maximum matching; PDOF; WCM;
D O I
10.1142/S0218195906002105
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Significant progress has been accomplished during the past decades about geometric constraint solving, in particular thanks to its applications in industrial fields like CAD and robotics. In order to tackle problems of industrial size, many solving methods use, as a preprocessing, decomposition techniques that transform a large geometric constraint system into a set of smaller ones. In this paper, we propose a survey of the decomposition techniques for geometric constraint problems'. We classify them into four categories according to their modus operandi, establishing some similarities between methods that are traditionally separated. We summarize the advantages and limitations of the different approaches, and point out key issues for meeting industrial requirements such as generality and reliability.
引用
收藏
页码:379 / 414
页数:36
相关论文
共 77 条
[1]   VARIATION OF GEOMETRIES BASED ON A GEOMETRIC-REASONING METHOD [J].
ALDEFELD, B .
COMPUTER-AIDED DESIGN, 1988, 20 (03) :117-126
[2]  
AOUDIA SA, 1994, THESIS ECOLES MINES
[3]  
Bliek C, 1998, LECT NOTES COMPUT SC, V1520, P102
[4]  
BORNING A, 1979, THESIS STANFORD U
[5]   GEOMETRIC CONSTRAINT SOLVER [J].
BOUMA, W ;
FUDOS, I ;
HOFFMANN, C ;
CAI, JZ ;
PAIGE, R .
COMPUTER-AIDED DESIGN, 1995, 27 (06) :487-501
[6]   A deductive database approach to automated geometry theorem proving and discovering [J].
Chou, SC ;
Gao, XS ;
Zhang, JZ .
JOURNAL OF AUTOMATED REASONING, 2000, 25 (03) :219-246
[7]  
CHOU SC, 1988, MECH THEOREM PROVING
[8]  
CRAPO H, 1990, 1278 INRIA
[9]   Geometric construction by assembling solved subfigures [J].
Dufourd, JF ;
Mathis, P ;
Schreck, P .
ARTIFICIAL INTELLIGENCE, 1998, 99 (01) :73-119
[10]  
Durand C., 1998, THESIS PURDUE U