Skip to main content
SpringerLink
Log in

On the representation of knowledge in the problem of synthesis of solid bodies

  • Published:
Journal of Mathematical Sciences Aims and scope Submit manuscript

Abstract

We consider current problems of the theory of design of dialogue automation systems of geometric modelling. The statements, which are obtained in the course of logical deduction, are used to decreasing the working time of computational algorithms for the design of geometrical objects.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Literature cited

  1. V. E. Klimov and V. V. Klishin, “Axiomatization of the problem of synthesis of geometry of three-dimensional objects,” Izv. Akad. Nauk USSR, Ser. Tekh. Kibern., No. 4, 57–62 (1983).

    Google Scholar 

  2. D. Meier, Theory of Relational Data Bases [in Russian], Mir, Moscow (1987).

    Google Scholar 

  3. O. V. Moseichuk and I. A. Perekhod, “Construction of geometric objects with the help of lists,” All Union Seminar of Young Scientists and Experts. Zvenigorod, April 11–18, 1986, AN USSR, Moscow (1986), pp. 141–142.

    Google Scholar 

  4. I. A. Perekhod and O. V. Moseichuk, “Representation of knowledges and the logical deduction in problems of constructive geometry,” VIII All Union Seminar “Parallel Programming and High-Production Systems,” Alushta, Sept. 26–30, 1988, Institute of Cybernetics of the AN USSR, Kiev (1988), pp. 213–214.

    Google Scholar 

  5. T. Pavlidis, Algorithms for Graphics and Image Processing [in Russian], Radio i Svyaz', Moscow (1986).

    Google Scholar 

  6. Yu. G. Stoyan and S. V. Yakovlev, Mathematical Models and Optimization Methods of Geometric Design [in Russian], Naukova Dumka, Kiev (1986).

    Google Scholar 

  7. Zh. Enkarnachno and E. Shlekhtendal', Automatic Design. Basic Notions and Architecture of Systems [in Russian], Radio i Svyaz', Moscow (1986).

    Google Scholar 

  8. D. H. Ballard, “Trees: a hierarchical representation for curves,” Communications of the Association for Computing Machinery,24, No. 5, 310–321 (1981).

    Google Scholar 

  9. R. B. Tilove, “A null-object detection algorithm for constructive solid geometry,” Communications of the Association for Computing Machinery,27, No. 7, 684–694 (1984).

    Google Scholar 

  10. F. Yamaguchi and T. Tokieda, “A unified algorithm for Boolean shape operations,” IEEE Computer Graphics & Applications,7, No. 1, 33–43 (1987).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Simferopol' University, USSR

    I. A. Perekhod & O. V. Moseichuk

Authors
  1. I. A. Perekhod
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. O. V. Moseichuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Dinamicheskie Sistemy, No. 9, pp. 125–132, 1990.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Perekhod, I.A., Moseichuk, O.V. On the representation of knowledge in the problem of synthesis of solid bodies. J Math Sci 70, 2050–2054 (1994). https://doi.org/10.1007/BF02110840

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02110840

Keywords

Search

Navigation