Вы находитесь на странице: 1из 8

Стохастические процессы

Лабораторная работа N2

ИССЛЕДОВАНИЕ МОДЕЛЕЙ ПРОСТЕЙШИХ СИСТЕМ МАССОВОГО


ОБСЛУЖИВАНИЯ

Цель работы: выработка практических навыков расчётов характеристик систем массового


обслуживания.

Теоретические сведения

Системой массового обслуживания (СМО) называется любая система, предназначенная


для обслуживания каких-либо заявок (требований), поступающих на нее в случайные
моменты времени. Любое устройство, непосредственно занимающееся обслуживанием
заявок, называется каналом обслуживания (или “прибором”). СМО бывают как одно-, так и
многоканальными.
На вход в СМО поступает поток требований на обслуживание. Например, клиенты или
пациенты, поломки в оборудовании, телефонные вызовы. Требования поступают
нерегулярно, в случайные моменты времени. Случайный характер носит и
продолжительность обслуживания. Это создаёт нерегулярность в работе СМО, служит
причиной её перегрузок и недогрузок.
Системы массового обслуживания обладают различной структурой, но обычно в них
можно выделить четыре основных элемента:
1. Входящий поток требований.
2. Накопитель (очередь).
3. Приборы (каналы обслуживания).
4. Выходящий поток.

Зона Зона
генерации обработки
заявок заявок
G1 SV1

G2 SV2

...
...
SVN
GN
Очередь заявок на
обслуживание

-t -t
FG(t)=1-e FSV(t)=1-e

Рис. 1 Схематическое изображение работы многоканальной СМО

1
Рис. 2. Общая схема систем массового обслуживания.

Рис. 3. Модель работы системы


(стрелками показаны моменты поступления требований в систему, прямоугольниками –
время обслуживания)

На рис.3а представлена модель работы системы с регулярным потоком требований.


Поскольку известен промежуток между поступлениями требований, то время обслуживания
выбрано так, чтобы полностью загрузить систему. Для системы со стохастическим потоком
требований ситуация совершенно иная – требования приходят в различные моменты времени
и время обслуживания тоже является случайной величиной, которое может быть описано
неким законом распределения (рис.3б).

Различают СМО с отказами и СМО с очередью. В СМО с отказами заявка, пришедшая в


момент, когда все каналы заняты, получает отказ, покидает СМО, а в дальнейшем в процессе
ее работы не участвует. В СМО с очередью заявка, пришедшая в момент занятости всех
каналов, не покидает СМО, а становится в очередь и ждёт, пока не освободится какой-либо
канал. Число мест в очереди т может быть как ограниченным, так и неограниченным. При
т=0 СМО с очередью превращается в СМО с отказами. Очередь может иметь ограничения
не только по количеству стоящих в ней заявок (длине очереди), но и по времени ожидания
(такие СМО называются “системами с нетерпеливыми клиентами”).
Аналитическое исследование СМО является наиболее простым, если все потоки
событий, переводящие её из состояния в состояние, – простейшие (стационарные
пуассоновские). Это значит, что интервалы времени между событиями в потоках имеют
показательное распределение с параметром, равным интенсивности соответствующего

2
потока. Для СМО это допущение означает, что как поток заявок, так и поток обслуживания –
простейшие. Под потоком обслуживания понимается поток заявок, обслуживаемых одна за
другой одним непрерывно занятым каналом. Этот поток оказывается простейшим, только
если время обслуживания заявки tобсл представляет собой случайную величину, имеющую
показательное распределение. Параметр этого распределения μ есть величина, обратная
среднему времени обслуживания:   1 t обсл , где t обсл  M t обсл  . Вместо фразы “поток
обслуживания – простейший” часто говорят “время обслуживания – показательное”. Всякая
СМО, в которой все потоки простейшие, называется простейшей СМО.
Если все потоки событий простейшие, то процесс, протекающий в СМО, представляет
собой марковский случайный процесс с дискретными состояниями и непрерывным
временем. При выполнении некоторых условий для этого процесса существует финальный
стационарный ре-жим, при котором как вероятности состояний, так и другие характеристики
процесса не зависят от времени.
Задачи теории массового обслуживания – это нахождение вероятностей различных
состояний СМО, а также установление зависимости между заданными параметрами (числом
каналов п, интенсивностью потока заявок λ, распределением времени обслуживания и т. д.) и
характеристиками эффективности работы СМО. В качестве таких характеристик могут
рассматриваться, например, следующие:
 среднее число заявок в СМО (обслуживаемых или ожидающих в очереди) N ;
 среднее число заявок в очереди Nq ;
 среднее время пребывания заявки в СМО (в очереди или под обслуживанием) W ;
 среднее время пребывания заявки в очереди Wq ;
 среднее число занятых каналов k .
В общем случае все эти характеристики зависят от времени. Но многие СМО работают в
неизменных условиях достаточно долгое время, и поэтому для них успевает установиться
режим, близкий к стационарному. Мы здесь повсюду, не оговаривая этого каждый раз
специально, будем вычислять финальные вероятности состояний и финальные
характеристики эффективности СМО, относящиеся к предельному стационарному режиму её
работы.
Для сокращённого наименования систем массового обслуживания Д. Кендалл предложил
использовать буквенное обозначение. В основе системы лежит трёхбуквенное обозначение
вида
A/B/n/m/M
Обозначение букв: A и B описывают соответственно распределение промежутков времени
между последовательными требованиями и распределение времени их обслуживания
m – число обслуживающих приборов.
A и B принимают значение из следующего набора символов, интерпретация которых даёт
распределение:
M – показательное;
Er – распределение Эрланга порядка r;
Hr – гиперпоказательное распределение порядка R;
D – детерминированное;
G – распределение общего вида (неконтролируемое);
Иногда также приходиться указывать ёмкость накопителей системы, т.е. предельное число
заявок в системе или длину очереди – m.
A/B/n/m/M
M – число источников нагрузки.
В случае отсутствия одного или двух последних индексов (A/B/m/k/M или A/B/m/k)
предполагается, что его значение сколь угодно велико, т.е. неограниченно.

3
D/M/2/20 – обозначает СМО с двумя обслуживающими приборами с постоянным временем
между двумя последовательно поступающими требованиями, показательным
распределением временем обслуживания и накопителем ёмкостью 20 требований.
M/G/1 - одноканальная система массового обслуживания с простейшим входящим потоком,
произвольным распределением времени обслуживания, неограниченной очередью.
Показательное распределение обладает Марковским свойством: для любого момента времени
вероятность наступления события определяется только его состоянием в этот момент
времени и не зависит от предыстории процесса.
Развитие теории массового обслуживания привело к созданию модифицированных
обозначений для новых классов исследованных систем: замкнутых, с неординарным потоком
заявок, с неординарным потоком заявок, с групповым обслуживанием, с различными
вариантами приоритета и т.д.

В данной работе будут рассмотрены следующие системы массового обслуживания :


M/M/1 - одноканальная система массового обслуживания с простейшим входящим потоком,
показательным распределением времени обслуживания, неограниченной очередью
M/M/n - многоканальная система массового обслуживания с простейшим входящим потоком,
показательным распределением времени обслуживания, неограниченной очередью.

Ниже приводится без вывода ряд формул, выражающих финальные вероятности


состояний и характеристики эффективности для некоторых часто встречающихся типов
СМО.

Часть 1: Простейшая одноканальная СМО с неограниченной очередью (M/M/1)

На одноканальную СМО поступает простейший поток заявок с интенсивностью λ.


Время обслуживания – показательное с параметром . Длина очереди не

ограничена. Финальные вероятности существуют только при    1 (при ρ1 очередь

растёт неограниченно). Состояния СМО нумеруются по числу заявок в СМО, находящихся в
очереди или обслуживаемых:
S0 – СМО свободна;
S1 – канал занят, очереди нет;
S2 – канал занят, одна заявка стоит в очереди;
...;
Sk – канал занят, k–1 заявок стоят в очереди;
... .
Финальные вероятности состояний выражаются формулами:


где     1 .
Характеристики эффективности СМО:
1) Вероятность того, что обслуживающue аппараты свободно (нет заявок):

2) Среднее число заявок в СМО (обслуживаемых или ожидающих в очереди) :

3) Среднее число заявок в очереди:

4
4) Среднее время пребывания заявки в СМО (в очереди или под
обслуживанием)

5) Среднее время пребывания заявки в очереди :

6) Среднее число занятых каналов :

Часть 2: Простейшая многоканальная СМО с неограниченной очередью (M/M/n)

На n-канальную СМО поступает простейший поток заявок с интенсивностью λ. Время


обслуживания одной заявки – показательное с параметром   1 t обсл . Финальные
вероятности существуют только при ρ/n <1, где ρ = λ/μ. Состояния СМО нумеруются по
числу заявок в СМО:
S0 – СМО свободна;
S1 – занят один канал;
…;
Sk – занято k каналов (1kn); очереди нет
…;
Sn – заняты все п каналов;
Sn+1 – заняты все п каналов, одна заявка
стоит в очереди;
...;
Sn+r – заняты все п каналов, r заявок стоят в очереди;
... .

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


1) Вероятность того, что все обслуживающие аппараты свободны (нет заявок):
1
P0  ,
n k
 n 1
 k!  n!(n  )
k 0

2) Среднее число занятых обслуживанием каналов:



k  .

3) Доля каналов, занятых обслуживанием:
k
q .
n
4) Среднее число заявок в очереди (длина очереди)

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

6) Среднее время ожидания заявки в очереди

5
7) Среднее время пребывания заявки в системе

Задание

Опыт 1

Используя специализированное программное обеспечение начертить графики для СМО


M/M/1 (ρ изменяется в пределах от 0,05 до 0,95 с шагом 0,05):
N=f() и Nq=f()
W=f() и Wq=f()
k =f() и P0=f()
ρ = λ/μ => μ= λ/ρ

Заполнить следующую таблицу:

ρ 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5 0.55 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.95

μ
N
Nq
W
Wq
k
P0

Используя соответствующие формулы, посчитать вручную показатели эффективности для ρ


выбранного по вашему усмотрению (один столбец в таблице). При этом убедитесь в том что
полученные результаты совпадают с результатами полученными при помощи программного
обеспечения

Опыт 2

Используя специализированное программное обеспечение начертить графики для СМО


M/M/n (ρ изменяется в пределах от 0,05 до 0,95 с шагом 0,05):
N=f() и Nq=f()
W=f() и Wq=f()
k =f() и P0=f()
ρ = λ/(n*μ) => μ= λ/(n*ρ)

6
Заполнить следующую таблицу:

0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5 0.55 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.95
ρ
*n *n *n *n *n *n *n *n *n *n *n *n *n *n *n *n *n *n *n

μ
N
Nq
W
Wq
k
P0

Используя соответствующие формулы, посчитать вручную показатели эффективности для ρ


выбранного по вашему усмотрению (один столбец в таблице). При этом убедитесь в том что
полученные результаты совпадают с результатами полученными при помощи программного
обеспечения

Опыт 3

Используя специализированное программное обеспечение начертить графики для СМО


M/M/n изменяя n от 1 до 10 при фиксированном ρ = λ/μ =0,9  μ= λ/ρ

N=f(n) и Nq=f(n)
W =f(n) и Wq=f(n)
k =f(n) и P0=f(n)

Заполнить следующую таблицу:

n 1 2 3 4 5 6 7 8 9 10

μ
N
Nq
W
Wq
k
P0

Каким образом изменяются характеристики СМО при увеличении количества обслуживающи


каналов ?

7
Исходные данные:
 средняя интенсивность пребывания:
 количество каналов для многоканальной системы n
 пределы изменения ρ: от 0,05 до 0,95 с шагом 0,05 (первые два опыта)
 пределы изменения n для третьего опыта: от 1 до 10

Для всех опытов рассчитать следующие значения для СМО:

k коэффициент использования серверов (активность)


Nq  среднее число запросов в очереди
Wq  среднее время пребывания одного запроса в очереди
P0 вероятность того, что в системе нет запросов
N среднее число запросов в системе
W среднее время пребывания запроса в СМО
 средняя интенсивность пребывания
 средняя интенсивность обслуживания

Отчёт о работе должен содержать

1) описание задачи и исходные данные;


2) используемые формулы;
3) полученные результаты;
4) соответствующие графики;
5) оценку полученных результатов и выводы по исходной задаче.

Оценить