CC BY
64
ТЕЛ
Е
КОММУНИКАЦИИ
УДК 621.391
СИСТЕМОЛОГИЧЕСКИЕ ОСНОВАНИЯ ТЕНЗОРНОГО АНАЛИЗА СЕТЕЙ СВЯЗИ
ЛЕМЕШКО А.В.
Рассматриваются системологические основы тензорного анализа сетей связи. Устанавливается полное соответствие тензорной методологии исследований требованиям системного подхода. Предлагается реализация тензорного подхода относительно решения задач расчета сетей связи.
1. Введение
Анализ тенденций современного развития систем телекоммуникаций свидетельствует о значительном росте интереса у операторов связи и разработчиков связного оборудования к реализации системных решений, нацеленных на более полное и эффективное использование имеющихся сетевых ресурсов. Подтверждением этого может служить разработка и принятие концепций Traffic Engineering over MPLS, подробно освещенных в информационном RFC 2702 «Requirements for Traffic Engineering Over MPLS», а также правил системной политики PBNM (Policy-Based Network Management), терминология которых изложена в документе RFC 3198 «Terminology for Policy-Based Network Management», разработанном комитетом IETF. Логично предположить, что в качестве первоочередных шагов в этом направлении станут попытки подведения под эти начинания содержательной научной основы.
Подобные тенденции предопределили необходимость совершенствования (модернизации) телекоммуникационных систем на новых технологических и, что не менее важно, методологических принципах, базирующихся на использовании адекватно описывающих ТКС формализмах, а также высокоэффективных методах расчета основных количественных и качественных показателей систем телекоммуникаций.
При решении проблем теоретического обоснования и практической реализации требований к ТКС имеет смысл воспользоваться результатами разрабо -танной и хорошо развитой общей теории систем, а сам процесс исследования организовать в рамках системного подхода. В основе такого подхода лежит стремление установить общую ориентацию исследований и зафиксировать научными средствами целостность исследуемого объекта с учетом всего разнообразия существующих в нем связей и связей с внешней средой. Теория систем предлагает единый
РИ, 2003, № 1
абстрактно-математический аппарат для представления и исследования систем самых различных типов, классов и назначения—технических, экономических, биологических и т.д. [1,2].
В этой связи ТКС может трактоваться как сложная организационно-техническая система. К числу основных факторов сложности ТКС (рис.1) следует отнести ее многоаспектность, высокую размерность системы в целом и разнородность ее отдельных элементов и подсистем, динамический характер функционирования, стохастичность протекающих в ТКС процессов информационного обмена, мульти-сервисность, взаимодействие ТКС с другими сложными системами—информационно-аналитическими, автоматизированными системами управления и др., а также наличие влияния внешних, зачастую дестабилизирующих, факторов.
Рис.1
2. Основная часть
Анализ особенностей общих систем позволил сделать вывод о том, что их разнообразие может быть адекватно охвачено конечным числом классов (типов) систем, которые, в свою очередь, определяют классы (типы) системных задач. Последовательность этапов решения задач анализа (синтеза) сложных систем в рамках системного подхода условно можно представить в виде соответствующей схемы (рис.2) [1].
В соответствии со схемой (см. рис.2) исследователь путем выделения тех или иных системных аспектов сводит решение поставленной перед ним прикладной задачи к решению конкретной системной задачи. На этапе абстрагирования она классифицируется и принимает вид общесистемной задачи, для решения которой применяются имеющиеся в распоряжении методы традиционной науки. Полученное решение общесистемной задачи на этапе интерпретации принимает вид решения конкретной системной задачи. Последнее же, в свою очередь, путем предметной экспертизы определяет окончательное решение поставленной перед исследователем прикладной задачи.
21
Наличие общей схемы, однако, еще не определяет конкретных методов решения задач в рамках системного подхода. Для реализации процедур абстрагирования и интерпретации в настоящее время единого подхода пока не выработано. Немаловажную роль также играет класс системной задачи, определяющий набор традиционных методов ее решения. В системах телекоммуникаций встречаются все три класса задач [1]: задачи организованной простоты — с малым количеством переменных, высокой степенью детерминизма, решение которых допускается в аналитической форме; задачи неорганизованной сложности — с большим числом переменных, случайных по характеру своего проявления, для решения которых используются статистические методы; задачи организованной сложности, для решения которых пока не существует приемлемых ни аналитических, ни статистических методов решения. Первые два класса задач являются взаимодополняющими, определяют две противоположные крайности в спектре сложностей задач и, несмотря на взаимодополняемость и достаточно высокую проработанность их решений, покрывают небольшую часть всего спектра системных задач. По этой причине актуальным становится поиск эффективных методов решения системных задач из категории организованной сложности, пути решения которых проработаны не так хорошо, как для первых двух классов.
Закономерно предположить, что при решении ряда задач организованной сложности трудность получения окончательных результатов может быть обусловлена неудачным или, в общем случае, случайным выбором аспекта (координатной системы) рассмотрения исследуемого объекта (системы). Возможно, что существует такая точка зрения на поставленную проблему (задачу) или такой аспект рассмотрения исследуемой системы, в рамках которых искомые решения можно найти с минимальными трудностями. В этой связи многоаспектное рассмотрение исследуемой системы и информированность о правилах координатного преобразова-
ния открывают дополнительные перспективы в решении задач организованной сложности.
В рамках многоаспектного рассмотрения математически точно описать телекоммуникационную систему как целостный объект, базируясь на том, что теория исследования ТКС должна быть инвариантна относительно способа описания его внутренней структуры, возможно лишь с помощью некоторого каркаса, который разрешит стыковать модели, полученные при рассмотрении разных аспектов одной системы, объединяя различные ее представления [3]. В связи с этим особую актуальность приобретают исследования американского ученого Г. Крона и его разработки в области тензорного анализа и диакоптики, базирующиеся на использовании инвариантных величин—тензоров, которые, в свою очередь, подобно каркасу связывают преобразование структуры сложных систем [4,5]. Технология тензорного решения задач анализа (синтеза) сложных систем (рис.3) состоит в следующем:
1. Выделение некоторой совокупности систем в один класс по аналогии протекающих в них процессов и структурных отношений.
2. Выбор среди этих систем одной в качестве эталонной, для которой разработан тензорный метод расчета, объединяющий структурные и метрические соотношения, т.е. структуру и протекающие в ней процессы.
3. Инвариантное представление основных свойств и характеристик моделируемой системы.
4. Определение правил приведения математической модели системы к тензорному виду.
5. Формулирование (расчет) групп прямого и обратного преобразования и построение эквивалентной модели системы.
Одной из основных задач анализа ТКС в рамках тензорного подхода есть нахождение таких инвариантных характеристик, которые являются общими для всех систем данного класса, т.е. не изменяются при переходе от одного представления системы к
22
Рис.2
РИ, 2003, № 1
другому. К таким инвариантам в зависимости от требований, выдвигаемых к ТКС, могут быть отнесены трафик, структура системы и прочие величины. На основании известных инвариантных характеристик и правил преобразования исследование любой системы из данного класса будет сводиться к исследованию одного произвольного ее представления с последующим переходом от данного произвольного к исходному представлению системы. Это открывает возможности изучения всего класса систем на примере одной произвольно выбранной системы [6]. Поэтому тензорная методология анализа телекоммуникационных систем и связанная с ней диакоптика разрешают получить единый подход к исследованию ТКС как сложной организационно-технической системы. Возможность совместного исследования структуры телекоммуникационной системы и протекающих в ней процессов представляется главным преимуществом тензорной методологии исследований, основанной на объединении возможностей дифференциальной геометрии и комбинаторной топологии. Наряду с анализом функциональных уравнений системы, в рамках ее тензорного представления графотопологическое описание является дополнительным источником информации для эффективного составления и решения подобных уравнений.
Для практической демонстрации возможности и целесообразности реализации тензорного подхода при решении конкретных системных задач анализа (синтеза) ТКС приведем несложный пример. Как показал проведенный анализ, в соответствии с тензорным подходом (см. рис.3) решение ряда важных задач по расчету сетей связи может быть проведено в рамках их электротехнической интерпретации [7]. В этом случае для ТКС в качестве эквивалентной системы выступала электрическая сеть, для расчета которой разработаны эффективные модели и методы тензорного анализа [4,5]. Несмотря на то, что система телекоммуникаций имеет более сложную морфологическую и функциональную «конструкцию», чем электрическая сеть, некоторые двухполюсные сетевые задачи допуска-
ют адекватную формализацию в рамках электротехнических терминов и понятий.
Подобный выбор эквивалентной модели определяет двойственность следующих телекоммуникационных и электротехнических понятий: тракт передачи информации — ветвь; информационная нагрузка в тракте — ток в ветви; временная задержка передачи — напряжение; пропускная способность тракта — проводимость.
В отличие от однородного непрерывного пространства, при расчете как электрической сети, так и сети связи следует рассматривать анизотропное про-странство-стуктуру, определяемое составом и взаимосвязями элементов системы. Размерность такого пространства численно равна количеству ветвей, а переходя от сетевой терминологии к телекоммуникационной —числу отдельных трактов передачи информации в ТКС. Системы координат образуются совокупностью независимых замкнутых и разомкнутых путей, проходящих по ветвям сети [4,7]. Преобразование системы координат трактуется как преобразование структуры сети с сохранением начального числа ветвей или переход от одной совокупности независимых путей к другой, причем каждый путь ввиду своей независимости определяет в рамках подобного пространства координатную ось.
Пусть изначально анализируемая сеть состоит из n несвязанных между собой ветвей, определяя тем самым размерность вводимого к рассмотрению пространства-структуры. Базис пространства, образованного независимыми разомкнутыми путями, обозначим как p; ,i = 1, n . В этом пространстве сеть как геометрический объект может быть представлена одновалентными тензорами и тензорами более высокой валентности [7]. Примером одновалентных тензоров могут служить контравариант-ный вектор нагрузок H = hipi и ковариантный вектор временных задержек T = tiPi, которые представляются в базисе pi, i = 1, n в виде, соответствующем принятому в тензорном исчислении согла-
РИ, 2003, № 1
Рис.3
23
шению о суммировании [8]. Компонента тензора нагрузок h1 отражает величину нагрузки в i -й ветви, измеряемую в битах. Компонента тензора задержек ti характеризует величину временной
задержки передачи информации i -й ветви, измеряемую в секундах. Координаты двухвалентного смешанного тензора M в том же базисе имеют вид mi = h1tj, где i,j = l,n.
Сеть, состоящую из n несвязанных между собой ветвей, целесообразно выбрать в качестве примитивной, так как в ней расчет искомых величин компонент векторов нагрузок и задержек не представляет особого труда.
Пусть из раздельных ветвей рассмотренной выше сети образована сеть связанной структуры. Изменение структуры соответственно влечет и модификацию базиса пространства, образованного теперь независимыми разомкнутыми и замкнутыми путями pi ,i = 1, n . Компоненты рассматриваемых тензоров в новой системе координат соответственно будут иметь вид hi , С и mj., i, j = 1,n. В соответствии с правилами алгебраического сложения путей [4,6] базисные пути различных координатных систем рассмотрения сети как геометрического объекта связаны между собой соотношением
Pi = aik Pk .
Тогда при смене координатной системы рассмотрения сети компоненты ранее введенных одновалентных и двухвалентных тензоров будут преобразовываться следующим образом:
hi = ckhk ; ti = ak tk.; mi = 4 aj mj, (2)
где величины ak' и ck' являются компонентами тензоров прямого и обратного преобразования, представленные соответственно матрицами A и C размерности n х n. Матрицы A и C, в свою очередь, связаны между собой условием AtC = I, где t — символ транспонирования, а I — единичная матрица размерности n х n .
Известно, что в сетях связи компоненты тензоров нагрузок и временных задержек связаны между собой следующими соотношениями:
hj = lijti; (3)
ti = rjihj (i,j = 1,n), (4)
где параметры lij характеризуют величины пропускных способностей ветвей сети, измеряемые в битах за секунду, а параметры j — отражают значения величин, обратных к lij. Эти же параметры являются компонентами соответственно дважды контравариантного и дважды ковариантного метрических тензоров, которые представлены в базисе pi,i = l,n матрицами L и R размерности n х n с выполнением условия LR = I.
Дважды контравариантный и ковариантный характер тензоров L и R подтверждается соответству-
ющими законами преобразования их компонент при смене координатных систем рассмотрения сети
lij= ci' cj і1' j'; (5)
rji = aj'ai rjT . (6)
В соответствии с постулатами первого и второго обобщения Г. Крона [4] с изменением структуры
сети, т.е. с переходом к новому базису pi,i = 1,n , функциональные уравнения поведения сети сохраняют свою изначальную форму и размерность (3), (4), принимая вид
hj' = li'j'ti'; (7)
rj'i'hj' (i',j' = u). (8)
Тензорная формализация сети связи основана на принятии следующих инвариантов: функциональный — вид уравнения поведения системы (3), (4); структурный — общее количество независимых разомкнутых и замкнутых путей (n).
Предложенное тензорное описание сети связи (1)-(8) может быть использовано, в частности, для решения задач потокового программирования. При этом в зависимости от того, какие величины будут выбраны в качестве воздействующих (возбуждающих), а какие — в качестве отклика, изменяется специфика постановки и решения задачи по расчету сети связи.
Если, например, в качестве воздействующей величины принять временную задержку ti (3) , а в качестве величины отклика — нагрузку hi, то задача относится к классу задач расчета сетей с контурным возбуждением [4-6]. Результаты расчета контурных сетей определяют решение задачи по нахождению максимального потока в сети между произвольными двумя узлами без ограничений на пропускные способности ветвей [7].
Если в качестве воздействующей величины выступает нагрузка hi (4), а в качестве величины отклика — задержка ti, то задача относится к классу задач с узловым возбуждением [4-6]. Результаты расчета узловых сетей определяют решение задачи многопутевой (многомаршрутной) доставки заданной величины информационной нагрузки между произвольными двумя узлами за минимальное время, одинаковое для каждого из путей доставки [9]. Путем адаптации тензорных решений задачи многопутевой маршрутизации также удалось получить эффективный алгоритм нахождения кратчайшего пути в сети.
В отличие от перечисленных выше случаев процесс возбуждения в сети зачастую может носить комбинированный характер, т.е. для различных ветвей сети в качестве воздействующих величин могут выступать как нагрузки, так и временные задержки (3), (4). В этом случае сеть рассматривается как ортогональная [4-6], ввиду ортогональности свойств контуров относительно узловых пар.
24
РИ, 2003, № 1
В результате анализа ортогональной сети можно получить комплексные решения, связанные как с нахождением максимального потока в сети, так и с поиском кратчайшего пути или расчетом минимального времени многопутевой доставки, но уже с учетом ограничений на величины нагрузок и (или) временных задержек в отдельных ее ветвях.
Комплекс задач по описанию и расчету сетей связи может быть значительно расширен в направлениях анализа и синтеза многополюсных сетей или сетей с более сложными, например, векторными процессами возбуждения и отклика. Это повлечет за собой необходимость, с одной стороны, использования более сложных топологических моделей сети связи, представленных в виде симплициальных комплексов размерности два и более, а с другой — описания сети как геометрического объекта в выбранном пространстве с помощью тензоров более высоких валентностей.
3. Выводы
Таким образом, эффективным средством многоаспектного описания сетей связи может выступить математический аппарат тензорного анализа, позволяющий придать процессу исследования необходимую системность и обеспечить адекватную формализацию сети связи в виде соответствующих тензорных моделей. Это базируется на установлении полного соответствия этапов тензорной технологии исследования ТКС требованиям системного подхода.
Использование электротехнических сетей в качестве эквивалентной модели сетей связи — не единственное свидетельство эффективности тензорных моделей и методов расчета сетей различной физической природы. На несложных приведенных примерах произведена наглядная демонстрация преимуществ тензорной методологии исследования
ТКС как сложной системы. Использование наряду с функциональным описанием системы, представленным ее уравнениями поведения (3), (4), а также графотопологического портрета позволяет отказаться от прямолинейности в расчетах основных параметров сети связи. Переход от представления системы, данного в непосредственном наблюдении, к другому (более предпочтительному в рамках выбранных критериев) аспекту рассмотрения, как к смене координатных систем, возможен только путем целостного (многоаспектного) описания систем телекоммуникаций с использованием тензорных моделей сети.
Литература: 1. Клир Дж. Системология. Автоматизация решения системных задач: Пер. с англ. М.: Радио и связь, 1990. 540с. 2. Теория систем и методы системного анализа в управлении и связи / В.Н. Волкова, В. А. Воронков, А.А. Денисов и др. М.: Радио и связь, 1983. 248 с. 3. Шрейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио и связь, 1982. 152 с. 4. Крон Г. Тензорный анализ сетей. М.: Сов. радио, 1978. 719 с. 5. Крон Г. Исследование сложных систем по частям — диакопти-ка. М.: Наука, 1972. 542 с. 6. Петров А.Е. Тензорная методология в теории систем. М: Радио и связь, 1985. 152 с. 7. Поповский В.В., Лемешко А.В. Тензорный анализ в задачах системного исследования телекоммуникационных систем // Радиотехника. 2002. Вып. 125. С. 156-164. 8. Сокольников И. Тензорный анализ. М.: Наука, 1971. 376 с. 9. Лемешко А.В. Реализация алгоритма многопутевой маршрутизации в современных транс -портных сетях // Вісник Українського Будинку економічних та науково-технічних знань. К., 2002. Вип.1. С. 109-114.
Поступила в редколлегию 12.09.2002
Рецензент: д-р техн. наук Поповский В.В.
Лемешко Александр Витальевич, канд. техн. наук, докторант Харьковского института ВВС им. И. Кожедуба. Научные интересы: системный анализ сетей связи. Адрес: Украина, 61165, Харьков, ул. Клочковс-кая, 228, тел.: 30-82-19 (раб.), 32-65-06 (дом.).
РИ, 2003, № 1
25
