Главная
» Электронная библиотека » Instrumental System of Temporal Analysis of Models of Concurrent Computing Systems Constructed Using Theory of Temporary Finite State Automata
Instrumental System of Temporal Analysis of Models of Concurrent Computing Systems Constructed Using Theory of Temporary Finite State Automata
ИР автоматически получен из ЭБС Scoupus
| Категория: | физико-математические науки | |
| Авторы (ПГУ): | Синев Михаил Петрович [20]  , Коннов Николай Николаевич [40] , Зинкин Сергей Александрович [40] , Пучкова Ульяна Николаевна [0] , Калашников Виталий Александрович [0] , Мартышкин Алексей Иванович [0] | |
| Авторы (внеш.): | Трокоз Дмитрий Анатольевич [0] | |
| Аннотация: | This article examines the issue of poorly studied methods of temporal analysis of cyberphysical systems, as well as simulations of concurrent computing cyberphysical systems with a time component. The article describes the currently relevant methods and means of temporal analysis of computing cyber systems, their advantages and disadvantages[1]. Often, in the process of developing a real mechanical cyber system, it is necessary to simulate it and simulate its work under certain conditions, in order to identify possible difficulties in the functioning of the mechanism, and to adjust them subsequently. Actual methods of temporal analysis of cyber systems do not fully solve the posed problem or do not solve it at all. In order to solve the above-mentioned problem, a new method of temporal analysis was proposed that solves problems that other methods described in this article do not solve[2]. One of the advantages of the method proposed in this article is the modeling of non-deterministic time machines, so that this approach can be widely used in modeling cyber systems and simulating their work under a variety of conditions. As a test of the scientific solution of the problem described in this article, a software tool for temporal analysis and simulation of models of computing cyberphysical systems was developed and debugged. The main feature of the environment is the coding and building computing cyberphysical systems in the graph format of an abstract temporary finite deterministic or non-deterministic automaton using a system of canonical equations given in disjunctive normal form. The basic method of parsing the system of canonical equations for building a model of the target computing cyberphysical system in the graph format of an abstract automaton as well as simulation algorithms for the entire model in the mode of a deterministic and non-deterministic automaton are described. The user interface elements for managing the modeling environment, its main features and methods of temporal analysis of specified concurrent computing systems are described | |
| Тип: | Статья | |
| Вид: | электронное немультимедийное издание | |
| Количество частей: | 1 | |
| Год издания: | 2020 | |
| Издательство: | IEEE | |
| Где опубликовано: | Зарубежный журнал | |
| Место опубликования: | Moscow Workshop on Electronic and Networking Technologies, MWENT 2020 - Proceedings | |
| Индексация: | Публикация без квартиля в Web of Science или Scopus (тип документа Proceedings и др.) | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Отрасль науки: | 05.13.17 Теоретические основы информатики. | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | IEEE | |
| DOI: | 10.1109/MWENT47943.2020.9067448 | |
| Библиографическая ссылка: | Konnov Nikolai Nikolaevich;Zinkin Sergey Aleksandrovich;Puchkova Ulyana Nikolaevna;Sinev Mikhail Petrovich;Boriskin Vyacheslav Vladimirovich;Trokoz Dmitry Anatolievich;Martyishkin Aleksey Ivanovich;Kalashnikov Vitaliy Aleksandorovich Instrumental System of Temporal Analysis of Models of Concurrent Computing Systems Constructed Using Theory of Temporary Finite State Automata / 2020 Moscow Workshop on Electronic and Networking Technologies, MWENT 2020;( Moscow; Russian Federation; 11 March 2020 -13 March 2020, P.1-8, DOI 10.1109/MWENT47943.2020.9067448 | |
| Внешняя веб-ссылка: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85083975301&origin=inward | |
| Язык: | Английский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 30.11.2020 | |
| Владелец: | Синев Михаил Петрович | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1590357620  | |
| Формат: | Не указан |