На практике довольно часто встречаются одноканальные СМО с очередью (врач, обслуживающий пациентов, процессор, выполняющий машинные команды). Поэтому необходимо рассмотреть одноканальные СМО с очередью более подробно.
Пусть имеется одноканальная СМО с очередью, на которую не наложено никаких ограничений (ни по длине очереди, ни по времени ожидания). На эту СМО поступает поток заявок с интенсивностью l; поток обслуживаний имеет интенсивность m, обратную среднему времени обслуживания заявки tоб. Требуется найти финальные вероятности состояний СМО, а также характеристики ее эффективности:
LСИСТ – среднее число заявок в систем;
WСИСТ – среднее время пребывания заявки в системе;
LОЧ – среднее число заявок в очереди;
WОЧ – среднее время пребывания заявки в очереди;
PЗАН — вероятность того, что канал занят (степень загрузки канала).
Что касается абсолютной пропускной способности A и относительной Q, то вычислять их нет необходимости: в силу того, что очередь неограниченна, каждая заявка рано или поздно будет обслужена, поэтому , по той же причине .
Решение. Состояние системы, как и раньше, будем нумеровать по числу заявок, находящихся в СМО:
- S0 – канал свободен;
- S1 – канал занят (обслуживает заявку), очереди нет;
- S2 – канал занят, одна заявка стоит в очереди;
…
- Sk – канал занят, k-1 заявок стоят в очереди.
Теоретически число состояний ничем не ограничено (бесконечно). Формулы для финальных вероятностей в схеме гибели и размножения выводились только для случая конечного числа состояний, но сделаем допущение – воспользуемся ими и для бесконечного числа состояний. Тогда число слагаемых в формуле будет бесконечным. Получим выражение для pо:
. (17)
Ряд в формуле (17) представляет собой геометрическую прогрессию. Мы знаем, что при ряд сходится – это бесконечно убывающая прогрессия со знаменателем r. При ряд расходится (что является косвенным, хотя и не строгим доказательством того, что финальные вероятности состояний pо, p1, …, pk,… существуют только при ). Тогда:
, ,…, (18)
Найдем среднее число заявок в СМО LСИСТ. Случайная величина Z – число заявок в системе – имеет возможные значения 0, 1, 2, …, k, … с вероятностями pо, p1, …, pk,… Ее математическое ожидание равно:
; (19)
Применяя формулу Литтла (9), найдем среднее время пребывания заявки в системе:
; (20)
Найдем среднее число заявок в очереди. Будем рассуждать так: число заявок в очереди равно числу заявок в системе минус число заявок, находящихся под обслуживанием. Значит (по правилу сложения математических ожиданий) среднее число заявок в очереди LОЧ равно среднему числу заявок в системе LСИСТ минус среднее число заявок под обслуживанием. Число заявок под обслуживанием может быть либо нулем (если канал свободен), либо единицей (если он занят). Математическое ожидание такой случайной величины равно вероятности того, что канал занят PЗАН. Очевидно, что:
. (21)
Следовательно, средне число заявок под обслуживанием равно:
, (22)
отсюда
. (23)
По формуле Литтла (9) найдем среднее время пребывания заявки в очереди: