Rule-Based Variational Geometry in Computer-Aided Design

  • B. Aldefeld
  • H. Malberg
  • H. Richter
  • K. Voss
Part of the Artificial Intelligence in Industry Series book series (AI INDUSTRY)


Geometric information processing is a core topic in the computer-aided design of mechanical products, common to a variety of tasks such as draughting, geometric modelling, finite-element analysis and production planning. The development of adequate software tools that support a wide range of geometry-related applications is therefore of major interest in view of the economy of the design process and the quality of the envisaged products. This concerns the user interface as well as the manipulation of internal product descriptions.


Atomic Formula Visibility Score Variational Geometry Construction Plan Constructive Solid Geometry 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Sutherland IE. SKETCHPAD: a man-machine graphical communication system. Proceedings AFIPS spring joint computer conference, 1963, pp 329–346Google Scholar
  2. 2.
    Hillyard RC, Braid IC. Analysis of dimensions and tolerances in computer aided mechanical design. Comput Aided Des 1978; 10: 161–166CrossRefGoogle Scholar
  3. 3.
    Hillyard RC, Braid IC. Characterizing non-ideal shapes in terms of dimensions and tolerances. Comput Graphics 1978; 12: 234–238CrossRefGoogle Scholar
  4. 4.
    Lin VC, Gossard DC, Light RA. Variational geometry in computer-aided design. Comput Graphics 1981; 15: 171–177CrossRefGoogle Scholar
  5. 5.
    Light RA, Gossard DC. Modification of geometric models through variational geometry. Comput Aided Des 1982; 14: 209–214CrossRefGoogle Scholar
  6. 6.
    Light RA, Gossard DC. Variational geometry: a new method for modifying part geometry for finite element analysis. Comput Struct 1983; 17: 903–909CrossRefGoogle Scholar
  7. 7.
    Gossard DC, Zuffante RP, Sakurai H. Representing dimensions, tolerances, and features in MCAE systems. IEEE Comput Graphics Applic 1988; 8: 51–59CrossRefGoogle Scholar
  8. 8.
    Gelernter H. Realization of a geometry-theorem proving machine. In: Siekmann J, Wrightson G (eds) Symbolic computation. Automation of Reasoning Series 1, Springer-Verlag, Berlin Heidelberg New York, 1983, pp 99–121Google Scholar
  9. 9.
    Gilmore PC. An examination of the geometry theorem machine. Artif Intel 1970; 1: 171–187CrossRefMATHGoogle Scholar
  10. 10.
    Kimura F, Suzuki H, Ando H, Sato T, Kinosada A. Variational geometry based on logical constraints and its applications to product modelling. Ann CIRP 1987; 36: 65–68CrossRefGoogle Scholar
  11. 11.
    Kimura F, Suzuki H, Sata T. Variational product design by constraint propagation and satisfaction in product modelling. Ann CIRP 1986; 35: 75–78CrossRefGoogle Scholar
  12. 12.
    Kimura F, Suzuki H, Wingard L. A uniform approach to dimensioning and tolerancing in product modelling. In: Proceedings CAPE ’86, Elsevier Science Publishers (North Holland), 1986, pp 165–178Google Scholar
  13. 13.
    Suzuki H, Kimura F, Sata T. Treatment of dimensions on product modelling concept. In: Yoshikawa H (ed) Design and synthesis, Elsevier Science Publishers (North Holland), 1985, pp 491–496Google Scholar
  14. 14.
    Brüderlin B. Constructing three-dimensional geometric objects defined by constraints. In: Proceedings workshop on 3D interactive graphics, Durham, NC, 1986Google Scholar
  15. 15.
    Aldefeld B. Rule-based approach to variational geometry. In: Knowledge engineering and computer modelling in CAD (Proceedings CAD ’86), Butterworth, London, 1986, pp 59–67Google Scholar
  16. 16.
    Aldefeld B. Variation of geometries based on a geometric-reasoning method. Comput Aided Des 1988; 20: 117–126CrossRefMATHGoogle Scholar
  17. 17.
    Todd P. An algorithm for determining consistency and manufacturability of dimensioned drawings. In: Knowledge engineering and computer modelling in CAD (Proceedings CAD ’86). Butterworth, London, 1986, pp 36–41Google Scholar
  18. 18.
    Requicha AAG. Representations for rigid solids: theory, methods, and systems. Comput Surv 1980; 12: 437–464CrossRefGoogle Scholar
  19. 19.
    Clocksin WF, Mellish CS. Programming in Prolog. Springer-Verlag, Berlin Heidelberg New York, 1984Google Scholar
  20. 20.
    Aldefeld B, Richter H. Semiautomatic three-dimensional interpretation of line drawings. Comput Graphics 1984, 8: 371–380CrossRefGoogle Scholar
  21. 21.
    Bundy A. The computer modelling of mathematical reasoning. Academic Press, London, 1983MATHGoogle Scholar
  22. 22.
    Bhatnagar RK, Kanal LN. Handling uncertain information: a review of numeric and non-numeric methods. In: Kanal LN, Lemmer JF (eds) Uncertainty in artificial intelligence. Machine Intelligence and Pattern Recognition Series 4, North Holland, Amsterdam, 1986, pp 3–26Google Scholar

Copyright information

© Springer-Verlag London Limited 1991

Authors and Affiliations

  • B. Aldefeld
  • H. Malberg
  • H. Richter
  • K. Voss

There are no affiliations available

Personalised recommendations