Асимптотические методы исследования нестационарных режимов в сетях случайного доступа
Другие рефераты
Введение
В последнее время во многих областях производства возникает
необходимость использования процессов распределенной обработки информации,
причем на самых различных уровнях: от отдельного учреждения до целой сети
предприятий, охватывающей огромные расстояния. Поэтому вполне естественно
наблюдаемое ныне бурное развитие сетей связи, позволяющих соединять в
единые системы различные устройства вычислительной техники. При этом
научные исследования, направленные на улучшение функционирования сетей,
ведутся в двух направлениях: повышения физических характеристик канала
передачи и создания эффективных сетевых протоколов, позволяющих
использовать физические возможности канала оптимальным образом.
При оптимизации и проектировании сетей передачи данных наиболее
действенным инструментом является использование математического
моделирования. Для того чтобы исследовать уже существующие сети связи
специалисты по сетям используют различные анализаторы протоколов, но такие
методы не позволяют получать вероятностно-временные характеристики для еще
не существующих сетей, находящихся на стадии проектирования. В этих случаях
необходимо использовать средства моделирования, с помощью которых
разрабатываются адекватные модели, описывающие процессы, протекающие в
сетях, и проводится всесторонний анализ этих процессов.
Исследование поведения систем связи из-за случайных влияний возможно
только с помощью случайных процессов [1]. Выбор случайных процессов,
используемых для описания и анализа систем, зависит от структуры и типа
системы, от предположений о независимости или зависимости случайных
величин, от вида их функций распределения. Поэтому для исследования таких
систем часто используется аппарат теории массового обслуживания [2].
Использование этого аппарата позволяет построить математические модели
изучаемой сети связи [3] и провести теоретические исследования параметров
функционирования реальной системы.
В классической литературе различают два основных класса систем
массового обслуживания [2]: системы с потерями (без очереди) и системы с
ожиданиями, а также комбинация этих двух типов – система с ожиданием и
потерями (например, система с ограниченным числом мест для ожидания в
бункере) [4]. Математические модели спутниковых сетей связи с протоколами
случайного множественного доступа формируют третий класс СМО – системы с
повторными вызовами. Развитие сетей с множественным доступом началось с
появления работы Абрамсона, в которой описано функционирование
территориально-распределенных терминалов, соединенных центральной ЭВМ по
радиоканалам. Эта система получила название ALOHA. Особенностью протоколов
множественного доступа является то, что на множестве станций не вводится
изначальной строгой очередности. Каждая станция после появления у нее
готового пакета вправе его передавать сразу же, как только обнаружит канал
свободным. При этом не исключена возможность, что она попадет в конфликт,
то есть ее пакет столкнется с пакетом другой станции. В подобных случаях
станция прекращает передачу и генерирует случайную задержку, после которой
вновь пытается занять канал.
Асимптотические методы [5] играют важную роль при исследовании
различных математических моделей, в том числе таких, которыми описывается
функционирование различных типов систем массового обслуживания. Точные
формулы для решений удается получить, как правило, лишь в исключительных
ситуациях, характеризующихся наложением ограничений на статистическую
природу процессов, управляющих системой (таковыми обычно являются входящий
поток требований и процесс обслуживания). Однако часто, применяя различные
асимптотические методы можно получить удовлетворительное для практики
приближенное (асимптотическое) решение задачи при весьма широких
предположениях относительно входа и обслуживания даже при отсутствии явного
вида распределений характеристик.
Говоря об асимптотических методах, асимптотическом решении и т. д.,
мы предполагаем, что исследуемая система (или исследуемый процесс,
связанный с функционированием системы) характеризуется наличием (одного или
нескольких) параметра s, имеющего определенный физический смысл, значение
которого близко к некоторому «критическому» значению [pic]. В каждом
конкретном случае параметр s, его предельное значение [pic] и характер
приближения s к [pic] имеют вполне определенный смысл, вытекающий из
постановки задачи. Часто таким параметром считают время t, и нас интересует
поведение тех или иных характеристик СМО в достаточно удаленный от начала
момента функционирования системы момент времени. В СМО существенное
значение имеет поведение загрузки системы, особенно когда загрузка
стремится к критической. Асимптотический метод применяется, если
интенсивность повторения заявки в системах с повторными вызовами стремится
к нулю. Во всех случаях можно найти асимптотическую плотность распределения
вероятностей основных стохастических параметров, обусловливающих
функционирование исследуемой системы.
В качестве предельных процессов в теории массового обслуживания чаще
других возникают диффузионные марковские процессы [6].
Предложенный метод анализа марковизируемых систем [7] обычно имеет
два этапа. На первом этапе удается определить асимптотическое среднее
исследуемых характеристик системы, а на втором – распределение вероятностей
значений отклонений рассматриваемых характеристик от их асимптотических
средних.
1. Исследование нестационарной сети случайного доступа с динамическим
протоколом в условиях большой загрузки
Рассмотрим спутниковую сеть связи, управляемую динамическим протоколом
случайного множественного доступа с оповещением о конфликте. Архитектура
такой сети состоит из большого числа территориально-распределенных
абонентских станций (АС), которые передают сообщения через геостационарный
спутник-ретранслятор. Так как спутниковый канал связи совместно используют
все АС, то возможно совпадение времени ретрансляции сообщений от двух или
более АС, при этом сообщения искажаются и требуют повторной передачи. Такая
ситуация называется конфликтом. Предполагается, что спутник-ретранслятор
имеет возможность обнаружения возникающих конфликтов и реализации сигнала
оповещения. Абонентские станции способны воспринимать (идентифицировать)
сигнал оповещения о конфликте, так, чтобы в каждой АС по прошествии
заданного времени распространения сигнала можно было определить, правильно
приняты переданные сообщения или нет.
Сообщения, поступающие на спутник-ретранслятор во время
распространения сигнала оповещения о конфликте, считаются искаженными. Все
искаженные сообщения поступают в источник повторных вызовов (ИПВ). После
определения АС того, что посланное сообщение попало в конфликт, АС
производит случайную задержку, после которой вновь реализует передачу. В
динамическом протоколе предлагается использовать случайную задержку
повторной попытки, распределенную экспоненциально с параметром, зависящим
от количества сообщений, находящихся в ИПВ. Динамические протоколы, как
правило, не реализуемы. Но могут приближенно оценивать функционирование
адаптивных протоколов, в которых количество заявок в ИПВ заменяется
некоторым оценочным числом.
В качестве математической модели сети связи, управляемой динамическим
протоколом случайного множественного доступа с оповещением о конфликте,
рассмотрим однолинейную СМО. Прибор (спутник-ретранслятор) может находиться
в одном из трех состояний:
[pic]
Каждая заявка в момент поступления в систему встает на прибор и
немедленно начинает обслуживаться. Если за время ее обслуживания другие
заявки не поступали, то она после окончания обслуживания покидает систему и
в дальнейшем не рассматривается. Если же за время ее обслуживания поступает
другая заявка, то возникает конфликтная ситуация и начинается этап
оповещения о конфликте, длительность которого распределена по
экспоненциальному закону.
Заявки, попавшие в конфликт, а также поступающие в систему во время
оповещения о конфликте, автоматически переходят в источник повторных
вызовов (ИПВ). Из него они вновь обращаются к прибору с попыткой повторного
обслуживания через случайные интервалы времени, распределенные по
экспоненциальному закону с параметром [pic] (i – число заявок в ИПВ в
момент времени t), и могут вновь попасть в конфликтные передачи. После
успешной передачи заявка покидает систему.
Время обслуживания распределено по одному и тому же показательному
закону с параметром [pic], как для первичных, так и для повторных вызовов.
Будем считать, что на вход системы поступает простейший поток заявок с
параметром [pic]. Структура такой СМО имеет вид рис. 1.1.
Состояние рассматриваемой системы определим вектором [pic], изменение
во времени которого образует однородный дискретный двумерный марковский
процесс [pic] с бесконечным числом состояний.
Рис. 1.1 – Модель системы массового обслуживания
Математическая модель исследуемого протокола множественного доступа
построена, проведем ее анализ, получим аналитические выражения,
определяющие зависимости для основных ее характеристик.
Для исследования процесса [pic] введем следующие обозначения
| |  скачать работу |
Другие рефераты
| 
