чаев изоморфного вложения графа для нечеткого ориентированного графа второго вида О = (X, и) с нечетким множеством акторов. Также, ввиду сложной и динамической природы операций, направленных на легализацию незаконных доходов, представляется интересным рассмотреть проблему с позиции теории нечетко-темпоральных систем.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Федеральный закон от 07.08.2001 № 115-ФЗ «О противодействии легализации (отмыванию) доходов, полученных преступным путем, и финансированию терроризма».
2. Письмо Банка России от 13.07.2005 № 99-Т «О методических рекомендациях по разработке кредитными организациями правил внутреннего контроля в целях противодействия легализации (отмыванию) доходов, полученных преступным путем, и финансированию терроризма».
3. Борьба с отмыванием денег: решение БАБ. Информационные технологии противодействия легализации // САС Институт, 2008. - С. 7.
4. Берштейн Л.С., БоженюкА.В. Нечеткие графы и гиперграфы. - М.: Научный мир, 2005. - 256 с.
УДК 33:519.14:519.5
Д.Н. Ястребинская УВЕЛИЧЕНИЕ СТЕПЕНИ ЖИВУЧЕСТИ НЕЧЕТКОГО ГРАФА ВТОРОГО РОДА
Рассмотрим задачу увеличения степени живучести нечеткого графа второго рода. Формальный алгоритм, позволяющий находить наименьшую величину, на которую необходимо увеличить суммарное значение функций принадлежности ребер и вершин нечеткого графа второго рода О , чтобы степень его живучести достигла требуемой величины V, имеет следующий вид. Пусть нечеткий граф задан в виде п*п-матрицы ЯО = ЯхиЯп = ||г,-||, где Ях - матрица смежности вершин нечеткого графа, Яв - диагональная матрица, у которой элементами главной диагонали являются значения функции принадлежности для вершин нечеткого графа.
Так же, как и при нахождении степени живучести нечеткого графа второго рода, введем в рассмотрение 4 вектора-столбца и 4 вектора-строки размерностью (пх1) и (1хп) соответственно: вектор-столбец Ь - длина пути (количество ребер) от первой до рассматриваемой вершины; вектор-столбец предыдущих вершин Хргеа; вектор-столбец необходимого увеличения значения функции принадлежности предыдущих вершин и ребер от предыдущих до рассматриваемых вершин Ду; вектор-столбец просмотра вершин РГО!!т; вектор-строка Ь - длина пути (количество ребер) от рассматриваемой до первой вершины; вектор-строка предыдущих вершин Хргеа ; вектор-строка необходимого увеличения значения функции принадлежности рассматриваемых вершин и ребер от рассматриваемых до предыдущих вершин Ду ; вектор-строка просмотра вершин Ргот .
Алгоритм имеет следующий вид:
1°. Присваиваем начальные значения для всех индексов і = 1П : Хргей (і) := 0 ,
Х-ргей (і) := 0 , Ду(і):=1, Ду(і):= 1, Ь(і) = «, Ь(і) = «, РГОт (і) :="-", Р-т (і) :="-".
2°. Присваиваем і:=1; Ь(і):=0 (число ребер в нечетком пути от х: до хг); Д(і):=0 (степень увеличения пути от х} до хД
3°. Присваивается Ргот(і):="+" (вершина Хі просмотрена). Для всех индексов
р = 1, п, если выполняются неравенства гр<У и У-гр > Ду(У), то переход на п.50, иначе, если Гр>У, то присваивается значение Ду(/):=0, иначе, если У-гр < Ду(У) и Гу<У, то присваивается значение Ду(/’):= У-г р, Хргесі(р):=і.
4°. Присваивается Хргеі(/):=і , Ь(р):=Ь(і)+1.
5°. Определяем такую вершину хк графа О , для индекса к которой выполняются условия Ь(к)<(п-1) (длина пути от вершины х} до хк меньше (п-1)), ДУ (к) = шіп{ДУ (р) | Ь(р) < (п -1) & Ргтт(р) ="-"} (величина увеличения Ду(к) верши-
Ур =1,п
ны хк меньше чем у всех остальных непросмотренных вершин) и Рг^т(к)="-" (вершина не просмотрена).
6°. Если такая вершина хк существует, то присваиваем і :=к и переходим на 00 п.3 , иначе переход на п.7 .
7°. Анализируем вектор-столбец Ду. Для всех индексов і, у которых величина Ду(і)^0, определяем индекс предыдущей вершиныр':=ХргДі) и значение Гр матрицы смежности вершины увеличиваем на величину Ду(і ), т.е. г'рі:=грі+Ду(і ) (увеличиваем значение функции принадлежности ци(хр,х1) ребра (хр,х) на величину Ду(і)). Получаем новую матрицу смежности Л'Х=||г'р||.
8°. Присваиваем і:=1 (опять выбираем вершину хі); Ь (і) := 0 (число ребер в нечетком пути от х1 до х1); Ду(і):=0 (степень увеличения нечеткого ребра от х1 до х1). 9°. Присваивается РГот(і):="+" (вершина Хі просмотрена). Для всех индексов
р = 1, п, р Ф і, если выполняются неравенства гр<У и У - г] >ДУ (р), то переход на п.110, иначе, если г)і >У, то присваивается значение ДУ (р) := 0, иначе, если гр<У и У - г] < ДУ (р), то присваивается значение Ду (р) := У - гр.
1°°. Присваивается Х-гей (р) := і, Ь (р) := Ь (і) + 1.
11°. Определяем такую вершину хк графа О , для индекса к которой выполняются условия Ь (к) < (п -1) (длина пути от вершины хк до х1 меньше (п-1)),
Д-у (к) = шіп{Ду (р)| Ь (р) < (п-1)&Рт.т(р) ="-"} (величина увеличения Ду (к) вер-
У=1,п
шины хк меньше, чем у всех остальных непросмотренных вершин) и Ргохт (к) ="-"
(вершина не просмотрена).
12°. Если такая вершина хк существует, то присваиваем і:=к и переходим на п.90, иначе переход на п.130
13°. Анализируем вектор-строку ДУ . Для всех индексов і, у которых величина ДУ(і) Ф 0, определяем индекс предыдущей вершины р:=Хргес(і) и значение г'ц матрицы смежности увеличиваем на величину Ду (і), т.е. г] := г] +Ду (і) (увели-
чиваем значение функции принадлежности ци(хр,х1) ребра (х^х,) на величину Д-7 (,)). Получаем новую матрицу смежности Л"х=||г";,-||.
140. Вычисляем минимальное суммарное увеличение значений функций принадлежности ДЕ = £Д7 (,) + ^Д-7 (,).
,=1,П ,=1,П
150. Конец.
Пример. Увеличим степень живучести нечеткого графа второго рода, приведенного на рис. 1, до величины 0,7. Ниже представлена матрица Яа, а справа от неё введенные выше векторы-столбцы с начальными значениями.
Здесь х1,х2,...,х5 - непосредственно сами вершины, а хьх2,...х5 определяют путь. Согласно алгоритму выбираем вершину х1. В векторы-столбцы записываем: Д7(хО) = 0,1 (степень увеличения живучести вершины х1), Д7(х1)=0, Х(х1)=0, Дт(х2)=0, 1(х2)=1, Хрге^^хи Дт(х4)=0,4, 1(х4)=1, ХргеЛ(х4)=х1.
Рис. 1. Нечеткий граф второго рода
Построим матрицу Яа=Ях^Яо:
Х1 X 2 Х 3 X 4 Х 5 Д Г Ь
* 1 0,6 0,2 0 0,3 0 1 да 0
X 2 0,7 0,6 0 0,2 0,1 1 да 0
* 3 0 0,9 0,5 0 0 1 да 0
Х 4 0 0,8 0,5 0,4 0,5 1 да 0
Х 5 0 0 0,3 0,6 0,4 1 да 0
X
ртвіі
Введем в рассмотрение матрицу следующего вида:
Ь X
ргеі
Ь X
ргеі
Х1° 0,1 0 0 + *1 0,1 0 0 +
Х1 0 0 0 + Х1 0 0 0 +
х 2 1 да 0 - * 2 0,1 2 * 4 +
Х 2 0,5 1 Х1 - X 2 0 2 * 4 +
X 3 1 да 0 - * 3 0,2 2 * 4 +
Х 3 1 да 0 - * 3 0,2 2 X 4 +
Х 4 1 да 0 - * 4 0,3 1 *5 +
X 4 0,4 1 Х1 - * 4 0,1 3 * 5 +
Х 5 1 да 0 - * 5 0,3 2 * 4 +
Х 5 1 да 0 - * 5 0,2 2 * 4 +
1-я итерация
5-я итерация
Р
го$т
к
о
Д
Р
Д
Р
гонт
псдои
Анализируем вектор-столбец Ду. Определяем ребра и вершины, значения функций принадлежности которых необходимо увеличить. Ребро (х4,х3) увеличиваем на величину 0,2, ребро (х5,х4) на 0,1, а ребро (х4,х5) на 0,2. Значение функции принадлежности для вершины х1 увеличиваем на 0,1, для х2 также на 0,1, для х3 на
0,2, а для х4 и х5 на 0,3.
Получаем новую матрицу Я'0, а снизу от неё введенные выше векторы-строки с начальными значениями (рис. 2).
Анализируем вектор-строку Ду. Так как величина Ду(і) = 0 для всех индексов і, то значения функций принадлежности никаких ребер и вершин увеличивать не нужно. Поэтому минимальное суммарное увеличение значений функций принадлежности нечеткого графа второго рода (рис. 1), при котором степень живучести достигает величины 0,7, равно ДЕ = 0,2 + 0,1 + 0,2 + 0,1 + 0,1 + 0,2 + 0,3 + 0,3 = 1,5 .
=
х1 х2 х 3 х4 х 5
х 1 0,7 0,2 0 0, 3 0
х 2 0,7 0 ,7 0 0, 2 0 1
= х 0 0,9 0,7 0 0
х 4 0 0,8 0,7 0, 7 0, 7
х 5 0 0 0,3 0, 7 0, 7
Д V 1 1 1 1 1
Ь да да да да да
х- рггні 0 0 0 0 0
Р~ гозт - - - - -
х х х2 *3 х3 х 4 х4 х5 Х5
Ду 0 0 1 0 11 1 1 1 1
Ь 0 0 1 1 да да да да да да
х ргвй 0 0 х х 00 0 0 0 0
Р- гозт + +
х х2 х Xе4 х х2 х4 х5 х5
Ду 0 0 0 0 0 0 0 0 0 0
Ь 0 0 1 1 2 2 5 5 4 4
X
ргей
К.
0 0 х1 х1 + + + +
1-я итерация .....
Рис. 2. Новая матрица
+ + + + + +
... 5-я итерация
БИБЛИОГРАФИЧЕСКИИ СПИСОК
1. Берштейн Л.С., Боженюк А.В. Нечеткие графы и гиперграфы. - М.: Научный мир, 2005.- 256 с.
2. Боженюк А.В., Розенберг И.Н., Старостина Т.А. Анализ и исследование потоков и живучести в транспортных сетях при нечетких данных - М.: Научный мир, 2006. -136 с.
3. Bershtein L.S., Bozhenyuk A. V., Rozenberg I.N. Fuzzy Graph Vitality Degree Increase on the Base of Strong Connection // Proceedings of East West Fuzzy Colloquium 2005. 12th Zittau Fuzzy Colloquium. Zittau: Hochschule Zittau\ Goerlitz. 2005. - P. 309-312.
УДК 528
А.Э. Саак
КАНОНИЧЕСКИЕ КОМБИНАТОРНЫЕ МОДЕЛИ
Эксперимент спроса-предложения вычислительных ресурсов при функционировании МВС со множеством пользователей базировался на классических комбинаторных моделях Бернулли и Лапласа [1, 2]. Последние полагают в свою основу алгебру весовых совмещений комбинируемых элементов и алгебру геометрических совмещений, соответственно. Несколько иной тип совмещений элементов применяется в модели комбинирования кратных целочисленных разностей Ньютона. В предлагаемой работе на основе базовых алгебраических операций сдвига и разности в 2-среде целочисленных распределений вводятся упомянутые биномиальная и геометрическая комбинаторные модели. Первая из них дополняется моделью Ньютона в качестве присоединённого распределения кратных 2-разностей по отношению к прямой форме биномиальной композиции идентичных двузначных 2-распределений.
Рассмотрим сочетательный выбор ' из «к» единичных звеньев линейного полигона [0,к]с2. Мощность множества данных сочетаний равна
Ср'\ / = 0,1, к, к .
Полученное распределение называем комбинаторной моделью Бернулли. Алгебру исходов данного эксперимента удобно формализовать производящей операторной функцией единичного сдвига в 2-среде
£с'^ =(1+б)к, бЯл)=Ял +1) •
11=0
Производящий бином Бернулли отвечает алгебре весовых совмещений
б/1 Б/ = ' '
нагруженных комбинаторных элементов.
Обратимся к испытаниям Лапласа. С этой целью осуществим комбинирование предыдущих выборок' из «к» единичных звеньев. При к-кратном комбинировании указанных выборок линейной меры' получаем мощность множества комбинаций
к
П1 = /
1
согласно правилу мощности комбинаций. Факторизация данных исходов в случае неразличимости выборок уменьшит полученную разместительную мощность в к! раз
' ' = 1,2 к, к .
Последнее распределение исходов называем комбинаторной моделью Лапласа. Объединение данных исходов образует объемлющее множество эксперимента и имеет меру