A 2D geometric constraint solver using a graph reduction method

Modeling by constraints enables users to describe shapes by specifying relationships between geometric elements. These relationships are called constraints. A constraint solver derives then automatically the design intended by exploiting these constraints. The constraints solvers can be classified in four categories: symbolic, numerical, rule-oriented and graph-constructive solvers. The graph constructive approach is widely used in recent Computer Aided Design (CAD) systems. In this paper, we present a decomposition-recombination (DR) planning algorithm, called S-DR, that uses a graph reduction method to solve systems of 2D geometric constraints. Based on the key concept of skeletons, S-DR planner figures out a plan for decomposing a well constrained system into small sub-systems and recombines the solutions of these sub-systems to derive the solution of the entire system.

[1]  C. Hoffmann,et al.  Geometric Constraint Decomposition , 1998 .

[2]  Dominique Michelucci,et al.  Solving geometric constraints by homotopy , 1995, IEEE Trans. Vis. Comput. Graph..

[3]  Adam Arbree,et al.  Geometric constraints within feature hierarchies , 2006, Comput. Aided Des..

[4]  Yan Luo,et al.  Engineering Drawings Recognition Using a Case-based Approach , 2003, ICDAR.

[5]  Ioannis Fudos.  Editable Representations For 2D Geometric Design , 1993 .

[6]  Hiromasa Suzuki,et al.  Geometric constraints and reasoning for geometrical CAD systems , 1990, Comput. Graph..

[7]  Reiner Anderl,et al.  Parametric design and its impact on solid modeling applications , 1995, Symposium on Solid Modeling and Applications.

[8]  Carme Torras,et al.  A branch-and-prune solver for distance constraints , 2005, IEEE Transactions on Robotics.

[9]  Sebti Foufou,et al.  Using Cayley-Menger determinants for geometric constraint solving , 2004, SM '04.

[10]  Sebti Foufou,et al.  Numerical decomposition of geometric constraints , 2005, SPM '05.

[11]  Kwangsoo Kim,et al.  A Geometric Constraint Solver for Parametric Modeling , 1998 .

[12]  Dominique Michelucci,et al.  Qualitative Study of Geometric Constraints , 1998 .

[13]  Christoph M. Hoffmann,et al.  Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms , 2001, J. Symb. Comput..

[14]  D. Roller,et al.  Geometric Constraint Solving and Applications , 2001, Springer Berlin Heidelberg.

[15]  Lu Yang.  Solving Geometric Constraints with Distance-Based Global Coordinate System , 2003 .

[16]  Kyu-Yuel Lee,et al.  A hybrid approach to geometric constraint solving with graph analysis and reduction , 2003 .

[17]  Xiao-Shan Gao,et al.  Spatial geometric constraint solving based on k-connected graph decomposition , 2006, SAC '06.

[18]  Brahim Hamid,et al.  Solving geometric constraints by a graph-constructive approach , 1999, 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210).

[19]  Christoph M. Hoffmann,et al.  A graph-constructive approach to solving systems of geometric constraints , 1997, TOGS.

[20]  J. C. Owen,et al.  Algebraic solution for geometry from dimensional constraints , 1991, SMA '91.

[21]  K. Kondo,et al.  Algebraic method for manipulation of dimensional relationships in geometric models , 1992, Comput. Aided Des..

[22]  David Serrano,et al.  Constraint based analysis tools for design , 1993, Solid Modeling and Applications.

[23]  Robert Joan Arinyo,et al.  Geometric constraint graphs decomposition based on computing graph circuits , 2010 .

[24]  Borut Zalik,et al.  Dealing with redundancy and inconsistency in constructive geometric constraint solving , 2008, Adv. Eng. Softw..

[25]  Christoph M. Hoffmann,et al.  Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD , 2001, J. Symb. Comput..

[26]  B. Aldefeld.  Variation of geometrics based on a geometric-reasoning method , 1988 .

[27]  Christoph M. Hoffmann,et al.  Finding Solvable Subsets of Constraint Graphs , 1997, CP.

[28]  David Serrano,et al.  Automatic dimensioning in design for manufacturing , 1991, SMA '91.

[29]  Eugene L. Allgower,et al.  Continuation and path following , 1993, Acta Numerica.

[30]  Dieter Roller,et al.  Rule-oriented method for parameterized computer-aided design , 1992, Comput. Aided Des..

[31]  Jami J. Shah,et al.  Derivation of a standard set of geometric constraints for parametric modeling and data exchange , 2001, Comput. Aided Des..

[32]  G. Laman.  On graphs and rigidity of plane skeletal structures , 1970 .