84236 (675632), страница 3
Текст из файла (страница 3)
С учетом того, что
равенство (2.8) принимает вид
Уравнение (2.9) является однородным линейным уравнением с частными производными первого порядка. Для того чтобы его решить составим уравнение
Общее решение уравнения (2.9) имеет вид
где - произвольная дифференцируемая функция, аналитическое выражение которой найдем из начальных условий.
Пусть распределение в начальный момент времени где
некоторая плотность распределения. Тогда
следовательно
. Возьмем в качестве начальной плотности распределения
, где
- дельта-функция Дирака, а
,
- число заявок в источнике повторных вызовов в начальный момент времени.
Таким образом , из свойств функции Дирака следует, что
.
То есть мы получили, что ,
имеет смысл асимптотического среднего.
Из приведенных рассуждений вытекает еще одно важное следствие, а именно
имеет место
, тогда
(отрицательная функция
противоречит смыслу задачи). В нашем случае
совпадает с пропускной способностью системы.
Перейдем ко второму приближению, в котором будем искать распределение отклонения от асимптотического среднего.
Второе приближение
В исходной системе уравнений (2.1) сделаем замену переменных .
Заметим, что в новых обозначениях производная по времени равна
. С учетом этого система (2.1) примет вид
Решение системы уравнений (2.11) аналогично решению системы (2.2), но проводится в три этапа.
1 этап. В системе дифференциальных уравнений (2.13) сделаем предельный переход при и предположим, что
, получим
Решим эту систему аналогично тому, как решили систему уравнений (2.3). Введем функцию и выразим через нее
, получим
где асимптотическая плотность распределения отклонения числа заявок в источнике повторных вызовов от асимптотического среднего.
2 этап. Функции будем искать с точностью до
в форме
Найдем вид функций ,
и
. Для этого в системе дифференциальных уравнений (2.11) все функции с аргументом
разложим в ряд по приращению аргумента
, ограничимся слагаемыми порядка
. Получим
В уравнения (2.15) подставим в форме (2.14), приведем подобные и получим систему неоднородных линейных алгебраических уравнений относительно
вида
Нетрудно увидеть, что между уравнениями этой системы есть зависимость и ранг матрицы системы равен, следовательно, чтобы решение уравнений (2.16)существовало, необходимо выполнение равенства
Из однородного линейного уравнения с частными производными первого порядка (2.9) мы знаем, что . Таким образом, можно сделать вывод, что система (2.16) разрешима. При условии, что функция
известна, решение можно записать в виде
Теперь все готово, для того, чтобы найти функцию . Перейдем к третьему этапу.
3 этап. В системе дифференциальных уравнений (2.11) все функции с аргументом разложим в ряд по приращению аргумента
, ограничиваясь слагаемыми порядка
, получим
Теперь подставим в уравнения (2.19) в форме (2.14) и просуммируем левые и правые части уравнений, будем иметь
Подставляя вместо и
их выражения, полученные на втором этапе получим для
уравнение Фоккера-Планка
где
Нормированным решением полученного одномерного уравнения диффузии [8] является плотность нормального распределения вероятностей с нулевым средним и дисперсией
3. Исследование нестационарной сети случайного доступа со статическим протоколом в условиях большой задержки
Исследуем сеть связи, функционирование которой изложено в разделе 1, в условиях большой задержки. В этом случае удобнее рассматривать случай, когда интенсивность каждой заявки в ИПВ равна . Структура такой СМО имеет вид рис. 3.1.

i
Рис. 3.1 – Модель системы массового обслуживания
Вероятности переходов из состояния системы в произвольный момент времени t в состояние
за бесконечно малый интервал времени
показаны на рис. 3.2, рис. 3.3, рис. 3.4.
Выпишем уравнения статистического равновесия для нестационарного распределения процесса , описывающего функционирование сети
Рис. 3.2 – Возможные переходы из состояния
Рис. 3.3 – Возможные переходы из состояния
Рис. 3.4 – Возможные переходы из состояния
Найти точное аналитическое решение системы (3.1) практически невозможно, но можно решить асимптотически в условиях большой задержки, то есть при .
Первое приближение
Для асимптотического решения системы (3.1) сделаем замену переменных . В результате замены производится переход от дискретной переменной
к непрерывной переменной
.
В новых обозначениях . Тогда система (3.1) примет вид
Получим вид решения системы (3.2), которую будем решать в два этапа.
1 этап. Считая и предполагая, что
, будем иметь
Выразим через функцию
и получим
где
- асимптотическая плотность нормированного числа заявок в источнике повторных вызовов.
Обозначим
Заметим, что из системы (3.3) следуют равенства
Осталось найти вид функции . Для этого перейдем ко второму этапу.
2 этап. В системе (3.2) разложим функции по приращению аргумента , ограничиваясь слагаемыми порядка
, получим систему
Просуммируем полученные уравнения, поделим на и перейдем
. Тогда будем иметь
С учетом того, что
равенство (3.8) принимает вид
Таким образом мы получили, что удовлетворяет уравнению Фоккера-Планка с коэффициентом переноса равным
, и нулевым коэффициентом диффузии. Из определения для коэффициента переноса можно сделать вывод, что
, то есть
зависит от времени и
– имеет смысл асимптотического среднего, в ее окрестности достаточно долго флуктуируют значения нормированного процесса
.
Второе приближение
Зная асимптотическое среднее, найдем распределение вероятностей значений отклонения от его среднего. Для этого в исходной системе уравнений (3.1) сделаем замену переменных
,
,
,
.
В новых обозначениях производная равна
.
Будем иметь
Решение системы (3.10) аналогично решению системы (3.2), но проводится в три этапа.
1 этап. В системе дифференциальных уравнений (3.10) положим и найдем решение в виде
где – асимптотическое распределение нормированного числа заявок в источнике повторных вызовов в окрестности асимптотического среднего.
Перейдем ко второму этапу.
2 этап. Неизвестные функции будем искать с точностью до
форме
где имеют вид аналогичный (3.5), где в качестве
выступает
и для них справедливы равенства (3.7).
В уравнения (3.13) подставим в форме (3.12), уничтожим подобные слагаемые и получим систему неоднородных линейных алгебраических уравнений относительно функций
вида
Система (3.14) будет иметь решение, если . Из уравнения Фоккера-Планка (3.9) мы знаем, что
. Таким образом, можно сделать вывод, что система (3.14) разрешима. При условии, что функция
известна, решение системы (3.14) можно записать так
Перейдем к третьему этапу.
3 этап. С точностью до уравнения (3.10) запишем следующим образом
Теперь подставляем в систему уравнений (3.16) в форме (3.12), оставляем слагаемые, имеющие порядок не выше
и суммируем уравнения. Получим равенство для нахождения
В полученное равенство подставим выражения для функции и
, найденные на втором этапе. В результате приведения подобных, для
получим уравнение Фоккера-Планка
с коэффициентом переноса и коэффициентом диффузии
Уравнение Фоккера-Планка (3.18) получено для некоторого диффузионного процесса , плотность распределения вероятностей которого
.
Запишем стохастическое дифференциальное уравнение для в общей форме
где - винеровский процесс с нулевым средним и единичным коэффициентом диффузии, в нашем случае оно приобретает вид
Введем новый случайный процесс , (3.21)
для его приращения справедливо