Skip to main content
SpringerLink
Log in

A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction

  • Conference paper
  • First Online:
Book cover Automated Deduction in Geometry (ADG 1998)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1669))

Included in the following conference series:

Abstract

This paper proposes a DOF-based graph reduction approach to geometric constraint solving. The proposed approach incrementally solves a geometric constraint problem that is not ruler-and-compass constructible by incrementally identifying a set of constrained geometric entities with 3 DOF (degree of freedom) as a rigid body and determining the geometric entities in the rigid body using one of the two solving procedures: algebraic method and numerical method, instead of solving it simultaneously using a numerical method. However, the use of the numerical method is restricted to solve only those parts that must be solved numerically. By combining the advantages of algebraic solving with the universality of numerical solving, the proposed method can maximize the efficiency, robustness, and extensibility of a geometric constraint solver.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ait-Aoudia, S., Jegou, R., and Michelucci, D., Reduction of constraint systems, In Compugraphics, Alvor Portugal, (1993) 83–92 259, 272

    Google Scholar 

  2. Aldefeld, B., Variation of geometries based on a geometric reasoning method, Computer Aided Design, (1988) 20(3) 117–126 259, 261

    Article  MATH  Google Scholar 

  3. Anderl, R. and Mendgen, R., Parametric design and its impack on solid modeling applications, Proc. 3rd Symp. Solid Modeling Foundations & CAD/CAM Applications, ACM Press, (1995) 1–12 258

    Google Scholar 

  4. Bouma, W., Fudos, I., Hoffmann, C. M., Cai, J. and Paige, R., A geometric constraint solver, Computer Aided Design, (1995) 27(6) 487–501 259, 268, 272

    Article  MATH  Google Scholar 

  5. Bruderlin, B., Constructing three-dimensional geometric objects defined by constraints, Proc. Workshop on Interactive 3D Graphics, ACM, (1986) 111–129

    Google Scholar 

  6. Buchberger, B., Collins, G., and Kutzler, B., Algebraic methods for geometric reasoning, Ann. Rev. Comput. Sci., (1988) 3 85–120 260

    Article  MathSciNet  Google Scholar 

  7. Fudos, I. and Hoffmann, C. M., Correctness proof of a geometric constraint solver, International Journal of Computational Geometry & Applications, (1996) 6(4) 405–420 259

    Article  MATH  MathSciNet  Google Scholar 

  8. Fudos, I. and Hoffmann, C. M., A graph-constructive approach to solving systems of geometric constraints, ACM Transactions on Graphics, (1997) 16(2) 179–216 272

    Article  Google Scholar 

  9. Gao, X. S. and Chou, S. C., Solving geometric constraint systems, Part I: A global propagation approach, Computer Aided Design, (1998) 30(1) 47–54 259, 260, 269, 272

    Article  Google Scholar 

  10. Gao, X. S. and Chou, S. C., Solving geometric constraint systems, Part II: A symbolic approach and decision of Rc-constructiblity, Computer Aided Design, (1998) 30(2) 115–122 260

    Article  Google Scholar 

  11. Gossard, D. C., Zuffante, R. P. and Sakurai, H., Representing dimensions, tolerances, and features in MCAE systems, IEEE Comput. Graph. & Applic., (1988) 5(3) 51–59 258

    Article  Google Scholar 

  12. Hillyard, R. and Braid, I., Analysis of dimensions and tolerances in computer-aided mechanical design, Computer Aided Design, (1978) 10(3) 161–166 258

    Article  Google Scholar 

  13. Hoffmann, C. M. and Joan-Arinyo, R., Symbolic constraints in constructive geometric constraint solving, J. Symbolic Computation, (1997) 23 287–299 259

    Article  MATH  MathSciNet  Google Scholar 

  14. Hsu, C. and Bruderlin, B., A hybrid constraint solver using exact and iterative geometric constraints, CAD Systems Development: Tools and Methods, Roller and Brunet (eds.), Springer, (1997) 265–279 259

    Google Scholar 

  15. Kondo, K., PIGMOD: Parametric and interactive geometric modeller for mechanical design, Computer Aided Design, (1990) 22(10) 633–644 258

    Article  Google Scholar 

  16. Kondo, K., Algebraic method for manipulation of dimensional relationships in geometric models, Computer Aided Design, (1992) 24(3) 141–147 260

    Article  MATH  MathSciNet  Google Scholar 

  17. Kramer, G. A., Solving Geometric Constraint Systems: A Case Study in Kinematics, MIT Press, Cambridge, Massachusetts, (1992) 259, 272

    Google Scholar 

  18. Lamure, H. and Michelucci, D., Solving geometric constraints by homotopy, Proc. 3rd Symp. Solid Modeling Foundations & CAD/CAM Applications, ACM Press, (1995) 263–269 272

    Google Scholar 

  19. Latham, R. S. and Middleditch, A. E., Connectivity analysis: A tool for processing geometric constraints, Computer Aided Design, (1996) 28(11) 917–928 259, 272

    Article  Google Scholar 

  20. Lee, J. Y. and Kim, K., Geometric reasoning for knowledge-based parametric design using graph representation, Computer Aided Design, (1996) 28(10) 831–841 259, 260, 265, 266, 270

    Article  Google Scholar 

  21. Lee, J. Y., A knowledge-based approach to parametric feature-based modeling, Ph.D. Thesis, POSTECH, South Korea, (1998) 258, 266

    Google Scholar 

  22. Light, R. A. and Gossard, D. C., Modification of geometric models through variational geometry, Computer Aided Design, (1982) 14(4) 209–214 258

    Article  Google Scholar 

  23. Owen, J. C., Algebraic solution for geometry from dimensional constraints, Proc. 1st Symp. Solid Modeling Foundations & CAD/CAM Applications, ACM Press, (1991) 379–407 259

    Google Scholar 

  24. Press, W. H., Teukolsky, S. A., Vetterling, W. T., and Flannery, B. P., Numerical Recipes in C, Cambridge Univ. Press, (1992) 272

    Google Scholar 

  25. Roller, D., An approach to computer-aided parametric design, Computer Aided Design, (1991) 23(5) 385–391 258

    Article  MATH  Google Scholar 

  26. Solano, L. and Brunet, P., Constructive constraint-based model for parametric CAD systems, Computer Aided Design, (1994) 26(8) 614–622 258

    Article  MATH  Google Scholar 

  27. Sunde, G., Specification of shape by dimensions and other geometric constraints, Geometric Modeling for CAD Applications, North-Holland, (1990) 199–213 259

    Google Scholar 

  28. Suzuki, H., Ando, H., and Kimura, F., Geometric constraints and reasoning for geometric CAD systems, Computers & Graphics, (1990) 14(2) 211–224 259

    Article  Google Scholar 

  29. Todd, P., A k-tree generalization that characterizes consistency of dimensioned engineering drawings, SIAM J. Discrete Math., 2 (1989) 255–261 259

    Article  MATH  MathSciNet  Google Scholar 

  30. Verroust, A., Schonek, F., and Roller, D., Rule-oriented method for parametrized computer-aided design, Computer Aided Design, (1993) 25(10) 531–540 259

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. EC/CALS Department, Computer Software Technology Lab., Electronics and Telecommunications Research Institute, Taejon, 305-350, South Korea

    Jae Yeol Lee

Authors
  1. Jae Yeol Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, J.Y. (1999). A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. In: Automated Deduction in Geometry. ADG 1998. Lecture Notes in Computer Science(), vol 1669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47997-X_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-47997-X_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66672-1

  • Online ISBN: 978-3-540-47997-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation