Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ) вып. 9/2019(10)

Считывание состояния элемента макроструктуры достигается подачей специального управляющего сигнала Uo'. Таким образом, определен алфавит функциональных операций (множество атомарных действий системы): Представим содержательную информацию рассматриваемой предметной области (региональной безопасности) в виде формальных высказываний. Построим алгебраическую систему A = {A,Q, I ^ j , состоящую из непустого множества А, семейства алгебраических операций Q и семейства отношений R. Для задания такой системы определим некоторые исходные объекты, которые будем рассматривать как неделимые; перечислим способы комбинирования исходных объектов между собой; укажем условие, которому удовлетворяют те и только те комбинации исходных объектов, которые считаются элементами системы; сформулируем условие, при котором два элемента системы считаются равными. Отождествим семейство Q алгебраических операций с организацией достижений совокупной цели управления из известных атомарных целей, достижение которых реализуется атомарными действиями, заданными алфавитом L. Такие совокупные цели обеспечиваются комбинациями последовательного и параллельного (одновременного) достижения атомарных целей, то есть композициями элементов функционального алфавита целей, построенными с использованием двух обобщенных операций: 1. операция ® : достичь атомарной цели ct 2 после достижения атомарной цели аі; 2. операция Ѳ: достичь атомарной цели ct 2 одновременно с атомарной целью аі Использование принципа управления через целеполагание обеспечивает организацию всего многообразия вариантов обеспечения региональной безопасности через композиции элементов функционального алфавита, построенные с использованием двух введенных обобщенных операций. Совокупная цель достигается последовательно-параллельной комбинацией подцелей нижнего уровня. Аналогичные операции вводятся для атомарных действий - элементов функционального алфавита L. Зададим операцию ® как последовательное применение следующей функциональной операции к результату предыдущей: Операцию Ѳ зададим как одновременное выполнение двух атомарных воздействий: Операция ® производит последовательный запуск и исполнение выбранных атомарных элементов вычислительного процесса. Операция Ѳ производит параллельный запуск выбранных атомов. ( 4 ) L = M x U x S . ( 5 ) ®'-Lj =L j _2®L j _ x ( 6 ) ( 7 ) 14