LEK11-1 (1123682), страница 4
Текст из файла (страница 4)
Потоки Пальма часто получаются в виде выходных потоков систем массового обслуживания. Если на какую-либо систему поступает какой-то поток заявок, то он этой системой разделяется на два: поток обслуженных и поток необслуженных заявок.
Поток необслуженных заявок часто поступает на какую-либо другую систему массового обслуживания, поэтому представляет интерес изучить его свойства.
Основной в теории выходных потоков является теорема Пальма, которую мы сформулируем без доказательства.
Пусть на систему массового обслуживания поступает поток заявок типа Пальма, причем заявка, заставшая все каналы занятыми, получает отказ (не обслуживается). Если при этом время обслуживания имеет показательный закон распределения, то поток необслуженных заявок является также потоком типа Пальма.
В частности, если входной поток заявок будет простейшим, то поток необслуженных заявок, не будучи простейшим, будет все же иметь ограниченное последействие.
ПОТОК ЭРЛАНГА
Интересным примером потоков с ограниченным последействием являются так называемые потоки Эрланга. Они образуются «просеиванием», простейшего потока.
Рассмотрим простейший поток (рис. 10) и выбросим из него каждую вторую точку (на рисунке выброшенные точки отмечены крестами). Оставшиеся точки образуют поток; этот поток называется потоком Эрланга первого порядка ( ). Очевидно, этот поток есть поток Пальма: поскольку независимы промежутки между событиями в простейшем потоке, то независимы и величины
, получающиеся суммированием таких промежутков по два.
П
оток Эрланга второго порядка получится, если сохранить в простейшем потоке каждую третью точку, а две промежуточные выбросить (рис.11).
В
ообще, потоком Эрланга -го порядка (
) называется поток, получаемый из простейшего, если сохранить каждую
-ю точку, а остальные выбросить. Очевидно, простейший поток можно рассматривать как поток Эрланга нулевого порядка (
).
Найдем закон распределения промежутка времени между соседними событиями в потоке Эрланга
-го порядка (
). Рассмотрим на оси
(рис. ) простейший поток с интервалами
. Величина
представляет собой сумму
независимых случайных величин
где — независимые случайные величины, подчиненные одному и тому же пока- зательному закону
Можно было бы найти закон распределения величины как композицию
законов Однако проще вывести его элементарными рассуждениями.
Обозначим плотность распределения величины
для потока
;
есть вероятность того, что величина
примет значение между
и
(рис.). Это значит, что последняя точка промежутка
должна попасть на элементарный участок
, а предыдущие
точек простейшего потока — на участок
. Вероятность первого события равна
; вероятность второго будет
Перемножая эти вероятности, получим
откуда
Закон распределения с плотностью называется законом Эрланга -го порядка. Очевидно, при
он обращается в показательный
Найдем характеристики закона Эрланга : математическое ожидание
и дисперсию
. По теореме сложения математических ожиданий
где — математическое ожидание промежутка между событиями в простейшем потоке.
Отсюда
Аналогично по теореме сложения дисперсий
Плотность потока
будет обратна величине
Таким образом, при увеличении порядка потока Эрланга увеличиваются как математическое ожидание, так и дисперсия промежутка времени между событиями, а плотность потока падает.
Выясним, как будет изменяться поток Эрланга при , если его плотность будет сохраняться постоянной? Пронормируем величину
так, чтобы ее математическое ожидание (и, следовательно, плотность потока) оставалось неизменным. Для этого изменим масштаб по оси времени и вместо
рассмотрим величину
Назовем такой поток нормированным потоком Эрланга -го порядка. Закон распределения промежутка
между событиями этого потока будет
Математическое ожидание величины , распределенной по закону (19.5.10), не зависит от
и равно
где — плотность потока, совпадающая при любом
с плотностью исходного простейшего потока. Дисперсия величины
равна
и неограниченно убывает с возрастанием .
Таким образом, мы приходим к выводу: при неограниченном увеличении нормированный поток Эрланга приближается к регулярному потоку с постоянными интервалами, равными
.
Это свойство потоков Эрланга удобно в практических применениях: оно дает возможность, задаваясь различными , получить любую степень последействия: от полного отсутствия (
) до жесткой. функциональной связи между моментами появления событий (
). Таким образом, порядок потока Эрланга может служить как бы «мерой последействия», имеющегося в потоке. В целях упрощения часто бывает удобно заменить реальный поток заявок, имеющий последействие, нормированным потоком Эрланга с примерно теми же характеристиками промежутка между заявками: математическим ожиданием и дисперсией.
Пример. В результате статистической обработки промежутков между заявками в потоке получены оценки для математического ожидания и дисперсии величины :
Заменить этот поток нормированным потоком Эрланга с теми же характеристиками.
Решение. Имеем
Из формулы получим
Поток можно приближенно заменить нормированным потоком Эрланга четвертого порядка.
УЧЕБНЫЙ ВОПРОС № 7
Время обслуживания
Кроме характеристик входного потока заявок, режим работы системы зависит еще от характеристик производительности самой системы: числа каналов в и быстродействия каждого канала. Одной из важнейших величин, связанных с системой, является время обслуживания одной заявки . Эта величина может быть как неслучайной, так и случайной. Очевидно, более общим является случайное время обслуживания.
Рассмотрим случайную величину и обозначим
ее функцию распределения:
Для практики особый интерес представляет случай, когда величина имеет показательное распределение
где параметр — величина, обратная среднему времени обслуживания одной заявки:
Особая роль, которую играет в теории массового обслуживания показательный закон распределения величины , связана с свойством этого закона. В применении к данному случаю оно формулируется так: если в какой-то момент
происходит обслуживание заявки, то закон распределения оставшегося времени обслуживания не зависит от того, сколько времени обслуживание уже продолжалось.
На первый взгляд допущение о том, что время обслуживания распределено по показательному закону, представляется довольно искусственным. В ряде практических задач кажется естественнее предположить его либо совсем не случайным, либо распределенным по нормальному закону. Однако существуют условия, в которых время обслуживания действительно распределяется по закону, близкому к показательному.
Это, прежде всего, все задачи, в которых обслуживание сводится к ряду «попыток», каждая из которых приводит к необходимому результату с какой-то вероятностью .
П
усть, например, «обслуживание» состоит в обстреле какой-то цели и заканчивается в момент ее поражения. Обстрел ведется независимыми выстрелами с некоторой средней скорострельностью выстрелов в единицу времени. Каждый выстрел поражает цель с вероятностью
. Чтобы не связывать себя необходимостью точного учета момента каждого выстрела, предположим, что они происходят в случайные моменты времени и образуют простейший поток
с плотностью
(рис. 13).
Выделим мысленно из этого потока другой — поток «успешных» или «поражающих», выстрелов (они отмечены кружками на рис. ). Выстрел будем называть «успешным», если он приводит к поражению цели (если только цель не была поражена ранее). Нетрудно убедиться, что успешные выстрелы тоже образуют простейший поток с плотностью
(исходный поток
— простейший, а каждый выстрел может стать поражающим, независимо от других, с вероятностью
). Вероятность того, что цель будет поражена до момента
, будет равна
откуда плотность распределения времени «обслуживания»
а это есть показательный закон с параметром .
Разумеется, показательный закон не является универсальным законом распределения времени обслуживания. Часто время обслуживания лучше описывается, например, законом Эрланга. Однако, к счастью, пропускная способность и другие характеристики системы массового обслуживания сравнительно мало зависят от вида закона распределения времени обслуживания, а зависят, главным образом, от его среднего значения . Поэтому в теории массового обслуживания чаще всего пользуются допущением, что время обслуживания распределено по показательному закону. Эта гипотеза позволяет сильно упростить математический аппарат, применяемый для решения задач массового обслуживания, и, в ряде случаев, получить простые аналитические формулы для характеристик пропускной способности системы.
УЧЕБНЫЙ ВОПРОС № 8
Марковский случайный процесс
Допущения о пуассоновском характере потока заявок и о показательном распределении времени обслуживания ценны тем, что позволяют применить в теории массового обслуживания аппарат так называемых марковских случайных процессов.