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

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

CC BY
609
42
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ / ОТНОСИТЕЛЬНЫЙ ПРИОРИТЕТ / РАЗЛИЧНЫЕ ИНТЕНСИВНОСТИ ОБСЛУЖИВАНИЯ / СБРОС ЗАЯВОК

Аннотация научной статьи по математике, автор научной работы — Зарядов Иван Сергеевич, Горбунова Анастасия Владимировна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Зарядов Иван Сергеевич, Горбунова Анастасия Владимировна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

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

Зарядов И.С.1, Горбунова А.В.2

1 Российский университет дружбы народов, г. Москва, Россия, к.ф.-м.н., доцент кафедры прикладной информатики и теории вероятностей, [email protected] 2 Российский университет дружбы народов, г. Москва, Россия, кафедра прикладной информатики и теории вероятностей, [email protected]

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

КЛЮЧЕВЫЕ СЛОВА

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

АННОТАЦИЯ

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

Введение

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

11 Исследование выполнено при частичной финансовой поддержке РФФИ в рамках научного проекта № 14-07-00090-а.

методы теории массового обслуживания.

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

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

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

Кроме того, приоритетная заявка, находящаяся на приборе, может в момент окончания обслуживания либо с вероятностью р покинуть систему, либо с вероятностью д сбросить все заявки второго типа из накопителя, р+Я=1.

Система уравнений равновесия

Пусть v1 ^) А = 1,2 —число заявок /-го типа, находящихся в системе в момент времени Ь, а п( ^) —тип заявки, которая обслуживается на приборе в момент времени Ь. Обозначим х ^) > t), V(t)А).

Случайный процесс {X(t),t>0}, описывающий поведение системы массового обслуживания во времени, является марковским с непрерывным временем и дискретным множеством состояний:

X=X ои X1, где Хо = {0},Х 1={(k,i,j)Л = 1,2А>0, j>0} .

Указанные состояния интерпретируются следующим образом: если в некоторый момент времени Ь, то в системе нет заявок, если X^)=(k,i,j), то в системе находится / заявок 1-го типа и у заявок 2-го типа, а прибор занят обслуживанием заявки к-го типа (k =1,2).

Обозначим через р 0 стационарную вероятность отсутствия заявок в системе, через р j> 0 —стационарную вероятность того, что в

системе находится / приоритетных заявок, у неприоритетных заявок и на приборе обслуживается приоритетная заявка, а через р 2,^0, j >\ — стационарная вероятность того, что в системе находится / приоритетных

заявок, ] неприоритетных заявок и на приборе обслуживается неприоритетная заявка.

Стационарное распределение существует и удовлетворяет следующей системе уравнений равновесия:

ю

(Х1 + Х2) р0 = р Ц1 Р1,1,0 + Ц2Р2,0,1 + Ч Ц1 X Рц,/

/=0

ю

(Х 1 + Х 2+Ц1) Р 1,1,0= Х1 Р 0+ Р Ц Р 1,2,0+ Ч Ц X Р 1,2,/+Ц2 Р 2,1,1

2

/ =0

ю

(Х 1+Х 2+Ц1) Р и ,0=Х1 Р1, г-1,0 + Р Ц1 Р1, г + 1,0 + Ч Ц X Р1, г+1, / + Ц2 Р 2, г ,1 ,г >2

/ =0

(Х 1 + Х 2+Ц 1) Р 1,1, _/=Х2 Р 1,1,.,-1 + Р Ц1 Р 1,2, у +Ц2 Р 2,1, У + 1 >

(Х 1+Х 2+Ц1) Р1, г,/ = Х1 Р 1,-1, + Х2 Р 1,г,/-1 + Р Ц1 Рц + 1,/ + Ц2 Ръ, / + ^ *> 2 / >1

(Х 1+Х 2+Ц2 ) Р2,0,1 = Х 2 Р 0 + Р Ц1 Р 1,1,1+Ц 2 Р 2,0,2 ,

(Х1 + Х 2+Ц 2 ) Р2,г ,1 = Х 1 Р2,1-1,1

(Х 1 + Х 2+Ц 1) Р 2,0,/=Х 2 Р2,0,/-1 + Р Ц1 Рц,/ + Ц2 Р 2,0,/+1 ,/> 2 (Х 1+Х 2+Ц1) Р 2,1,/ = Х 1Р 2,1-1, / + Х 2 Р2,1, /-1/ >2 .

Кроме того, к этим уравнениям добавляется условие нормировки:

ю ю ю ю

Р 0+Х X Ри,+ХХ Р 2,„ =!.

1=1 /=0 г =0 / = 1

Производящая функция

Введем следующие производящие функции:

ю ю

В1 ( 21, 2 2)=Х X Р1, г,/21 2 2 ,

г = 1 /=0

ю ю

В1(21,22)= ^^ ^^ Р1,г,/21 22 .

г = 1 / = 0

Сначала получим выражение для В2(21,22). Для этого умножим последние четыре уравнения системы уравнений равновесия на и г2 и просуммируем по всем возможным i и].

Р Ц1 , Ц 2 ^ ,

Х 2 2 2 Р0 +-X Р 1,1,/21 2 2 +-X Рг,0,/2 2 Р Ц1 Р1,1,0-Ц2 Р 2,0,1

В ( ) =_21 / = 0_22 ,= 1_ .

21/2 X1 (1-2 1) +Х2 (1-22) + Ц2

Далее для нахождения В1 (21,2 2) умножим первые четыре уравнения системы уравнений равновесия на 2\ и 22 и просуммируем по всем возможным i и]. В итоге имеем:

В1(21, 2 2) =

ОТ ОТ ОТ

21 22 " Р#122 X Р1,1,/21+ Ч#122В1(21,1) " Ч#122 X Р1,1,/21 +#2 ^М2^ 22) - #2 21 X Р2А/22 = _/=0_/=0_/=1_

22 ((Л + Л2 + #1 )21 " Л2' " $22122 - Р#1 ) Производящая функция Р (21,22)=Р0+В 1( 21,22)+ В2 (21,22) определяется следующим выражением:

р ( )=Ц1 22(1-21) В1 (21, 22) + Ц221 (1 - 22 )В2(21, 22)

Р (21/2)= 21 22(Х1 (1-21) +Х2(1 22)) .

Далее введем обозначения:

Ч1,п = Е М

г + '=«

Ч 2,п = Е Р 2,1.',П>1

г+] = п

где вероятность ч 1,« означает, что в нашей системе находится п заявок безотносительно к их типу, причем на приборе обслуживается приоритетная заявка, а вероятность Ч2,« означает, что в системе находится также п заявок, но на приборе обслуживается неприоритетная заявка.

Просуммируем последовательно для каждого п=г + '=1, да соответствующие уравнения системы уравнений равновесия и c учетом первого уравнения этой системы последовательной подстановкой придем к новой системе:

да

(х1+Х2)Р0=РЦ 1 Ч1,1 + Ц2Ч2,1 + ЧЦ 1Е Р 1,1,,'« = 0

' = 0 « + 1 да

(Х 1 + Х 2)( Ч1,п + Чг,п)= Р Ц Ч1,« +1 + Ц2 Ч2, п+1 +Ч МЕЕ Ри.Г Е Р1, г,

г=1 '=0 г + '=1

, п>1 .

Затем, просуммировав все уравнения полученной системы, с учетом условия нормировки будем иметь следующее выражение для стационарной вероятности отсутствия заявок в системе:

Р Ц1 + (Ц2 -Р Ц ) Р2,■ , ■ + ЧЦ Р1,1 ,.-(Х1 + Х2 ) Р 0=-.

Р Ц1

Теперь просуммируем четыре последних уравнения системы уравнений равновесия по всем возможным ' = 1, да, что в итоге приведет к следующей системе:

Х1 Р2,0, ■ = Ц1 Р 1,1, ■ -Х1 Р 0 ,г = 0 (Х 1 + Ц 1) Р 2, ¡, ■ = Х 1 Р2, г-1, ■ ,г . Из этой системы следует, что

х, 12

=(_^ ]

+ Ц2 I

Р 2, г, ■ = Р20, ■

= Х1 + Ц2 Ц-1Р 1,1, ■ -Х1Р0 Р 2, ■, ■ = ц 2 ■ Х1 .

Подставив полученное в выражение для Р 0, будем иметь соотношение:

Ц1 [(Ц2-Р Ц1)(х 1+Ц2)х 1 ЧЦ2] ц2( Р Ц1-Х1 -х2)

Р =--1--

0 X1 [ Р Ц1 Ц 2 + (Ц2-Р Ц х)(Хх + Ц2)] Р Ц1 Ц 2 + (Ц2-Р Ц1)(Х1 + Ц2) "

Для того чтобы получить искомые стационарные вероятности в явном виде, остается выразить вероятность Р и, ■ .

п

Вероятность сброса, поступающего пакета

Обозначим через П1 вероятность сброса заявки 2-го типа первой же приоритетной заявкой, обслужившейся на приборе. Тогда, используя формулу полной вероятности, получим:

п1=ч ЕЕ р чр 1, ,..

1=1 ] =0

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

да да да да

^ - Ро + Е Е Р • Р1,У,] + Е Е Р • Р 2, г,] .

1=1 ] =0 г = 0 ] =1

Т.е. заявка 2-го типа с вероятностью Р 0 застанет систему свободной и сразу начнет обслуживаться, а с вероятностью Р1 {к,г,])(к =1,2) застанет в системе i приоритетных и у неприоритетных заявок. Таким образом, она сможет обслужиться только в том случае, если каждая из i находящихся в системе приоритетных заявок в момент окончания своего обслуживания просто покинет систему, а произойдет это событие с вероятностью р .

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Следовательно, вероятность сброса пакета 2-го типа равна л = 1-л(ЖЛ7) , т.е. с учетом условия нормировки имеем:

да да да да

П °еП,)= Ро + Е Е Р • Р 1,г, ] + Е Е Р • Р 2, г,] .

г = 1 ] =0 г = 0 ] =1

Временные характеристики

Обозначим через W1 (х) и W2 (х) стационарные функции распределения времени ожидания начала обслуживания для заявок 1-го и 2-го типа, соответственно, а через » (5) и »2 (5) преобразования Лапласа-Стилтьеса для W1 (х) и W2 (х).

Сначала запишем выражение для » (5). С вероятностью Р0 поступающая заявка 1-го типа застанет систему свободной и сразу же начнет обслуживаться. С вероятностью р1;, поступающая приоритетная заявка застает в системе i приоритетных заявок и у неприоритетных заявок, причем на приборе находится приоритетная заявка. Аналогично, с вероятностью Р2,г,] поступающая приоритетная заявка застает в системе i приоритетных заявок и у неприоритетных заявок, но только с той разницей, что на приборе будет находиться уже неприоритетная заявка.

Таким образом, время ожидания начала обслуживания поступившей заявки будет складываться из времени обслуживания i приоритетных заявок и у неприоритетных заявок, следовательно, время ожидания начала обслуживания заявки 1-го типа будет иметь следующее преобразование Лапласа-Стилтьеса:

да Е Р 1,г,]

»1(5)=р 0+Е

] =0 1 + 5

г=1 М<2+5

Время ожидания начала обслуживания неприоритетной заявки (при условии, что за это время заявка не будет сброшена) с вероятностями Р1, г,] и Р2,1,] будет складываться из времени обслуживания i приоритетных и у неприоритетных заявок, а с вероятностью Р0 поступающая заявка застанет систему свободной и сразу же начнет обслуживаться:

»1(

1-я

Р '45 (Ц+; ) (¡^ I;) (Ц+1)

1

Заключение

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

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

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

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

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

В свете сказанного представляет интерес построение и анализ математических моделей на основе рассмотренной, но уже со следующими изменениями:

• с другим типом входящего трафика;

• отличным от экспоненциального временем обслуживания;

• несколькими приборами;

• введение механизма гистерезиса;

• построение математических моделей в дискретном времени.

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

сброшенных пакетов и среднее время пребывания такого пакета в системе.

Литература

1. Korolkova A.V., Zaryadov I.S. The Mathematical Model of the Traffic Transfer Process with a Rate Adjustable by RED // IEEE / International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, October 18-20, 2010.

2. Зарядов И.С. Расчёт показателей качества функционирования систем передачи и обработки данных с помощью обобщённого обновления. Дисс. к.ф.-м.н.: М. РУДН, 2010.— 160 с.

3. Zaryadov I.S., Pechinkin A.V. Stationary time characteristics of the GI|M|n|œ system with some variants of the generalized renovation discipline // Automation and Remote Control.—2009.— Vol. 70, No 12.—Pp. 2085-2097.

4. Зарядов И.С., Королькова А.В. Модель расчетапоказателей RED-подобных алгоритмов с помощью систем с групповым входящим потоком // International Workshop "DISTRIBUTED COMPUTER AND COMMUNICATION NETWORKS (DCCN-2011)", R&D Company "Information and Networking Technologies" — 2011. — С. 65-72.

5. Зарядов И.С., Королькова А.В. Применение модели с обобщенным обновлением к анализу характеристик систем активного управления очередями типа Random Early Detection (RED) // T-Comm—Телекоммуникации и транспорт. — 2011. — С. 84-88.

6. I.S. Zaryadov. Queueing Systems with General Renovation. ICUMT 2009 and Workshops Proceedings, 2010, p. 1-4.

i Надоели баннеры? Вы всегда можете отключить рекламу.