УДК 004.9:004.75
Ю.М. ЛИСЕЦКИЙ*, В.Е. СНИТЮК*
КОМПОЗИЦИОННЫЙ МЕТОД ФОРМИРОВАНИЯ ЭЛЕМЕНТНОЙ БАЗЫ КОРПОРАТИВНОЙ ИНТЕГРИРОВАННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ
Институт проблем математических машин и систем НАН Украины, Киев, Украина Киевский национальный университет имени Тараса Шевченко, Киев, Украина
Анотаця. Розглянуто задачу визначення оптимальноi альтернативи - елемента або тдсистеми при проектуванш корпоративних ттегрованих тформацтних систем. Визначено ii особливост1 при реал1зацИ' двох тдход1в: формал1зацИ' i розв'язанш задач1 оптим1зацИ' цтьовог функцп та по-будов1 колективного ранжування альтернатив. Визначено ix переваги та недолти, проведено екс-периментальну верифiкацiю.
Ключовi слова: корпоративна тформацтна система, елемент, оптимiзацiя, ранжування, експе-римент.
Аннотация. Рассмотрена задача определения оптимальной альтернативы - элемента или подсистемы при проектировании корпоративных интегрированных информационных систем. Определены ее особенности при реализации двух подходов: формализации и решении задачи оптимизации целевой функции и построении коллективного ранжирования альтернатив. Определены их преимущества и недостатки, проведена экспериментальная верификация.
Ключевые слова: корпоративная информационная система, элемент, оптимизация, ранжирование, эксперимент.
Abstract. The problem of determining the optimal alternative - an element or sub-system in the design of integrated corporate information systems is considered. Its features in the implementation of two approaches: the formalization and solving the problem of optimizing the objective function and the construction of a collective ranking of alternatives are determined. Their advantages and disadvantages are identified, experimental verification is conducted.
Keywords: corporate information system, element, optimization, ranking, experiment.
1. Введение
Стремительная информационная динамика современного мира является причиной и основой перестройки принципов функционирования производственных предприятий и предприятий инфраструктуры. Руководство больших предприятий в своем большинстве стремится к оптимизации множества выполняемых задач, структуры производства и реализует это с использованием различных стратегий управления [1]. Значительную поддержку этому процессу предоставляют корпоративные интегрированные информационные системы (КИИС). Их проектирование и построение связаны с необходимостью решения многочисленных задач идентификации, классификации, прогнозирования, а также выбора [2]. В соответствии с теоремой Геделя о неполноте, одна из трактовок которой гласит, что сколько бы ни было информации, ее недостаточно, процесс принятия решений происходит в условиях неопределенности. Особенно сложно лицу, принимающему решения (ЛПР), и экспертам, осуществляющим формирование элементной базы КИИС, поскольку количество только одного элемента с определенной функцией может достигать десятков, сотен, а иногда и тысяч альтернатив. Разнообразие характеристик, параметров и функций элементов и подсистем усиливает энтропию выбора. Сложность и важность задачи определения оптимальной альтернативы требуют привлечения аналитических технологий выбора, позволяющих объективизировать процессы принятия соответствующих решений.
© Лисецкий Ю.М., Снитюк В.Е., 2016
ISSN 1028-9763. Математичш машини i системи, 2016, № 2
2. Постановка задачи
Рассмотрим постановку задачи. Пусть S - КИИС, в конечном варианте представляющая множество элементов или подсистем S = {sl3s2,...,sn}. Каждый элемент s- является оптимальным (квазиоптимальным) в своем классе, j = 1, n. Его определение и составляет сущность задачи выбора. Взаимодействие и взаимозависимость между si и Sj на этом этапе
исследования не учитывается, i, j = 1, n, i Ф j. Предположим, что необходимо определить элемент s*. Существует множество альтернативных элементов-претендентов A(s ) = {s1, s2,..., sm }. Все элементы множества A(s ) имеют набор однотипных характеристик B(s ) = (b1,b2,...,Ък) . Значение каждой из характеристик принадлежит определенному множеству, bj е х j, j = 1, к и является количественным показателем выполнения некоторой
функции или показателем эффективности. Критерием эффективности элемента является интегральная зависимость от показателей эффективности.
3. Метод формирования элементной базы КИИС
Без ограничения общности будем считать, что идеальный элемент s имеет наилучшие характеристики, то есть
"iе {1,2,...,n} B(s ) = (maxЪ1 ,maxЪ2,...,maxb'k). (1)
i i i
Если в некоторых случаях оптимальными являются минимальные или средние значения характеристик, то можно применить соответствующее преобразование и свести их к виду (1). Считаем также, что наихудший элемент s0 имеет наименьшие значения всех характеристик, то есть
"iе {1,2,...,n} B(s0) = (minb\,minb2,...,minb[). (2)
i i i
Очевидно также, что "iе {1,2,...,k}"jе {1,2,...,m} bj е [minbj,maxbj]. В идеальном случае
j i j i j
искомый элемент s совпадает с s . В практических задачах такое совпадение, чаще всего, невозможно.
Сведем данные о значениях характеристик элементов-альтернатив в матрицу B = {bj}Д. Выполним нормирование элементов матрицы B, получив новую матрицу C,
bj - min bj
по формуле еи =-:—-—;--, тогда еи е [0,1]. Рассчитаем элементы матрицы D,
у max Ъ\ - min b
c
j 1 j 1
d.. ==j-, тогда d. e [0,1] и У d. = 1, "ie {1,2,..., m} "j e {1,2,..., k}.
Zc j j
j
Выбор оптимального элемента s* e A(s) связан с необходимостью решения задачи многокритериальной оптимизации
Ъ ® max, Ъ2 ® max,..., Ъk ® max (3)
1 seA(s) 2 seA(s) k seA(s)
при ограничениях bi e [min bi,maxbi], i = 1,k. Задача (3) в нашем случае может быть све-
seA(s) seA(s)
дена к поиску
Arg min d(s, s ), (4)
s
где d - функция расстояния в пространстве нормированных характеристик. Поскольку в идеальном случае B(s) = (1,1,...,1), то задача (4) может быть сведена к такой:
к к F = V (1 - dtj) ® min или F = V dtj ® max. (5)
j=i г j=1 г
Такая постановка задачи имеет смысл в предположении о равнозначности характеристики и прочих равных условий. Решая задачи (3)-(5), мы воспользовались методом аддитивной сверки задачи многокритериальной оптимизации к однокритериальной.
Другим методом является метод идеальной точки. Предположим, что такой точкой является почти всегда несуществующий элемент sim, значение каждой характеристики которого равно наилучшему значению характеристики среди всех соответствующих элементов, то есть d, = max du "j = 1, к. Получим новую задачу поиска j i j
к
H = V (max dt - dt ) ® min (6)
j 'J 'J i
j=1
при тех же ограничениях. Заметим, что решение задачи (6) более объективизированно, чем предыдущее, поскольку при решении задачи (6) учитываются реальные значения характеристик, а не идеализированные, как в (5), хотя очевидно, что при использовании и (5), и (6) идеального объекта не существует.
На следующем этапе предположим, что не все характеристики являются одинаково предпочтительными. Припишем им весовые коэффициенты W(s) = (w1,w2,...,wk). Тогда задачи (5) и (6) будут такими:
кк
Fw = V w] (1 - dt]) ® min или Hw = V w] (max dt] - dt]) ® min (7)
j =1 j ij i j =1 j i ij ij i
к
и в их решении будут отражены соотношения между важностью характеристик, V wj = 1.
j=1
Для того, чтобы найти коэффициенты W (s), достаточно получить результаты сравнения важности характеристик. По методу анализа иерархий Саати [3] свести их в матрицы Ti, i = 1, l, где l - количество экспертов. Для каждой матрицы найти максимальное собственное число 1max и соответствующий ему собственный вектор (w1,w;2,...,wk), i = 1,l. Каждый элемент wj будет указывать на важность j -ой характеристики, указанной i -м экспертом. В предположении о равнокомпетентности экспертов, итоговые весовые коэффициенты будут такими:
Vwi
w] -, j = 1,к, itw] = 1. (8)
VV wj
j=1 ¿=1
Если эксперты не равнокомпетентны, то их компетентность может быть как известна, так и неизвестна. В таких случаях значения весовых коэффициентов можно определить, как показано в [4, 5].
Рассмотренные выше методы определения оптимального элемента КИИС носят «линейный» характер, то есть такой, при котором значения характеристик важны сами по себе, без учета взаимосвязей. Безусловно, можно сформулировать задачи, предложить модели, в которых будут априори заданы такие взаимозависимости. Однако в таких моделях нельзя учесть в полной мере все связи и силу связей характеристик, кроме того, определение структуры и параметров таких моделей происходит в условиях неопределенности, практически носит волюнтаристский характер. Чтобы избежать этого, вместо необходимости решения задач оптимизации типа (4)-(6) используем экспертные заключения. Известно, что количество характеристик, которые эксперт может анализировать адекватно, составляет 7 ± 2 (число Ингве-Миллера). Будем использовать этот факт в дальнейшем.
Предположим, что в решении задачи принимают участие q экспертов с одинаковой компетентностью. Характеристики элемента для каждого из экспертов имеют одинаковые приоритеты. Объективизированный подход тогда состоит в следующем. Для каждой характеристики строим систему индивидуальных предпочтений, то есть упорядочиваем элементы по значению каждой характеристики. Получим систему:
s1, < S2 <... < s,
/1 i2 im?
s2 < S/22 < ... < s/m ,
sk < sk < < sk
i1 i2 im
Нижние индексы в (9) определяют один из элементов из множества перестановок элементов {1,2,...,т} . В системе (9) отсутствуют абсолютные значения характеристик, поэтому, определяя интегральное упорядочение, можно получить как вырожденный случай в качестве наилучшего любой из т элементов. В общем же случае, определение наилучшего элемента - альтернативы можно осуществить с использованием различных методов: правила относительного большинства, правила относительного большинства с выбыванием, методов Борда, Кондорсе, Копленда, Симпсона, альтернативных голосов, правил последовательного или параллельного исключения [6].
Чаще всего имеет место другой случай, когда эксперты упорядочивают альтернативы, исходя из субъективизированных предпочтений: по значениям одной характеристики, по комбинации значений двух характеристик, по принципу доминирования двух определенных характеристик над двумя другими, по среднеквадратическому отклонению значений характеристик и т.п. В таком случае система (9) превращается в такую:
51, Р 51, Р ... Р 51 ,
/1 г 2 гт?
s2 p s2 p... p s2
/1 12 im
sk p sk p p sk
i1 p i2 p p im
(10)
Далее, используя уже перечисленные выше методы голосования (Борда и др.), альтернативы можно упорядочить. Кроме того, каждый из этих методов позволяет найти оценку той или иной альтернативы - целое неотрицательное число. По индивидуальным предпочтениям можно построить коллективное ранжирование по известным критериям: среднего значения, компромисса и медианы Кемени-Снелла [7] и точно так же получить числовые оценки каждой альтернативы. Обозначим такие оценки
Vj = v(5j),v2 = v(s2),...,vm = v(sm). Выполним их нормирование: v =—, тогда v e [0,1] и
Z v
Z=1
Z v,=1.
Предложим интегральный критерий оценки элементов-альтернатив КИИС:
k
G1 =a-vi + (1 -a) ■ ZZ d. ® max,
(11)
где ае (0,1) - коэффициент, указывающий на важность составляющих целевой функции (отражающий субъективные предпочтения ЛПР) как усовершенствование задачи (5) и
G2 = a ■ v i + (1 - a) ■ Z (d.. - max d.) ® max,
. i . i
j=1
(12)
как модификацию (6), а также
k k G3 = a^vi + (1 -a) ■ Z wj(dy -1) ® max или G4 =a■ vi+ (1 -a) ■ Z wj(dij-max dj) ® max, (13)
.=1 . j=1 ' '
как модификацию задачи (7). Заметим, что в этом случае оценки vi, i = 1, m рассчитываются с учетом весовых коэффициентов характеристик.
4. Экспериментальная верификация результатов
Предположим, что для одного из подразделений КИИС необходимо осуществить выбор маршрутизатора. Общее количество маршрутизаторов, доступных для выбора, составляет около 500. Выберем из них шесть близких по своим характеристикам и укажем наиболее важные характеристики (табл. 1).
Таблица 1. Маршрутизаторы
№ Тип Кол-во Скорость Поддержка Безопас- Другие Цена
прото- Wi-Fi VPN- ность функции
колов (Мбит/с) туннелей (оценка)
1 Zyxel Keenetic 3 150 0 3 6 502
2 Edimax BR-6428NS 4 300 1 4 11 510
3 D-Link Dir-615A 6 300 1 7 12 517
4 Tenda FM-300 2 300 0 4 2 518
5 D-Link Dir-615S 6 300 1 3 9 522
6 Asus RT-N11P 4 300 1 7 5 559
i=1
После нормирования получим табл. 2.
Таблица 2. Нормированные значения характеристик
№ Тип Кол-во протоколов Скорость Wi-Fi (Мбит/с) Поддержка VPN-туннелей Безопасность (оценка) Другие функции Цена
1 Zyxel Keenetic 0,07692 0 0 0 0,1212 0
2 Edimax BR-
6428NS 0,15384 0,2 0,25 0,1 0,2727 0,0689
3 D-Link Dir-615A 0,30769 0,2 0,25 0,4 0,3030 0,1293
Продолж. табл. 2
4 Tenda FM-300 0 0,2 0 0,1 0 0,1379
5 D-Link Dir-615S 0,30769 0,2 0,25 0 0,2121 0,1724
6 Asus RT-N11P 0,15384 0,2 0,25 0,4 0,0909 0,4913
По методу аддитивной свертки получены такие результаты: F(jj) = 0,198; F(s2) = 0,908; F(s3) = 1,331; F(s4) = 0,182; F(s5) = 0,797; F(s6) = 0,603.
Наилучшим является маршрутизатор D-Link 615-A. По методу идеальной точки получены такие значения:
H(jj) = 1,08; H(s2) = 0,52; H(s3) = 0,129; H(s4) = 0,995; H(s5) = 0,572; H(s6) = 0,645.
Наилучшим является тот же маршрутизатор D-Link 615-A. Предположим, что W (s) = (0,05; 0,4; 0,1; 0,2; 0,1; 0,15). Тогда
Fw(s1) = 0,016; Fw(s2) = 0,15;Fw(s3) = 0,211;Fw(s4) = 0,079;Fw(s5) = 0,116;Fw(s6) = 0,128.
Наилучший маршрутизатор тот же.
При том же векторе W (s) по методу идеальной точки получены значения
Hw (sj ) = 0,214; Hw (s2) = 0,06; Hw (s3) = -0,019; Hw (s4) = 0,11; Hw (s5) = 0,063; Hw (s6) = -0,044.
В этот раз наилучшим является маршрутизатор Asus RT-N11P. По системе объективизированных предпочтений получим матрицу
(
s s s s
\
ss
ss
ssss
ss
ss
ss
ss
V s4
si s \ s z sA
'6 J
Наилучшим по системе предпочтений является маршрутизатор D-Link 615-A. Определение наилучшего маршрутизатора по интегральному критерию осуществляется аналогично.
5. Выводы
Рассмотренная задача является не новой, необходимость ее решения возникает при существовании множества альтернатив достаточно большой мощности. В большинстве случаев принятие решения и выбор оптимального элемента или подсистемы являются субъективи-зированными. В статье предложены методы и модели, которые позволят автоматизировать процесс выбора и таким образом объективизировать его. Заметим, что здесь объединены два подхода определения наилучшей альтернативы: решение задачи оптимизации целевой функции и сведение индивидуальных предпочтений к коллективному ранжированию.
В перспективе необходимо разработать модели и методы определения наилучшей альтернативы с использованием предложенного подхода и представления экспертных предпочтений как нечетких множеств с соответствующими функциями принадлежности.
s
s
3
1
s
s
s
s
5
3
2
2
s
s
6
4
s
s
5
СПИСОК ЛИТЕРАТУРЫ
1. Матвеевский С.Ф. Основы системного проектирования комплексов летательных аппаратов / Матвеевский С.Ф. - М.: Машиностроение, 1987. - 240 с.
2. Лисецкий Ю.М. Формирование интегрального критерия эффективности в задачах выбора оптимального проектного варианта / Ю.М. Лисецкий, В.Е. Снитюк // Математичш машини i системи. -2015. - № 1. - С. 157 - 163.
3. Саати Т. Метод анализа иерархий / Саати Т. - М.: Радио и связь, 1993. - 278 с.
4. Гнапенко Г.М. Експертш технологи прийняття ршень / Г.М. Гнапенко, В.С. Снитюк. - К.: Мс1ай, 2008. - 444 с.
5. Снитюк В.Е. Модели и методы определения компетентности экспертов на базе аксиомы несмещенности / В.Е. Снитюк, Рифат Мохаммед Али // Вюник Ч1Т1. - 2000. - № 4. - С. 121 - 126.
6. Волошин О.Ф. Моделi та методи прийняття ршень / О.Ф. Волошин, С.О. Мащенко. - К.: ВПЦ «Кшвський ушверситет», 2010. - 336 с.
7. Кемени Дж. Кибернетическое моделирование / Дж. Кемени, Дж. Снелл; пер. с англ. - М.: Советское радио, 1972. - 428 с.
Стаття над1йшла до редакцп 01.03.2016