The use of abstract Moore automaton to control the sensors of a service-oriented alarm and emergency notification network

Abstract

Метою роботи є дослідження можливості використання абстрактного автомата Мура для управління датчиками сервіс-орієнтованої мережі оповіщення про надзвичайні та аварійні ситуації в мегаполісі. Важливою є процедура мінімізації внутрішніх станів автомата, на основі чого будується граф переходів автомата, за яким вмикається синхронний тригер – перемикач між датчиками, – що дозволяє не просто отримати інформацію, а й підтвердити чи спростувати настання екстреної ситуації. Актуальність теми підтверджується необхідністю забезпечення безпеки проживання в урбаністичному середовищі. Необхідним є постійний моніторинг параметрів середовища, які дозволяють збалансувати керуючі впливи на систему для отримання зваженого управлінського рішення. Проаналізовано можливість використання абстрактного автомату Мура для управління датчиками сервіс-орієнтованої мережі оповіщення про надзвичайні та аварійні ситуації в мегаполісі. Встановлено, що проведення мінімізації автомата Мура можна вирішити за алгоритмом Ауфенкампа-Хону, що дозволяє вичленувати еквівалентний стан автомата: вибрати довільно з кожного класу еквівалентності по одному представнику за мінімальним номером. Після цього достатньо видалити з вихідної таблиці переходів інші, зайві для даного випадку, стани та визначити мінімальний автомат Мура. Після цього формується матриця переходів тригера, яка, у даному випадку, не лише є просто лічильником дій, а й запускає в дію чергового датчика залежно від того, який був вхідний сигнал. Розвинений підхід та отримані результати з реалізації у тестовій сервіс-орієнтованій мережі оповіщення про надзвичайні та аварійні ситуації в мегаполісі дозволяють використовувати абстрактний автомат Мура для автоматизації процесу опитування датчиків з перевіркою отриманої інформації від джерела. Отримані результати можуть бути також використані при реалізації 3D резюме, які дозволяють здійснювати відбір персоналу в режимі реального часу з переходами між подіями-завданнями залежно від виконаного/невиконаного попереднього завдання.

The paper aims to achieve the ability of an abstract Moore automaton to control the sensors of a service-oriented alarm system for notification of emergency situations in a metropolis. An important procedure is minimization of the internal settings of the automaton, on the basis of which there will be a graph of transitions to the machine for which a synchronous trigger is turned on – a switch between sensors, - which allows not only to receive information, but also to confirm that it is necessary to notify about the current emergency situation. The relevance of those proves the need for security of living in the urban environment. Constant monitoring of the parameters of the medium is of high necessity. This allows to balance the key factors influencing the system in order to make a sound management decision. The possible ways of using an abstract Moore automaton to control the sensors of a service-oriented alarm system about emergency situations in a metropolis is analysed.