Статья 'Разработка и развитие методологических положений автоматизированного проектирования на базе методов математической теории категорий' - журнал 'Кибернетика и программирование' - NotaBene.ru
по
Journal Menu
> Issues > Rubrics > About journal > Authors > About the Journal > Requirements for publication > Council of Editors > Peer-review process > Policy of publication. Aims & Scope. > Article retraction > Ethics > Online First Pre-Publication > Copyright & Licensing Policy > Digital archiving policy > Open Access Policy > Open access publishing costs > Article Identification Policy > Plagiarism check policy
Journals in science databases
About the Journal

Публикация за 72 часа - теперь это реальность!
При необходимости издательство предоставляет авторам услугу сверхсрочной полноценной публикации. Уже через 72 часа статья появляется в числе опубликованных на сайте издательства с DOI и номерами страниц.
По первому требованию предоставляем все подтверждающие публикацию документы!
MAIN PAGE > Back to contents
Cybernetics and programming
Reference:

Development of methodological provisions for the automated designing based upon the mathematical category theory methods.

Fedosovsky Michail Evgen'evich

PhD in Technical Science

Head of the Systems and Technologies of Technogenic Safety Department of the St. Petersburg National Research University of Information Technologies, Mechanics and Optics

197101, Russia, g. Saint Petersburg, ul. Kronverkskii Prospekt, 49

27122009-2@mail.ru
Другие публикации этого автора
 

 

DOI:

10.25136/2306-4196.2017.3.23087

Review date:

22-05-2017


Publish date:

26-07-2017


Abstract: This article is devoted to the the methods used in the theory of Сomputer-Assisted Design. Development of a theoretical framework of technologies of the automated designing is an important scientific problem. One of directions employed to solve this problem is its reduction to a single universal formalism used for describing a variety of technologies, which will be appropriate for the design of complex heterogeneous systems for integration and coordination of these technologies. The solution to this problem depends on the choice of the mathematical apparatus. In this article the author proposes creation of the computer-aided design methods using mathematical category theory. The author then discusses methods for the formation of a mathematical apparatus for CAD based on the mathematical category theory in order to establish mathematical models and the correlations between them at different levels of abstraction. It is shown that the formulation of regularities in the mapping from conceptual view the conceptual view of the subject objectives the basic reasons are: a consistent mathematical apparatus of formation models;  an uniform structure of the regularities of formation models; existence of the laws of cyclicality. Pattern display models of conceptual representation in the model conceptual representation of the subject is the identity in the application of functional abstractions for dynamic and static components during the process of formation (establishment) of the relations between them and the identity of the models on the same level of abstraction with the same view.


Keywords: Computer-Aided Design, CAD, conceptual modeling, infological modeling, datalogical modeling, mathematical model, mathematical category theory, functor, Relational algebra, abstract levels
This article written in Russian. You can find full text of article in Russian here .

References
1.
Gur'yanov A.V., Korobeinikov A.G., Fedosovskii M.E., Shukalov A.V., Zharinov I.O. Avtomatizatsiya proektirovaniya slozhnykh tekhnicheskikh kompleksov na osnove teorii kategorii//Voprosy oboronnoi tekhniki. Seriya 16: Tekhnicheskie sredstva protivodeistviya terrorizmu-2017.-№ 3-4.-S. 9-16.
2.
Korobeynikov A. G., Fedosovsky M. E., Gurjanov A. V., Zharinov I. O., Shukalov A. V. Development of Conceptual Modeling Method to Solve the Tasks of Computer-Aided Design of Difficult Technical Complexes on the Basis of Category Theory//International Journal of Applied Engineering Research ISSN 0973-4562 Volume 12, Number 6 (2017) pp. 1114-1122. http://www.ripublication.com/ijaer17/ijaerv12n6_46.pdf
3.
Grishentsev A.Yu., Gur'yanov A.V., Tushkanov E.V., Shukalov A.V., Korobeinikov A.G. Virtualizatsiya i programmnoe obespechenie v sistemakh avtomatizirovannogo proektirovaniya: Uchebnoe posobie, SPb: Universitet ITMO, 2017. – 60 s.
4.
Grishentsev A.Yu., Gur'yanov A.V., Kuznetsova O.V., Shukalov A.V., Korobeinikov A.G. Matematicheskoe obespechenie v sistemakh avtomatizirovannogo proektirovaniya. – SPb: Universitet ITMO, 2017. – 88 s.
5.
Grishentsev A.Yu., Korobeinikov A.G., Gur'yanov A.V., Shukalov A.V. Avtomatizatsiya proektirovaniya geoinformatsionnykh sistem. Uchebnoe posobie. – SPb: Universitet ITMO, 2017. – 96 s.
6.
Korobeinikov A.G., Fedosovskii M.E., Aleksanin S.A. Razrabotka avtomatizirovannoi protsedury dlya resheniya zadachi vosstanovleniya smazannykh tsifrovykh izobrazhenii//Kibernetika i programmirovanie. — 2016.-№ 1.-S.270-291. DOI: 10.7256/2306-4196.2016.1.17867. URL: http://e-notabene.ru/kp/article_17867.html
7.
Korobeinikov A.G., Zykov A.G., Polyakov V.I., Ashevskii D.Yu., Aleksanin S.A. Proektirovanie matematicheskikh modelei rascheta otsenki riskov peremeshcheniya material'nykh gruzov na zheleznodorozhnykh uzlakh s ispol'zovaniem lingvisticheskikh peremennykh// Vestnik RGUPS. – 2015. – № 2. – S. 67–73.
8.
Korobeinikov A.G., Aleksanin S.A. Metody avtomatizirovannoi obrabotki izobrazhenii pri reshenii zadachi magnitnoi defektoskopii//Kibernetika i programmirovanie. — 2015.-№ 4.-S.49-61. DOI: 10.7256/2306-4196.2015.4.16320. URL: http://e-notabene.ru/kp/article_16320.html
9.
Korobeinikov A.G. Razrabotka i analiz matematicheskikh modelei s ispol'zovaniem MATLAB i MAPLE//SPb: Cankt-Peterburgskii natsional'nyi issledovatel'skii universitet informatsionnykh tekhnologii, mekhaniki i optiki. – 2010. – 144 str.
10.
Korobeynikov A.G., Aleksanin S.A., Perezyabov O.A. Automated image processing using magnetic defectoscopy // ARPN Journal of Engineering and Applied Sciences.-2015.-Vol. 10, iss. 17.-P. 7488-7493.-ISSN 1819-6608. http://www.arpnjournals.com/jeas/research_papers/rp_2015/jeas_0915_2586.pdf
11.
Korobeinikov A.G., Grishentsev A.Yu., Kutuzov I.M., Pirozhnikova O.I., Sokolov K.O., Litvinov D.Yu. Razrabotka matematicheskoi i imitatsionnoi modelei dlya rascheta otsenki zashchishchennosti ob''ekta informatizatsii ot nesanktsionirovannogo fizicheskogo proniknoveniya // NB: Kibernetika i programmirovanie. — 2014.-№ 5.-S.14-25. DOI: 10.7256/2306-4196.2014.5.12889. URL: http://e-notabene.ru/kp/article_12889.html
12.
Grishentsev A.Yu., Korobeinikov A. G. Proektirovanie i tekhnologicheskaya podgotovka setei stantsii vertikal'nogo zondirovaniya// SPb: Universitet ITMO. Nauchno-tekhnicheskii vestnik informatsionnykh tekhnologii, mekhaniki i optiki.-2013.-№ 3 (85). – str. 61 – 66
13.
Grishentsev A.Yu., Korobeinikov A.G. Postanovka zadachi optimizatsii raspredelennykh vychislitel'nykh sistem// NB: Programmnye sistemy i vychislitel'nye metody. – 2013.-№ 4. – str. 370-375.
14.
Korobeinikov A.G., Grishentsev A.Yu., Svyatkina M.N. Primenenie intellektual'nykh agentov magnitnykh izmerenii dlya monitoringa ob''ektov zheleznodorozhnoi infrastruktury//NB: Kibernetika i programmirovanie. — 2013.-№ 3.-S.9-20. DOI: 10.7256/2306-4196.2013.3.8737. URL: http://e-notabene.ru/kp/article_8737.html
15.
Bondarenko I.B., Korobeinikov A.G., Prokhozhev N.N., Mikhailichenko O.V. Prinyatie tekhnicheskikh reshenii s pomoshch'yu mnogoagentnykh sistem // NB: Kibernetika i programmirovanie. — 2013.-№ 1.-S.16-20. DOI: 10.7256/2306-4196.2013.1.8305. URL: http://e-notabene.ru/kp/article_8305.html
16.
Korobeinikov A.G., Kutuzov I.M. Algoritm obfuskatsii // NB: Kibernetika i programmirovanie. — 2013.-№ 3.-S.1-8. DOI: 10.7256/2306-4196.2013.3.9356. URL: http://e-notabene.ru/kp/article_9356.html
17.
Grishentsev A.Yu., Korobeinikov A.G. Dekompozitsiya n-mernykh tsifrovykh signalov po bazisu pryamougol'nykh vspleskov// SPb: Universitet ITMO.Nauchno-tekhnicheskii vestnik informatsionnykh tekhnologii, mekhaniki i optiki.-2012.-№ 4 (80). – str. 75 – 79.
18.
Grishentsev A.Yu., Korobeinikov A.G., Velichko E.N., Nepomnyashchaya E.K., Rozov S.V. Sintez binarnykh matrits dlya formirovaniya signalov shirokopolosnoi svyazi//M: «Radiotekhnika».-2015.-№ 9. Str. 51-58.
19.
Grishentsev A. Yu. ,Korobeinikov A. G. Ponizhenie razmernosti prostranstva pri korrelyatsii i svertke tsifrovykh signalov//SPb: Universitet ITMO. IZV. VUZOV. PRIBOROSTROENIE. 2016. T. 59, № 3. Ctr. 211-218
20.
Korobeinikov A.G., Kutuzov I.M., Kolesnikov P.Yu. Analiz metodov obfuskatsii // NB: Kibernetika i programmirovanie. — 2012.-№ 1.-S.31-37. DOI: 10.7256/2306-4196.2012.1.13858. URL: http://e-notabene.ru/kp/article_13858.html
21.
Korobeinikov A. G, Gatchin Yu. A. Matematicheskie osnovy kriptologii. Uchebnoe posobie. SPb: SPb GU ITMO, 2004. – 106 str.
22.
Korobeinikov A.G. Metod kontseptual'nogo modelirovaniya v zadachakh proektirovaniya sistem sbora i obrabotki informatsii//Izv. Vuzov Priborostroenie, T. 44, № 2, 2001.-s. 8-13.
Link to this article

You can simply select and copy link from below text field.


Other our sites:
Official Website of NOTA BENE / Aurora Group s.r.o.
"History Illustrated" Website