Системы с ожиданием

Судьбу требований, которые при
поступлении в систему обслуживания застают все приборы занятыми, определяют с
помощью задания типа системы обслуживания. Один из типов систем является система
с ожиданием. - возможно ожидание для любого числа
требований, которые не могут быть обслужены сразу. Они составляют очередь, и с
помощью некоторой определяются, в каком порядке
ожидающие требования выбираются из очереди для обслуживания. Изобразим данную
систему графически (рис. 1). Здесь кружочек 1 - обслуживающий прибор,
треугольник - накопитель, кружочек О - источник требований. Требование,
возникающее в источнике в момент окончания фиктивной операции "ожидания
требований", поступает в накопитель. Если в этот момент прибор 1 свободен, то
требование немедленно поступает на обслуживание. Если же прибор занят, то
требование остается в накопителе, становясь в конец имеющейся очереди. Как
только прибор 1 заканчивает производимую им операцию, немедленно принимается к
обслуживанию требование из очереди т.е. из накопителя, и начинается новая
операция обслуживания. Если требований в накопителе нет, то новая операция не
начинается, стрелкой Система
массового обслуживания с ожиданием Мы изучим здесь
классическую задачу теории массового обслуживания в тех условиях, в каких она
была рассмотрена и решена Эрлангом. На m одинаковых приборов поступает
простейший поток требований интенсивности .
Если в момент поступления требования имеется хотя бы один свободный прибор, оно
немедленно начинает обслуживаться. Если же все приборы заняты, то вновь
поступившее требование становится в очередь за всеми теми требованиями, которые
поступили раньше и еще не начали обслуживаться. Освободившийся прибор немедленно
приступает к обслуживания очередного требования, если только имеется очередь.
Каждое требование обслуживается только одним прибором, и каждый прибор
обслуживает в каждый момент не более одного требования. Длительность
обслуживания представляет собой случайную величину с одним и тем же
распределением вероятностей F(x). Предполагается, что при где Эрланг решил эту задачу, имея в виду постановки вопросов
возникших к тому времени в телефонном деле. Выбор распределения (1) для
описания деятельности обслуживания произведен не случайно. Дело в том, что в
этом предположении задача допускает простое решение, которое с
удовлетворительной для практики точности описывает ход интересующего нас
процесса. Мы увидим, что распределение (1) играет в теории массового
обслуживания исключительную роль, которая в значительной мере вызвана следующим
свойством: При показательном распределении длительности обслуживания
распределение деятельности оставшейся части работы по обслуживанию не зависит от
того, сколько оно уже продолжалось. (t)
означает вероятность того, что обслуживание, которое уже продолжается время a,
продлится еще не менее чем t. В предположении, что длительность обслуживания
распределена показательно, f -
. А так как всегда f - - Несомненно, что в реальной
обстановке показательное время обслуживания является, как правило, лишь грубым
приближением к действительности. Так, нередко время обслуживания не может быть
меньше чем, чем некоторая определенная величина. Предположение же (1) приводит к
тому, что значительная доля требований нуждается лишь в кратковременной операции
близкой к 0. Позднее перед нами возникает задача освобождения от излишнего
ограничения, накладываемого предположением (1). Необходимость этого была ясна
уже самому Эрлангу, и он в ряде работ делал усилия найти иные удачные
распределения для длительности обслуживания. В частности, им было предложено так
называемое m Распределение Эрланга представляет собой
распределение суммы k независимых слагаемых, каждое из которых имеет
распределение (1). время обслуживания требования. Тогда средняя
длительность обслуживания равна Это равенство дает нам способ оценки параметра 2. Составление уравнений. система с ожиданием в случае
простейшего потока и показательного времени обслуживания представляют собой
случайный процесс Маркова. (t). Одно из уравнений очевидно, а именно для каждого
t Найдем сначала вероятность того, что в момент t+h все приборы свободны.
Это может произойти следующими способами: в момент t один прибор
был занят обслуживанием требования, все остальные приборы свободны; за время h
обслуживание требования было завершено и новых требований не
поступило. Остальные возможности, как-то: были заняты два или три прибора и за
время h работа на них была закончена - имеют вероятность o(h), как легко в этом
убедится. Отсюда очевидным образом приходим к уравнению Перейдем теперь к составлению уравнений для P 1. Рассмотрим отдельно два различных случая: 1 m. Пусть вначале 1 m. Перечислим только существенные состояния,
из которых можно прийти в состояние E , за время h
новых требований не поступило и ни один прибор не окончил обслуживания.
Вероятность этого события равна В
момент t система находилась в состоянии E , за время h поступило
новое требование, но ни одно ранее находившееся требование не было закончено
обслуживанием. Вероятность этого события равна В
момент t система находилась в состоянии E , за время h новых
требований не поступило, но одно требование было обслужено. Вероятность этого
равна Все остальные мыслимые возможности перехода в состояние
E Собрав
воедино найденные вероятности, получаем следующее равенство: Несложные преобразования приводят нас к такому уравнению для 1
Подобные же рассуждения для k k (t) мы
получили бесконечную систему дифференциальных уравнений (2)-(5). Ее решение
представляет несомненные технические трудности. В теории массового обслуживания обычно изучают лишь
установившееся решение для t . Существование таких решений устанавливается так
называемыми эргодическими теоремами, некоторые из них позднее будут нами
установлены. В рассматриваемой задаче оказывается, что предельные или, как
говорят обычно, стационарные вероятности существуют. Введем для них обозначения
P . Заметим дополнительно, (этого мы также сейчас не станем
доказывать), что Сказанное позволяет заключить, что уравнения (3),
(4) и (5) для стационарных вероятностей принимают следующий вид: £ ³ К
этим уравнениям добавляется нормирующее условие Для
решения полученной бесконечной алгебраической системы введем обозначения: при
1 m Система уравнений (6)-(8) в этих обозначениях принимает такой
вид: Отсюда заключается, что при всех k k P = r Уравнение (10)
позволяет заключить, что при 1 ³ . Для этого в (9) подставляем
выражения P r Если условие (14) не выполнено, т.е. если m, то ряд, стоящий
в квадратной скобке уравнения для определения P должно быть равно 0. Но при этом, как следует из (12) и
(13), при всех k Методы теории цепей Маркова позволяют заключить, что при m с течением
времени очередь стремится к Во введении мы уже
говорили, что для задачи с ожиданием основной характеристикой качества
обслуживания является длительность ожидания требованием начала обслуживания.
Длительность ожидания представляет собой случайную величину, которую обозначим
буквой . Рассмотрим сейчас только задачу
определения распределения вероятностей длительности ожидания в уже
установившемся процессе обслуживания. Обозначим далее через P t k t вероятность
неравенства, указанного в скобке, при условии, что в момент поступления
требования, в очереди уже находится k требований. В силу формулы полной
вероятности имеем равенство t .(16) Прежде чем преобразовать эту формулу к виду, удобному для
пользования, приготовим некоторые необходимые нам для дальнейшего сведения.
Прежде всего для случаев m=1 и m=2 найдем простые формулы для P r Вычислим теперь вероятность того, что все приборы будут заняты
в какой-то наудачу взятый момент. Очевидно, что эта вероятность равна Эта формула для m=1 принимает особенно простой вид: Напомним, что в формуле (19)
может принимать любое значение от 0 до m (включительно). Так что в формуле (20)
, а в (21) 5. определение функции распределения
длительности ожидания. Если в момент поступления требования в очереди уже
находились k-m требований, то поскольку обслуживание происходит в порядке
очередности, вновь поступившее требование должно ожидать, когда будут обслужены
k-m+1 требований. Пусть q (t) означает вероятность того, что за
промежуток времени длительности t после поступления интересующего нас требования
закончилось обслуживание ровно требований. Ясно, что k Так
как распределение длительности обслуживания предположено показательным и
независящим ни от того, сколько требований находится в очереди, ни от того, как
велики длительности обслуживания других требований, то вероятность за время t не
завершить ни одного обслуживания (т.е. вероятность того, что не освободится ни
один из приборов) равна Если
все приборы заняты обслуживанием и еще имеется достаточная очередь требований,
которые ожидают обслуживания, то поток обслуженных требований будет простейшим.
Действительно, в этом случае все три условия - стационарность, отсутствие
последействия и ординарность - выполнены. Вероятность освобождения за промежуток
времени t ровно s приборов равна (это можно показать и простым подсчетом) известны: очевидными преобразованиями приводим правую часть
последнего равенства к виду Из
формул (13) и (19) следует, что Само собой разумеется, что при t<0 Функция имеет в точке t=0 разрыв непрерывности, равный вероятности
застать все приборы занятыми. Формула
(22) позволяет находить все интересующие нас числовые характеристики
длительности ожидания. В частности, математическое ожидание длительности
ожидания начала обслуживания или, как предпочитают говорить, средняя
длительность ожидания равна Несложные вычисления приводят к формуле Дисперсия величины . Формула (23) дает среднюю длительность ожидания одного требования.
Найдем среднюю потерю времени требованиями, пришедшими в систему обслуживания в
течение промежутка времени T. За время T в систему поступает Приведем небольшие арифметические подсчеты, которые
продемонстрируют нам, как быстро возрастают суммарные потери времени на ожидание
с изменением величины . При этом мы
ограничиваемся случаем T=1 и рассматриваем лишь самые малые значения m: m=1 и
m=2. При
l =0.1; 1.0; 1.5; 1.9 значение приблизительно равно
0.0003; 0.333; 1.350; 17.587. Приведенные данные иллюстрируют хорошо известный
факт относительно большой чувствительности систем обслуживания, уже достаточно
сильно загруженных, к возрастанию загрузки. Потребитель при этом сразу ощущает
значительное возрастание длительности ожидания. Этот факт обязательно следует
учитывать при расчете загрузки оборудования в системах массового
обслуживания. С
некоторыми понятиями, связанными с управлением движением воздушного транспорта,
мы познакомились в иллюстративном приложении первой главы. Пирси рассмотрел
приложения некоторых идей теории массового обслуживания к организации посадки
самолетов. В данном случае обычно представляет интерес сокращение времени
посадки. Вычислим вначале вероятность того, что один за другим n-1 самолетов
ожидают приземления. Допустим, что самолеты приближаются к зоне управления со
случайных направлений через случайные промежутки времени, распределенные по
экспоненциальному закону, с постоянной интенсивностью прибытия, которая
принимается равной одной единице. Следовательно, e - распределение
промежутков времени между моментами прибытия. Самолет, который прибывает через
промежуток времени, меньший минимального времени, необходимо для безопасного
предыдущего самолета, задерживается на минимальное время. Отношение минимального
времени, необходимого для безопасной посадки, к средней длительности промежутка
времени между прибывающими самолетами обозначается T (для простоты будем
считать, что для данного аэропорта эта величина постоянна). Обычно представляет
интерес случай T<1. Вероятность того, что прибывший самолет не задерживается,
равна Вероятность того, что будет задержан один самолет, найдем,
рассмотрев все задержки одиночных самолетов между двумя незадерживаемыми
самолетами. Самолет, который будет задержан, должен прибыть через промежуток
времени t <T после прибытия незадерживаемого самолета,
непосредственно предшествующего ему, а незадерживаемый самолет, непосредственно
следующий за ним, должен прибыть через промежуток времени t>2T-t Вероятность того, что будет задержано два самолета, находится
аналогично (рассматривается два задерживаемых самолета между двумя
незадерживаемыми) путем вычисления вероятности совместного появления
событий: < 2T- t - t В результате для двух задерживаемых
самолетов получаем Общее выражение для вероятности того, что задерживается n-1
самолетов, имеет вид n где величина U для малых T определяется однозначно, следовательно, T можно выразить как
функцию от U: Используя то обстоятельство, что начало координат
- кратный полюс, имеем Следовательно, разложив подынтегральное
выражение в ряд и выбрав коэффициент при T Используя формулу Стирлинга для n Среднее число самолетов, находящихся в системе (с учетом
первого самолета, совершающего посадку без ожидания), равно Это выражение можно легко найти, дифференцируя выражение
(14.56) по T и производя упрощения. (Заметим, что при T=1 задерживаются все
самолеты). Аналогично находим второй начальный момент, он равен Доля
задерживаемых самолетов определяется как отношение среднего числа самолетов,
находящихся в системе, без учета самолета, совершающего посадку, к среднему
числу самолетов: Распределение длительности посадки найдем путем следующих
рассуждений. Все промежутки времени длительностью t<T имеют нулевую частоту;
промежутки времени длительностью t=T появляются с частотой t; доля задерживаемых
самолетов, т.е. доля промежутков времени длительностью t>T, появляется с
частотой 1-T появления незадерживаемых самолетов, умноженной на вероятность их
прибытия, т.е. на e . Используем единичную функцию H(T- t)
(которая равна единице для положительных значений аргумента и равна нулю для
отрицательных; ее производная является дельта-функцией) и дельта-функцию
Теперь, используя интегральное уравнение Линдли, можно получить
распределение времени ожидания. Путем детального анализа Пирси находит выражение
для распределения в промежутке времени t, mT < t < (m+1)T: откуда
после интегрирования по t ( ) он определяет T как долю задерживаемых самолетов.
Заметим, что при суммировании по m необходимо рассматривать интервалы
(mT,(m+1)T). Отсюда находим также среднее время ожидания Заметим, что время ожидания увеличивается с ростом T. Приведенное
выше распределение дает критерии для определения необходимой пропускной
способности аэропорта.