ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)

vol 63 / December, 2020

DOI 10.17586/0021-3454- 2017-60-10-925-931

UDC 004.932.2


A. G. Korobeynikov
Saint Petersburg Branch Organization of the Russian Academy of Sciences “Institute of Earth Magnetism, Ionosphere and Radio waves named after N.V. Pushkov RAS”;ITMO University, Saint Petersburg, 197101, Russian Federation ; Deputy Director for Science

M. E. Fedosovsky
Joint-Stock Company “DIAKONTˮ; Director General

A. Y. Grishentsev
ITMO University, Saint Petersburg, 197101, Russian Federation; Associate professor

V. I. Polyakov
ITMO University, Saint Petersburg, 197101, Russian Federation; Associate Professor

Read the full article 

Abstract. The intensive development of the theory of computer-aided design is taken place today is associated with requirements to designers to increase their efficiency of work with simultaneous improvement of quality and reliability of projects. To satisfy the requirements, the denial of the classical principles of automated design formulated more than half a century ago may be necessary. Therefore, the task of development of computer-aided design technologies meeting all qualifying standards is quite challenging. The main approach to the problem is to improve the level of automation in design processes. It is appropriate to use Knowledge Engineering technique, which calls for development of modern or modification of existing methods of knowledge representation. A new method of infological modeling for representation of knowledge in a uniform manner is proposed. The theory of categories is presumed to be used as a mathematical apparatus. The presented infological models specify the general structure of verbal symbolic constructions at the three levels of abstraction. The developed method can be used at the stage of integration and coordination of knowledge within the general cycle of the automated design.
Keywords: automated design, infological modeling, information technologies, theory of categories

  1. Korobeynikov A.G., Fedosovsky M.E., Maltseva N.K., Baranova O.V., Zharinov I.O., Gurjanov A.V., Zharinov O.O. Indian Journal of Science and Technology, 2016, no. 44(9), рр. 1–8. DOI: 10.17485/ijst/2016/v9i44/104708
  2. Korobeynikov A.G. Razrabotka i analiz matematicheskikh modeley s ispol'zovaniem MATLAB i Maple (Development and Analysis of Mathematical Models Using MATLAB and Maple), St. Petersburg, 2010, 144 р. (in Russ.)
  3. Korobeynikov A.G., Grishentsev A.Yu. Razrabotka i issledovanie mnogomernykh matematicheskikh modeley s ispol'zovaniem sistem komp'yuternoy algebry (Development and Research of Multi-dimensional Mathematical Models Using Computer Algebra Systems), St. Petersburg, 2013, 100 р. (in Russ.)
  4. Morin B., Barais O., Nain G., Jézéquel J.-M. Proc. of the 31st International Conference on Software Engineering ICSE'09, Vancouver, 2009, рp. 122–132.
  5. Bogatyrev V.A., Bogatyrev S.V. Journal of Instrument Engineering, 2016, no. 9(59), рр. 735–740. (in Russ.)
  6. Bogatyrev V.A., Bogatyrev S.V. Journal of Instrument Engineering, 2017, no. 2(60), рр. 165–170. (in Russ.)
  7. Bogatyrev V.A., Bogatyrev S.V. Journal of Instrument Engineering, 2017, no. 2(60), рр. 171–177. (in Russ.)
  8. Gatchin Y.A., Zharinov I.O., Korobeynikov A.G., Zharinov O.O. Modern Applied Science, 2015, no. 5, рр. 197–210. ISSN 1913-1844.
  9. Kiczales G., Lamping J., Mendhekar A., Maeda C., Lopes C.V., Loingtier J.-M., Irwin J. ECOOP’97 – Object-Oriented Programming: 11th Europ. Conf., Jyväskylä, Finland, June 9–13, 1997, Lect. Notes Comput. Sci., vol. 1241, рp. 220–242.
  10. Aleksanin S.A., Zharinov I.O., Korobeynikov A.G., Perezyabov O.A., Zharinov O.O. ARPN Journal of Engineering and Applied Sciences, 2015, no. 17(10), рр. 7494–7501. ISSN 1819-6608.
  11. Korobeynikov A.G., Aleksanin S.A., Perezyabov O.A. ARPN Journal of Engineering and Applied Sciences, 2015, no. 17(10), рр. 7488–7493. ISSN 1819-6608
  12. Korobeynikov A.G., Grishentsev A.Y., Velichko E.N., Korikov C.C., Aleksanin S.A., Fedosovskii M.E., Bondarenko I.B.Optical Memory and Neural Networks (Information Optics), 2016, no. 3(25), рр. 184–191.
  13. Diskin Z., Maibaum T.S.E. Proc. 7th Workshop ACCAT'2012. Electronic Proceedings in Theoretical Computer Science, 2012, no. 93, рр. 1–21.
  14. Kolovos D.S., Paige R.F., Polack F.A.C. Lecture Notes in Computer Science, 2009, no. 5421, рр. 48–53.
  15. Sommerville I. Software Engineering, Pearson Education, Addison-Wesley, 2011, 790 pp., cis_421_sommerville_9e_ch1-3.pdf.
  16. Cohn P. Universal algebra, Springer Science & Business Media, 2012, 412 p.
  17. Korobeynikov A.G., Fedosovsky M.E., Gurjanov A.V., Zharinov I.O., Shukalov A.V. International Journal of Applied Engineering Research, 2017, no. 6(12), рр. 1114–1122. ijaerv12n6_46.pdf
  18. Saunders Mac Lane. Categories for the Working Mathematician, Springer, 1998, 314 p