CC BY
43
УДК 621.39
Модель выделения ресурсов беспроводной сети объёмами
случайной величины
В. А. Наумов*, А. К. Самуйлов^
* Научно-исследовательский институт инновационных услуг
ул. Лённротинкату, д. 30, Хельсинки, Финляндия, 00180 ^ Кафедра прикладной информатики и теории вероятностей Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198
Задачей данной статьи является построение и анализ модели соты беспроводной сети LTE (Long Term Evolution) в виде многолинейной системы массового обслуживания (СМО) с потерями, вызванными нехваткой ресурсов, необходимых для обслуживания заявок. Принятая на обслуживание заявка занимает случайный объем ресурсов нескольких типов с заданными функциями распределения. Случайные векторы, описывающие требования заявок к ресурсам, не зависят от процессов поступления и обслуживания заявок, независимы в совокупности и одинаково распределены. На систему поступает L независимых пуассоновских потоков заявок, а для их обслуживания имеется N идентичных приборов. Длительности обслуживания заявок распределены по экспоненциальному закону. Функционирование СМО описывается полумарковским процессом, который учитывает число находящихся на обслуживании заявок, их типы и объёмы занимаемых ими ресурсов. Получены явные выражения для стационарного распределения полумарковского процесса, а основным результатом статьи является теорема о мультипликативности по числу входящих потоков стационарного распределения объёмов занятых ресурсов. Дальнейшие исследования предполагают проверку гипотезы об инвариантности вида стационарного распределения относительно закона распределения длительности обслуживания, а также разработку численных методов для анализа вероятностно-временных характеристик системы.
Ключевые слова: многолинейная система массового обслуживания, ограниченный ресурс, случайный объем занимаемого ресурса, полумарковский процесс, стационарное распределение, теорема о мультипликативности.
Введение
В статье исследована модель выделения радиоресурсов пользователям беспроводной сети, реализованной на базе технологии LTE. Модель учитывает особенности выделения ресурсов, которые, по сути, заключаются в том, что объём ресурса соты сети ограничен, а запросы пользователей (абонентов, устройств и пр.) порождают требования на предоставление им ресурса, объём которого, вообще говоря, является случайной величиной (с.в.) с заданной функцией распределения (ФР). В этом и заключается отличие предлагаемой в данной статье модели от известных ранее моделей. Во-первых, в известных моделях мультисервисных сетей с потерями [1-5] в явном виде отсутствовал параметр, определяющий наличие ресурса заданного ограниченного объёма, и, во-вторых, требования пользователей к занимаемому ресурсу являлись детерминированными. Например, в работах Ф. Келли [1], К. Росса [2], Г.П. Башарина [3], К.Е. Самуйлова [4,5], посвящённых анализу мультисервисных сетей с потерями, эти требования определялись как некоторые константы, соответствующие числу условных единиц ширины полосы пропускания, занимаемой в сети соединением пользователя. Отметим, что идея построения модели и начальные исследования были опубликованы в [6], а в статье [7] были представлены предложения по прикладным аспектами и численному анализу.
В данной статье получены явные выражения для стационарного распределения системы с ограниченным ресурсом, несколькими пуассоновскими входящими
Статья поступила в редакцию 14 февраля 2015 г.
потоком и экспоненциальным обслуживанием. Основным результатом статьи является теорема о мультипликативности по числу потоков стационарного распределения объёмов занятых ресурсов.
1. Описание модели
Перейдём к описанию математической модели, которая построена в терминах многолинейных систем массового обслуживания (СМО).
Рассмотрим изображённую на рис. 1 многолинейную СМО о N ^ то приборами, на которую поступают Ь независимых пуассоновских потоков заявок с ин-тенсивностями Х\, Х2,..., Хь соответственно. Длительности обслуживания заявок независимы между собой, от поступающих потоков и экспоненциально распределены с параметром щ для заявок типа I. Обозначим через К общий объём ресурса, имеющегося в системе для обслуживания заявок, и будем считать, что объём ресурса, требуемого заявкам типа I, является с.в. с ФР ^ (х), не зависящей от процессов поступления и обслуживания заявок. Обслуживающимся заявкам присваивается номер, причём так, чтобы заявка с номером % имела г-е по величине остаточное время обслуживания. Этот номер следует отличать от порядкового номера заявки. При поступлении новой заявки все находящиеся на обслуживании заявки перенумеровываются. Для обслуживания каждой заявки требуется некоторый случайный объём ресурса, а поступившая заявка теряется, если в момент поступления свободного ресурса системы недостаточно. В момент начала обслуживания заявки суммарный объём занятого ресурса увеличивается на величину выделенного ей ресурса, а в момент окончания обслуживания заявки суммарный объём занятого ресурса уменьшается на ту же величину.
N1
1ку
г 4>.р.
Лрк(х)
Рис. 1. Многолинейная СМО с ресурсом ограниченного объёма
Состояние системы в момент £ описывается полумарковским процессом X(1) = Здесь — число заявок в системе, в(1) := (в1(1),в2(1),..., 0%(ь)(£)) и ^(1) := (71(^,72^),... ,7£(<)№), где 0^) — тип г-й обслуживаемой заявкой и ъ(^) — объём занимаемого ею ресурса.
Состояние системы изменяется в моменты ti, когда либо поступает заявка, либо завершается обслуживание. Рассмотрим интервал постоянства (£¿-1 , ¿¿), на котором X(1) = (к, 11,12,... ,1к,с1,... ,Ск). Можно показать, что длина такого интервала имеет экспоненциальное распределение с параметром Л + ^,(11,... ,1к), где
ь к
X = Х1 и ^,(11,..., 1к) = ^ 1лк .В момент завершения интервала постоянства
1=1 ¿=1
либо с вероятностью Х1 /(X + ^(1 -]_,..., 1к)) поступает новая заявка, либо с вероятностью ^,(11,..., 1к)/(А + ^(1 -]_,..., 1к)) завершается обслуживание. При нумерации обслуживаемых заявок в порядке убывания их остаточных времён обслуживания в момент окончания обслуживания систему покидает заявка с максимальным номером. Поэтому если ti — момент завершения обслуживания, то в этот момент процесс X(1) переходит из состояния (к, 1]_, 12,..., 1к, с1,...,Ск) в состояние (к - 1, Ь,..., 1к-1, С1,...,ск-1).
В момент ti поступления заявки возможен переход процесса X (1) в различные состояния. Пусть поступившей в момент и заявке типа ] требуется ресурс объёма
с. Обозначим через й := С\ + С2 +... + Ск суммарный объём занятого в этот момент ресурса.
2. Вспомогательные утверждения и система уравнений
равновесия
Известно следующее утверждение: пусть с.в. ^1,С2,... ,Ск независимы и экспоненциально распределены с параметрами р\,Р2,... соответственно, тогда
р й > С2 >... > а} = П
n=i
Е vi
(1)
Из формулы (1) следует, что принятая к обслуживанию заявка типа ] получит номер г с вероятностью, определяемой следующей формулой
(Ii,
Н
,lk) = <
^j + ß(h,. ..,lk) Н
1;
1
П ,. )\..,lk) ,, 1 <i < к;
Vj + Kh, ...,lk) = Vj + Klr, ...,lk)
(2)
П
ß(lr , . . . ,lk)
r=i H + lJ'(lr, ...Jk) '
г = к + 1.
Если в момент поступления заявки число обслуживаемых заявок к было меньше, чем N, и с + ё ^ Л, то заявка будет принята к обслуживанию и процесс X с вероятностью aj^(11,... ,1к) перейдёт из состояния (к, 11,12,... ,1к,с1,... ,Ск) в состояние (к + 1,11,... и-1,], ... ,1к,с1,... ,Сг-1, с,сг,..., Ск). В противном случае заявка теряется и состояние системы остаётся неизменным.
Введём стационарное распределение процесса X (Ь):
ро = иш р (е (г) = 0},
Pk1....,l к (Xl,...,Xk ) =
= lim Р{£(t) = к; &i(t) = h,...,0k(t) = lk, 71 (t) < ®i,...,lk(t) < Xk}.
Приведённое выше описание изменений состояний системы однозначно определяет переходные вероятности процесса X (t) [8] и приводит к следующей системе уравнений равновесия для его стационарного распределения:
L L
Ро £ XjFj (R) = £ ßjp](R);
j=i j=i
(3)
E л
=1
Fj(R - Vi)Ph (dyi) + Ph (xi)ßh
O^yi <xi
= XiiF(xi)po + ^(ßj + ßh) j plj(dyi, dys), 1 < h < L, 0 < xi < R; (4)
y0 I I ИН
j = i O^yi^xi
0<У2^Д-У1
V
п
] Р3 (К - У1 - У2 ... Ук )Р11112...1к (дУ и д д Ук) +
3=1 О^Уг^хг, г=1,2,...,к
к
+ Р11112...1к (Х1,Х2,...,Хк =
= X) X ХЗаИ (11 . . . Ь-1 1 . . . 1к Ы-.1 111+1... 1к Х1-иХ1+и. . . , Хк ^ (Х^ +
1=1
Ь к
л3и31(11 . . . Н-1 н+1 . . . 1к)Р1-.Л.1_ 1и+1..лк •
3 = 1 г=1
3 + 1 ... ^к )) Рь + ЛкЗ 1,..., Й Ук, Й Ук+1),
3=1 О^Уг^Хг, г=1,2,...,к
0^ук+1^Я-у1-...-ук
к
1 < к,..., 1к ^Ь, х1,х2,...,хк > 0, < К, 1 <к<И; (5)
{=1
РЬ12...1м (Х1,Х2,...,ХШ =
г=1
Ь N
= 1 . . . к-1 к+1 . . . ) Р^-^ 11+1...1„ (х^.. .,ХН-1,ХН+1,.. .,хн № (ХН),
3=1 г=1
N
1 < Ь,..., Ы ^ Ъ, х1,х2,...,х^ ^ 0, ^^х^ < Я. (6)
Нетрудно убедиться путём подстановки, что решение системы уравнений (3)— (6), удовлетворяющее нормировочному условию
N
Ро + Х X / Рь.;1к (джь &хк) = 11, (7)
к=1 1^11,...,1к^Ь ХиХ2,...,Хк>0
Х1+Х2+...+Хк^Н
имеет следующий вид
к М
Р1и...,1к (^1,Х2 ,...,Хк) = Р0^1 (Х1 ^ (Х2) ...Р1к (Хк) П к 1п
п=1 Е
г=п
(8)
1 < к,..., 1к ^Ь, х1,х2,...,хк > 0, < К, 1 <к
к
Хг
г=1
где
(М к1 к2 к \ -1
1 + £ X *1(к1) *^к2) * ... ^ Ь ...|г . (9)
г=1 к1+...+кг=г '
Здесь р1 = —, символ * есть знак свёртки, а Р(к (х) обозначает к-кратную свёртку
ФР Р^ (х). Введём символ Кронекра — 5^1 = 1, если ] = I и 5^1 =0 в противном случае.
Лемма 1. Пусть к независимых случайных величин (2,..., (к разбиты на Ь < к непустых групп, причём все величины, входящие в ю группу, имеют экспоненциальное распределение с параметром ^^. Обозначим д(г) номер группы, в которую входит случайная величина ^ и определим случайные величины в1, в2,..., вк как номера величин С,2,..., Ск при их упорядочении по убыванию, т.е. так, чтобы выполнялись неравенства > (в2 > ... > . Пусть, кроме того, к^ есть число случайных величин ^ входящих в ]-ю группу, и обозначим рк (к1,...,кь) множество всех целочисленных векторов (I1,12,..., 1к) длины к = к1 + к2 + ... + кь, среди компонент которых число ] встречается ровно kj раз для каждого ] = 1, 2, ...,Ь. Тогда справедлива следующая формула:
к
Р [д (вг) = к,...,д (вк) = к} = \ ! I П ^
^=1 ) п=1 ^ (10)
г=п
(11,12,..., 1к) е р (к1,...,кь).
Доказательство. Согласно формуле (1) для любой перестановки 81,..., 8к чисел 1, ... , к справедливо равенство
к
р [и > с«2 >... > а,} = П Ъ(8п)
к
п 1 Е 1д(эг)
и поэтому
Р [д (в 1) = 11,..., д (в к ) = 1к } =
£
р [ са1 >... > и} =
)=1 V, и=1,2,...,к
Е П
1д п)
Е П
Ип
п=1 у^ ^ (8г) ,...,вк^к п=1
, i=j 1д , i=j ^ г
д(8и)=, и=1,2,...,к
д($и)=, и=1,2,...,к
Заметим, что последнее произведение не зависит от индексов суммирования 81,..., 8к. Поэтому сумма, в которую оно входит, равняется этому произведению, умноженному на общее число индексов суммирования, т.е. на число перестановок в1,..., 8 к чисел 1, 2,...,к, удовлетворяющих равенствам д( 8и) = 1и = 1,2,..., к. Поскольку среди компонент вектора (Iь..., 1к) число ] встречается ровно kj раз для каждого = 1, 2, ... , Ь, то число таких перестановок 1, ... , к равно произведению к1!к2!...кь!. Лемма доказана. □
Следствие. Справедливо равенство
к
Е ПТ^ = (11)
( 11,..., 1к)€Рк(к1,...,кь)п=1 ^ П ^ !
= п =1
Доказательство. Равенство вытекает из формул (10) и того факта, что суммирование вероятностей Р {д (в1) = 1\, ...,д (0к) = 1к} по всем векторам (I1,..., 1к) € фк (Ь,...,кь) даёт единицу.
3. Теорема о мультипликативности стационарного
распределения
Введём стационарные вероятности того, что в системе находятся кj заявок типа з и суммарный объём занимаемого ими ресурсов не превосходит Xj, з = 1,2,..., Ь
Рки...,кь (х\,Х2, ...,хЬ) =
= X / Рки-, Ь (<У ^ <Ук),
(1 г,..., 1к)е<Рк{к1,...,кь) у.^0, г=1,2,...,к к
Е , j = 1,2,...,Ь
к
{ хг
г=1 í=l
х1,х2,...,хк > 0, < Е, к1,...,кь > 0, (12)
Здесь фк(к1,..., кь) — множество всех целочисленных векторов (11,12,..., 1к) длины к = к1 + к2 + ... + кь, среди компонент которых число 3 встречается ровно кj раз для каждого 3 = 1,2,... ,Ь.
Теорема 1. Стационарные вероятности того, что в системе находятся кj ■заявок типаз и суммарный объём .занимаемого ими ресурсов не превосходит Xj, 3 = 1,2,... ,Ь, имеют мультипликативный вид:
Ркг,..,кь (х1,х2, ...,хь)= Ро Д ^^ ) ,
=1
где
к Ь
х1,х2,... ,хк > 0, У^JX^
=1 =1
и
(М кг к2 к \ -1
1 + Е Е ^* )(Е)^к,-к,
г=1 к1+...+кг=г 12 ' /
Доказательство теоремы следует из леммы и формул (8)-(9).
Заключение
В статье получено стационарное распределение для СМО с ограниченным ресурсом, несколькими входящими пуассоновскими потоками и экспоненциальным обслуживанием. Показано, что стационарное распределение имеет мультипликативный вид. Дальнейшие исследования предполагают проверку гипотезы об инвариантности вида стационарного распределения относительно закона распределения длительности обслуживания аналогично тому, как это сделано в [9], а также разработку численных методов для анализа вероятностно-временных характеристик системы.
Литература
1. Kelly F. P. Mathematical Models of Multiservice Networks // Complex Stochastic Systems and Engineering. — Oxford University Press, 1995. — Pp. 221-234.
2. Ross K. W. Multiservice Loss Models for Broadband Telecommunication Networks. — London: Springer-Verlag, 1995. — 343 p.
3. Башарин Г. П. Лекции по математической теории телетрафика. Изд.3-е, пере-раб. и доп. — Москва: РУДН, 2009. — 342 с.
4. Наумов В. А., Самуйлов К. Е., Яркина Н. В. Теория телетрафика мультисер-висных сетей. Монография. — Москва: РУДН, 2008. — 191 с.
5. Башарин Г. П., Гайдамака Ю. В., Самуйлов К. Е. Математическая теория телетрафика и ее приложения к анализу мультисервисных сетей связи следующих поколений // Автоматика и вычислительная техника. — 2013. — № 2. — С. 11-21.
6. Наумов В. А., Самуйлов К. Е. О моделировании систем массового обслуживания с множественными ресурсами // Вестник РУДН. Серия «Математика. Информатика. Физика». — 2014. — № 3. — С. 60-64.
7. Two Approaches to Analyzing Dynamic Cellular Networks with Limited Resources / V. Naumov, K. Samouylov, E. Sopin, A. S. // 6th Int. Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). — Moscow: 2014. — Pp. 585-588.
8. Королюк В. С., Турбин А. Ф. Процессы марковского восстановления в задачах надежности систем. — Киев: Наукова Думка, 1982.
9. Севастьянов Б. А. Эргодическая теорема для марковских процессов и ее приложение к телефонным линиям с отказами // Теория вероятностей и ее приложения. — 1957. — Т. 2, вып. 1. — С. 106-116.
UDC 621.39
Queuing System with Resource Allocation of the Random
Volume
V. A. Naumov*, A. K. Samuylov^
* Service Innovation Research Institute 30, Lonnrotinkatu, Helsinki, Finland, 00180
^ Department of Applied Probability and Informatics Peoples' Friendship University of Russia 6, Miklukho-Maklaya str., Moscow, Russian Federation, 117198
The objective of this paper is the construction and analysis of the model of the wireless LTE network (Long Term Evolution) as a multiserver queuing system where losses are caused by a lack of resources required to service requests. Adopted by the service application takes a random amount of resources given to several types of distribution functions. Random vectors describing the requirements of applications to resources, processes do not depend on input flow and service distribution are jointly independent and identically distributed. L independent Poisson flows of requests enter the system, and there are N identical devices. Service times are distributed exponentially. The functioning of the system is described by the semi-Markov process, which takes into account the number of serviced requests, their types and amounts of resources they occupy. Explicit expressions for the stationary distribution of the semi-Markov process, and the theorem on product form solution are main results of the paper. Further studies suggest checking the hypothesis of invariance with respect to the form of the stationary distribution of the distribution of the service time and the development of numerical methods for the analysis of probability measures of the system.
Key words and phrases: multiserver queuing system, a limited resource, a random amount of allocated resource, semi-Markov process, the stationary distribution, the theorem of multiplicative solution.
References
1. F. P. Kelly, Mathematical Models of Multiservice Networks, Oxford University Press, 1995, pp. 221-234.
2. K. W. Ross, Multiservice Loss Models for Broadband Telecommunication Networks, Springer-Verlag, London, 1995.
3. G. P. Basharin, Lectures on the Mathematical Theory of Teletraffic, RUDN, Moscow, 2009, in Russian.
4. V. F. Naumov, K. E. Samuylov, N. V. Yarkina, Teletraffic Theory for Multiservice Networks, RUDN, Moscow, 2007, in Russian.
5. G. P. Basharin, Y. V. Gaidamaka, K. E. Samouylov, Mathematical Theory of Teletraffic and Its Application to the Analysis of Multiservice Communication of Next Generation Networks, Automatic Control and Computer Sciences 47 (2) (2013) 62-69.
6. V. A. Naumov, K. E. Samouylov, On the Modeling of Queuing Systems with Multiple Resources, Bulletin of Peoples' Friendship University of Russia. Series "Mathematics. Informatics. Physics" (3) (2014) 60-64, in Russian.
7. V. Naumov, K. Samouylov, E. Sopin, A. S., Two Approaches to Analyzing Dynamic Cellular Networks with Limited Resources, in: 6th Int. Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, 2014, pp. 585-588.
8. V. S. Korolyuk, A. F. Turbin, Markov Renewal Processes in Problems of Reliability of Systems, Naukova Dumka, Kiev, 1982, in Russian.
9. B. A. Sevastianov, An Ergodic Theorem for Markov Processes and its Application to the Phone Lines with Failures, Theory of Probability and its Applications 2 (1957) 106-116, in Russian.
