<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">pribor</journal-id><journal-title-group><journal-title xml:lang="ru">Известия высших учебных заведений. Приборостроение</journal-title><trans-title-group xml:lang="en"><trans-title>Journal of Instrument Engineering</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">0021-3454</issn><issn pub-type="epub">2500-0381</issn><publisher><publisher-name>Национальный исследовательский университет ИТМО</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.17586/0021-3454-2023-66-6-509-513</article-id><article-id custom-type="elpub" pub-id-type="custom">pribor-156</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>КРАТКИЕ СООБЩЕНИЯ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>BRIEF NOTES</subject></subj-group></article-categories><title-group><article-title>Формализация естественного параллелизма управленческих и информационных процессов</article-title><trans-title-group xml:lang="en"><trans-title>Formalizing natural parallelism of management and information processes</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Баранов</surname><given-names>А. Ю.</given-names></name><name name-style="western" xml:lang="en"><surname>Baranov</surname><given-names>A. Yu.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Баранов Антон Юрьевич — аспирант; СПб ФИЦ РАН, Санкт-Петербургский институт информатики и автоматизации Российской академии наук (СПИИРАН), лаборатория информационных технологий в системном анализе и моделировании.</p><p>Санкт-Петербург</p></bio><bio xml:lang="en"><p>Anton Yu. Baranov — Post-Graduate Student; St. Petersburg Federal Research Center of the RAS, St. Petersburg Institute for Informatics and Automation of the RAS, Laboratory of Information Technologies in System Analysis and Modeling.</p><p>St. Petersburg</p></bio><email xlink:type="simple">yuiomer1337@gmail.com</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Булатов</surname><given-names>М. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Bulatov</surname><given-names>M. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Булатов Михаил Александрович — канд. техн. наук; НИЦ СПб ЭТУ; помощник генерального директора.</p><p>Санкт-Петербург</p></bio><bio xml:lang="en"><p>Michael A. Bulatov — PhD; JSC "Scientific and Engineering Center of St. Petersburg Electrotechnical University»; Assistant General Manager.</p><p>St. Petersburg</p></bio><email xlink:type="simple">ma_bulatov@mail.ru</email><xref ref-type="aff" rid="aff-2"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Семенов</surname><given-names>А. И.</given-names></name><name name-style="western" xml:lang="en"><surname>Semenov</surname><given-names>A. I.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Семенов Александр Игоревич — аспирант; СПб ФИЦ РАН; лаборатория информационных технологий в системном анализе и моделировании.</p><p>Санкт-Петербург</p></bio><bio xml:lang="en"><p>Alexander I. Semenov — Post-Graduate Student; St. Petersburg Federal Research Center of the RAS, St. Petersburg Institute for Informatics and Automation of the RAS, Laboratory of Information Technologies in System Analysis and Modeling.</p><p>St. Petersburg</p></bio><email xlink:type="simple">alekssemyenov1996@gmail.com</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Соколов</surname><given-names>Б. В.</given-names></name><name name-style="western" xml:lang="en"><surname>Sokolov</surname><given-names>B. V.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Соколов Борис Владимирович — д-р техн. наук, профессор; СПб ФИЦ РАН, Санкт-Петербургский институт информатики и автоматизации Российской академии наук (СПИИРАН), лаборатория информационных технологий в системном анализе и моделировании; главный научный сотрудник.</p><p>Санкт-Петербург</p></bio><bio xml:lang="en"><p>Boris V. Sokolov — Dr. Sci., Professor; St. Petersburg Federal Research Center of the RAS, St. Petersburg Institute for Informatics and Automation of the RAS, Laboratory of Information Technologies in System Analysis and Modeling; Chief Researcher.</p><p>St. Petersburg</p></bio><email xlink:type="simple">sokolov_boris@inbox.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Санкт-Петербургский Федеральный исследовательский центр Российской академии наук</institution></aff><aff xml:lang="en"><institution>St. Petersburg Federal Research Center of the RAS</institution></aff></aff-alternatives><aff-alternatives id="aff-2"><aff xml:lang="ru"><institution>Научно-инженерный центр Санкт-Петербургского электротехнического университета</institution></aff><aff xml:lang="en"><institution>Scientific and Engineering Center of St. Petersburg Electrotechnical University</institution></aff></aff-alternatives><pub-date pub-type="collection"><year>2023</year></pub-date><pub-date pub-type="epub"><day>27</day><month>11</month><year>2024</year></pub-date><volume>66</volume><issue>6</issue><fpage>509</fpage><lpage>513</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Национальный исследовательский университет ИТМО, 2024</copyright-statement><copyright-year>2024</copyright-year><copyright-holder xml:lang="ru">Национальный исследовательский университет ИТМО</copyright-holder><copyright-holder xml:lang="en">Национальный исследовательский университет ИТМО</copyright-holder><license xlink:href="https://pribor.ifmo.ru/jour/about/submissions#copyrightNotice" xlink:type="simple"><license-p>https://pribor.ifmo.ru/jour/about/submissions#copyrightNotice</license-p></license></permissions><self-uri xlink:href="https://pribor.ifmo.ru/jour/article/view/156">https://pribor.ifmo.ru/jour/article/view/156</self-uri><abstract><p>В современных автоматизированных системах управления сложными объектами (АСУ СлО) процессы получения, хранения, обработки и передачи данных, информации и знаний тесно переплетаются с процессами мониторинга и управления указанными объектами. Эти процессы могут протекать как последовательно, так и параллельно, с использованием различных ресурсов АСУ СлО. Анализ показывает, что в рамках существующих подходов при описании рассматриваемых процессов не учитывается динамический характер частичного порядка, возникающего между ними. Такой динамически изменяющийся частичный порядок предложено называть естественным параллелизмом процессов функционирования АСУ СлО. Автоматическое целенаправленное динамическое распараллеливание процессов обеспечивает высокую эффективность использования получаемых моделей при управлении СлО. Реализуемая параллельность при этом близка к естественному параллелизму моделируемых процессов. При этом исполнение процессов с использованием динамического распараллеливания отличается возможностью масштабирования на различное число параллельно работающих интерпретаторов (процессоров, параллельных потоков). Приводится возможный подход к формальному описанию естественного параллелизма управленческих и информационных процессов.</p></abstract><trans-abstract xml:lang="en"><p>In modern automated control systems for complex objects (ACS CO), the processes of obtaining, storing, processing and transmitting data, information and knowledge are closely intertwined with the processes of monitoring and managing these objects. At the same time, these processes can proceed both sequentially and in parallel, using various resources of the ACS CO. The analysis shows that within the framework of existing approaches, when describing the processes under consideration, the dynamic nature of the partial order that arises between them is not taken into account. Such a dynamically changing partial order in previous publications is proposed to be called the natural parallelism of the processes of functioning of the ACS CO. In these papers, it is shown that with automatic purposeful dynamic parallelization of processes, high efficiency is achieved in the use of the resulting models in the control of complex objects. The implemented parallelism is close to the natural parallelism of the simulated processes. At the same time, the execution of processes using dynamic parallelization is distinguished by the possibility of scaling to a different number of parallel interpreters (processors, parallel threads). In this article, a possible approach to formal description of the natural parallelism of management and information processes is proposed.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>процессы мониторинга и управления</kwd><kwd>естественный параллелизм управленческих и информационных процессов</kwd><kwd>логико-динамические модели программного управления сложными объектами</kwd></kwd-group><kwd-group xml:lang="en"><kwd>monitoring and management processes</kwd><kwd>natural parallelism of management and information processes</kwd><kwd>logical-dynamic models of program control of complex objects</kwd></kwd-group><funding-group><funding-statement xml:lang="ru">Исследования, выполненные по данной тематике, проводились в рамках бюджетной темы FFZF-2022-0004.</funding-statement><funding-statement xml:lang="en">The studies performed on this topic were carried out as part of the budget topic FFZF-2022-0004.</funding-statement></funding-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Выхованец В. С., Яцутко А. В. Динамическое управление бизнес-процессами на основе совмещенных сетей управления и данных // Вестн. МГТУ им. Н.Э. Баумана. Электронное издание. 2013. № 2(14). С. 1—13.</mixed-citation><mixed-citation xml:lang="en">Vykhovanets V.S., Yatsutko A.V. Herald of the Bauman Moscow State Technical University, 2013, no. 2(14), pp. 1–13. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Калянов Г. Н. Методология реорганизации бизнес-процессов предприятия // Вестн. МГТУ им. Н. Э. Баумана. Сер. Машиностроение. 2012. Спецвыпуск „Научные школы НУК РК МГТУ имени Н.Э. Баумана: школа профессора В. В. Емельянова“. С. 119—126.</mixed-citation><mixed-citation xml:lang="en">Kalyanov G.N. Herald of the Bauman Moscow State Technical University. Series Mechanical Engineering, 2012, Special issue "Scientific schools of NUK RK MSTU: School of Professor V.V. Emelyanov", рр. 119–126. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Васильев С. Н. От классических задач регулирования к интеллектному управлению // Теория и системы управления. 2001. Т. 40, № 1. С. 5—22; № 2. С. 5—21.</mixed-citation><mixed-citation xml:lang="en">Vasil'ev S.N. Journal of Computer and Systems Sciences International, 2001, no. 1(40), pp. 1–18; no. 2(40), pp. 169–185.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Жук К. Д., Тимченко А. А., Доленко Т. И. Исследование структур и моделирование логико-динамических систем. Киев: Наук. думка, 1975.</mixed-citation><mixed-citation xml:lang="en">Zhuk K.D., Timchenko A.A., Dolenko T.I. Issledovaniye struktur i modelirovaniye logiko-dinamicheskikh sistem (Research of Structures and Modeling of Logical-Dynamic Systems), Kyiv, 1975. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Зимин И. Н., Иванилов Ю. П. Решение задач сетевого планирования сведением их к задачам оптимального управления // Журнал вычисл. математики и математической физики. 1971. № 3. С. 632—641.</mixed-citation><mixed-citation xml:lang="en">Zimin I.N., Ivanilov Yu.P. USSR Computational Mathematics and Mathematical Physics, 1971, no. 3, pp. 632–641. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Моисеев Н. Н. Математические задачи системного анализа. М.: Наука, 1981. 488 с.</mixed-citation><mixed-citation xml:lang="en">Moiseev N.N. Matematicheskiye zadachi sistemnogo analiza (Mathematical Problems of System Analysis), Moscow, 1981, 488 р. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Калинин В. Н., Соколов Б. В. Многомодельный подход к описанию процессов управления космическими средствами // Теория и системы управления. 1995. № 1. С. 149—156.</mixed-citation><mixed-citation xml:lang="en">Kalinin V.N., Sokolov B.V. Journal of Computer and System Sciences International, 1995, no. 1, pp. 149–156. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Соколов Б. В. Комплексное планирование операций и управление структурами в АСУ активными подвижными объектами. М.: МО, 1992. 232 с.</mixed-citation><mixed-citation xml:lang="en">Sokolov B.V. Kompleksnoye planirovaniye operatsiy i upravleniye strukturami v ASU aktivnymi podvizhnymi ob"yektami (Comprehensive Planning of Operations and Management of Structures in Automated Control Systems for Active Mobile Objects), Moscow, 1992, 232 р. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Соколов Б. В., Калинин В. Н. Динамическая модель и алгоритм оптимального планирования комплекса работ с запретами на прерывание // Автоматика и телемеханика. 1985. № 5. С. 106—114.</mixed-citation><mixed-citation xml:lang="en">Sokolov B.V., Kalinin V.N. Automation and Remote Control, 1985, no. 5, pp. 106–114. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Питерсон Дж. Теория сетей Петри и моделирование систем / Пер. с англ. М. В. Горбатовой и др.; под ред. В. А. Горбатова. М.: Мир, 1984. 264 с.</mixed-citation><mixed-citation xml:lang="en">Peterson J.L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, New Jersey, 1981, 290 p.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Котов В. Е. Сети Петри. М.: Наука, 1984. 160 с.</mixed-citation><mixed-citation xml:lang="en">Kotov V.E. Seti Petri (Petri Nets), Moscow, 1984, 160 р. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Охтилев М. Ю., Соколов Б. В., Юсупов Р. М. Интеллектуальные технологии мониторинга и управления структурной динамикой сложных технических объектов. М.: Наука, 2006. 410 с.</mixed-citation><mixed-citation xml:lang="en">Okhtilev M.Yu., Sokolov B.V., Yusupov R.M. Intellektual'nyye tekhnologii monitoringa i upravleniya strukturnoy dinamikoy slozhnykh tekhnicheskikh ob"yektov (Intelligent Technologies for Monitoring and Controlling the Structural Dynamics of Complex Technical Objects), Moscow, 2006, 410 р. (in Russ.)</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
