Математическая модель замкнутой одноканальной системы массового обслуживания Текст научной статьи по специальности «Компьютерные и информационные науки»

Р. Ф. Гильмутдинов, А. П. Кирпичников

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ЗАМКНУТОЙ ОДНОКАНАЛЬНОЙ СИСТЕМЫ

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

Ключевые слова: Система массового обслуживания, поток требований, очередь, обслуживающее устройство.

Представлена математическая модель одноканальной системы массового обслуживания замкнутого типа. Проведена подробная математическая формализация модели и впервые вычислены вторые моменты всех важнейших числовых характеристик систем массового обслуживания этого типа.

Keywords: queuing system, flow of requirements, queue, serving device.

The mathematical model of single-channel system of mass service of the closed type is presented. A detailed mathematical formalization of the model is held; for the first time the second moments of all the important numerical characteristics of queuing system of this type are calculated.

В открытых системах массового обслуживания (СМО) все заявки приходят откуда-то извне, и при этом интенсивность потока поступающих в систему потока заявок не зависит от состояния самой системы. Тем самым считается, что источник заявок располагает неограниченным числом требований. В этом случае поступающий в систему пуассоновский поток заявок характеризуется как процесс, не зависимый от выходящего из системы потока обслуженных заявок. Системы массового обслуживания такого рода называют разомкнутыми (или открытыми), считается, что их питает источник заявок, располагающий бесконечным числом требований [1 - 6].

Рассмотрим теперь тот случай, когда узел обслуживания предназначен для обслуживания конечного (обычно постоянного) числа циркулирующих в системе заявок. В этом случае, как только требования обслуживаются, они возвращаются обратно в источник. Задачи такого рода особенно часто встречаются при эксплуатации машин и механизмов (или комплексного оборудования), которые могут выходить из строя, но восстанавливаются после ремонта. Требования, покидающие систему, при этом возвращаются обратно в источник заявок, где они пребывают в течение некоторого случайного промежутка времени, а затем вновь поступают в систему. Такого рода системы называются замкнутыми системами массового обслуживания.

Еще одним примером такого рода систем является так называемая сеть массового обслуживания. Источник сети при этом рассматривается как система, в свою очередь, нагружаемая выходами самой сети массового обслуживания. В более общем случае требование последовательно проходит через несколько систем, и тогда мы имеем сеть, структура которой определяется правилами циркуляции требований в различных системах массового обслуживания (такая сеть, конечно, может быть как замкнутой, так и разомкнутой).

В сущности, любая СМО, конечно, имеет дело только с ограниченным числом заявок, но весьма часто число их так велико, что на практике влиянием эффектов, связанных с конечностью числа требований, на функционирование системы можно пренебречь. Например, поток вызовов на АТС крупного города исходит, в сущности, от ограниченного числа абонентов, но

это число так велико, что практически его можно считать бесконечным.

Рассмотрим тот случай, когда входящий в систему пуассоновский поток требований создается конечной группой ее возможных клиентов. Систему будем считать состоящей из очереди и одного обслуживающего прибора. Пусть структура системы такова, что всего имеется N >1 заявок (требований), циркулирующих в системе, но при этом каждое требование может либо реально находиться в системе (в очереди или под обслуживанием), либо вне системы (фактически пребывая в источнике), чтобы через некоторое время вновь в неё вернуться. Все заявки поступают в систему и обслуживаются прибором независимо друг от друга. Ясно при этом, что если в системе находится к требований (очередь плюс прибор обслуживания), то в числе поступающих в систему (в источнике требований) будет находиться N - к заявок.

Пусть интервал времени, через которое каждое требование после его обслуживания и повторного пребывания в источнике заявок, вновь поступает в систему, есть некоторая случайная величина. Будем считать, что эта случайная величина распределена по показательному (экспоненциальному) закону, со средним значением, равным 1 ср. Или, что

то-же самое, 1 ср - это среднее время нахождения одного требования в источнике заявок от окончания обслуживания и до его возвращения обратно в систему. В этом случае физический смысл интенсивности Х = іД ср, очевидно, заключается в том, что она

определяет среднее число возвращений в единицу времени, своего рода частоту возвращений, одной заявки после обслуживания обратно в систему. И тогда, в свою очередь, общая интенсивность поступающего в систему потока требований равна Ф - к), где к — номер состояния системы, то есть число заявок, реально в ней находящихся, как в очереди, так и под обслуживанием. Граф такой системы изображен на рис. 1. В рамках символики Кендалла такого рода системы массового обслуживания обозначают аббревиатурой М/М/1//М, в которой по-

следний символ означает полное (предельное) число заявок в системе.

Рис. 1 - Граф состояний и переходов замкнутой одноканальной системы массового обслуживания

Заметим, что в строгом смысле замкнутые системы массового обслуживания являются саморегули-руемыми. В самом деле, если такая система перегружена, вследствие чего в ней образовалась большая очередь ждущих обслуживания заявок, то интенсивность поступающего в систему потока дополнительных требований падает, что предотвращает дальнейший перегруз системы. Говоря другими словами, замкнутые СМО - это СМО с обратной связью.

Применяя общие формулы расчета вероятностей стационарных состояний [4] для процесса гибели и размножения, изображенного на графе состояний (рис. 1), имеем

Рі =

N1 ( -1)!

рРо; р 2 =

р Ро; Рз =

р3 Ро

№

№

№

^-2 2!Р р0 ’ ^1 1! р ро ’ ^ о!р ро.

В общем виде

Рк =і

N!

рк Ро или Рк = N]ркРо

(N - к)!

для всех к = о,1, — , N . Здесь

^к^( -1)( - 2) ••• ( - к +1)=-

N!

(-к)

Ы[о1= 1 - так называемые факториальные многочлены или обобщённые степени [7]. Ясно, что при этом

Ро = V . (1)

/ к=о

Числовые характеристики установившегося режима

Вероятность ожидания в данном случае находится из соотношения

N - к N-1N - к

Рожид 2 К і Рк .

N

“1 N

(2)

В этой формуле N - к )/N - вероятность того, что в

источнике в среднем содержится N - к заявок (тогда как в системе, то есть в очереди и под обслуживанием, в сумме в среднем к заявок). Весовые коэффициенты

^ - к )/ N в правой части формулы (2) относятся к соответствующим вероятностям каждого из состояний системы в целом. Например, если поступившая в систему заявка застала в ней одну заявку, уже находящуюся в это время под обслуживанием, то в источнике непосредственно перед поступлением заявки находилось N -1 заявок. Если заявка застала в системе две другие заявки (одну в очереди и одну под обслуживанием), то соответственно перед поступлением заявки в систему в источнике находилось N - 2 заявки. Если в системе уже находились три другие заявки, то в источнике перед поступлением заявки были N - 3 заявки и так далее. Из соотношения (2) получаем

1 N-1 , ч Р N-1 , ч г. і

Рожид=—2.(- к ) =77Т.2(-к )к1рк =

N-^=■1 р( - к)

N-^=■1

N-1 г і N

2 N[k+1 ]рк+1 = / _ X 2Рк =

^М-к) к=

=рТТ-к!(Р-- р1)'

Точно так же вероятность немедленного обслуживания поступившей в систему заявки

Р обсл

NРо

Р1

(к).

N - к -

Эти формулы для рожид и ро6сл являются, очевидно, только промежуточными формулами, поскольку еще не известно к . Их окончательный вид будет получен ниже.

Среднее число требований, находящихся под обслуживанием (в данном случае совпадает со средней долей занятости обслуживающего устройства или с коэффициентом загрузки),

к.з. = т = 2 кРк +£рк = 1-Ро; Ро =1-т

к=0 к=2

(тогда коэффициент простоя обслуживающего устройства к. п. =1- к. з. = р0). Дисперсия этой величины

2 1 2 N -2 -2

^ = 2 к2Рк + 2 Рк - т =1-Ро - т = т11-

(1-т).

Для СМО замкнутого типа следующими по порядку рассмотрения числовыми характеристиками (в отличие от изучения открытых систем) являются не те, которые отвечают заявкам, находящимся в очереди на обслуживание, а те, которые относятся к требованиям, находящимся в системе в целом (как в очереди, так и под обслуживанием). Имеем

к =2 кРк = 2 (к - N + ^Рк =N 2Рк -2 (N - к) =

М

М

М

М

М

к=о

1оІ2І К|[к+1] рк+1 -р к=о

=N - ^2^ ]рк = N-1 (ІРк - Ро 1=

р к=1 р\. к=о

= N - ЬРо.=N - т .

р

р

(3)

Заметим также, что в соответствии с графом состояний абсолютная пропускная способность системы в данном случае имеет вид А = х(м - к), и тогда

— А - к) ( г) т т

т =—=^-£=р М - к1, 1 обсл =—

м м У ’ А

(4)

откуда автоматически следует тот же самый результат (3):

г м т к=N —.

р

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

І=к - т=N - т - т=N - т1+р = N

1-

т

(1+р) N р

Р Р

При больших значениях р>> 1, отсюда очевидно, имеем к и N, I «М - т, при этом коэффициент загрузки к. з. = т ^ 1.

Заметим, что для замкнутых систем массового обслуживания иногда вводят коэффициент простоя для

требований к. п. т. = '/^ (соответственно для открытых

СМО к.п.т. = '/к). В том случае, когда коэффициент простоя к. п. т. близок к единице, говорят, что имеет место так называемая скученность (требований в очереди). Можно ввести и коэффициент скученности

р =1-к.п. т. =1-'^ , при этом скученность образуется при значениях р << 1. Графики величин т, I и к представлены на рис.2-4.

Рис. 2 - Зависимость среднего числа заявок под обслуживанием от приведенной интенсивности входного потока

ы .

;^.р)

їс.р)

1(20 Гр) 1(»,р)

Рис. 3 - Зависимость среднего числа заявок в очереди от приведенной интенсивности входного потока

Рис. 4 - Зависимость среднего числа заявок в системе от приведенной интенсивности входного потока

Строго говоря, абсолютную пропускную способность А в данном случае нужно вычислять по формуле

N-1 N-1 / ч

А = 2 Хк Рк = Х2 ( - к )Рк,

к=о к=о

которая, как легко видеть, дает то же самое соотношение А = Х (ы - к). С помощью результата (3), (4) формулы рожид и робсл можно переписать как

1 " 1 /. ч р1

Рожид = =2 Рк = =(1-Ро-Р1); Робсл = =.

т к=2 т т

1 -Ро

Пр°верка: Рожид + Робсл = “=^ = 1 .

т

Дисперсия общего числа заявок в системе

„ N „ — 2 N , х —2

а2 = 2к2рк-к =2 (к^ + N)pk-к =

=о =о

N N / \ —2

=N 2 крк-2 кN - к )крк - к =

=N-12 (N-k)k^Іkl рк -к2 =k^N-k)—Ро 2 kNk+1l рк+1 =

р к=о

=(N-k) к-^1:21 кРк+1 =к (-к)-12 (к+1-1)Рк

р к=о ~ к о

1 N-1 /

I 1^-1 , > 1 N-1 I 1 N 1 N

=N-1^ 2 М)+1 +р 2 Рк+1 =Кк)к- 2 кРк +-2 й =

рк=о рк=о рк=1 р к=1

=(-к)к-12 кРк +- (2 Рк -Ро'1 =(-к)к—V Ко

рр

_ к) - і=Лш=1

рр

:(N - к)

(5)

где I = к - т - средняя длина очереди. Но ковариация числа заявок в очереди и под обслуживанием

Кт|=2 (к-1)рк -'т=( 1-т)', и тогда

к=1

2 2 2 о.х кт-'-рт(1-т )

^2 =^2 -^т -2 Кт| = ---------~-----’--2 (1-т л =

р

рт (1-т )-(1-т) - 2 (1-- )-=

р

(1+р)(1-т )-(1-т) - 2 (1-т).

т2 -

т - т

Последнее выражение можно значительно упростить следующим образом. Заметим, что в силу очевидного соотношения рN-р1 = (1+р)т второе слагаемое числителя можно переписать еще и как (РN-р і)(1 - т), откуда следует

1-Ро- Р1 -(1-р)(1-т Iі - 2 (1-т )=

тр,

(1-р)(1-т )І

- 2 (1-т)

1 =

тР ожид -

(1+р))1-т )і

Р

Коэффициент корреляции числа заявок в очереди и под обслуживанием находится обычным образом из соот-

К„,

Найдем функцию распределения общего времени нахождения одного требования в системе. Согласно общей схеме [4],

N - к N

[1-^ист (1 )] =

=РзВ,(і)+-|--1Рі [)+Е1(1)]+1-?р? [)+Е1(1)+Е2(1)]+ —+

+-!рм-1 [Во ()+[)+ — +BN_1(t)]=N>1N!-kРk 230=

N к=о N ]=о

^-к к (мі) _м1 ^1 ^к / л

=в м 2 п^Рк 2 ■V-=в м2 •-^Рк ек И.

к=о N і=о ]! к=о N

(6)

Здесь, как и выше, ^ - к )/N - вероятность того, что за

время Ї в источнике в среднем находилось N - к заявок (тогда в очереди или под обслуживанием - в среднем к заявок). Весовые коэффициенты ( - к )N в правой части формулы (6) относятся к соответствующим вероятностям каждого из состояний системы в целом. Например, если поступившая в систему заявка застала ее свободной от других заявок, то в источнике непосредственно перед поступлением заявки находи-

лись все N заявок. Если заявка застала в системе одну заявку (которая находилась в это время под обслуживанием), то соответственно перед поступлением заявки в систему в источнике находилось N-1 заявок. Если в системе уже находились две другие заявки, то в источнике перед поступлением заявки были N -2 заявки и так далее.

Из формулы (6) в этом случае следует

Рсист (1) = 1-N^2 ( - к )Рк вк (ц 1), N - к к=о

откуда

1~()=N-1?в "Ю(N - к )р- пг,

так что с учетом табличного интеграла [8]

/ хпв-ах^х=

п!

имеем

- / \ 1 N-1, , мк+1 ад

и=1 ^ =м^2(N_k—кг^ (=

=-^2 (|\1—к))^^р? кk+І! =-(Ц) (N_k)(k+1)^lk1 рк = ^—k-l ; к! К мк+2 МГ-к)к=о^ д ’ р

= ( -)) ( + 1)Nk+1]рk+1 =—2 крк = —; х(-кр1 ' А о А

ад / \ ~2

СТсист =1 1 ^сист ()с^ - 1 сист =

1

N - к к=о к!

2

сист —

----(N - к)( + 2)((+1)N[k]рк -1 Іст =

ц2 (N - к )о

:-Р^^т'21 (к + 2)(кс + 1)N[k+1]рк+1 - 12ист =

Хц( - к )к=оу А у

=—2 (к+1)kN

Ц А к=о

1 сист = ~ ( 2 к Рк + 2 крк] - 1 сист =

М А V к=о к=о

=Л_(~2 1

. і 2 к рк + к)-1 сист =—а М А V к=о у м А

(N+1) к - !

р

-2

- 1 сис

Последнее равенство записано здесь в таком виде в силу соотношений (5).

В заключение найдем функцию распределения времени ожидания обслуживания заявкой, находящейся в очереди. Имеем

а

Р

ношения гт| =

N - к N

[-Рожид №

N-1

р1Во()+^р2 [Во(t)+Б,(1)1+

N N - 3 N

N

+-

рз [Во(1)+В1 (1)+В2(1)

+ ••• +

+-1р№_1 Бо (1)+Б1(1)+ •+ВМ_2 (t)]=N>;NNkРk 2 В,(1)=

N к=1 N ]=о

ц, N-1 N-k к-1 (ц^ ц1 ^1 N-k ! л

=е 1 2—р- 2 =е 1 :^^^ркек-1(цt),

к=1 N ]=о ]! к=1 N

^2 2

сист обсл

ц А

(N+1)к -р

к т

А7 - А7

1

ц А

1

ц А

(N+1)к - -

р

(т+1 )2 т2

А2 -АГ"

---2 --------2

2т 2т1 I

А2

А2 А2

1

цА

(N+1) к—!-

Р

2тк - 2 =^

- а2 ожид=цА

(N+1) к--

Р

2к -12 =

вджид—

цА

откуда

так что

рожидС1) =1--е-г 2 (N - к) рк ек-1 (ц о,

N - к к=1

и (1)=77^ е ц ‘2 (N - к)рк

N - к к=1

(Г (к -1 ! '

В этом случае

— ^ / ч 1 N-1, ч „к ^

1ожид=11и()сй =-^ 2(-к) т-^г рк 11к е- Л=

^к к=1

(к-1) !

— 2 (N1-к) (-у р,--? (N1-к) kNk] рк =

N-kk_^ (к-1)! К цк+1 ЦN—- ) ; н

а-

=т(- 2 (к +1-1) N+1] рк+1 = (к-1) р- = А;

Х^^-к) к=1 А-=1 А

СТ1д =112 ^ожид 1 ожид =

1 N-1, ч цк - , , , -2

= 2 ( - к^^ртт р-11к+1 е-ц 1 dt -1 „жид =

N - кк^Л '(к - 1)Г-о

—2

ожид

=2' ( - -р-

( +1)! - £

2

ожид =

N - к к=1 (-1)! ц

—£^2 ( - к)( + 1)kN[k 1 рк - {ожид = ц2 ( - к) к=1

ро

1м--)

Хц NN -

=^2 (к+1)kN[k+1]рк+1 -1 °жид =

=-£1. 22 к (к-М^р--

ц А -=1 v ’

-2 1 ( N 2 N ] -2

1 ожид = — [2 к Р- - 2 к Рк ] - 1 ожид =

ц А V к=о к=о )

1 ( N 2 -] -2 1

=--------12 к Рк -к]- 1ожид = —

. I ^ 1-к 14 1ожид л

ц А V к=о ) ц А

(N-1)---

Для проверки

1

ц А

-2

1 ож|

= СТ„

как и следовало ожидать. Заметим, что последние два соотношения можно также записать с использованием вероятности ожидания рожид. В этом случае

имеем

1

ц А

N1 -

=_2+

1

ц2 ц А

1 - тРо

Р

-2

1 сис

Характеристики очередей не являются решающими для большинства типов замкнутых СМО. Тем более это относится к характеристикам реальных очередей, поэтому в данной работе их расчет опущен. При необходимости все эти характеристики можно сравнительно несложным образом восстановить по алгоритму, указанному в книге [4]. Подчеркнём также, что в данном случае ключевой величиной, через которую можно в наиболее компактном и удобном для приложений виде выразить любую из характеристик СМО этого типа, является не вероятность ожидания (в совокупности с вероятностью отказа для СМО с отказами), как для открытых систем, а среднее число заявок, находящихся под обслуживанием.

Литература

1. Кирпичников А.П., Титовцев А. С. Открытая одноканальная система массового обслуживания с отказами и неограниченной очередью // Вестник Казанского государственного технологического университета - Казань: Изд-во Казан. гос. технол. ун-та, 2006 - № 4 - С. 78 - 85.

2. Валеев И.Н., Кирпичников А.П. Многоканальные системы массового обслуживания с отказами // Вестник Казанского государственного технологического университета - Казань: Изд-во Казан. гос. технол. ун-та, 2006 - № 4 - С. 66-71.

3. Гильмутдинов Р.Ф., Кирпичников А.П. Замкнутые модели систем массового обслуживания с ограничениями // Вестник Казанского государственного технологического университета - Казань: Изд-во Казан. гос. технол. ун-та, 2006 - № 4 - С. 220-224.

4. Кирпичников А.П. Прикладная теория массового обслуживания. - Казань: Изд-во КГУ, 2008, 112 с.

1

2

Р

2

а

5. Кирпичников А.П., Титовцев А.С. Системы обслуживания с неоднородным входным потоком требований, отказами и очередью // Вестник Казанского государственного технологического университета - Казань: Изд-во Казан. гос. технол. ун-та, 2011 - Т. 14 - № 5 - С. 154 - 161.

6. Кирпичников, А.П. Открытые системы дифференцированного обслуживания поликомпонентных потоков./ А.П. Кирпичников, А.С. Титовцев // Вестник Казанского госу-

дарственного технологического университета - Казань: Изд-во Казан. гос. технол. ун-та, 2012. - № 1. - С. 148 -152.

7. Сачков В.Н. Комбинаторные методы дискретной математики - М.: Наука, 1977, 384 с.

8. Двайт Г. Б. Таблицы интегралов и другие математические формулы / - М.: Наука, 1983.

© Р. Ф. Гильмутдинов - ст. препод. каф. интеллектуальных систем и управления информационными ресурсами КНИТУ, ruslan.gilmutdinov@rambler.ru; А. П. Кирпичников - д-р физ.-мат. наук, проф., зав. каф. интеллектуальных систем и управления информационными ресурсами КНИТУ, kirpichnikov@kstu.ru.