- •А.В.Тимофеев, а.В.Сырцев Модели и методы маршрутизации потоков данных в телекоммуникационных системах с изменяющейся динамикой
- •Содержание
- •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. Нейросетевая маршрутизация в мульти-агентных ткс
- •Список литературы
- •Сведения об авторах
3.6. Многопотоковая маршрутизация в динамических ткс
Многопотоковая маршрутизация является задачей, близкой к много-адресной маршрутизации. Отличием является то, что в многопотоковой маршрутизации один узел-источник и один узел-получатель, а передаваемые потоки данных дублируются и передаются по разным маршрутам.
Многопотоковая динамическая маршрутизация полезна в тех случаях, когда планирование маршрутов производится с учетом возможности выхода из строя какого-то участка ТКС, через который пройдет поток данных. При этом случае каждый узел ТКС будет «знать» один или несколько запасных маршрутов, по которым можно будет передавать поток данных. Использование «запасных» маршрутов зависит от стратегии управления потоками данных в ТКС.
Сформулируем задачу K-потоковой маршрутизации при K2.
Рассмотрим вновь графовую модель ТКС
G=G(A, R, W), (3.6.1)
где A – множество вершин графа G, соответствующих узлам ТКС, К – множество однонаправленных дуг G, соответствующих каналам связи, а W – множество весов ребер (каналов связи), соответствующих некоторым числовым характеристикам (параметрам) каналов связи, определяющих их «стоимость». Стоимость маршрута определяется как суммарная стоимость составляющих его рёбер (каналов связи).
Будем говорить, что два маршрута пересекаются, если они имеют общие вершины, отличные от начальной и конечной.
Пусть выбраны два узла - узел-источник, а - узел-получатель. Необходимо проложить K непересекающихся маршрутов из s в d, таких, что их суммарная стоимость наименьшая из всех возможных вариантов.
Введем необходимые обозначения. Пусть все несамопересекающиеся маршруты из s в d проиндексированы. Обозначим i-й маршрут из s в d как isd, а его стоимость – как w(isd). Если i-й и j-й маршруты не пересекаются, то будем обозначать этот факт следующим образом: .
Определим все возможные множества из K непересекающихся маршрутов из s в d в виде
(3.6.2)
Зададим над этими множествами функционал Q вида
. (3.6.3)
Тогда задача К-потоковой оптимальной маршрутизации сводится к оптимизации функционала (3.6.3), т.е.
, (3.6.4)
при ограничениях (3.6.2)
Сформулируем критерий существования решения оптимизационной задачи (3.6.4).
Для этого введем два определения. Пусть на графе G(A,R,W) заданы узел-источник s и узел-получатель d. Тогда минимальным разрезом графа G для пары узлов (s,d) называется минимальное число однонаправленных дуг, при исключении которых из графа G, не останется ни одного маршрута из s в d. Тогда минимальный разрез равен |Lsd|.
Пусть для каждой дуги графа G задана своя пропускная способность (некоторая неотрицательная величина). Тогда максимальным потоком из узла-источника s в узел-получатель d называется максимальная мощность потока, которая может передаваться из s в d по графу G, с учетом заданных пропускных способностей рёбер (каналов связи) ТКС. Обозначим значение такого максимального потока как Vsd.
Приведем теорему Форда-Филкерсона о связи минимального разреза и максимального потока [5].
Теорема 3.6.1: Для любой сети с одним источником (узлом TKC, не имеющим входящих рёбер) и стоком (узлом ТКС, не имеющим исходящих рёбер) величина максимального потока от источника к стоку равна величине минимального разреза граф G.
На базе теоремы 3.6.1 можно определить критерий существования решения для задачи K-потоковой маршрутизации следующим образом.
Теорема 3.6.2: Пусть задан граф ТКС вида (3.5.1) и на нём зафиксированы два узла: узел-источник s и узел-получатель d. Тогда следующие два утверждения равносильны:
-
Пара узлов (s,d) является l-связной и не является (l+1)-связной;
-
Минимальный разрез графа G для пары (s,d) равен l.
Доказательство теоремы 3.6.2. Пусть для каждого ребра (канала связи) дуги графа G ТКС определена пропускная способность, равная 1. Выделим из графа G(A,R,W) подграф G(A,Rsd,W), содержащий только несамопересекающиеся маршруты из s в d. Заметим, что в G(A,Rsd,W) узел s не будет содержать входящих рёбер (каналов связи), а узел d не будет содержать исходящих рёбер (каналов связи). Тогда в этом подграфе можно определить поток данных из s в d. Так как пропускные способности всех рёбер равны 1, то максимальный поток через каждый маршрут из s в d тоже равен 1. Заметим, что максимальный поток из s в d равен максимальному числу непересекающихся маршрутов из s в d, т.е. значению связности в графе G(A,R,W) для пары узлов (s,d).
Таким образом, утверждение 1) равносильно тому, что Vsd=l, а это равносильно утверждению 2). Тем самым, теорема 3.6.2 доказана.