Solving spatial basic geometric constraint configurations with locus intersection

CAD Computer Aided Design

Volumn 36, Issue 2, 2004, Pages 111-122

  Gao, Xiao Shan ^a   Hoffmann, Christoph M ^b   Yang, Wei Qiang ^b  

^a INSTITUTE OF SYSTEMS SCIENCE   (China)

^b Purdue University   (United States)

Author keywords

Geometric constraint solving; Locus intersection; Parametric CAD; Spatial basic configuration

Indexed keywords

ALGEBRA; CONSTRAINT THEORY; DEGREES OF FREEDOM (MECHANICS); GRAPH THEORY; PROBLEM SOLVING;

GEOMETRIC CONSTRAINT SOLVING (GCS);

COMPUTATIONAL GEOMETRY;

EID: 0242405871     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0010-4485(03)00056-3     Document Type: Conference Paper

References (26)

1. Brüderlin B. Using geometric rewriting rules for solving geometric problems symbolically. Theor Comput Sci. 116:1993;291-303.
2. Chen X., Hoffmann C. On editability of feature based design. CAD. 27:1995;905-914.
3. Durand C., Hoffmann C.M. A systematic framework for solving geometric constraints analytically. J Symbol Comput. 30:(5):2000;493-529.
4. Gao X.S., Chou S.C. Solving geometric constraint systems I. A global propagation approach. Comput-Aided Des. 30:(1):1998;47-54.
5. Gao X.S., Chou S.C. Solving geometric constraint systems II. A symbolic approach and decision of Rc-constructibility. Comput-Aided Des. 30:(2):1998;115-122.
6. Gao X.S., Huang L., Jiang K. A hybrid method for solving geometric constraint problems. Richter-Gebert J., Wang D. Automated deduction in geometry. LNAI No. 2061. 2001;16-25 Springer, Berlin.
7. Gao X.S., Jiang K., Zhu C.-C. Geometric constraint solving with conics and linkages. Comput-Aided Des. 34:(6):2002;421-433.
8. Hsu C. Graph-based approach for solving geometric constraint problems. PhD Thesis, The University of Utah, 1996.
9. Hsu C., Brüderlin B. A hybrid constraint solver using exact and iterative geometric constructions. Roller D., Brunet P. CAD systems development - tools and methods. 1997;Springer, Berlin.
10. Joan-Arinyo R., Soto A. A correct rule-based geometric constraint solver. Comput Graph. 21:(5):1997;599-609.
11. Joan-Arinyo R., Soto A. Combining constructive and equational geometric constraint-solving techniques. ACM Trac Graph. 18:(1):1999;35-55.
12. Joan-Arinyo R., Mata N., Soto A. A constraint-solving based approach to analyze 2D geometric problems. Proc Solid Modeling '01, Ann Arbor, MI. 2001;11-17.
13. Hoffmann C., Vermeer P.J. Geometric constraint solving in R2 and R3 . Du D.Z., Huang F. Computing in euclidean geometry. 1995;266-298 World Scientific, Singapore.
14. Hoffmann C.M., Lomonosov A., Sitharam M. Finding solvable subsets of constraint graphs. LNCS No. 1330. 1997;Springer, Berlin. p. 163-97.
15. Hoffmann C.M., Yuan B. On spatial constraint solving approaches. Richter-Gebert J., Wang D. Proceedings of ADG'2000, Zürich, Switzerland, September. 2003;Springer, Berlin. in press.
16. Kramer G.A. Solving geometric constraints systems: a case study in kinematics. 1992;MIT Press, Cambridge, MA.
17. Kondo K. Algebraic method for manipulation of dimensional relationships in geometric models. Comput-Aided Des. 24:(3):1992;141-147.
18. Lamure H., Michelucci D. Solving geometric constraints by homotopy. IEEE Trans Visualization Comput Graph. 2:(1):1996;28-34.
19. Latham R.S., Middleditch A.E. Connectivity analysis: a tool for processing geometric constraints. Comput-Aided Des. 28:(11):1994;917-928.
20. Lee J.Y., Kim K. Geometric reasoning for knowledge-based design using graph representation. Comput-Aided Des. 28:(10):1998;831-841.
21. Lin V.C., Gossard D.C., Light R.A. Variational geometry in computer-aided design. Comput Graph. 15:(3):1981;171-177.
22. Michelucci D. Using Cayley-Menger Determinants, undated world-wide-web document, www.emse.fr/̃micheluc/MENGER/.
23. Owen J. Algebraic solution for geometry from dimensional constraints. ACM symposium, found of solid modeling. 1991;ACM Press, New York. p. 397-407.
24. Sunde G. Specification of shape by dimension and other geometric constraints. Geometric modeling for CAD application. 1998;North-Holland, Amsterdam. p. 199-213.
25. Verroust A., Schonek F., Roller D. Rule-oriented method for parameterized computer-aided design. Comput-Aided Des. 24:(10):1992;531-540.
26. Wu W.T. Basic principles of mechanical theorem proving in geometries. 1984;Science Press, Beijing. [English Version. Berlin: Springer; 1994].