Про формалізацію планів дій з протидії надзвичайним ситуаціям

Abstract

Досліджується проблема формалізації планів дій з протидії надзвичайним ситуаціям. Наголошується, що традиційні плани дій є текстовими документами, які не придатні для вирішення завдань автоматизації прийняття рішень на їх основі. Наводиться формальний опис простору станів та обґрунтовується доцільність використання графу простору станів для подання електронних планів дій. На основі аналізу внутрішньої структури процесу протидії абстрактній надзвичайній ситуації виконується виявлення множини функціональних груп та їх складових операцій, з використанням яких може бути побудований довільний план дій. Здійснюється виявлення множини типів параметрів, за допомогою яких забезпечується формалізація операцій. Наводяться переваги використання запропонованої формалізації планів дій

The problem of formalization of action plans to counter emergency situations is being studied. It is noted that traditional action plans are text documents that are not suitable for solving the tasks of automating the management of emergency situations. A formal description of the state space is given and the expediency of using the state space graph to represent electronic action plans is substantiated. Based on the analysis of the internal structure of the process of countering an abstract emergency, a set of functional groups and their constituent operations are identified, using which an arbitrary action plan can be built. The identification of a set of types of parameters is carried out, through which the formalization of operations is provided. The advantages of using the proposed formalization of action plans for automating the processes of emergency response management are given.