Advertisement

Method for Conceptual Presentation of Subject Tasks in Knowledge Engineering for Computer-Aided Design Systems

  • Anatoly Korobeynikov
  • Michael Fedosovsky
  • Igor Zharinov
  • Vladimir Polyakov
  • Anatoly Shukalov
  • Andrey Gurjanov
  • Sergey Arustamov
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 680)

Abstract

Currently, the basic paradigm of intelligent technology is a knowledge processing approach. A knowledge database that constitutes a core of intelligent systems must meet certain requirements such as availability, flexibility, consistency, and the others. These requirements can be satisfied with the aid of Knowledge Engineering. Due to the fact that the automation of the design process of complex technical systems is considered as one of the main approached increasing the efficiency of designer’s activity simultaneously improving the quality and reliability of the projects, the development of knowledge representation techniques in knowledge engineering appears to be a topical task.

The paper deals with the method of conceptual presentation of application tasks for knowledge presentation in a consistency with the development of complex engineering systems supported by the category theory apparatus. Such presentation can be used to integrate and coordinate the common knowledge within the computer-aided design cycle. We adduce here the results of universal theoretical categorical semantic mathematical models of this representation.

Keywords

Knowledge engineering Information technologies Computer-aided design Mathematical model Conceptual modeling Category theory 

References

  1. 1.
    Korobeynikov, A.G., Fedosovsky, M.E., Maltseva, N.K., Baranova, O.V., Zharinov, I.O., Gurjanov, A.V., Zharinov, O.O.: Use of information technologies in design and production activities of instrument making plants. Indian J. Sci. Technol. 9(44), 1–8 (2016). http://www.indjst.org/index.php/indjst/article/view/104708/75206
  2. 2.
    Morin, B., Barais, O., Nain, G., Jézéquel, J.-M.: Taming dynamically adaptive systems using models and aspects. In: Proceedings of 31st International Conference on Software Engineering, ICSE 2009, Vancouver, pp. 122–132 (2009)Google Scholar
  3. 3.
    Korobeynikov, A.G.: Design and research of mathematical models in the environments MATLAB and MAPLE, 160 p. ITMO University, St. Petersburg, Russia (2012)Google Scholar
  4. 4.
    Korobeynikov, A.G., Grishentsev, A.Y.: Development and a research of multivariate mathematical models with use of systems of computer algebra, 100 p. ITMO University, St. Petersburg, Russia (2013)Google Scholar
  5. 5.
    Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Proceedings of 11th European Conference on Object-Oriented Programming, ECOOP 1997, Jyväskylä, Finland, 9–13 June 1997. Lecture Notes in Computer Science, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)Google Scholar
  6. 6.
    Gatchin, Y.A., Zharinov, I.O., Korobeynikov, A.G., Zharinov, O.O.: Theoretical estimation of Grassmann’s transformation resolution in avionics color coding systems. Mod. Appl. Sci. 9(5), 197–210 (2015). ISSN 1913-1844Google Scholar
  7. 7.
    Korobeynikov, A.G., Aleksanin, S.A., Perezyabov, O.A.: Automated image processing using magnetic defectoscopy. ARPN J. Eng. Appl. Sci. 10(17), 7488–7493 (2015). ISSN 1819-6608Google Scholar
  8. 8.
    Aleksanin, S.A., Zharinov, I.O., Korobeynikov, A.G., Perezyabov, O.A., Zharinov, O.O.: Evaluation of chromaticity coordinate shifts for visually perceived image in terms of exposure to external illuminance. ARPN J. Eng. Appl. Sci. 10(17), 7494–7501 (2015). ISSN 1819-6608Google Scholar
  9. 9.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The grand challenge of scalability for model driven engineering. Lecture Notes in Computer Science, vol. 5421, pp. 48–53 (2009)Google Scholar
  10. 10.
    Diskin, Z., Maibaum, T.S.E.: Category theory and model-driven engineering: from formal semantics to design patterns and beyond. In: Proceedings of 7th Workshop ACCAT 2012, Electronic Proceedings in Theoretical Computer Science, vol. 93, pp. 1–21 (2012)Google Scholar
  11. 11.
    Korobeynikov, A.G., Grishentsev, A.Y., Velichko, E.N., Korikov, C.C., Aleksanin, S.A., Fedosovskii, M.E., Bondarenko, I.B.: Calculation of regularization parameter in the problem of blur removal in digital image. Opt. Memory Neural Netw. (Information Optics) 25(3), 184–191 (2016)Google Scholar
  12. 12.
    Sommerville, I.: Software Engineering, 9th edn., 790 pp. Pearson Education, Inc., Publishing as Addison-Wesley, Boston (2011)Google Scholar
  13. 13.
  14. 14.
    Cohn, P.: Universal Algebra, p. 412. Springer, Heidelberg (2012)Google Scholar
  15. 15.
    Mac Lane, S.: Categories for the Working Mathematician, 2nd edn., p. 314. Springer, New York (1998)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Anatoly Korobeynikov
    • 1
    • 2
  • Michael Fedosovsky
    • 1
  • Igor Zharinov
    • 1
    • 3
  • Vladimir Polyakov
    • 1
  • Anatoly Shukalov
    • 1
  • Andrey Gurjanov
    • 3
  • Sergey Arustamov
    • 1
  1. 1.ITMO UniversitySt. PetersburgRussia
  2. 2.SPBF IZMIRANSt. PetersburgRussia
  3. 3.JSC Elektroavtomatika Design Bureau n.a. P.A. EfimovSt. PetersburgRussia

Personalised recommendations