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

References:

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., https://www.homeworkmarket.com/sites/default/files/q5/19/07/ 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. http://www.ripublication.com/ijaer17/ ijaerv12n6_46.pdf
18. Saunders Mac Lane. Categories for the Working Mathematician, Springer, 1998, 314 p