CC BY
100
НАУЧНОЕ ИЗДАНИЕ МГТУ ИМ. Н. Э. БАУМАНА
НАУКА и ОБРАЗОВАНИЕ
Эл № ФС77 - 48211. Государственная регистрация №0421200025. ISSN 1994-0408
электронный научно-технический журнал
Анализ характеристик замкнутой системы массового обслуживания с
относительными приоритетами
# 03, март 2014
Б01: 10.7463/0314.0702664
Нестеров Ю. Г.
УДК 519.872
Россия, МГТУ им. Н.Э. Баумана ийд-^Ьташ.ш
Введение
Замкнутые системы массового обслуживания (СМО) широко используются в качестве моделей для оценки временных характеристик информационных систем, сетей передачи данных, а также процессов массового обслуживания в производственных, транспортных, торговых, логистических и сервисных системах [ 1- 4 ]. В работе [5] аналитические решения для средних значений времен пребывания в узлах замкнутых СМО типа «модели ремонтника» ( в обозначениях Кендалла [ 3 ] - Мг|01г|ш|К ), используются в качестве базовых моделей для расчета средних значений времен пребывания заявок в узлах широкого класса замкнутых сетей массового обслуживания с приоритетами и консервативными дисциплинами обслуживания. На сегодня известны аналитические результаты для марковских СМО типа Мг|Мг|ш|К [2, 4], а также решения для частных случаев СМО такой структуры с одним обслуживающим аппаратом (ОА) [ 11-14 ]. Для СМО с одним ОА и произвольной функцией распределения вероятностей (ФРВ) времени обслуживания в работе [ 8 ] предложен общий подход к анализу подобных систем, однако переход к собственно распределению вероятностей состояний и от них к средним значениям времен пребывания связан со значительными вычислительными трудностями.
Настоящая работа посвящена получению эффективного в вычислительном отношении аналитического решения для распределения вероятностей состояний и средних значений времен пребывания и загрузок ОА для заявок различных классов в СМО типа «модели ремонтника» с приоритетами Мг|01г|1||К.
Решение основано на построении и анализе вложенной цепи Маркова [ 6 ], переходе от распределения вероятностей состояний этой цепи к распределению стационарных состояний исходной СМО, а также доказательстве возможности такого перехода.
Постановка задачи.
Рассмотрим замкнутую СМО типа Мг|01г|1|К, состоящую из одного обслуживающего аппарата, очереди перед ним и Я независимых источников заявок, каждый емкостью Кг (г=1Д). ФРВ времени пребывания любой заявки класса "г" в источнике имеет экспоненциальное
распределение с параметром Лг, г = 1,..., Я, ФРВ времени обслуживания любой заявки класса "г" в ОА имеет произвольный вид Иг. Поступающие из источника в очередь заявки обслуживаются в ОА в соответствии с правилом ё е Л, указывающим для каждого состояния СМО класс заявки, которая должна быть выбрана на обслуживание из очереди в момент освобождения ОА. В пределах одного класса (если N > 1) заявки обслуживаются в порядке поступления. После завершения обслуживания заявка возвращается в источник. Таким образом, Б включает в себя множество дисциплин (в том числе дисциплину с относительными приоритетами), не допускающими прерываний, в которых решение о том, какая заявка из очереди будет обслуживаться, принимается на основании лишь текущего состояния СМО, без учета предыстории обслуживания. Последовательные времена обслуживания заявок класса "г" суть независимые случайные величины (СВ) с произвольной ФРВ - Вг(/), г = 1,...,Я. Такая СМО используется в качестве модели для оценки временных характеристик таких ресурсов, как каналы связи, контроллеры (шины) и процессоры ввода-вывода, программные процессы, работающие без прерываний.
Целью настоящего исследования является получение аналитических выражений для вычисления ФРВ состояний СМО, средних времен пребывания (ожидания) заявок каждого класса - \ ) и загрузок ОА - иг, г=1,...К
Решение задачи.
Поскольку в рассматриваемой СМО в каждый момент времени имеется лишь одна СВ, имеющая неэкспоненциальное распределение, то, согласно [ 6, с.47], для анализа ее характеристик можно использовать метод вложенных цепей Маркова.
Состояние СМО представим в виде (Я+1)-мерного вектора с целочисленными компонентами:
К = (]к, К, К, . .,кк, . ., К ) - состояние К ;
Ь = (]ь,Ь,Ь,...,Ь ь,...,ЬЛ) - состояние Ь ;
0 = (0,01,02,...,0 .,...,0К) - «нулевое» состояние (все заявки в источнике).
Здесь:
Я
К, Ь, 0 е 8*, где Б* - конечное множество состояний СМО, содержащее М = ^ (N. +1)
г=1
элементов;
]к(уЬ) - номер класса заявки, обслуживаемой в ОА в состоянии К(Ь), }к,]Ь е[1,Я].
[0,1,...,N, если I ф }к(/)!
К (Ь) = 1 > - количество заявок класса " I" в СМО в состоянии К(Ь).
1.1,2,..,N, если I = ]К(/)| ( )
ё = |]К, К е £- (М-Я)-мерный вектор, определяющий дисциплину обслуживания заявок в
СМО.
Рассмотрим последовательность + 0}, п = 1,2,... моментов времени завершения
обслуживания в ОА очередной заявки (сразу после ее ухода в источник) , представляющую собой последовательность точек регенерации [ 8, с.13 ]. Тогда последовательность 2 состояний СМО в эти моменты времени Z = {К + 0)}, п = 1,2,... связана в однородную дискретную цепь Маркова с конечным числом состояний 8:
Б = (Б*\ К), где N = {(1, N, N2,..., NR ),(2, N1, ,..., NR ),...,(Я, Ы1, N2,..., NR )} есть множество состояний, когда все заявки находятся в СМО (в источнике пусто).
Процесс обслуживания заявок в СМО полностью описывается вложенной цепью Маркова 2 и ФРВ времен перехода СМО из состояния "К" в состояние "Ь" (К,Ь е Б) .
Анализ вложенной цепи Маркова 2.
Определим элементы матрицы вероятностей переходов Р = [ркь ]МхМ цепи 2. Рассмотрим два случая ( I - К ф 0, II - К = 0 ), отличающихся тем, что при К ф 0 переход в состояние Ь происходит за время обслуживания заявки класса ]К, а при К = 0 переход в состояние Ь происходит за время, когда СМО пуста и, затем, в течение времени обслуживания заявки, пришедшей в пустую СМО первой.
Случай I. К ф 0. Переход К ^ Ь есть событие, состоящее в том, что за время обслуживания заявки класса ]К в СМО придут заявки, которых нет в состоянии К , но которые есть в состоянии Ь и не придут заявки, которых нет в состоянии Ь. Поскольку процессы поступления заявок каждого класса независимы друг от друга, можно записать:
Я
Ркь = П Р(А ), (1)
Где А 0 = 1,. .,Я) есть событие, состоящее в следующем:
А =
за время обслуживания заявки класса]К придет ровно (Ц - Ki) заявок класса г, (Кг < Ц) л (г ф ]К) (К > Ц) л (г ф ]К) - невозможное событие
за время обслуживания заявки класса]К придет ровно (Ц - Ki +1) заявок класса г, ((К -1) < Ц) л (г = ]К) (К -1) > Ц) л (г = ]К) - невозможное событие
Рассмотрим ситуацию (Кг < Ц) л (г ф ] ) :
ад
р( А) = | рВ Щк V), (2)
0
где В\ - событие, состоящее в том, что к моменту времени I (>0) придет ровно (Ц - Кг) заявок класса г. Событие В' есть сумма | ^ - К< | несовместных событий, каждое из которых, в свою
и - ^ J
очередь, заключается в том, что к моменту времени I (Ц - Ki) каких-либо заявок из числа (N - К) заявок, присутствующих в источнике класса г , завершит свое пребывание в источнике, а остальные (N - К ) - (Ц - К ) = (N - Ц ) заявок класса г не покинут источник.
г=1
р( В) =
г N - К Л V Ь - К у
(Ь-К) (N -Ь) _
(1 - е)(Ь -К) х )
Г N - К Л Ь^К'
г г
г к ,2 ) х е-
VЬг Кг у т=0
(М, -Ь )Л _
Г N - К
\Ь - К
V Ь - Кг У т=0 Vт
Ь - К Л
(- 1)те
т -(N -Ьг +т)Л
Здесь
V к у
= С - число сочетаний из п элементов по к. При выводе (3) использовалась
формула бинома Ньютона. Подставляя (3) в (2), получим:
N - К
Р( 4) = / 'Г К 2
0 VЬ ■ - Кг ;
Ь - К,
Ь - К
т
(-1)те-((-Ь+т)ав.К ^) =
- К Л Л ГЬ - КЛ
V - К у
2
г г
т
(-1)тВ*К [(N -Ь + т)Л], /
(4)
В (4) В*К (.) суть преобразование Лапласа-Стильтьеса ФРВ В,к (?) .
Ситуация ((К -1) ^ Ь ) А (I = 3К ) отличается от рассмотренного тем, что заявка класса ]К, обслуживаемая в ОА в состоянии К , не может находиться в СМО в состоянии Ь. Рассуждая аналогично, получим:
р( 4) =
^ - К +Ь -К+1
V - К +1 у
2
Ь- Кг + 1 т
(-1)тВ*К [(N - Ь + т -1)Л], / = 7К (5)
В остальных случаях р( Д ) = 0.
Случай II. К = 0 Переход 0 ^ Ь есть сумма Я несовместных событий, каждое из которых состоит в том, что в пустую СМО первой придет заявка класса I , т.е. СМО перейдет в состояние (1,01,02,...,1г,...,0д) - событие С , а затем произойдет переход из этого промежуточного состояния в состояние Ь
Р0Ь Р(-Сг )рг,01,02,...,1г
■,0Л) Ь
(6)
г=1
В свою очередь вероятность события С очевидно равна:
Я
Р(С) = N Л/ Л, здесь Л=2 ^Л
Итак, для случая 0 ^ Ь имеем:
Я
Р0Ь = Л NЛpг,01,02,...,1¡■ ,...,0К )Ь
(7)
(8)
г=1
да
Здесь ^д^,...^...^) ^ - частный случай (1).
Окончательно матрица переходных вероятностей Р для для вложенной цепи Маркова 2 определяется следующими соотношениями:
K *0
P( 4) =
P( 4) =
Pkl =ftp(4), где
%-K iYg (Li -K^
yLi - Ki ) m=o \m
(N -K + (L -K + D
(-1)m5*K [(N -L + m)M при (Ki < L)л (i * jK)
vL-K+1)
z
m
(-1)mB*K [(N - Li + m-1Д], при ((Ki -1) < L) л (i = jK)
P( 4) = 0 - в остальных случаях
(9)
\K = 0 P0L = (£NA )-1 ZNM^ д„...,о R )L ГДе P(i,01,02,...,1„...,0R) L" Частный случай (1) !> (10)
l r=1 ¿=1 J
Рассмотренная нами однородная конечная цепь Маркова неприводима и апериодична, следовательно, в силу эргодической теоремы Маркова, эргодична, т.е. существует предел [6]:
lim Pr {K(X+1 + 0) = L | K(tn + 0) = К} = жь , L e S (11)
Стационарное распределение вероятностей состояний цепи Z есть решение системы из M линейных алгебраических уравнений ж = жP, в которой любое из уравнений заменяется условием нормировки Z^ = 1. Здесь ж = {ж}, L e S. Размерность системы уравнений быстро
LeS
возрастает с ростом R. Так при N = 1 и R=10, M = 210-10 = 1014. Теперь определим ФРВ времени перехода K ^ l.
При K *0 ФРВ времени перехода K ^ L Фкь (t) суть ФРВ времени обслуживания заявки класса jK B,K(t), т.е.:
ФKL (t) = Bf (t), K, L e S (12)
Рассмотрим случай K = 0. Переход 0 ^ L есть сумма R несовместных событий, состоящих в том, что первой пришла заявка класса i, а затем, за время ее обслуживания, пришли заявки, которые есть в состоянии L. Длительность перехода 0 ^ L складывается из отрезка времени, когда СМО пуста, и времени обслуживания заявки, пришедшей первой. Заметим, что переход 0 ^ L происходит только тогда, когда первой в «пустую» СМО приходит заявка, отсутствующая в состоянии L. Следовательно, интенсивность потока заявок, вызывающих
R
переход 0^ L есть Л* =Z (N-Li )Лг-, а вероятность того, что этот переход вызовет заявка
i=1
класса i равна (N j-Lj )Л/ Л*.
Обозначим ПРВ времени перехода L через p0L (t) = dФ0Ь (t)/ dt. Тогда имеем:
R
P0L (t) = dФ0L (t)/dt = (Л*)-1 ^ (N, -L )Xpt (t), (13)
i=1
да
где: pi(t) = NA(t-x)]dB,(x) = N Дв N*B,*(-N,4) (14)
0
есть свертка ПРВ интервала времени от момента перехода СМО в состояние 0 и до момента прихода заявки класса i и ПРВ времени обслуживания этой заявки dBt (t) / dt. Процесс обслуживания заявок в данной СМО полностью описывается вложенной цепью Маркова Z , соотношения (9) и (10), и ПРВ времен переходов К ^ L , соотношения (12 - 14).
Поскольку стационарные вероятности состояний исходной СМО P = {PK }, K е S отличаются от распределения к = {к}, K е S вложенной цепи Маркова, возникает задача перехода от распределения к к распределению P.
Определение стационарных вероятностей состояний исходной СМО.
Рассмотрим поведение исходного процесса K(t) = (jK,К,K2,...,К) между моментами
{tn}, n = 1,2,... выхода заявок из ОА. Нетрудно видеть, что на интервале (tn l + 0, - 0) поведение
исходного процесса K(t) таково, что jK(t) = const, а компоненты Kr(t), r = 1,...,R могут только увеличиваться. Причем, в силу того, что время пребывания заявок в источниках имеет экспоненциальное распределение, за At ^0 лишь одна из компонент Kr(t), r = 1,...,R может
увеличиться на 1 (процесс K(t) = ( jK,K ,K ,...,K ) - перейти в одно из смежных состояний). Под смежным к состоянию K состоянием понимается состояние L, в котором одна из компонент Lr, r = 1,...,R больше соответствующей компоненты Kr, r = 1,...,R на 1, а все остальные -совпадают. Таким образом, можно провести аналогию с процессом чистого размножения (интенсивности потоков гибели равны нулю [7 ] ). При этом, если в момент (tn + 0) СМО
находилась в состоянии K, то интенсивность перехода VK исходного процесса K(t) в смежные состояния будет определяться формулой:
R
V = ((— ) (15)
r=1
Обозначим интенсивность выхода из ОА обслуженных заявок в стационарном состоянии через г], а стационарную вероятность того, что СМО находится в состоянии K через р, К е S . В соответствии с результатами работы [ 9 ] можно записать:
VKPK = =, К е S (16)
Выражение (16) представляет собой систему уравнений глобального баланса для состояний замкнутой СМО. Смысл уравнений состоит в том, что в стационарном режиме каждое из состояний К, К е S СМО является равновесным: интенсивности переходов в состояние K из состояния K совпадают.
Из (15) и (16) следует, что для определения вероятностей Р = {РК}, К е Я достаточно определить значение г. ПРВ интервала времени (?и1, ^) при п ^да обозначим ](г) . Очевидно, что:
г(0 = Е я Ефкь СР) (17)
КеЯ ЬеЯ
Здесь Е,Фкь (г)Ркъ) суть ПРВ времени пребывания СМО в состоянии К , а ф^ (г) суть ПРВ
ЬеЯ
времени перехода К ^ Ь , определяемая соотношениями (12-14), а ^, К, £ е Я - переходные вероятности вложенной цепи Маркова Z, определяемые соотношениями ( 9,10 ).
Для г имеем:
1 =
11 (г ) Ж
(18)
Из (16) имеем:
Рк =гяк/Ук, К е Я (19)
Таким образом, искомая ФРВ Р = {Рк}, К е Я определяется соотношением (19) и последовательным применением выражений (9-18) для определения входящих в него як, ук, К е Я и г соответственно. Вероятность Р того, что в СМО находится ровно N, " = 1,--,Я заявок каждого класса (в источниках пусто) определяется из условия нормировки:
Рм = 1 -Е Рк (20)
КеЯ
Определение математических ожиданий времен пребывания (ожидания) и загрузок ОА
для заявок каждого класса в СМО.
Обозначим математическое ожидание времени пребывания (ожидания) заявки класса г в СМО через уг ), а загрузку ОА - иг. Поскольку в рассматриваемой СМО используется консервативная дисциплина обслуживания (сохраняется выполненная работа), то для данной системы справедлив результат Литтла [ 10 ]:
тг =ЛЧ, г = 1,..., Я (21)
Здесь: тг - среднее число заявок класса г в СМО; X* - фактическая интенсивность поступления заявок класса г из источника в СМО; V, - среднее время пребывания заявок класса г в СМО.
Нетрудно видеть, что X* = X(М -тг), г = 1,...,Я, следовательно, из (21) получим:
т
V =Т7тт-Т, г = 1,., Я (22)
х (м- т)
Определим для всех г (г=1,...,Я) и для всех Кг(Кг = 0,1,...,N) подмножества состояний ££ е 5* следующим образом:
Б'Кг = {Ь : Ьг = Кг}, Ь е5*, Кг е [0,1,...,N.], г е[1,Я],
(23)
Т.е. ^ есть подмножество таких состояний СМО, в которых число заявок класса г равно К.
Вероятность Рк того, что в СМО находится Кг заявок класса г определяется соотношением:
Р = У Р
Р кК У 1 ь ,
Ье^
а среднее число заявок класса г в СМО -
N _
т = У кгРКг .
(24)
(25)
Подставляя (24) в (25) и (25) в (22), окончательно получим для среднего времени пребывания заявок в СМО:
V =
N
У (Кг у Рь)
Кг = 0 ЬеЛ.
К(N-у (Кг у Рь)
Кг = 0 Ье5К-
г е
[1, Я ]
(26)
Для среднего времени ожидания Кг имеем очевидное соотношение:
К = V -Ьг, г = 1,...,Я
(27)
Загрузка ОА иг заявками класса г и суммарная загрузка ОА и определяются следующими формулами:
иг =КЬг =К
N-у (Кг у Рь
КК=0
Я
и = у и,
г=1
(28)
(29)
Заключение.
Доказано, что получение искомых аналитических выражений для вычисления ФРВ состояний СМО, средних времен пребывания (ожидания) заявок каждого класса - уг (кг ) и
загрузок ОА - иг, г=1,..^. для замкнутой СМО типа Mr|GIr|1||N с относительными приоритетами сводится к следующей последовательности относительно простых шагов .
К=0
/
1. Построение вложенной цепи Маркова, связанной с моментами завершения обслуживания заявок в ОА (точками регенерации), определение матрицы переходных вероятностей и вероятностей состояний этой цепи - соотношения (1-14).
2. Определение распределения вероятностей состояний СМО в стационарном режиме на основании системы уравнений глобального баланса для состояний замкнутой СМО -соотношения (15- 20).
3. Определение аналитических выражений для средних времен пребывания, ожидания и загрузок ОА для заявок различных классов - соотношения (21-29).
4. Возможности полученной аналитической модели ограничивается возможностью обращения матрицы переходных вероятностей вложенной цепи Маркова.
Список литературы
1. Гнеденко Б.В., Коваленко И.Н. Введение в теорию массового обслуживания. М.: Изд-во ЛКИ, 2007. 400 с.
2. Вишневский В.М. Теоретические основы проектирования компьютерных сетей. М.: Техносфера, 2003. 512 с.
3. Клейнрок Л. Теория массового обслуживания: пер. с англ. М.: Машиностроение, 1979. 432 с.
4. Клейнрок Л. Вычислительные системы с очередями: пер. с англ. М.: Мир, 1979. 600 с.
5. Нестеров Ю.Г. Декомпозиционный метод анализа замкнутых сетей массового обслуживания // Наука и образование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2014. № 2. Режим доступа: http://technomag.bmstu.ru/doc/700018.html (дата обращения 28.02.2014). DOI: 10.7463/0214.0700018
6. Кёниг Д., Штойян Д. Методы теории массового обслуживания: пер. с нем. М.: Радио и связь, 1981. 128 с.
7. Вентцель Е.С., Овчаров Л.А. Теория случайных процессов и ее инженерные приложения. М.: Высшая школа, 2000. 383 с.
8. Джейсуол Н. Очереди с приоритетами: пер. с англ. М.: Мир, 1973. 280 с.
9. Konig D., Rolsky T., Smidt V., Stoyan D. Stochastic processes with imbedded marked point processes (PMP) and their application in queuing theory // Math. Operationsforschung und Statistik. Ser. Optimization. 1978. Vol. 9. P. 125-142.
10. Little J.D.C. A proof for the queueing formula L= X W // Operations Research. 1961. Vol. 9, no. 3. P. 383-387. DOI: 10.1287/opre.9.3.383
11. Szep A. Iterative Method for Solving M/G/l//N-type Loops with Priority Queues. Режим доступа: http://www.inf.u-szeged.hu/actacybernetica/edb/vol07n3/pdf/Szep 1986 ActaCybernetica.pdf (дата обращения 28.02.2014).
12. Fatnes J.N. Flow-times in an M/G/1 Queue under a Combined Preemptive/ Non-preemptive Priority Discipline: Master of Science in Physics and Mathematics. Norwegian University of Science and Technology, Department of Mathematical Sciences, 2010. Режим доступа: http://www.diva-portal.org/smash/get/diva2:348953/FULLTEXT01.pdf (дата обращения 28.02.2014).
13. Madan K.C. A Non-Preemptive Priority Queueing System with a Single Server Serving Two Queues M/G/1 and M/D/1 with Optional Server Vacations Based on Exhaustive Service of the Priority Units // Applied Mathematics. 2011. Vol. 2, no. 6. P. 791-799. DOI: 10.4236/am.2011.26106
14. Atar R., Biswas A., Kaspi H. Fluid limits of G/G/1+G queues under the non-preemptive earliest-deadline-rst discipline. Preprint. Technion - Israel Institute of Technology, Haifa, Israel, 2014. 28 p. Режим доступа: http://webee.technion.ac.il/people/atar/ata-bis-kas.pdf (дата обращения 28.02.2014).
SCIENTIFIC PERIODICAL OF THE BAUMAN MSTU
SCIENCE and EDUCATION
EL № FS77 - 48211. №0421200025. ISSN 1994-0408
electronic scientific and technical journal
Feature analysis for closed queuing system with non-preemptive priorities
# 03, March 2014
DOI: 10.7463/0314.0702664
Yu.G. Nesterov
Bauman Moscow State Technical University, 105005, Moscow, Russian Federation
The object of research in this article is to obtain the analytical expressions for the probability distribution functions (PDF) of states of the closed system of mass service (SMS) like "model of the repairman" Mr|GIr|1 || Nr in a stationary mode. The SMS has a source of requests of final capacity with exponentially distributed time of residence of different class requests in the source, one queue with discipline of requests service i.e. the non-preemptive priorities, one serving device (SD) and arbitrary PDF of a residence time of each class requests.
The method includes the following steps.
The first step, while servicing the non-uniform population of requests, distinguishes a sequence of time points, so-called points of regeneration in which a process behaves as Markov's. It is shown that such points are time points to complete a service of requests in SD. Further, for these points an embedded Markov's chain is designed, and the states space of this chain is defined. Analytical expressions to calculate the elements of transition probability matrix in such chain are obtained. These expressions reflect a relationship between these probabilities and the source parameters, the residence time PDF parameters, the number of each class requests, and a discipline of their service. Further, the solution for PDF of this chain states is found.
The second step establishes connection between the PDF of SMS states in a stationary mode and the previously received PDF of states of the embedded Markov's chain. Such connection is defined by a system of the equations of global balance for the SMS states in a stationary mode and states of the embedded Markov's chain. The physical sense of such balance is that each of SMS state in a stationary mode is in equilibrium, i.e. the intensities of transitions from the state and in the state are equal. The space of states of initial SMS in a stationary mode is defined. It is shown that in intervals of request service time in SD the process behaves as a process of net reproduction when intensity of death - transition of SMS to
"lower" states - is equal to zero. The paper presents the obtained analytical expressions to calculate the stationary PDF of given SMS depending on the PDF of the embedded Markov' chain, the discipline of service, and the PDF of residence times to serve different class requests in SD.
The third step provides expressions to calculate the average values of residence and waiting times of each class requests in SMS, as well as expressions to define the SD loading by requests of each class and the general loading of SD. The formulas development is based on conservatism (work preservation), fair for discipline of service with non-preemptive priorities, and also using Little's result and expressions for average number of requests of each class in SMS which, in turn, are defined by the PDF of SMS states in a stationary mode.
Publications with keywords: queue, facility, service time, waiting time, residence time, closed queuing system, service discipline, utilization, transition matrix, embedded Markov chain Publications with words: queue, facility, service time, waiting time, residence time, closed queuing system, service discipline, utilization, transition matrix, embedded Markov chain
References
1. Gnedenko B.V., Kovalenko I.N. Vvedenie v teoriyu massovogo obsluzhivaniya [Introduction to queuing theory]. Moscow, LKI Publ., 2007. 400 p. (in Russian).
2. Vishnevskiy V.M. Teoreticheskie osnovy proektirovaniya komp'yuternykh setey [Theoretical bases of designing of computer networks]. Moscow, Tekhnosfera, 2003. 512 p. (in Russian).
3. Kleinrock L. Queueing Systems. Vol. 1. Theory. New York, John Wiley and Sons, 1975. (Russ. ed.: Kleinrock L. Teoriia massovogo obsluzhivaniia. Moscow, Mashinostroenie, 1979. 432 p.).
4. Kleinrock L. Queueing Systems. Vol. 2. Computer Applications. New York, John Wiley and Sons, 1976. (Kleinrock L. Vychislitel'nye sistemy s ocheredyami. Moscow, Mir, 1979. 600 p.).
5. Nesterov Yu.G. [Decomposition method for analysis of closed queuing networks]. Nauka i obrazovanie MGTU im. N.E. Baumana - Science and Education of the Bauman MSTU, 2014, no. 2. DOI: 10.7463/0214.0700018 (in Russian).
6. Konig D., Stoyan D. Metody teorii massovogo obsluzhivaniya [Methods of queuing theory]. Transl. from German. Moscow, Radio i svyaz', 1981. 128 p.
7. Venttsel' E.S., Ovcharov L.A. Teoriya sluchaynykh protsessov i ee inzhenernye prilozheniya [Theory of random processes and its engineering applications]. Moscow, Vysshaya shkola, 2000. 383 p. (in Russian).
8. Jaiswal N.K. Priority Queues. Academic Press, New York, 1968. (Russ. ed.: Jaiswal N. Ocheredi s prioritetami. Moscow, Mir, 1973. 280 p.).
9. Konig D., Rolsky T., Smidt V., Stoyan D. Stochastic processes with imbedded marked point processes (PMP) and their application in queuing theory. Math. Operationsforschung und Statistik. Ser. Optimization, 1978, vol. 9, pp. 125-142.
10. Little J.D.C. A proof for the queueing formula L= A W. Operations Research, 1961, vol. 9, no. 3, pp. 383-387. DOI: 10.1287/opre.9.3.383
11. Szep A. Iterative Method for Solving M/G/l//N-type Loops with Priority Queues. Available at: http://www.inf.u-szeged.hu/actacybernetica/edb/vol07n3/pdf/Szep_1986_ActaCybernetica.pdf , accessed 28.02.2014.
12. Fatnes J.N. Flow-times in an M/G/1 Queue under a Combined Preemptive/ Non-preemptive Priority Discipline. Master of Science in Physics and Mathematics. Norwegian University of Science and Technology, Department of Mathematical Sciences, 2010. Available at: http://www.diva-portal.org/smash/get/diva2:348953/FULLTEXT01.pdf , accessed 28.02.2014.
13. Madan K.C. A Non-Preemptive Priority Queueing System with a Single Server Serving Two Queues M/G/1 and M/D/1 with Optional Server Vacations Based on Exhaustive Service of the Priority Units. Applied Mathematics, 2011, vol. 2, no. 6, pp. 791-799. DOI: 10.4236/am.2011.26106
14. Atar R., Biswas A., Kaspi H. Fluid limits of G/G/1+G queues under the non-preemptive earliest-deadline-rst discipline. Preprint. Technion - Israel Institute of Technology, Haifa, Israel, 2014. 28 p. Available at: http://webee.technion.ac.il/people/atar/ata-bis-kas.pdf , accessed 28.02.2014.
