Автор: Трокоз Дмитрий Анатольевич

Название:Instrumental System of Temporal Analysis of Models of Concurrent Computing Systems Constructed Using Theory of Temporary Finite State Automata
Тематика:физико-математические науки
Вид ресурса:электронное немультимедийное издание
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Аннотация: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
Дата издания:2020
Дата загрузки:30.11.2020
Издательство:IEEE
ИР получен из базы данных "Scopus" автоматически
Название:АПРОБАЦИЯ СПОСОБА ПРЕОБРАЗОВАНИЯ АЛГОРИТМОВ ФУНКЦИОНИРОВАНИЯ КОМПОНЕНТОВ КИБЕРФИЗИЧЕСКОЙ СИСТЕМЫ, ПОСТРОЕННЫХ НА СХЕМАХ ЖЕСТКОЙ ЛОГИКИ, В КОНЕЧНЫЙ АВТОМАТ.
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Преподаватель, Исследователь
Дата издания:2021
Дата загрузки:30.11.2020
Издательство:издателство ПГУ
Название:МЕТОДИКА ПРЕОБРАЗОВАНИЯ ТЕМПОРАЛЬНОГО КОНЕЧНОГО АВТОМАТА В СП-МОДЕЛЬ.
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное, Учебное
Целевая аудитория:Исследователь, Учащийся
Аннотация:Одним из наиболее популярных механизмов для описания или построения алгоритмов является конечный автомат, сочетающий в себе относительную наглядность и простоту построения. Тем не менее процессы в виду своей физической природы не протекают мгновенно, а длятся определённый промежуток времени. В данном случае можно прибегнуть к использованию разновидности временных конечных автоматов. Наряду с конечными автоматами в современных методах моделирования используют сети Петри - мощную математическую модель, способную представить класс алгоритмов любой сложности. Цель данной статьи заключается в описании алгоритма преобразования временного конечного автомата в сеть Петри, содержащую ингибиторные дуги. Данный способ является универсальным, а, следовательно, становится возможным перехода от конечных автоматов к сетям Петри, когда последние становятся более удобны для моделирования процессов.
Дата издания:2020
Дата загрузки:01.12.2020
Издательство:Издательство ПГТУ
Название:Методы и средства мониторинга дорожного трафика в среде "Smart road"
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2020
Дата загрузки:27.11.2020
Издательство:Изд-во Пензенского политехнического института
Название:ТЕМПОРАЛЬНЫЙ АНАЛИЗ КИБЕРФИЗИЧЕСКИХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ
Тематика:техника
Вид ресурса:электронная копия бумажного издания
Тип ресурса:Статья
Целевое назначение:Научное
Целевая аудитория:Исследователь
Дата издания:2019
Дата загрузки:16.11.2020
Издательство:Издательство ПГТУ