УДК 519.816
А.Е. ЛИТВИНЕНКО, О.В. НЕЛИН
ВЫРАБОТКА РЕШЕНИЙ В СИСТЕМАХ СИТУАЦИОННОГО УПРАВЛЕНИЯ МЕТОДОМ НАПРАВЛЕННОГО ПЕРЕБОРА ВАРИАНТОВ
Abstract: A logical-linguistic model for a situational control of a complex systems is introduced. A procedure of its transformation to the canonical view of extreme combinatorial problems is described. An algorithm of decision making, which implements a strategy of directed-goal consequent examining variants, is presented.
Key words: situational control, choice, combinatorial problems.
Анотація: Наведена логіко-лінгвістична модель ситуаційного управління складними організаційно-технологічними об’єктами. Описана процедура її перетворення до канонічного виду екстремальних комбінаторних задач. Викладений алгоритм вироблення управлінських рішень, що реалізує стратегію направленого перебору варіантів.
Ключові слова: ситуаційне управління, вибір, комбінаторні задачі.
Аннотация: Приведена логико-лингвистическая модель ситуационного управления сложными
организационно-техническими объектами. Описана процедура ее преобразования к каноническому виду экстремальных комбинаторных задач. Изложен алгоритм выработки управленческих решений, реализующий стратегию направленного перебора вариантов.
Ключевые слова: ситуационное управление, выбор, комбинаторные задачи.
1. Введение
Слабая формализуемость управленческих задач в сложных организационно-технологических системах требует применения экспертных логико-лингвистических моделей управления и соответствующих им алгоритмов логического вывода [1]. Среди последних наиболее широкое распространение получили алгоритмы, основанные на известном принципе резолюции Дж. Робинсона [2]. Однако все они обладают рядом существенных недостатков, основным из которых является слабая целенаправленность действия, обусловленная наличием эвристических элементов. Вследствие этого в процессе анализа логико-лингвистической модели формируется большой объем промежуточной информации, которая в дальнейшем не используется, но резко увеличивает затраты машинного времени.
Явно выраженный комбинаторный характер процедуры логического вывода, а также стремление придать ей большую целенаправленность обусловили попытку привлечь к выработке решений на основе экспертных моделей управления алгоритм направленного перебора вариантов. Наряду с существенным сокращением объема вычислений, это придаст экспертной системе управления дополнительные возможности, которых она была лишена при использовании традиционных методов логического вывода:
а) формирование комплексных управленческих решений, предусматривающих одновременную реализацию некоторого набора элементарных управляющих операций;
б) оптимизация искомых управленческих решений по заданному критерию.
Реализация такого подхода требует унификации структуры экспертных моделей ситуационного управления, разработки процедуры их преобразования к каноническому виду экстремальных комбинаторных задач, модификации алгоритма направленного перебора вариантов. Именно это является целью данного исследования.
2. Формализация задачи ситуационного управления
Предлагаемый подход к выработке решений в системах ситуационного управления базируется на следующих предположениях.
Объектом управления (ОУ) является сложная организационно-технологическая система,
состоящая из п взаимодействующих подсистем а}-, ] = 1,п. Состояние ОУ в каждый момент
времени описывается и-мерным вектором значений его характеристик г = .
Если текущие значения всех характеристик ОУ одновременно принадлежат заранее установленным допустимым диапазонам, это означает, что объект управления находится в нормальном состоянии и в каких-либо управляющих воздействиях нет необходимости. Выход хотя бы одной из характеристик за допустимые пределы свидетельствует о переходе ОУ в аномальное состояние, что требует оперативного принятия управленческого решения, способного вернуть объект управления в нормальное состояние.
Экспертная модель управления сложным объектом строится по традиционной схеме <ситуация> ® <действие>. Предполагается, что экспертами заранее определено множество наиболее типичных, но достаточно простых аномальных (сбойных, нештатных) ситуаций
; q = 1,п}, каждая из которых задается принадлежностью значений некоторого набора характеристик состояния ОУ к тем или иным диапазонам:
где Рч - множество номеров характеристик состояния ОУ, значения которых являются определяющими для q -й ситуации;
аномальной ситуации .
В случае невозможности количественного измерения той или иной характеристики состояния ОУ допускается описание ее значений качественными категориями.
Экспертная модель ситуационного управления, построенная по указанной схеме, имеет следующую структуру:
где Я - множество, элементы которого идентифицируют возможные способы воздействия на ОУ в q -й нештатной ситуации;
2р - множество значений р -й характеристики состояния ОУ, соответствующих
(1)
1г - множество элементарных управляющих операций, одновременная реализация которых предусматривается г -м способом воздействия на ОУ;
Jri - множество номеров подсистем ОУ, к которым применяется /-я управляющая операция согласно г-у способу воздействия;
X. (г.) - предикат, описывающий /-ю управляющую операцию, применяемую к . -й подсистеме ОУ.
Выражения (1), адаптированные к конкретному объекту управления, могут служить основой базы знаний экспертной системы ситуационного управления.
Реальные ситуации, возникающие в организационно-технологических системах, как правило, значительно сложнее тех, которые априорно предусматриваются экспертами. Поэтому выработке управленческого решения предшествует настройка модели (1) на сложившуюся ситуацию. Структура выражений (1) позволяет свести такую настройку к фиксации значений
компонентов булевого вектора Ь = (ь; q = 1, V) согласно формуле
I1, если (", е р \гр е ^ ) —
Ь = 1п ; q = ^.
[0 - в противном случае
Использование алгоритма направленного перебора для выработки управленческого решения на основе экспертной модели (1) требует построения соответствующей ей алгебраической комбинаторной модели. Для этого каждому предикату X.(г.) сопоставляются
бивалентные переменные х. е {0,1}; I = 1,т; . е Ji,
где т
и и I
q=1 rеRq
; J! = и и Jr.
q=1 rеRq
Смысл булевых переменных х.; г = 1,т; . е Ji интерпретируется следующим образом: если в результате решения управленческой задачи, сведенной к комбинаторной форме, некоторая
переменная х* .* принимает значение 1, это означает, что в сложившейся ситуации необходимо
г .
реализовать г*-ю управляющую операцию в отношении .*-й подсистемы ОУ; при х.*.* = 0
данное утверждение неверно.
Тогда логико-лингвистической модели (1) после настройки на ситуацию можно сопоставить систему алгебраических уравнений следующей структуры:
Е П Пх. =Ь; q=1, v. (2)
rеRq г е^г
Переход к алгебраической модели предоставляет возможность оптимизировать искомое управленческое решение по заданному критерию. В качестве такого критерия могут выступать суммарные финансовые издержки на реализацию управленческого решения, расходы разного рода материально-технических ресурсов, затраты времени на возвращение ОУ в нормальное состояние и др. В большинстве случаев критерий искомого управленческого решения выражается линейной функцией вида
т
f(х)=ЕЕс.ху ® т1п, (3)
.=1 ^.
где cii - величина, характеризующая, например, стоимость реализации /-й управляющей
операции в отношении ]-й подсистемы ОУ.
Следовательно, задача выработки управленческого решения на основе экспертной модели
(1) сводится к отысканию вектора значений булевых переменных x = (х.; i = 1,m; у е Ji),
обращающих в минимум критериальную функцию (3) при соблюдении системы ограничений (2).
Задача (2)-(3) относится к классу экстремальных комбинаторных задач с нелинейной структурой, унимодулярной матрицей коэффициентов и свободных членов. Это дает основание считать, что для ее решения целесообразно использовать алгоритм направленного перебора вариантов [3], адаптированный под структуру математических выражений (2).
3. Алгоритмизация задачи выработки управленческого решения
Данный алгоритм предусматривает последовательное дробление исходного множества G вариантов решения задачи (2)-(3), производимое до тех пор, пока не будет найдено оптимальное решение или установлен факт несовместности системы ограничений (2). Разбиение множества G и последующих его подмножеств осуществляется путем фиксации значений искомых переменных. Для дальнейшего разбиения на каждом этапе решения задачи выбирается то подмножество вариантов, которому соответствует минимальная оценка критериальной функции. Выделяемые подмножества вариантов подвергаются формальному анализу с целью максимально сузить область дальнейшего поиска, сократить объем обрабатываемой информации и тем самым ускорить процесс получения искомого результата.
Полное множество G вариантов решения системы (2) состоит из 2N векторов значений
___ m
переменных xij; i = 1, m; . е Ji, где N = Е Л .
i=\
Предположим, к началу некоторого этапа решения задачи в полном множестве вариантов выделены 1 непересекающихся подмножеств Gk, содержащих допустимые векторы значений
искомых переменных, к = 1,1.
Абстрагируясь от физического смысла рассматриваемой задачи и учитывая, что искомые переменные имеют двойную индексацию, введем следующие обозначения:
г0 г1
1к и 1к - множества первых индексов искомых переменных, получивших в векторах подмножества Gk значения 0 и 1 соответственно:
10 ={г: 1 £ г £ т $/[(1 £ £ п) & (х. = о)1};
11 ={г: 1 £ г £ m, $/[(1 £ £ п) & (х. =1)]};
1к - множество первых индексов искомых переменных, значения которых в векторах подмножества Gk не зафиксированы:
1к ={г :1 £ г £ m, •]гк *0};
Jl и Jlik - множества вторых индексов переменных хг. , ге 1° и хг. , г е 1к , соответственно получивших в векторах подмножества Gk значения 0 и 1:
={г :1 < . < п хг. = 01 г е ^;
4 = {г:1 <.<пх. =1} ге 11;
Jik - множество вторых индексов переменных х. , г е 1к , значения которых в векторах подмножества Gk не зафиксированы:
={1,...,п.}\(Лк и ^) ге 1к.
Набор значений переменных х. , г е 1° и 1\ , ] е J(kk и J]k такой, что
("ге 1к)(". е )(х. = 0)& ("ге Г,)("/е Г,, )(х^ = 1 ),
будем называть частичным планом к -го подмножества вариантов, а любой набор значений переменных х. , г е 1к , . е Jik , удовлетворяющих условию бивалентности ху е{0, 1} , -
дополняющим планом данного подмножества Gk .
Подстановка частичного плана каждого к -го (1 < к <Л) подмножества вариантов в исходную модель (2)-(3) преобразует ее к частной форме, соответствующей данному подмножеству. Для представления такой частной формы на множествах Rq, 1г, Jri выделяются следующие подмножества:
Rkk = {г е Rq: ($г е 1, %/„ п Г* * 0)}; R^qk ={ г е Rq: (Зг е 1Г с Г,,)};
Кк = Rq \ (К и q = ^; 1Л ={ге 1,: J„п Л. *0}, rе ;
-Зпк = ^ П -Згк ; Г е Кдк , г е 1г° .
Ограничение системы (2), которому не удовлетворяет хотя бы один из дополняющих планов подмножества Gk, называется активным по отношению к планам данного подмножества
вариантов. Множество Qk номеров таких ограничений определяется согласно формуле
& = \я: 1 < q < V КЧк * 0}.
С учетом введенных обозначений алгебраическую модель (2)-(3), приведенную в соответствие к -му подмножеству вариантов, можно представить в следующей форме:
/к(х)=ЕЕсг. + ЕЕсг,хг, ®т1п; (4)
ге41еАк ге1к &гк
Е Е П ху = К; qе . (5)
^дк ге1гк ^пк
Алгоритм решения экстремальной комбинаторной задачи (2)-(3), реализующий стратегию направленного перебора вариантов, предусматривает выполнение на каждом этапе вычислительного процесса следующей последовательности действий.
3.1. Выбор подмножества вариантов, подлежащего разбиению
Для дальнейшего разбиения выбирается подмножество вариантов Gk*, 1 < к* <1, которому соответствует минимальная оценка критериальной функции [4]
х(о°* ) = min{^(Gk);1 < к <1} ,
где х(£к )=тп /(х).
Такой критерий выбора отвечает стремлению достичь искомого результата вычислений за минимальное количество шагов алгоритма.
3.2. Выбор переменной, значения которой подлежат фиксации
Для данной операции целесообразно выбрать переменную, фиксация значений которой приводит или может в дальнейшем привести к существенному упрощению системы ограничений (5), соответствующей подмножеству вариантов Gk*. Таким свойством может обладать переменная, не
имеющая (или имеющая минимальное количество) сомножителей в одном из произведений переменных, входящих в уравнения системы (4). Поэтому сначала на множестве
Кк* = и Кчк*
че(2к*
устанавливается элемент г*е Кк*, идентифицирующий произведение переменных с
минимальным количеством сомножителей:
рг*к* = mІn{Prk*, г е Кк
где рл = Е К*!.
ге1гк
Затем для присваивания значений выбирается любая переменная хг* .* из множества
г 3
3.3. Разбиение подмножества вариантов (Л*
Путем фиксации значений переменной хг*;.* подмножество Ок* разбивается на два непересекающихся подмножества вариантов Ок* и 0\*. Во всех планах первого из них хг*;* = 0, в планах второго - х.* .* = 1. Эти значения поочередно подставляются в уравнения (5), вследствие
‘ ]
чего формируются две новые системы ограничений, соответствующие двум новым подмножествам вариантов О.* и 0;*.
3.4. Анализ подмножеств вариантов О.* и 0;*
В основе формального анализа любого подмножества вариантов 0к, 1 < к <1 лежат четыре
следующие утверждения, очевидность которых освобождает от необходимости их доказательства.
Утверждение 1. Система ограничений (5) несовместна, если для некоторого qе Ок выполняется условие
(К1к| > \ )У(К,1к =0) & Кк =0) & (Ьq = 1) .
Утверждение 2. Ограничение qе Ок системы (5) не является активным по отношению к планам подмножества 0к , если для него выполняется условие
К. = 0)& К = 0)& К = 0^ (к;,! = 1)& (Ьq = 1)].
Утверждение 3. Если для некоторого ограничения qе Ок системы (5) выполняется условие
(К,1к =0) & (= 1) & (Ьq = 1) , то из дополняющих планов подмножества вариантов 0к допустимыми могут быть лишь те, в
котарых П П хгз = 1, г е Кк .
ге1гк 3епк
Утверждение 4. Если для некоторого ограничения qе Ок системы (5) выполняется условие
(К1к =0) & (Rqk\ = 1)& (Ьq = 0) , то из дополняющих планов подмножества вариантов 0к допустимыми могут быть лишь те, в
кот°рых П П хг3 = 0 , Г е Кк .
ге1гк 3е-,лк
Процедура анализа подмножества вариантов 0к, 1 < к <1 заключается в
последовательной проверке выполнения условий каждого из сформулированных утверждений для всех ограничений системы (5). В зависимости от результатов этой проверки в цикле анализа осуществляется та или иная совокупность действий.
1. Если для некоторого ограничения системы (5) выполняется условие утверждения 1, то анализируемое подмножество вариантов 0к исключается из дальнейшего рассмотрения как не
содержащее допустимых планов, а процедура анализа на этом завершается. В противном случае осуществляется переход к следующему пункту данной процедуры.
2. Ограничение q1 є Qk , для которого выполняется условие утверждения 2, исключается из системы (5), поскольку оно не способно влиять на выбор дополняющего плана анализируемого подмножества вариантов Ок. После этого корректируется состав множества Qk, элементы которого идентифицируют ограничения, активные по отношению к планам данного подмножества. Обновленный состав указанного множества определяется согласно формуле ^к = Qk \.
3. Если для некоторого ограничения q є ^к системы (5) выполняется условие утверждения
3, то переменным х., г є Кф , і є Ігк, . є Jrik присваиваются значения 1. Эти значения
подставляются во все активные (по отношению к планам подмножества Ок) уравнения (5). После
этого производится повторный цикл анализа к -го подмножества вариантов, начиная с первого пункта. Проверку выполнения условия утверждения 1 для данного ограничения в повторном цикле можно опустить.
В противном случае осуществляется переход к следующему пункту процедуры анализа подмножества (к .
4. Если для некоторого ограничения q є ^к системы (5) выполняется условие утверждения
4 и при этом |ігк | = | = 1, то переменной х. , г є Яф , і є Ігк, ] є Jrik присваивается значение 0.
Это значение подставляется во все активные (по отношению к планам подмножества Ок)
уравнения (5). После этого производится повторный цикл анализа к -го подмножества вариантов, начиная с первого пункта. Проверка выполнения условия утверждения 1 для данного ограничения в повторном цикле опускается.
В противном случае процедура анализа подмножества вариантов Ок завершается. Описанная процедура поочередно выполняется в отношении новых подмножеств вариантов (к0* и (к1*. После этого (если искомое решение не найдено) все оставшиеся в поле рассмотрения подмножества вариантов заново перенумеровываются, начиная с единицы.
3.5. Проверка условий окончания вычислительного процесса
Вычислительный процесс завершается после нахождения оптимального решения экстремальной комбинаторной задачи (2)-(3) или установления факта несовместности системы ограничений (2).
Можно утверждать, что булевый вектор х* = (х; і = 1,т; . є Ji), удовлетворяющий
системе ограничений (2), является оптимальным решением задачи (2)-(3), если для него выполняется условие
/(х *) < тіп{^((к); к =1,11 (6)
где 1 - количество подмножеств вариантов, оставшихся в поле рассмотрения к концу данного этапа вычислительного процесса.
Формальным признаком несовместности системы ограничений (2) служит отсутствие подмножеств вариантов, оставшихся в поле рассмотрения после выполнения процедуры анализа,
то есть Л/ = 0 .
Если на текущем этапе условия окончания вычислительного процесса не выполняются, то осуществляется следующий этап реализации описанного алгоритма.
Начинать решение задачи (2)-(3) целесообразно с анализа полного множества вариантов G . В некоторых случаях это позволяет без процедуры разбиения установить факт несовместности системы ограничений или, по крайней мере, существенно сузить область дальнейшего поиска решений.
Вектор значений искомых переменных x *, являющийся оптимальным решением задачи
(2)-(3), определяет комбинацию элементарных управляющих операций, которые необходимо реализовать в сложившейся ситуации с целью перевода ОУ в нормальное состояние. Отсутствие допустимых решений задачи (2)-(3) свидетельствует о противоречивости и, следовательно, практической непригодности экспертной модели ситуационного управления (1).
4. Выводы
По сравнению с существующими методами вывода управленческих решений на основе логиколингвистических моделей изложенный метод обладает следующими преимуществами:
- уменьшением объемов обрабатываемой информации и, как следствие, сокращением продолжительности решения управленческих задач;
- способностью нахождения комплексных решений, предусматривающих одновременную реализацию нескольких элементарных управляющих операций;
- возможностью оптимизации управленческих решений по заданным критериям.
Приведенный алгоритм направленного перебора обладает свойством полноты,
обусловленным тем, что ни одно из выделяемых подмножеств вариантов не исключается из поля рассмотрения до установления факта несовместности соответствующей ему системы ограничений. Алгоритм реализован в среде Delphi 3.0 с использованием языка Object Pascal.
Описанный метод выработки управленческих решений ориентирован на использование в системах ситуационного управления кризисных центров аэропортов. Большинство управленческих задач, возникающих в кризисных ситуациях, вписывается в достаточно простую формальную схему (1), что и позволяет использовать для их решения алгоритм направленного перебора вариантов.
Распространение изложенного метода на более сложные случаи, когда приходится учитывать взаимное влияние друг на друга подсистем объекта управления, является
перспективным направлением дальнейших исследований.
СПИСОК ЛИТЕРАТУРЫ
1. Мелихов А.Н., Берштейн Л.С., Коровин С.Я. Ситуационные советующие системы с нечеткой логикой. - М.: Наука, 1990. - 272 с.
2. Вагин В.Н. Дедукция и обобщение в системах принятия решений. - М.: Наука, 1988. - 384 с.
3. Литвиненко А.Е. Метод решения экстремальных комбинаторных задач с нелинейной структурой // Кибернетика. - 1983. - № б. - С. 83 - 87.
4. Зайченко Ю.П. Дослідження операцій. - К.: ЗАТ ВІТОЛ, 2000. - 687 с.