Автор: Пучкова Ульяна Николаевна
| Название: | Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: II. Логико-алгебраические операционные модели и инфокоммуникационные технологии | 
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | В данной статье объектом исследования являются информационные процессы в асинхронных дискретно-событийных системах. Примерами таких систем могут быть организационно-экономические, производственные и вычислительные системы. Предметом исследования является методология формализации и анализа асинхронных дискретно-событийных систем на основе интеграции методов искусственного интеллекта и поведенческого дискретно-событийного моделирования. В качестве примера подходящей предметной области в настоящей работе рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Методология исследования базируется на логике предикатов первого и второго порядков, формализме сетей абстрактных машин, моделях искусственного интеллекта и на впервые предлагаемых концептуальных сетях Петри. Новизна исследования состоит в получении в конечном итоге на основе концептуальной и поведенческой модели асинхронной дискретно-событийной системы формализованных непосредственно исполнимых спецификаций, например, пригодных для последующей реализации сетевого программного обеспечения беспроводной вычислительной сети, управляющей гибким автоматизированным производством изделий. В части II статьи показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (сценарные сети) могут в достаточно полной степени представлять не только декларативные, но и процедурные знания о предметной области. В целях построения поведенческой дискретно-событийной модели реализован переход от семантической сети с событиями, описывающей участок гибкого автоматизированного производства, к сети Петри и далее к сети абстрактных машин, описанной логико-алгебраическими выражениями. Для сохранения информативности модели предложены некоторые разновидности сетей Петри, а также определен новый класс сетей Петри – концептуальные сети Петри. Предложены формализованные исполнимые спецификации, учитывающие роли всех объектов-участников реализации событий и управление со стороны беспроводной сети. Использование языка сетей абстрактных машин упрощает дальнейшую реализацию интеллектуальной поведенческой модели системы на базе известных языков типа C, C++, C# и др. Предложен принцип построения логико-алгебраической операционной (исполнимой) модели, предназначенной для построения на ее основе распределенного сетевого приложения для беспроводной сети, управляющей роботизированным производством. | |
| Дата издания: | 2017 | |
| Дата загрузки: | 17.11.2018 | |
| Издательство: | ООО «НБ-Медиа» | |
| Название: | РАЗРЕШЕНИЕ КОНФЛИКТА ПРИ ПАРАЛЛЕЛЬНОЙ ОБРАБОТКЕ ДАННЫХ НА ПРИМЕРЕ БРОНИРОВАНИЯ БИЛЕТОВ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | Данная статья посвящена разрешению конфликтов при параллельной обработке данных. В ней рассмотрены и проанализированы способы бронирования билетов, механизм взаимодействия пользователя с сервером, а также метод разрешения конфликта при фиксации одного места двумя пользователями. Цель, котораяопределенав этой статье - нахождение консенсуса при онлайн-бронировании билетов в кинотеатре. Актуальность поставленной в статье задачи обусловлена тем, что в реальной жизни могут возникнуть ситуации, при которых два пользователя забронировали одно и то же место, в следствии чего исполняющая сторона (кинотеатр) снижает свой рейтинг и теряет потенциальных клиентов. Два способа бронирования, которые рассматриваются в этой статье, представляют собой: фиксирование факта бронирования при выборе места пользователем и фиксирование факта бронирования по нажатию кнопки «Забронировать». Был рассмотрен алгоритм обработки сервером параллельных запросов, посылаемых пользователями. В результате анализа были выявлены преимущества и недостатки способов решения конфликтных ситуаций. При использовании механизма параллельной обработке запросов, изложенного в данной статье, конфликтные ситуации будут возникать реже для обеих сторон (клиента и поставщика услуг). | |
| Дата издания: | 2018 | |
| Дата загрузки: | 11.11.2019 | |
| Издательство: | Пензенский государственный технологичесикй университет | |
| Название: | ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ ШИФРОВАНИЯ СООБЩЕНИЙ В МЕССЕНЖДЕРАХ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ АВТОМАТОВ |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Аннотация: | This article describes the method of end-to-end encryption of messages in messaging apps using the automata theory, which are necessary for the visual representation of this mechanism. Interpretation of end-to-end encryption on event non-deterministic automaton allows to implement these methods not only by software, but also by hardware. Since at the present time there is a high probability of loss and falsification of personal data of users and storing the correspondence in a decrypted form on the network, such software methods of message encryption as symmetric and asymmetrical are used now; the distinctive features of each of which were described in this article. On the basis of these encryption methods, two protocols, which are the most reliable and frequently used in modern messaging apps, were considered. In one of the methods, a serious vulnerability was found. It is missing in another protocol due to the use of Double Ratchet and triple Diffie-Hellman. This vulnerability was described in this article. In the analysis of the protocols, the Diffie-Hellman algorithm and the AES-256 standard were detailed. The AES-256 standard is represented by a form of mathematical model using the automata theory, on the basis of which a hardware implementation of the encryption mechanism is possible. | |
| Дата издания: | 2019 | |
| Дата загрузки: | 27.11.2019 | |
| Издательство: | Общество с ограниченной ответственностью "Офорт" (Самара) | |
| Название: | 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" автоматически
| ||