Про формалізацію планів дій з протидії надзвичайним ситуаціям
Досліджується проблема формалізації планів дій з протидії надзвичайним ситуаціям. Наголошується, що традиційні плани дій є текстовими документами, які не придатні для вирішення завдань автоматизації прийняття рішень на їх основі. Наводиться формальний опис простору станів та обґрунтовується доцільні...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2023 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2023
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/191026 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Про формалізацію планів дій з протидії надзвичайним ситуаціям / А.Л. Яловець // Проблеми програмування. — 2023. — № 1. — С. 38-47. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-191026 |
|---|---|
| record_format |
dspace |
| spelling |
Яловець, А.Л. 2023-06-25T18:36:39Z 2023-06-25T18:36:39Z 2023 Про формалізацію планів дій з протидії надзвичайним ситуаціям / А.Л. Яловець // Проблеми програмування. — 2023. — № 1. — С. 38-47. — Бібліогр.: 7 назв. — укр. 1727-4907 DOI: http://doi.org/10.15407/pp2023.01.038 https://nasplib.isofts.kiev.ua/handle/123456789/191026 (64.012.2+004.94):614.8 Досліджується проблема формалізації планів дій з протидії надзвичайним ситуаціям. Наголошується, що традиційні плани дій є текстовими документами, які не придатні для вирішення завдань автоматизації прийняття рішень на їх основі. Наводиться формальний опис простору станів та обґрунтовується доцільність використання графу простору станів для подання електронних планів дій. На основі аналізу внутрішньої структури процесу протидії абстрактній надзвичайній ситуації виконується виявлення множини функціональних груп та їх складових операцій, з використанням яких може бути побудований довільний план дій. Здійснюється виявлення множини типів параметрів, за допомогою яких забезпечується формалізація операцій. Наводяться переваги використання запропонованої формалізації планів дій 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. uk Інститут програмних систем НАН України Проблеми програмування Інформаційні системи Про формалізацію планів дій з протидії надзвичайним ситуаціям On the formalization of emergency action plans Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Про формалізацію планів дій з протидії надзвичайним ситуаціям |
| spellingShingle |
Про формалізацію планів дій з протидії надзвичайним ситуаціям Яловець, А.Л. Інформаційні системи |
| title_short |
Про формалізацію планів дій з протидії надзвичайним ситуаціям |
| title_full |
Про формалізацію планів дій з протидії надзвичайним ситуаціям |
| title_fullStr |
Про формалізацію планів дій з протидії надзвичайним ситуаціям |
| title_full_unstemmed |
Про формалізацію планів дій з протидії надзвичайним ситуаціям |
| title_sort |
про формалізацію планів дій з протидії надзвичайним ситуаціям |
| author |
Яловець, А.Л. |
| author_facet |
Яловець, А.Л. |
| topic |
Інформаційні системи |
| topic_facet |
Інформаційні системи |
| publishDate |
2023 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
On the formalization of emergency action plans |
| description |
Досліджується проблема формалізації планів дій з протидії надзвичайним ситуаціям. Наголошується, що традиційні плани дій є текстовими документами, які не придатні для вирішення завдань автоматизації прийняття рішень на їх основі. Наводиться формальний опис простору станів та обґрунтовується доцільність використання графу простору станів для подання електронних планів дій. На основі аналізу внутрішньої структури процесу протидії абстрактній надзвичайній ситуації виконується виявлення множини функціональних груп та їх складових операцій, з використанням яких може бути побудований довільний план дій. Здійснюється виявлення множини типів параметрів, за допомогою яких забезпечується формалізація операцій. Наводяться переваги використання запропонованої формалізації планів дій
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/191026 |
| citation_txt |
Про формалізацію планів дій з протидії надзвичайним ситуаціям / А.Л. Яловець // Проблеми програмування. — 2023. — № 1. — С. 38-47. — Бібліогр.: 7 назв. — укр. |
| work_keys_str_mv |
AT âlovecʹal proformalízacíûplanívdíizprotidíínadzvičainimsituacíâm AT âlovecʹal ontheformalizationofemergencyactionplans |
| first_indexed |
2025-12-07T21:06:34Z |
| last_indexed |
2025-12-07T21:06:34Z |
| _version_ |
1850885112994988032 |