по
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 > 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

В погоне за двумя зайцами поймай обоих сразу!
34 журнала издательства NOTA BENE входят одновременно и в ERIH PLUS, и в перечень изданий ВАК
При необходимости автору может быть предоставлена услуга срочной или сверхсрочной публикации!
MAIN PAGE > Back to contents
Development of a methodology for constructing control systems for complex technical complexes using the methods of mathematical category theory
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
Другие публикации этого автора
 

 

Abstract.

The object of research in this work are the control systems of complex technical complexes. The subject of research is the methodology for developing control systems for complex technical complexes. The developed methodology for creating a control system for complex technical complexes is based on the idea of generating a sequence of mappings of conceptual models into infological models and, further, into datalogical models. Previously, the author presented conceptual and infological modeling and the mathematical models corresponding to these levels, as well as the relations between them, that is, mathematical categories. The developed methodology for creating a control system for complex technical complexes is based on the methods of the theory of mathematical categories. The categories presented in the datalogical representation have two levels of abstraction. The main findings of the study:1. A unified description of families of inhomogeneous mathematical models reflecting a different level of abstraction (generalization) at the stage of the datalogical presentation of subject problems makes it possible to create formulations for the general definition of models with a description of their structure.2. The developed method of datalogical modeling provides all the possibilities for providing customization on specific software and hardware tools for implementing a control system for complex technical complexes.

Keywords: computer-aided design, control systems, datalogical modeling, infological modeling, conceptual modeling, abstract levels, mathematical model, mathematical category theory, display, technical complex

DOI:

10.25136/2306-4196.2018.5.27561

Article was received:

08-10-2018


Review date:

05-10-2018


Publish date:

25-11-2018


This article written in Russian. You can find full text of article in Russian here .

References
1.
Fedosovskii M.E. Razrabotka i razvitie metodologicheskikh polozhenii avtomatizirovannogo proektirovaniya na baze metodov matematicheskoi teorii kategorii//Kibernetika i programmirovanie. - 2017. - № 3. - S.10-22.
2.
Fedosovskii M.E. Razrabotka metodov sistemnogo analiza dlya resheniya zadach upravleniya slozhnymi tekhnicheskimi kompleksami // Kibernetika i programmirovanie. - 2018. - № 3. - S.57-62.
3.
Korobeinikov A. G., Fedosovskii M. E., Grishentsev A. Yu., Polyakov V. I. Metod infologicheskogo modelirovaniya v inzhenerii znanii dlya resheniya zadach avtomatizirovannogo proektirovaniya//Izv. vuzov. Priborostroenie. - 2017. - T. 60, № 10. - S. 925 – 931.
4.
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(105-106). - S. 9-16.
5.
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 2017, Volume 12, Number 6, pp. 1114-1122.
6.
Korobeynikov A.G., Fedosovsky M.E., Zharinov I.O., Polyakov V.I., Shukalov A.V., Gurjanov A.V., Arustamov S.A. Method for Conceptual Presentation of Subject Tasks in Knowledge Engineering for Computer-Aided Design Systems // Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) - 2017, Vol. 2, pp. 50-56.
7.
Maklein S. Kategorii dlya rabotayushchego matematika/Perevod s angl. pod red. V.A. Artamonova. - M.: Fizmatlit, 2004. - 352 s.
8.
Alekseev, G.V. Matematicheskie metody v inzhenerii. - SPb.: NIU ITMO, 2014. - 68 s.
9.
Sommervill I. Inzheneriya programmnogo obespecheniya. - M.: Vil'yams, - 2002. - 624 s.: il.
10.
Korobeinikov A. G. Razrabotka i analiz matematicheskikh modelei s ispol'zovaniem MATLAB i MAPLE. - SPb: SPbGU ITMO. – 2010. - 144 s.
11.
Korobeinikov A. G. Proektirovanie i issledovanie matematicheskikh modelei v sredakh MATLAB i Maple. - SPb: SPbGU ITMO, - 2012. - 160 s.
12.
Korobeinikov A. G., Grishentsev A. Yu. Razrabotka i issledovanie mnogomernykh matematicheskikh modelei s ispol'zovaniem sistem komp'yuternoi algebry. - SPb: NIU ITMO, - 2014. 100 s.
13.
Grishentsev A.Yu., Korobeinikov A.G. Ponizhenie razmernosti prostranstva pri korrelyatsii i svertke tsifrovykh signalov//Izvestiya vysshikh uchebnykh zavedenii. Priborostroenie. - 2016. - T. 59. - № 3. - S. 211-218.
14.
Kuznetsov V.M., Khvostova M.S. Itogi ekspluatatsii i sovremennoe sostoyanie bezopasnosti atomnykh elektrostantsii, raspolozhennykh na territorii Rossiiskoi federatsii//Nadezhnost' i bezopasnost' energetiki. -2015. - № 2 (29). - S. 2-11.
15.
Sviderskii A.G., Bilenko V.A., Anan'ev A.A. Avtomatizatsiya Rossiiskoi energetiki: novye zadachi, novye resheniya//Teploenergetika. -2013. - № 10. - S. 3.
16.
Kishkin V.L., Narits A.D. Evolyutsiya programmno-tekhnicheskikh sredstv urovnya avtomaticheskogo upravleniya ASU TP atomnykh i teplovykh elektrostantsii//Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioelektroniki. 2015. - № 2 (88). - S. 13-15.
17.
Ryasnyi S.I. Upravlenie resursom oborudovaniya pri inzhenernoi podderzhke ekspluatatsii AES//Teploenergetika. - 2015. - № 5. - S. 39.
18.
Terekhov D.V., Dunaev V.I. Modernizatsiya peregruzochnoi mashiny energobloka № 5 Novovoronezhskoi AES//Teploenergetika. - 2014. - № 2. - S. 71.
19.
Strezhkova M.A. Gosudarstvennaya politika RF v sfere razvitiya atomnoi elektroenergetiki//Energiya: ekonomika, tekhnika, ekologiya. - 2013. - № 4. - S. 16-26.
20.
Obshchie polozheniya obespecheniya bezopasnosti atomnykh stantsii. (NP-001-15)//Utverzhdeny prikazom Federal'noi sluzhby po ekologicheskomu, tekhnologicheskomu i atomnomu nadzoru ot 17 dekabrya 2015 g. № 522.
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