References
1. Tarassov V.B. Ot mnogoagentnykh sistem k intellektual-nym organizatsiyam: filosofiya, psikhologiya informatika [From multi-agent systems to intelligent organizations: philosophy, phy-chology, informatics]. Moscow, Editorial URSS Publ., 2002, 352 p.
2. Gmytrasiewicz P.J., Durfee E.H. Rational communication in multi-agent systems. Autonomous agents and multi-agent systems journ. 2001, no. 4 (3), pp. 233-272.
3. Piterson Dzh. Teoriya setey Petri i modelirovanie system
[The theory of Petri nets and systems' modeling]. Moscow, Mir Publ., 1984, 264 p.
4. Boyarinov Yu.G., Borisov V.V., Dli M.I. Design and using method of fuzzy semi-Markov models to analyse comlex systems. Informatsionnye tekhnologii modelirovaniya i upravleniya [IT for modeling and management]. 2011, no. 1 (66), pp. 43-55.
5. Borisov V.V., Boyarinov Yu.G., Dli M.I., Mishchen-ko V.I. Analysing methods for comlex systems based on fuzzy semi-Markov models. Neyrokompyutery: razrabotka, primenenie [Neurocomputers: design and applications]. 2011, no. 8, pp. 33-41 (in Russ.).
УДК 621.396
РЕШЕНИЕ ЗАДАЧИ ОПТИМАЛЬНОЙ МАРШРУТИЗАЦИИ ПО КРИТЕРИЮ ЗАГРУЖЕННОСТИ СЕТИ
Г.А. Дмитриев, д.т.н., профессор; Б.И. Марголис, д.т.н., профессор; М.М. Музанна, аспирант (Тверской государственный технический университет, наб. Аф. Никитина, 22, г. Тверь, 1 70026, Россия, borismargolis@yandex.ru, mohamed1984a@yahoo.com)
Рассмотрена потоковая модель информационной сети с альтернативной маршрутизацией сообщений для произвольного количества коммутационных узлов и каналов связи. Сформулированы критерии оптимизации по времени задержки сообщений и максимальной загруженности сети, ограничения на пропускные способности каналов и условия сохранения потоков в сети. Рассмотрен пример сети, состоящей из пяти узлов и семи каналов связи. Показано, что задача оптимальной маршрутизации относится к классу задач нелинейной оптимизации функции нескольких переменных с ограничениями типа неравенств и равенств. Сформулированы ограничения типа неравенств для пропускных способностей каналов и типа равенств для условия сохранения потоков в узлах сети с учетом их разбиения на узел-вход, узел-выход и промежуточные узлы. На основе стандартной функции fmincon в среде MatLab разработана программа, позволяющая по топологической структуре сети, входному потоку и пропускным способностям каналов найти оптимальное распределение потоков в сети, состоящей из произвольного количества узлов и каналов связи. Приведены результаты расчета оптимального разделения потоков по критериям загруженности и задержки для рассмотренного примера. Проведен анализ изменения критерия максимальной загруженности при различных интенсив-ностях входного потока. Показано, что определение оптимального распределения нагрузки каналов при разделении каждого канала на произвольное количество линий связи может быть выполнено с помощью аналитических оптимизационных методов. Приведены результаты расчета оптимального разделения потоков на две линии связи по критерию загруженности для рассмотренного примера.
Ключевые слова: информационная сеть, коммутационный узел, канал связи, средняя задержка сообщений, максимальная загруженность, пропускная способность, нелинейная оптимизация, ограничения типа неравенств и равенств, входной поток, топология сети, оптимальная маршрутизация.
OPTIMAL ROUTING USING THE NETWORK CONGESTION CRITERION Dmitriev G.A., Dr. Tech. Sc., professor; Margolis B.I., Dr. Tech. Sc., professor; Muzanna M.M., postgraduate student (Tver State Technical University, Quay Nikitin, Tver, 22, 170026, Russian Federation, borismargolis@yandex.ru, mohamed1984a@yahoo.com) Abstract. The article considers the network information flow model with reroute messages for any number of switching nodes and links. There are criteria for optimizing with time-delay messages and the maximum network congestion, restrictions for the capacity of the channels and the conservation of flows in the network. An example of a network consisting of five nodes and seven channels of communication is described. It is shown that the problem of optimal routing refers to non-linear optimization of several variables function with inequality constraints and equations. Inequality constraints are formulated for channel capacity and the type of equations for the conservation of flows in the network nodes according to their division into input node, output node and intermediate nodes. Based on the standard fmincon function, a program as developed in MatLab. It allows finding the optimal distribution of flows in the network consisting of an arbitrary number of nodes and links according the topological structure of the network, the input flow and capacity of channels. The article shows the results of the optimum flow separation calculation using criteria of congestion and delays for the considered example. The analysis of changes in the criteria of maximum load at different intensities of the input stream is made. It is shown that the determination of the optimum distribution of channels load while separating each channel to any number of lines can be done using analytical optimization techniques. There are results of the calculation of the optimum flow separation on two links by load for the considered example.
Keywords: information network, switching node, communication channel, average delay of messages, maximum load carrying capacity, nonlinear optimization, inequality constraints and equations, input stream, network topology, optimal routing.
Графовые модели маршрутизации [1, 2], положенные в основу большинства существующих маршрутизирующих протоколов (RIP, IGRP, EIGRP, IS-IS, OSPF, PNNI), получили широкое распространение, однако на практике все более востребованы именно потоковые модели маршрутизации, которые, с одной стороны, учитывают потоковый характер современного, преимущественно мультимедийного трафика (видео, речь и др.), а с другой - более адаптированы под решение задачи балансировки нагрузки и обеспечение качества обслуживания в мультисервисных телекоммуникационных сетях (ТКС).
Модель оптимального распределения потоков в телемедицинских сетях, предложенную в [3], можно использовать для произвольного числа линий связи и узлов. Однако при наличии в топологии моделируемой сети промежуточных узлов необходимо также учитывать условия сохранения потоков для них. В этом случае для решения задачи понадобится использование численных оптимизационных методов. В то же время распределение полученных оптимальных потоков по нескольким линиям связи может быть произведено по аналитической оптимизационной модели.
Рассмотрим следующую модель информационной сети (ИС) с альтернативной маршрутизацией сообщений. ИС состоит из n узлов коммутации и M каналов. Обозначим через <$ik, i = 1, M, k = 1, m, информационные потоки по каналам с учетом того, что каждый канал может быть разделен на m линий связи. Основными характеристиками качества функционирования сети являются средняя задержка сообщения T и максимальная загруженность T сети.
Тогда задачу оптимальной маршрутизации можно сформулировать следующим образом. По заданной топологической структуре ИС, значению входного потока у и матрице пропускных способностей С^, i = 1,M, k = 1, m, необходимо найти
оптимальные значения потоков ||фл||. Минимизацию можно производить по двум указанным критериям T и Tj:
1 M
t = - Z Z
Фл
уi=- k=- Crn -Wik
->min,
T = max
f ^ \
Фл
C
V Ciik
i = 1, M, k = 1, m ^ min,
(j)
(2)
при выполнении следующих ограничении:
0 <фй< Сш, г = 1М, к = 1т . (3)
Для каждого из узлов коммутации должно выполняться условие сохранения потоков:
-у, I = г;
ЕЕФл -ZZ(Pjk =
JeE k =1
(4)
0, l * i, j; у, l =
где E - множество каналов связи; i - узел-источ-
ник; у - узел-адресат; = и 1=/ характеризуют соответственно узел-вход и узел-выход.
Рассмотрим пример сети [4], состоящей из п=5 узлов и М=7 каналов связи (рис. 1), в которой поступающая нагрузка формируется в виде бесприоритетного трафика. Входной поток должен быть передан из узла 1 в узел 5. В данном примере разделение по линиям связи не производится, то есть т=1, и рассмотренные матрицы потоков и пропускных способностей являются одномерными массивами. Номера каналов указаны на рисунке в круглых скобках.
Задача оптимизации критериев (1) и (2) относится к классу задач нелинейной оптимизации функции нескольких переменных с ограничениями типа неравенств (3) и равенств (4) [5]. Решение таких задач может быть эффективно осуществлено в среде MatLab с помощью функции fmincon. Стандартное обращение с полным списком выходных параметров, возвращаемых функцией, выглядит следующим образом:
A=[ ]; b=[ ]; nonlcon=[ ];
options=optimset('Display', 'iter', 'MaxFunEvals', 1000, 'TolX', TolX, 'GradObj', grad_par, 'Hessian', 'off);
fmin, Tval, exitflag, output, lambda, grad, hessian]=fmincon(@Tkrit1, f0, A, b, Aeq, beq, lb, ub, nonlcon, options, Ysum, C1, nsig, TolX, nkrit).
Ограничения типа неравенств могут быть заданы в виде матриц A; b или нижней и верхней границ lb, ub. В данном случае предпочтительнее задать (3) с помощью границ. Ограничения типа равенств (4) задаются в виде матриц Aeq, beq. Нелинейные ограничения nonlcon отсутствуют. Расчет критериев (1) или (2) Tval производится функцией Tkrit1, а выбор критерия осуществляется по значению nkrit. Начальное приближение разделения потоков f0 может быть определено с помощью функции linprog с учетом тех же граничных условий.
Ограничения типа равенств (4) являются условиями сохранения потоков для узлов коммутации и для приведенной на рисунке 1 сети будут выглядеть следующим образом:
Ф1+ ф2=у; (5)
-ф1+ фз+ф4+ф5=0; (6)
-ф2-фз+фб=0; (7)
-ф4-фб+ф7=0; (8)
-ф5-ф7= -у. (9)
Здесь равенства (5) и (9) описывают условия сохранения потоков соответственно для узла-входа и узла-выхода, а (6)-(8) - для промежуточных узлов.
Пропускные способности линий связи первоначально удобно задать в виде двухмерного массива \\CijW, а уже затем перейти к одномерному массиву пропускных способностей \\С1\\, чтобы рассчитать оптимизируемые потоки \ф\\. Для рассмотренного примера указанные массивы выглядят следующим образом:
0 40 20 0 0
40 0 45 35 10
С = 20 45 0 50 0
0 35 50 0 40
0 10 0 40 0
\\C1iW = \40 20 45 35 10 50 40\
Для решения задачи оптимальной маршрутизации в среде Ма1ЬаЬ разработана программа chisl.m, позволяющая найти оптимальные информационные потоки по каналам как по критериям средней задержки сообщения Т и максимальной загруженности сети Т1. Для информационной сети, изображенной на рисунке 1, входного потока у=40 и пропускных способностей \\СИ\\ (11) результаты расчета оптимального распределения потоков по критериям Т и Т1 представлены на рисунках 2 и 3.
Внешний вид экрана при оптимизации по критерию задержки с помощью программы chisl.m показан на рисунке 4. Оптимальное значение критерия Т=0,2029, но в этом случае критерий загруженности сети Т1=1 (полностью загружен канал 5). При оптимизации по критерию загруженности Т1=0,8113, но Т=0,3295, то есть больше, чем в первом случае.
Г С =
0 0 0 40 0 0 40 40 0 0
0 0 0 0 0 40 0 45 35 10
0 0 0 0 0 20 45 0 50 0
0 0 0 0 0 0 35 50 0 40
0 0 0 0 0 0 10 0 40 0
ктИ =1 С1 = 40 20 45 35 10 50 40
1Ъ = иЪ =
Ъед = Лед = 1.0е - 005 40
40 1 1 0 0 00 0 1.0е - 005 20
0 -1 0 1 1 10 0 1.0е- 005 45
0 0 -1 -1 0 01 0 1.0е- 005 35
0 0 0 0 -1 0 -1 1 1.0е- 005 10
-40 0 0 0 0 -1 0 -1 1.0е-1.0е- 005 005 50 40
/0=28,0053 11,9947 1,8301 16,1752 10,0000 13,8248 30,0000 Тго/1=0,2029, Туа!2 =1,0000
Рис. 4. Результаты расчета оптимального разделения потоков по критерию задержки
С помощью разработанной программы можно проанализировать зависимость загруженности информационной сети от интенсивности входного потока у. На рисунке 5 показаны результаты расчета изменения критерия максимальной загруженности Т1 при различных интенсивностях входного потока.
§013
I»:..................... :................Ж'.............:........:
1=.....= .....- ■ :
| о з - ;
• : ; ;
01[/—I-,-!-1-;-;-;-;-
5 10 15 20 30 35 ПК 45 50
Рис. 5. График зависимости критерия загруженности от входного трафика
Оптимальное распределение нагрузки каналов можно произвести и для произвольного количества т линий связи. В этом случае удобно использовать соотношения аналитической оптимизационной модели, предложенной в работе [3]. Результаты расчета оптимальных потоков по критерию загруженности при разделении на два канала для топологии сети, приведенной на рисунке 1, при входном потоке у=40 показаны на рисунке 6.
40
(1) 28,0053
(5) 10,0000
40
Рис. 2. Результаты расчета оптимального разделения потоков по критерию задержки
40
25,3(511)9
1 ^Из)
(5) 7,9788
(4) " 16,9428 (7) 32,0212
40
3
4
Рис. 3. Результаты расчета оптимального разделения потоков по критерию загруженности
2
3
4
2
40
(1) . 16,7457,
(5) 5,7784
7,324
1,1835
40
1,5173
Рис. 6. Результаты расчета оптимального разделения потоков на два канала
2
3
4
Внешний вид экрана при оптимизации по критерию загруженности с разделением потоков на два канала с помощью программы chisl.m показан на рисунке 7. Оптимальные значения критериев: ^=0,8005, 7=0,6692.
/я«(:,:,1) = /я«(:,:,2) =
0 16,7457 7,3241 0 0 0 8,6062 7,3241 0 0
0 0 0,4303 11,7907 5,7784 0 0 0 5,1521 2,2003
0 0 0 13,8949 0 0 0 0 1,1835 0
0 0 0 0 20,5039 0 0 0 0 11,5173
00 0 0 00000 0
Рис. 7. Результаты расчета оптимального разделения потоков на два канала
Таким образом, предложенная модель оптимального распределения потоков в информационной сети позволяет на основе численных и аналитических оптимизационных методов для произвольных топологии сети и количества каналов связи произвести оптимизацию по критериям
средней задержки и максимальной загруженности сети. Она учитывает условия сохранения потоков для промежуточных узлов сети. Оптимизация по критерию максимальной загруженности позволяет обеспечить наиболее сбалансированную загруженность каналов ТКС и повысить качество обслуживания.
Литература
1. Остерлох Х. Маршрутизация в IP-сетях. Принципы, протоколы, настройка. СПб: БХВ, 2002. 512 с.
2. Вегенша Ш. Качество обслуживания в сетях IP; [пер. с англ.]. М.: Вильямс, 2003. 386 с.
3. Марголис Б.И., Музанна М.М. Решение задачи оптимальной маршрутизации по критерию средней задержки // Программные продукты и системы. 2013. № 3. С. 202-205.
4. Лемешко А.В., Вавенко Т.В. Усовершенствование потоковой модели многопутевой маршрутизации на основе балансировки нагрузки // Проблемы телекоммуникаций. 2012. № 1 (6). С. 12-29.
5. Пантелеев А.В., Летова Т.А. Методы оптимизации в примерах и задачах. М.: Высш. школа, 2005, 544 с.
References
1. Osterlokh Kh. Marshrutizatsiya v IP-setyakh. Printsipy, protokoly, nastroyka [Routing in IP nets. Principles, protocols, customizing]. St. Petersburg, BHV Publ., 2002, 512 p.
2. Vegensha Sh. Kachestvo obsluzhivaniya v setyakh IP [Quality of service in IP Networks]. (Russ. ed.) Moscow, Vilyams Publ., 2003, 386 p.
3. Margolis B.I., Muzanna M.M. Solving the problem of optimal routing using average delay criteria. Programmnye produkty i sistemy [Software & Systems]. 2013, no. 3, pp. 17-19.
4. Lemeshko A.V., Vavenko T.V. Upgrading flow-oriented model of multipath routing based on load balancing. Problemy telekommunikatsiy [Telecommunication problems]. 2012, no. 1 (6), pp. 12-29 (in Russ.).
5. Panteleev A.V., Letova T.A. Metody optimizatsii v prime-rakh i zadachakh [Optimization methods on examples and tasks]. Moscow, Vysshaya shkola Publ., 2005, 544 p.
УДК 004.5
ПРИМЕНЕНИЕ МЯГКИХ ВЫЧИСЛЕНИЙ ДЛЯ АНАЛИЗА СТРУКТУРЫ БАЗЫ ЗНАНИЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ
(Работа выполняется при поддержке Минобрнауки РФ в рамках ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2013 гг.», НИР «Разработкауниверсального программного комплекса интерактивного отображения, обработки и управления большими массивами данных на основе методик и алгоритмов построения связей
между объектами», ГК№ 14.514.11.4036)
Р.Н. Гордеев, к.ф.-м.н., доцент; А.В. Бурилин, ст. преподаватель (Тверской государственный университет, ул. Желябова, 33, г. Тверь, 1 70100, Россия, rgordeev@naumen.ru, aburilm@naumen.ru)
Рассматривается возможность применения генетических алгоритмов и нейронных сетей для предварительного анализа и оптимизации структуры БЗ информационной системы. Описан пример построения структуры нейронной сети. После выполнения процедуры анализа генерируются описание структуры взаимосвязей объектов анализируемой системы и ее кластерное представление, то есть на выходе получается перечень классифицированных объектов по заданному перечню признаков.