- •А.В.Тимофеев, а.В.Сырцев Модели и методы маршрутизации потоков данных в телекоммуникационных системах с изменяющейся динамикой
- •Содержание
- •1. Эволюция глобальных ткс и принципов управления потоками данных
- •1.1. Рост объема и изменение структуры трафика в глобальных ткс
- •1.2. Современные тенденции развития глобальных ткс
- •1.3. Pазвитие ip-технологий маршрутизации и передачи потоков данных
- •1.4. Архитектура глобальных ткс и роль сетевой системы управления
- •1.5. Принципы построения адаптивных и интеллектуальных систем сетевого управления
- •1.6. Анализ ткс как информационного объекта управления
- •1.6.1. Графовые модели ткс
- •1.6.2. Матричные модели ткс и их взаимосвязь
- •1.6.3. Критерии коммуникабельности ткс
- •2. Методы статической маршрутизации потоков данных в мульти-агентных ткс
- •2.1. Задачи маршрутизации потоков данных и их роль в сетевом управлении ткс
- •2.2. Постановка задачи оптимальной статической маршрутизации
- •2.3. Модели и алгоритмы статической маршрутизации
- •2.3.1. Дерево кратчайших маршрутов для ткс с односторонними связями
- •2.3.2. Каталог узлов и оптимальных маршрутов для статических ткс
- •2.3.3. Метод статической лавинной маршрутизации
- •2.3.4. Методы вероятностной маршрутизации
- •2.3.5. Метод оптимальной маршрутизации, основанный на построении остова минимальной стоимости графовой модели ткс
- •2.4. Групповая маршрутизация в статических ткс
- •2.6. Оптимальная статическая маршрутизация в глобальных мульти-агентных ткс
- •3. Методы и средства динамической маршрутизации в глобальных ткс
- •3.1. Постановка задачи динамической маршрутизации
- •3.2. Основные алгоритмы динамической маршрутизации
- •3.2.1. Алгоритм Беллмана-Форда и его модификации
- •3.2.2. Алгоритм Дейкстры
- •3.3. Критерии существования оптимальных маршрутов передачи данных в динамических ткс на основе простых карт и таблиц маршрутизации
- •3.3.1. Критерий маршрутизируемости
- •3.3.2. Оптимальные таблицы и карты маршрутизации и вычисление оптимальных маршрутов
- •3.5. Много-адресная маршрутизация в динамических ткс
- •3.6. Многопотоковая маршрутизация в динамических ткс
- •3.7. Алгоритм 2-потоковой динамической маршрутизации
- •4. Модели и методы адаптивной и нейросетевой маршрутизации в мульти-агентных ткс
- •4.1. Особенности адаптивной маршрутизации в ткс с неопределённой днамикой
- •4.2. Принципы и модели централизованной, децентрализованной и мульти-агентной маршрутизации
- •4.3. Особенности организации распределительных таблиц и карт для адаптивной маршрутизации
- •4.4. Критерии корректности распределяющих карт маршрутизации
- •4.5. Расширение карт маршрутизации и интенсивность потоков данных
- •4.6. Централизованная и распределённая маршрутизации в мульти-агентных ткс
- •4.7. Нейросетевая маршрутизация в мульти-агентных ткс
- •Список литературы
- •Сведения об авторах
4.6. Централизованная и распределённая маршрутизации в мульти-агентных ткс
В качестве математической модели статической ТКС, чьи коммуникационные характеристики не изменяются с течением времени, будем рассматривать граф
, (4.6.1)
где V – множество узлов, E – упорядоченное множество направленных дуг.
Определим набор параметров, характеризующих коммуникационные возможности мульти-агентной ТКС. Рассмотрим множество всевозможных пар узлов графа G вида:
, (4.6.2)
где первый элемент пары является узлом-источником необходимых данных, а второй – узлом-получателем запрошенных данных. Остальные параметры мульти-агентной модели определены следующим образом:
D – множество пар «источник-получатель», осуществляющих передачу пакетов в данный момент времени ();
Π – упорядоченное множество всех маршрутов для всех пар узлов из D (оно может быть усеченным),
Πd – множество возможных маршрутов для данной пары узлов ;
Tl(pl) –стоимость нагрузки ρl, приходящейся на ребро (канал связи) .
На возможных маршрутах передачи данных Πd зададим матрицу инциденций вида
, где (4.6.3)
Любая задача мульти-агентной point-to-point маршрутизации информационных потоков может быть описана конечным набором пар узлов ТКС .
Определим основные условия и параметры задачи маршрутизации следующим образом:
Φd – интенсивность информационного потока между узлами пары ;
Φ = (Φ1, Φ2, …) – вектор распределения интенсивности информационных потоков;
– общая интенсивность информационных потоков D;
xp – общая интенсивность информационного потока на маршруте ;
x = (x1, x2, … ) – вектор распределения информационных потоков;
δlp – доля интенсивности информационного потока xp, которая приходится на дугу l;
ρl – нагрузка на ребро (канал связи) , определяемая по формуле
;
ρ = (ρl, ρ2, …) – вектор распределения нагрузок на ребра (каналы связей),
Tp – средняя стоимость маршрута ,
T = (T1, T2, …) – вектор распределения стоимостей по маршрутам.
Для формализации и решения задачи оптимальной маршрутизации введем дополнительные условия:
-
Средняя стоимость маршрута определяется как сумма стоимостей нагрузок на его рёбра (каналы связей), т.е.
;
II.Для любого ребра (канала связей) справедливо
и ;
III. Для каждого ребра (канала связей) , Tl(pl) выпукла и либо строго монотонно возрастает на интервале, где Tl(pl)<∞, либо Tl(pl) = const;
IV. Функция Tl(pl) непрерывна на всей области определения, причем на интервале, где Tl(pl) <∞, она непрерывно дифференцируема.
Для централизованной схемы маршрутизации с агентом-координатором решение задачи мульти-агентной маршрутизации представляет собой некоторое распределение информционных потоков, при котором общие затраты на их обслуживание минимальны.
Пусть F – общая стоимость распределения информационных потоков. Тогда
. (4.6.4)
Для любого маршрута и для любой пары узлов справедливы соотношения
. (4.6.5)
Таким образом, постановка задачи для централизованной схемы мульти-агентной маршрутизации запишется следующим образом:
F → min (4.6.6)
при следующих ограничениях:
. (4.6.7)
Для распределенной схемы мульти-агентной маршрутизации задача ставится для каждой пары отдельно. В данном случае оптимальным решением является распределение информационного потока, при котором его стоимость для каждой пары в отдельности – минимальна. Такое решение является локально- оптимальным.
Введём понятие минимального потока между парой узлов d как функцию вида
, .
Тогда решением задачи будет вектор распределения потоков x, удовлетворяющий следующим соотношениям
, (4.6.8)
где A(x) = (A1(x), A2(x), …) – вектор минимальных потоков.
Для ТКС, в которых пропускная способность каналов связи ограничена, функция Tl(pl) будет удовлетворять следующим ограничениям:
, (4.6.9)
где pmax – максимальная пропускная способность канала связи l.
В этом случае условие IV будет нарушено. Этого можно избежать, если ввести вспомогательную функцию Tl(ε)(pl) вида
(4.6.10)
где величина ε>0 и сколь угодно мала.
Лемма 4.6.1. Для Tl(ε)(pl) вида (4.6.10) выполняются условия I-IV.
Очевидно, что условия I и II будут выполнены. Докажем, что Tl(ε)(pl) непрерывно дифференцируема на [0,pmax).
Рассмотрим функцию . Она непрерывно дифференцируема на всей области определения и строго монотонно возрастает, причем
. (4.6.11)
Рассмотрим Tl(ε)(pl) в точке {pmax-ε}. Учитывая (4.6.9), получаем:
(4.6.12)
Из (4.6.9) следует, что в точке {pmax} функция Tl(ε)(pl) стремится к ∞, т.е. Tl(ε)(pl) непрерывна на всей области определения. С учетом (4.6.9) и (4.6.10) получаем следующее выражение для производной вспомогательной функции:
(4.6.13)
Отсюда следует, что функция Tl(ε)(pl) непрерывно дифференцируема на (0,pmax)\{pmax -ε}. Рассмотрим пределы её производной слева и справа от точки {pmax-ε}.
Так как из этого следует, что
,
то функция Tl(ε)(pl) непрерывно дифференцируема на (0,pmax). Следовательно, условие IV выполняется для вспомогательной функции (4.6.10).
Для выполнения условия III достаточно доказать, что оно выполняется на промежутке (pmax-ε, pmax). На этом интервале функция Tl(ε)(pl) как произведение двух выпуклых и положительных функций будет выпуклой и строго монотонно возрастающей.
Таким образом, лемма 4.6.1 доказана.
Отсюда следует, что, рассматриваемые для данной распределённой (децентрализованной) модели методы мульти-агентной маршрутизации применимы к ТКС с ограниченной пропускной способностью каналов связи. При этом оценочные функции стоимостей маршрутов будут строиться с некоторой погрешностью.