Исследование СМО с помощью ДИП

Полное время обслуживания заявки представляет собой сумму k показательно распределенных интервалов, и, следовательно, распределено по закону Эрланга порядка k со средним значением

Значение k выбиралось таким образом, чтобы среднее квадратическое

отклонение интервала распределения Эрланга равнялось σ .

~

Следовательно, характеристики процессов в обоих этих устройствах совпадают. Но, и это главное, в «поэтапном» устройстве все процессы марковские и для их исследования можно использовать все рассмотренные ранее методы. Правда, кодировать состояния просто числом заявок, находящихся в данный момент в системе теперь нельзя, так как состояния будут зависеть от того, на каком из этапов обслуживания находится в этот момент процесс.

Пример – см. стр 64

Метод допускает сравнительно простое решение задачи только в случаях, когда число состояний исходной системы невелико. Однако, иногда удается применить метод и к задачам с довольно большим числом состояний для приближенного решения системы линейных алгебраических уравнений.

Используя закон сохранения потоков вероятностей, строится система алгебраических уравнений для предельных вероятностей состояний:

Ввиду неограниченности мест ожидания эта система содержит бесконечное число уравнений.

НО! При выполнении условия стационарности λ/μ < 1, предельные вероятности состояний существуют и могут быть найдены.

Прием: Переходим к системе М/М/1/∞ с интенсивностью потока обслуживаний μ. Задаваясь определенной точностью, находим максимальное количество заявок, которые могут реально находиться в системе. Тем самым мы ограничиваем ДИП и систему уравнений для системы М/Еr/1/∞. Теперь эту систему можно решить и найти вероятности состояний Pi. Для дальнейшего анализа характеристик эффективности системы требуются вероятности Pi* нахождения в системе i заявок, которые можно рассчитать следующим образом:

Используя закон сохранения потоков вероятностей (сумма входящих потоков для состояния равна сумме исходящих потоков), построим систему алгебраических уравнений для предельных вероятностей состояний:

Для решения этой системы можно использовать приемы, описанные выше для системы М/Еk/1/∞. Вероятности Pi* нахождения в системе i заявок, рассчитываются следующим образом:

Немарковские СМО

До сих пор мы занимались только простейшими СМО, для которых все потоки событий, переводящие их из состояния в состояние, были простейшими. Если это условие не выполняется, то система становится немарковской.

Следует отметить, что для немарковских СМО существуют только отдельные результаты, позволяющие выразить в явном, аналитическом виде характеристики СМО через заданные условия задачи — число каналов, характер потока заявок, вид распределения времени обслуживания. Приведем некоторые из этих результатов.

1) M/G/n – n-канальная СМО с отказами, с простейшим потоком заявок и произвольным распределением времени обслуживания.

Ранее мы вывели формулы Эрланга для финальных вероятностей состояний СМО с отказами (М/M/n).

Б. Севастьянов доказал, что эти формулы справедливы не только при

2) M/G/1/∞ - одноканальная СМО с неограниченной очередью, простейшим

потоком заявок и произвольным распределением времени обслуживания

Характеристики эффективности СМО:

-поток заявок - простейший с интенсивностью λ

- время обслуживания – имеет произвольное распределение с математическим ожиданием to6 = 1/μ и коэффициентом вариации νμ

-среднее число заявок в очереди равно

где ω= λ/μ, а νμ — коэффициент вариации, т.е. отношение СКО времени обслуживания к его математическому ожиданию.

-среднее число заявок в системе

Эти формулы носят название формул Полячека — Хинчина.

-среднее время пребывания заявки в очереди

-среднее время пребывания в системе

!!!В частном случае, когда время обслуживания — показательное (νμ = 1), формулы ПолячекаХинчина превращаются в формулы для простейшей одноканальной СМО.

В частном случае, когда время обслуживания вообще не случайно (поток обслуживаний

регулярный, т.е. νμ = 0), среднее число заявок в очереди уменьшается вдвое по сравнению с простейшим случаем (т.к. если обслуживание заявки протекает более организованно, «регулярно», то СМО работает лучше, чем при плохо организованном, беспорядочном обслуживании).

3) G/G/1/∞ - одноканальная СМО с произвольным потоком заявок и

произвольным распределением времени обслуживания.

Характеристики эффективности СМО:

поток заявок - произвольный рекуррентный с интенсивностью λ и коэффициентомвариации νλ интервалов между заявками, 0 < νλ < 1.

- время обслуживания – имеет произвольное распределение с математическим ожиданием to6 = 1/μ и коэффициентом вариации νμ

Для этого случая точных аналитических формул получить не удается; можно только приближенно оценить среднюю длину очереди, ограничить ее сверху и снизу. Грубо приближеннаяоценка

-средняя длина очереди

- среднее число обслуживаемых заявок