УДК 004.89:614.841.4 В.Е. СНИТЮК, П.П. КУЧЕР
КОМПЛЕКТОВАНИЕ АВАРИЙНО-СПАСАТЕЛЬНОЙ ТЕХНИКИ -ЗАДАЧА НЕЧЕТКОЙ МНОГОКРИТЕРИАЛЬНОЙ ОПТИМИЗАЦИИ
Ставится задача комплектования аварийно-спасательной техники. Предлагается технология ее решения как задачи нечеткой многокритериальной оптимизации с использованием элементов метода анализа иерархий и метода построения функций принадлежности на основе попарных сравнений приоритетности целевых функций. Определяются ограничения, позволяющие на этапе предварительного анализа отсеять неперспективные варианты, и рассматриваются возможности применения других методов, относящихся к «мягким» вычислениям.
1. Введение
Современный мир живет в условиях непрекращающихся природных катаклизмов. Это цунами и ураганы, землетрясения, засухи, наводнения и пожары. К таких природным явлениям добавляются техногенные, экологические катастрофы, обусловленные ростом промышленного производства, а также угрозы, исходящие от отдельных субъектов, или вызванные другими, возможно случайными факторами. В развитых странах мира созданы специальные службы, оказывающие помощь людям, пострадавшим в указанных выше ситуациях. В Украине такие функции возложены на подразделения МЧС. Некий универсализм функций, выполняемых его сотрудниками, является причиной существования проблемы обеспечения и комплектования таких подразделений техническими средствами. В большинстве случаев их носителем является пожарный автомобиль, при этом имеем противоречие между необходимостью обеспечения универсальности аварийно-спасательной техники (АСТ) и ограниченностью его носителя. Необходимо решать задачу оптимального комплектования АСТ.
Такая задача имеет общие черты с известными задачами, в частности, с задачей об упаковке в контейнеры по весу или по стоимости и задачей о ранце [1,2]. Известными методами их решения является динамическое программирование, метод ветвей и границ, метод полного перебора, генетические алгоритмы, алгоритмы муравьиной колонии, «жадные» алгоритмы и др.
Особенностями таких задач и соответствующих методов решения являются четко заданные параметры объектов и одно- или двокритериальность. В отличие от них задача комплектования АСТ является многокритериальной задачей с нечетко заданными предпочтениями на множестве целевых функций. Кроме того, она есть неким аналогом задачи упаковки в контейнеры, т.е. трехмерной. При этом количество контейнеров считается заданным, а количество элементов АСТ - переменно.
2. Постановка задачи
Постановка задачи комплектования аварийно-спасательной техники выполнена в [4]. Приведем ее основные элементы. Пусть множество X = {Х1,Х2,...,Хп} представляет ассортимент АСТ. Каждый элемент множества X принадлежит к одному из классов множества С = {С1,С2,...,Ск}, где к << п. Предположим, что в комплект должно входить оборудование из каждого {С1,С2,...,Ст} класса, т < к, т.е. необходимо выбрать по одному элементу из множеств {Х111,Х112,...,Х11т} с С1,...,{Хт,Хт,...,Хтт}с Ст. Каждому элементу множества X поставим в соответствие совокупность значений: Хч ^(Р1ч,Р2ч,...,Ррч,ач,Ьч,еч), где ^ - значение 1-го критерия оценки q-го элемента, 1 = 1,р, а^Ь^^ - его габаритные размеры, q = 1,п.
Предположим, что один комплект АСТ К1 содержит элементы множества X, т.е. К1 с X. При этом могут существовать такие комплекты, количество элементов в которых не совпадает, т.е. 31,Ф _): Ф |К]|. И еще одно требование, которое не является обяза-
тельным, но выполнение которого предпочтительно: в один комплект АСТ не входят два и больше элементов из одного класса, т.е. не существует таких j,q,p : (Xjq е Kt) & (XJp е Kt).
Не ограничивая общность, предположим, что контейнер один, и он имеет форму прямоугольного параллелепипеда с габаритами a,b,c. Используя элементы метода последовательного анализа вариантов [3], исключим из рассмотрения те возможные решения, которые не удовлетворяют одному или нескольким условиям.
Очевидными являются такие ограничения:
1. ^(a; • bj • Cj) < a • b • c, т.е. суммарный объем элементов комплекта не должен превышать общий объем контейнера.
2. Vi max{a1,b1,c1} < max{a,b,c}, указывающее на то, что если один элемент имеет хотя бы один габаритный размер, превышающий наибольший габарит контейнера, то такой комплект исключается.
Критериями, определяющими выбор того или иного комплекта АСТ, являются F1-
функциональность, F2 - мощность, F3 - надежность, F4 - цена. Имеем задачу многокритериальной оптимизации: найти комплект АСТ, соответствующий решению задачи
F1 ^ max, F2 ^ max, F3 ^ max, F4 ^ min, (1)
при указанных выше ограничениях. Ее решение предваряет определение весовых коэффициентов критериальных функций.
3. Метод решения задачи комплектования АСТ при нечетких экспертных
предпочтениях
В дальнейшем изложении будем использовать школу сравнений, предложенную проф. Т. Саати [5]. Так, значения элементов матрицы попарных сравнений будут такими:
- 1, если сущность А и сущность В имеет равную важность;
- 3, если сущность А умеренно превосходит сущность В;
- 5, если сущность А имеет существенное превосходство над сущностью В;
- 7, если сущность А значительно превосходит сущность В;
- 9, если сущность А имеет очень сильное превосходство над сущностью В;
2,4,6,8 - соответствуют промежуточным утверждениям о важности.
Если при сравнении А и В имеем одно из указанных чисел, то при сравнении В с А получим обратную величину.
Определим приоритеты критериальных функций. Для этого выберем m экспертов, которые, используя шкалу, предложенную Т. Саати [5], осуществляют их сравнение. Получим матрицы
f
G; =
1 gj2 g13 g14
1/g12 1 g'23 g'24
1/§1з 1/g23 1 g34
1/g14 1/g24 1/g34 1 )
i = 1,m.
(2)
Предположим, что компетентность wi каждого из экспертов известна (если это не так,
т
то компетентность можно определить, используя метод, предложенный в [6]) и ^ ^ = 1
i=1
Очевидно, что суждения эксперта при решении задачи сравнения альтернатив зачастую бывают несогласованны. Для осуществления возможности учета этого фактора для каждой матрицы О^ = 1,т, вычисляем индекс согласованности, который равен абсолютной величине отклонения размерности матрицы Gi и ее максимального собственного числа, т.е. 5i = |4 -qi|, i = 1,т. Меньшее значение 5i соответствует лучшей согласованности сравнений эксперта. Если 5i достаточно большое, то матрицу, соответствующую суждениям такого эксперта, необходимо исключить из рассмотрения или выполнить определенные уточняющие процедуры.
На следующем шаге осуществляем сложение элементов матриц = 1,т, находящихся над главной диагональю, с соответствующими весовыми коэффициентами. Остальные элементы результирующей матрицы О найдем как обратные величины к уже вычисленным элементам. Имея матрицу О, определим приоритеты критериальных функций [5] по формуле
4 1
(ГЬ)4 _
р =——- 1 = 14
Р1 4 4 1'1
кш/ (3)
1=1 j=1
Таким образом, мы установили важность критериальных функций при определении того или иного варианта комплектования АСТ.
На следующем шаге необходимо оценить варианты комплектования АСТ по каждому
из критериев 1 = 1,4. Предположим, что после проведения предварительного анализа и проверки выполнения ограничений осталось р возможных вариантов. Аналогично предыдущему шагу необходимо получить четыре матрицы Р1, элементы каждой из которых
содержат значения парных сравнений вариантов комплектования по критериям ^,1 = 1,4. Получить матрицы можно двумя способами. В первом из них элементы матрицы определяют традиционно, исходя из заключений экспертов для всех пар вариантов. Поскольку число таких вариантов даже в самых малоразмерных задачах довольно большое, то матрица попарных сравнений будет плохо согласованной и ее анализ и применение в дальнейших расчетах становится проблематичным. Рациональным представляется использовать другой способ получения матриц р 1 = 1,4 [7,8]. Для этого необходимо определить только значения попарных сравнений для одного варианта комплектования АСТ, например, для первого. Все остальные элементы матриц рассчитываются по формуле:
qkl = к,1 = 1,р. Получим такие матрицы:
Ч1к
01 =
1 q¡з ... < ^
1 ^зЧ'2 ... ^рЧ'2
^¡р ^Ч'р ^зЧр ... 1
1 = 1,4.
(4)
Матрицы 01,1 = 1,4, являются хорошо согласованными. Далее вычисляем степени принадлежности каждого из вариантов комплектования соответствующим нечетким множествам (определяемых критериальными функциями):
^ =—--1-—, j = (5)
1 ^^ + wk2j +... + wkpj ^
где wk1j - элементы матриц р1 = 1,4. Таким образом, получим нечеткие множества:
р= гМ^) М^) М^) } 1 { К1 ' К2 '...' Кр } (6)
или
1/(1+¿-1) 1/(1+q^2 + 1% 1/(1+q^p+1%
)
Р1 = {--Е^;...;-^^ }, 1 = 1,4. (7)
К К2 Кр
Значения, находящиеся в числителе, указывают на то, насколько функциональны, мощны, надежны и приемлемы по цене варианты комплектования (в знаменателе).
Учитывая, что наилучшим является тот вариант, который одновременно лучший по
всем критериям, нечеткое решение Б находим как пересечение критериев Б1:
F = F1 П F 2 П F з П F 4 = {-
ЩШ^F,(Ki) Jmnj.llЦрДК^ ЩШЦр, (Kp)
г, 1=1,4 Fj 1=1,4 Fj F
Ki
K2
Kp
(8)
1 ""г —р
Наилучший вариант тот, который является решением задачи поиска
а^шрщш Ц Й(К]). (9)
Если учитывать важность критериальных функций, то подход к определению оптимального варианта комплектования остается неизменным, а выражение (7) перепишется следующим образом:
F i = {■
(1/(1 + g-L))pi (1/(1 + q,2 + g%)Pj (1/(1 + qjp + g^))pi
_j=1 q1j ._j=3 q1j . . _j=2 q1j
K1
K2
Kp
},1 = 1,4. (10)
^2 --p
Решение задачи (9) определяет оптимальный вариант комплектования и позволяет учитывать меру оптимальности его выбора, исходя из значения соответствующей функции принадлежности.
4. Практическая реализация метода комплектования АСТ
Пусть необходимо выбрать один из шести вариантов комплектования АСТ, исходя из суждений шести экспертов. На первом этапе осуществляем попарное сравнение критериальных функций. Получим такие матрицы:
G1 =
( 1 0,14 0,2
7 1 1
v 0,14 0,2 0,14
7 ^ 5 7 1
;G2 =
( 1 5 0,2 1 1 0,33
v 0,14 0,14 0,14
7 ^ 7 7 1
;Сз =
( 1 9 0,11 1 0,11 0,2
0,2 0,1 0,1
G4 =
( 1
0,1 0,2
9 1
0,2
v0,14 0,14 0,1
7 ^ 7 9 1
G5 =
( 1
0,3 0,2
3 1
0,2
v 0,14 0,14 0,1
5 ^ 1 9 1
;G6 =
( 1
0,2
0,14 0,1
1 0,2 0,1
5 ^ 9 9 1
1 ^
5 9 1
Компетентности экспертов определены лицом, принимающим решения, и они равны:
У1 = 0,34; у2 = 0,24; у3 = 0,2; у4 = 0,14; у5 = 0,05; у6 = 0,03.
Максимальные собственные числа матриц 01,1 = 1,6 такие:
Х1 = 4,35;Х2 = 4,77; X3 = 5,45; X4 = 5,13; Х5 = 4,26; X6 = 6,99. Таким образом, индексы согласованности равны:
61 = 0,35; 62 = 0,77; 53 = 1,45; 64 = 1,13; 55 = 0,26; 56 = 2,99. Наилучшим образом согласованы суждения первого и пятого экспертов, суждения шестого эксперта необходимо корректировать.
Складывая матрицы 01,1 = 1,6 по описанной выше процедуре, получим матрицу
( 1 6,94 4,7 6,32^
0,14 1 3,08 6,36
0,21 0,32 1 7,64
0,15 0,15 0,13 1
G =
Используя (3), рассчитаем приоритеты критериальных функций:
Р1 = 0,61; р2 = 0,21; Рз = 0,14; р4 = 0,04. Вычислим значения матриц 0., 1 = 1,4 :
' 1 3 2 0,9 0,33 0,7 ( 1 0,5 4 3 0,7 0,5
0,33 1 0,67 0,3 0,11 0,23 2 1 8 6 1,4 1
01 = 0,5 1,11 1,5 3,33 1 2,22 0,45 1 0,17 0,37 0,35 0,78 ,02 = 0,25 0,33 0,13 0,17 1 1,33 0,75 1 0,18 0,23 0,13 0,17
3 9 6 2,7 1 2,1 1,43 0,71 5,71 4,29 1 0,71
V 1,43 4,29 2,86 1,29 0,48 1 У V 2 1 8 6 1,4 1
( 1 0,4 0,5 2 0,8 3 1 1 6 4 0,9 4 0,8 "
2,5 1 1,25 5 2 7,5 0,17 1 0,67 0,15 0,67 0,13
03 = 2 0,5 0,8 0,2 1 0,25 4 1 1,6 0,4 6 1,5 ,04 = 0,25 1,11 1,5 6,67 1 4,44 0,23 1 1 4,44 0,2 0,89
1,25 0,5 0,63 2,5 1 3,75 0,25 1,5 1 0,23 1 0,2
V 0,33 0,13 0,17 0,67 0,27 1 , ч 1,25 7,5 5 1,13 5 1
Далее находим степени принадлежности каждого из вариантов комплектования соответствующим нечетким множествам:
% .0,12 0,38 0,25 0,11 0,04 0,09,
р1 = {-;-;-; —;-;-},
К1 К2 К3 К4 К5 К6
% .0,10 0,05 0,41 0,31 0,07 0,05, Р2 = {-;-;-;-;-;-},
К1 К2 К3 К4 К5 К6
% .0,13 0,05 0,06 0,26 0,10 0,39, Рз = {-;-;-;-;-;-},
К1 К2 К3 К4 К5 К6
% .0,05 0,36 0,24 0,05 0,24 0,05, Р 4 = {-;-;-;-;-;-}.
К1 К2 К3 К4 К5 К6
Нечеткое решение находим как пересечение критериев Р1,1 = 1,4: % .0,05 0,05 0,06 0,05 0,04 0,05,
Р = {-*-*-*-*-*-}
К1 К2 К3 К4 К5 К6
Учитывая значимость критериальных функций, уточним полученные результаты:
% .0,28 0,55 0,43 0,26 0,14 0,22, Р1 = {-;-;-;-;-;-},
К1 К2 К3 К4 К5 К6
% .0,62 0,54 0,83 0,78 0,58 0,53, Р 2 = {-;-;-;-;-;-},
К1 К2 К3 К4 К5 К6
% 0,75 0,66 0,68 0,82 0,72 0,87, Р3 = {-;-;-;-;-;-},
К1 К2 К3 К4 К5 К6
% .0,89 0,95 0,94 0,88 0,94 0,88, Р 4 = {-;-;-;-;-;-}.
К1 К2 К3 К4 К5 К6
Тогда, исходя из (8), получим нечеткое решение
% 0,28 0,54 0,43 0,26 0,14 0,22,
F = л-*-*-*-*-*-}
K1 K2 K3 K4 K5 K6
Решением задачи (9) будет вариант комплектования АСТ K2, соответствующий максимальному значению функции принадлежности.
5. Выводы и перспективы
Рассмотренный метод комплектования АСТ является только одним возможным элементом технологий принятия решений, базирующимся на использовании теории нечетких множеств, которая является одной из составляющих парадигмы «Soft Computing» [9]. И, хотя не все ее положения имеют строгие доказательства, их применение целесообразно при решении задач, связанных с необходимостью учета субъективных суждений. Такой задачей и является комплектование АСТ. Рассматривая ее как задачу многокритериальной оптимизации, важно обращать внимание на значимость критериальных функций, поскольку ее учет прямо влияет на выбор решения - варианта комплектования.
К важным аспектам, которые необходимо учитывать при решении задачи, относится наличие переменного количества элементов в каждом варианте комплектации. Такое обстоятельство требует формального определения критериальных функций, поскольку для разного типа оборудования понятия и единицы измерения функциональности и мощности являются различными. Экспертам должна быть доступна информация о сравнительных характеристиках элементов АСТ одного класса, а также предусмотрена возможность приведения разнородных показателей к одной шкале.
Предложенный метод, кроме преимуществ, имеет и недостатки. Так, он ориентирован на определенное количество вариантов комплектования, которое не может измениться в процессе анализа, и полученные результаты не могут быть использованы для оценки нового варианта комплектования. Преодолеть ограничение метода предполагается с помощью других составляющих «Soft Computing», а именно нейронных сетей, эволюционного моделирования, нейро-нечетких сетей, а также их композиции. Это позволит осуществлять оценку того или иного варианта комплектования АСТ на основе уже построенной модели. Кроме того, возможно осуществить разработку процедуры устранения противоречий в оценках экспертов, что будет направлено на определенную объективизацию субъективных заключений.
Список литературы: 1. Левитин А.В. Алгоритмы: введение в разработку и анализ. М.: «Вильямс», 2006. 576 с. 2. Кормен Т., Лайзерсон Ч., Ривест Р., Штайк К. Алгоритмы: Построение и анализ. М.: «Вильямс», 2005. 1296 с. 3. Волкович В.Л. Модели и методы оптимизации надежности сложных систем / В.Л. Волкович, О.Ф. Волошин и др. К.: Наук. думка, 1993. 312 с. 4. Снитюк В., Кучер П. Информационно-аналитические модели и эволюционные аспекты решения задачи комплектования // Искусственный интеллект. 2009. N° 4. С. 268-273. 5. Саати Т., КернсК. Аналитическое планирование организации систем. М.: Радио и связь, 1991. 224 с. 6. Снитюк В.Е., Рифат Мохаммед Али. Модели и методы определения компетентности экспертов на базе аксиомы несмещенности // Вюник Ч1Т1. 2000. № 4. С. 121-126. 7. Ротштейн А.П. Интеллектуальные технологии идентификации: нечеткая логика, генетические алгоритмы, нейронные сети. Винница: УНИВЕРСУМ-Винница, 1999. 320 с. 8. Ротштейн А.П., Штовба С.Д. Нечеткий многокритериальный анализ вариантов с применением парных сравнений // Известия РАН. Теория и системы управления. 2001. № 3. С.150-154. 9. Zadeh L. A. Fuzzy logic, neural network and soft computing // Communications ofthe ACM. 1994. Vol. 37, № 3. P. 77-84.
Поступила в редколлегию 05.11.2009 Снитюк Виталий Евгеньевич, д-р техн. наук, доцент, зав. кафедрой информационных технологий проектирования Черкасского государственного технологического университета. Адрес: Украина, 18006, Черкассы, бул. Шевченко, 460/603, тел.: (0472) 73-02-35, e-mail: snytyuk@gmail. com.
Кучер Павел Петрович, преподаватель Академии пожарной безопасности имени Героев Чернобыля. Адрес: Украина, 18000, Черкассы, ул. Оноприенко, 8, тел.: (067) 7523913, e-mail: [email protected].