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

УДК 519.872

А. П. Кирпичников, А. С. Титовцев

РАСЧЕТ ФУНКЦИИ РАСПРЕДЕЛЕНИЯ ВРЕМЕНИ ОЖИДАНИЯ В СИСТЕМАХ ДИФФЕРЕНЦИРОВАННОГО ОБСЛУЖИВАНИЯ ПОЛИКОМПОНЕНТНЫХ ПОТОКОВ

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

В работе представлен алгоритм расчёта функции распределения времени ожидания в открытых системах массового обслуживания с поликомпонентным входным потоком и множеством ограничений на длину очереди в стационарном режиме функционирования.

Keywords: queuing system, system of difference service, polycomponent flow of requirements, queue.

This paper presents an algorithm of the calculation of the distribution function of the waiting time in the open systems of mass service with a polycomponent input stream and a great number of restrictions on the length of the queue in the stationary mode of functioning.

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

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

- 0-й тип - заявки, которые обслуживаются только при наличии свободного обслуживающего устройства и никогда не становятся в очередь. В случае, если на момент поступления в систему очередной подобной заявки в системе не оказывается свободного обслуживающего устройства, данная заявка покидает систему необслуженной.

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

очереди меньше определённого числа £. В случае,

когда в очереди уже имеется £1 или более требований, вновь поступившая заявка 1-го типа получает отказ и выбывает из системы необслуженной;

- 2-й тип - заявки, которые обслуживаются при наличии свободного обслуживающего устройства, либо становятся в очередь, если число требований в очереди меньше определённого числа £2. В случае,

когда в очереди уже имеется £2 или более требований, вновь поступившая заявка 2-го типа получает отказ и выбывает из системы необслуженной, и т.д.;

- Ь-й тип - заявки, которые обслуживаются при наличии свободного обслуживающего устройства,

либо становятся в очередь, если число требований в

Рис. 1 - Граф состояний и переходов СМО

очереди меньше определённого числа £ . В случае,

когда в очереди уже имеется £ или более требова-

ний, вновь поступившая заявка Ь-го типа получает отказ и выбывает из системы необслуженной.

Потоки заявок такого рода получили название поликомпонентных, а системы, обслуживающие каждый тип заявок по отдельным правилам, - название систем дифференцированного обслуживания поликомпонентных потоков [5, 6]. Граф состояний и переходов такой СМО приведён на рис.1. Принятые обозначения:

£ = Е = 0' £ = Е ' £ = Е + Е ■■■■

0 0 ' 1 1' 2 1 2'

1 1

£I = Е Е[ = Е Е[ - ограничения длины очереди /=0 /=1 для заявок ]-го типа;

за время ? системой обслужено г заявок, запишется в

Лп

ь

ЕЯ

1=0

Л,

ь

ЕЯ

1=1

Л,

ь

ЕЯ

1=2

Ль = Я,' где Я - интенсивности потоков заявок]-

го типа;

ь ь ь

Я = Е Р' Я = Е р ■ Я = Е Р ■ ■■■

1=0 1=1 1=2

Я = Рь' Я = —~ , где р. - приведенные интен-1

сивности потоков заявок ]-го типа. Потоки заявок каждого типа, образующие поликомпонентный поток, являются простейшими и имеют

интенсивности Яу, суммарные поликомпонентные потоки с интенсивностями Л у также являются простейшими (пуассоновскими) [15]. Среднюю интенсивность обслуживания заявок одним обслуживающим устройством обозначим символом ¡1. В этом случае интенсивность выходного потока обслуженных заявок до т -го состояния кратна ¡1 и зависит от числа занятых каналов. После т-го состояния интенсивность потока обслуженных заявок равна ГП". Поток обслуженных заявок также носит простейший характер.

С учётом принятых обозначений и допущений получим непрерывную марковскую цепь, граф состояний которой приведен на рис. 1. С учетом формул [10], полученных для вероятностей стационарных состояний по методике [16, 17], а также числовых характеристик установившегося режима, найденных в работах [12, 14], можно определить общую зависимость функции распределения времени ожидания обслуживания вновь прибывшей заявкой от параметров входного потока заявок в стационарном режиме работы системы при помощи следующих соображений.

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

виде

В, (/) = {Г± е-'. /!

Найдём функцию распределения времени ожидания обслуживания одной заявкой. По определению

Рж ( * ) = Р ( *ож < *),

где /ож - время ожидания обслуживания (случайная величина), но тогда

Рож (/ ) = 1- Р Сож * /),

где Р (/ож > /) - вероятность того, что время ожидания в очереди для одной заявки больше некоторого наперёд заданного времени ?. Это возможно, во-первых, в том случае, когда вновь прибывшая в систему заявка находит все обслуживающие устройства занятыми, а за время ? ни одно из устройств не освобождается, то есть очередь пуста и за время ? система не успевает обслужить ни одной заявки. Во-вторых, если в очереди имеется одна заявка и за время ? системой обслуживается не более одной заявки, либо же в очереди имеются две заявки и за время ? системой обслуживается не более двух заявок и так далее. По формуле полной вероятности отсюда имеем:

—

я [1- Рож (/)] = Л [РЛ (/)+ +рт+1 [в (/)+в (/)] + +Рт+2 [В (*)+В (*)+в2 (/)] + ■•• +

+ Рт+£1-1 [В (*) + - + В£1-1 (*)]} + л.

Л

[Р^в (/)+в (/)+-+вщ{/) ]+

+ Рт+£1+1 [В (/) + В1 (/) + - + В£+1 (/)] + - +

+Р

т+£2-1

+

—3 [Р

Л 1Р

Л

+ Р

т+£2+1

+ Р

т+£3-1

+ -

Л

Л

{Рг

в0 (/)+В (*)+-+ве2-1 (/)]} + в0 (/)+в (/)+-+В£2 (/)]+

В0 (/)+в1 (/)+- + в£2+1 (/) ]+-+

в0 (/)+В (/)+-+В£з-1 (/)]}+-+

В0 (/)+ в, (/) + - + Вь-1 (/)] +

т+£ь-1

+Р

т+£ь-1 +1

В0 (/) + В1 (/) + - + В£ь-1+1 (/)] + - +

+ Рт+ь-1 [В0 ( /) + В1 ( /) + - + Вь-1 (/)]}

— Г т+£-1 т+£-1

—1 В0 (/) е Р + В1 (/) Е Р+-

/ =т+1

Л

/=т

+ ^ ) Р

Л

т+£ -1

+

+ -

Л

£1 т+£2-1 т+£2-1

IВ,(?) I Р + В£1+1 (?) X Р +... +

/=0 /=т+£ /=т+£+1

+ В£2-1 ( ?) Р

т+£2-1

+

+

Л

/=0

Л

+ В£3-1 ( ' ) Р

£2 т+£з -1 т+£з-1

I В (?) I Р + В£2+1 (?) I Р + ■■■ +

т+£3-1

+ ■•• +

А

Л

I В (?) I Р + Вм+1 (?) I Р

+ ••• +

+ В£-1 (^ ) Р

т+£й-1

т+£1-1 ют

Iр>=т Р

/ = т III"

, Я1 Г Я, | Г Я^ 1 1 + —1 +1 —11 + ••• + 1 —1

Е1-1

т I т

т

т!

1-

1 - о

т

т+£ -1

I р = ^^р

/==т+1 ' т т! 0

. Я1 Г Я 1 1 + —1- + ■•• + 1 т I т

Е1-2

И Г И 1

т! Ро

1-Я

т

т+£1-1 / о Л2 от

I Р = |

,=т+2 ' I т) т! 0

Я1 [ Я 1+ — + ■•• + 1 —1 т I т

Е1-3'

Я^

т!

Р

т+£1-1

Я^ т!

1-я

т

Г Я У1-1 Я1Р

V т) т! 0

Е1-1

1-я

т

тогда

т+£-1

т+£-1

В0 (?) I Р + В (?) I Р+• +

/ =т+1

+В£1-1 ( ?) Рт+£1-1 = е

Ят 1

Р0 —I х

т! 01-Я

х

Г Я

т

+

1!

я Г я

т

т

+

т

+

+

(т^Х )2

2!

Г Я

(т^?)

Е1-1

(Е -1)!

т

Г Я1Е1-1 Г Я

+ ••• +

т

т

Ят 1

= ¿-^^Р^^ х

т! 01- Я

Х^ ( тМ?)

(т^? Г

1 -

т

Г я/

т

+

+

+

(£0 +1)!

Я Г Я

'1

т

т

+ ••• +

(т^ у1

Е1-1

(Е -1)!

Г Я1Е1-1 Г ЯчЕ1

т

т

=

Ят

т! 01 - Я т

^£0 ( ^ ) +

©£1-1 (Я^?)- ^ (Яр?)

\£0

+

от 1

= х

- е£-1(тм?) V т

т! 01-Я т

х

Г я

е£-1 (р^)-1 т I е£-1 (

т+£2-1 Г Я Ят

I Р =

т ] т! Р°

1 + ^ +... +

т

Г Я

,Е2-1

т

я Тят.

1 -I ^

т) т! 0 1 -Яг т

2

/=т+£+1

/=т+£

2

2

/=т+£

й-1

й-1

5

0

1

ч

0

1=т+£

0

/=т

т+£2-1 Я ( Я г Я_

Е Р =—

^ / т

/=т+£+1

т I т! Р°

+

( ЯV"

т I

1 + Я2 + - + т

Я 2 (ЯЛ 2

(ЯЛ1 т V _

_ I _! Р0

1 - Я? т

2 Е2

т+£2-1

Е Р =

/=т+£+2

(ЯУ'Я_Р т I т! Р0

1 - Я

т

Р

( я iе'-1 ( Я iе' Я

т+£2 -1

т

т I т! Р0 =

гя iе ягтр

т I т! р0

Е2-1

Е2

1 - Я2 т

тогда

£ т+£2-1 т+£2-1

Е в1 (/) е Р+в^+1 (/) Е Р+-+

/=т+£ /=т+£+1

/=0

+В£2-1 (/ ) Рт+£2-1 = е

(я, г1 ятр0

т I т! 0

1

1- Я2 т

-х

х е£ (т") (т")

1-

( Я

т

+

\£<+1

+

+

+

(£1 +1)!

(т")

Я (Я

'2 т

т

+

£+2

(£1 + 2)!

(т")

( Я Т ( Я2 Г2

£2 -1

(£2 -1)!

т

Е2-1

т

+ - +

= е"т"

г я, у1я_Р 1

ут) т! -Я2 т

е£,-1 () +

+ е£2 - (Я")- (В") - е (т") (Я2 1

Я У1 -1 л т ,

т

е

Я___ т!

1

1- Я2 т

( Я Iе'

-Т I е£,-1 ( ) +

т

+

г я iе'

V Я2 I

е£2-1 (Я")- е,-1 (Яг"/) ]

г Я Iе' г Я чЕ

т

"Г I е£2-1 ( )

т

_+£3 -1 Е Р

г Я г г Я Г Я

- I Р х

_ I _!

х

, я3 г я

1 +—+- + _

Е-1

_

г я

г я2 iе' г я iе' Я1Р

I —

т

т

тI т! 0 1 - Я т

_+£3-1

Е Р = _3

/ =_+£2 +1

Я г Я Iе' г Я Iе' Я

_

_

1 о _

^ I — Р0 х _ I _! 0

х

, я3 г я

1+—+- + _

,Ез-2

_

_

_

я, г я

г я2 |е2 г я, iе' Я___ Р _ .

_ i _! 0 , - Яз _

_+£3-1

Е Р

Я Iе' г я Iе' я

/ =_+£' +2

'2 _

_ I _! Р0

' - Я^ _

_+£3-1

г Яг Iе' г я, Iе' я^р

_

Ез-1

^з

_ I _!

_

тогда £2 _+£3 -1

_+£3-1

Ев1 (/) е Р+в£'+1 (О Е Р+-+

/=0

+В£з-1 (/) Р_+£з-1 = е

х

+

1

О I ~£-

' - Яз _

()£2+1

е£2 ( )

/=т+£2+1

г Яг |Е2 Г Я

V т I V

Е3

Iе' Я_ _

— I — Р0 х т I т! 0

г я

I —

_

+

(£' +1)!

Я г Я

_з _

_

+

_

= _+£

2

3

3

2

т

2

2

Е

з

0

+

+

()

г2+2

(г2 + 2)! ()

Г а У Г я

'3

т

т

+ ■ •• +

Ез-1

Ез -1)!

Г а !Ез-1 Г ачЕз

V

т

т

( О ЛЕ2 А О ЛЕ О т

_ I _2 I I __ I __

1 т I { т I т!

Р —е-1 (т&)

+

1-— т

+ ^ -1 (_з,1)-г-1 (_з,1) - 1 (т Г я-

а У2 ез Ч т

_3

_т 1

_ 1

т! 01-Я т

_11 1а2 I е£ 1 (т&) +

„ т I { т I г2 -1 у у

+

Е1 I I

{ _31 { _31

I _11 Е1 ^ 1

{ т I {т )

^-1 (_з^ )- ^-1 ( )]

-г I е-з -1 (т&)

т

/4Г а I

т+£.,-1

тогда

П

»_1 {т

i _ [ял i { т |

1 -

т

г//-1

т+г,-1 т+е$-1

Ея(?) Е Р + (О Е Р+■■■+

/ _0 / _т+ел-1 / _т+Ел-1+1

+Я, -1 (?) Р 1

т+г, -1

е~тм' П

Г а I

д _1 { т I

_т т!

Р х

х

+

+

+

Я 1 Е'

1 -

т

^ ( )

Г а

I —

т

+

()

г/1-1+1

(г-1 +1)! ()

Я/ Г я, у

т

т

+

г,-1+2

(г,-! + 2)!

()г"-1

Г а I2 Г я,

т

т

+ ■•• +

(г, -1)!

Г а Iе"-1 Г а Iе"

т

т

т+Е" -1

X

Е Р я,

Г Я/-1 Iе"-1 Г я Iе1 я

т

— I — Р х

т I т! 0

1 + + ■•• +

т

Г я.

Е-1

т

Е/

^ Г Яд !Ед _т 1 -

П

9

9 _1 { т I

т! 0 1 - Я,/ т

т+г"-1 а Г а, Iе"-1 г я Iе1 я-

Е Р _—

^ ' т

I _т+г/-1+1

а

т

— I ^ Ро X

т I т!

х

1 + ^" + ■■■ + т

г я

т

,Е/-2

4 Г Яд У Ят

Яь (Яь "

П

д _1 { т I

т!

т { т

1т

Г а I

П

а

1

д _1 { т I

т! Ро1 - Я $ т

ег/-1-1 () +

еЕ"-1 (я&)-еЕ-1-1(Я&1 -ег-1 ()| а/

Е-1

+

1

_ е~т& — Р 1

алЕ"

т

т! ^ - _/ т

Г а I

П | ег/-1-1 () +

д _1 { т I

л-1 ( _ I

+П

д _1

{ Ял I

л Г а I

ег,-1 )- ег"-1-1 ( )] -

-П| ег,-1 ()

д _1 { т I

Я[1 - яож (?)] _ е~т*Рт_1 X

а

т-а

Г я I

ег-1 (1 т1 I ег-1 (т^)

/_2 т - я,.

-1Г я У

ПЫ ег,-1-1 (т&) +

д _1 { т I

3

д г->т

Ез

2

/1

2

д

д

я

0

/-1 ( R у*

+п (R1

g=1 V R J

-п

g=1 V m J

eer1 (RMt)- eM-i ( Rßt)

e,-i (mMt)

Fox (t ) = 1-e

mßt 1 m-1

q

X

X <

R

m - R

R

eH (RM)- Im11 e£|_1 (mß)

+

h R

i=2 m - R

i-1 ( R 1

+п (R1

g=1 V R j

-1 ( R

ПI-gl eEj-1-1 (mßt) +

g=1 V m J

п

e„-1 (R ßf)- e£.-1-1 (R ßf )J -

%-1 ()

g=1 V m J

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

Литература

1. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 4, 78-85 (2006);

2. А.П. Кирпичников, А.С. Титовцев, Обозрение прикл. и промышл. матем., 14, 5. 893-896 (2007);

3. А.П. Кирпичников, А.С. Титовцев, Обозрение прикл. и промышл. матем., 15, 6. 1090-1091 (2008);

4. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 5, C. 154-161 (2011);

5. А.С. Титовцев, Дисс. канд. техн. наук, КНИТУ, Казань, 2011. 143 с.;

6. А.С. Титовцев, Системы дифференцированного обслуживания поликомпонентных потоков. Модели и характеристики. Saarbrücken, LAP LAMBERT Academic Publishing GmbH & Co. KG, 2012. 132 с.;

7. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 15, 1, C. 148-152 (2012);

8. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 15, 6, C. 201-202 (2012);

9. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 15, 8, C. 337-340 (2012);

10. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 16, 6, C. 248-252 (2013);

11. А.П. Кирпичников, А.С. Титовцев, Наука в Центральной России, 4, C. 5-8 (2013);

12. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 16, 11, C. 255-257 (2013);

13. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 16, 18, C. 282-286 (2013);

14. А.П. Кирпичников, А.С. Титовцев, Вестник Казан. тех-нол. ун-та, 16, 23, C. 242-244 (2013);

15. А.Я. Хинчин, Работы по математической теории массового обслуживания. М., ГИФМЛ, 1963. 236 с.;

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

17. А.П. Кирпичников, Методы прикладной теории массового обслуживания. Казань, Изд-во Казанского университета, 2011. 200 с.

© А. П. Кирпичников - д-р физ.-мат. наук, зав. каф. интеллектуальных систем и управления информационными ресурсами КНИТУ, [email protected]; А. С. Титовцев - канд. тех. наук, доцент каф. интеллектуальных систем и управления информационными ресурсами КНИТУ, [email protected].

E

g