Functional-target management models of regional security (Part 2. Covering and adequate systems)

Abstract

Работа направлена на развитие формального аппарата анализа и синтеза многоуровневых распределенных систем управления региональной безопасностью с целью повышения адекватности этих систем в условиях усложнения управленческих задач в этой области. В работе предложены математические модели управления региональной безопасностью , основанные на функционально-целевой технологии и теории иерархических многоуровневых систем. Модели обеспечивают формальную постановку задач и практическую реализацию процедур автоматизации структурно-алгоритмического синтеза адекватных систем информационной поддержки управленческой деятельности. Работа состоит из двух частей. В первой части рассматриваются формальные процедуры синтеза цепочек целей и действий в управлении региональной безопасностью. Во второй части обсуждаются вопросы синтеза моделей покрывающих и адекватных систем, обеспечивающих решение задач управления путем удовлетворения условий изоморфизма всех уровней их декомпозиции и функциональной организации системы. The study is aimed to development of the mathematical apparatus for analysis and synthesis of the multi-level distributed management systems of regional security for the purpose of system adequacy enhancement under management problems complication in this field. Mathematical models for regional security management based on the functional-target technology and the theory of hierarchical multi-level systems are proposed. Models provide formalized problem statement and practical implementation of automation procedures of the structural-algorithmic synthesis of appropriate systems for information support of management activity. Our research work consists of two parts. In the first part formal procedures of the chain synthesis of goals and actions in regional security management are considered. In the second part the model synthesis issues of covering and adequate systems, providing management problem-solving by isomorphism conditions settlement of the all problem decomposition levels and the system functional organization.