Spectral expansion method for analysis of a system with shifted Erlang and hyper-Erlang distributions
- Authors: Tarasov V.N.1, Bakhareva N.F.1
-
Affiliations:
- Povolzhskiy State University of Telecommunications and Informatics
- Issue: Vol 24, No 2 (2021)
- Pages: 55-61
- Section: Articles
- URL: https://journals.ssau.ru/pwp/article/view/9357
- DOI: https://doi.org/10.18469/1810-3189.2021.24.2.55-61
- ID: 9357
Cite item
Full Text
Abstract
In this paper, we obtained a spectral expansion of the solution to the Lindley integral equation for a queuing system with a shifted Erlang input flow of customers and a hyper-Erlang distribution of the service time. On its basis, a calculation formula is derived for the average waiting time in the queue for this system in a closed form. As you know, all other characteristics of the queuing system are derivatives of the average waiting time. The resulting calculation formula complements and expands the well-known unfinished formula for the average waiting time in queue in queuing theory for G/G/1 systems. In the theory of queuing, studies of private systems of the G/G/1 type are relevant due to the fact that they are actively used in the modern theory of teletraffic, as well as in the design and modeling of various data transmission systems.
Full Text
Введение
Данная работа посвящена анализу системы массового обслуживания (СМО) E2/HE2/1 со сдвинутыми эрланговским входным потоком требований и гиперэрланговским распределением 2-го порядка времени обслуживания в системе, которая обозначена где знак «–» означает сдвиг закона распределения вправо от нулевой точки на величину t0. Как известно из теории массового обслуживания, среднее время ожидания является основной характеристикой для любых СМО. По этой характеристике оценивают задержки пакетов в сетях пакетной коммутации при моделировании телетрафика с помощью СМО. Рассматриваемая СМО по символике Кендалла для их классификации относится к типу G/G/1.
В теории массового обслуживания исследования систем G/G/1 актуальны в связи с тем, что они активно используются в современной теории телетрафика, хотя необходимо заметить, что при моделировании активного сетевого оборудования с ограниченным буфером системы с неограниченным временем ожидания могут быть использованы только в первом приближении [9]. В пакетах имитационного моделирования также предусмотрено использование систем G/G/1 при частных законах распределений [10].
Метод спектрального разложения решения интегрального уравнения Линдли (ИУЛ) в исследовании систем G/G/1 играет важную роль, и большинство результатов в теории массового обслуживания получены именно с помощью данного метода. Одна из форм ИУЛ выглядит так [1]:
где – функция распределения вероятностей (ФРВ) времени ожидания требования в очереди; – ФРВ случайной величины где, в свою очередь, – случайное время обслуживания требования; – случайная величина – интервал времени между поступлениями требований.
При кратком изложении метода решения уравнения Линдли будем придерживаться подхода и символики автора [1]. Для этого через и обозначим преобразования Лапласа функций плотности распределения интервалов между поступлениями и времени обслуживания соответственно. Суть решения интегрального уравнения Линдли методом спектрального разложения состоит в нахождении для выражения представления в виде произведения двух множителей, которое давало бы рациональную функцию от s. Следовательно, для нахождения закона распределения времени ожидания необходимо следующее спектральное разложение: где и – некоторые рациональные функции от s, которые можно разложить на множители. Функции и должны удовлетворять следующим условиям согласно [1]:
- Для функция является аналитической без нулей в этой полуплоскости;
- Для функция является аналитической без нулей в этой полуплоскости, где D – некоторая положительная константа, определяемая из условия:
Кроме того, функции и должны обладать следующими свойствами:
(2)
Постановка задачи
В работе ставится задача нахождения решения для среднего времени ожидания требований в очереди в СМО со сдвинутыми эрланговским и гиперэрланговским входными распределениями с использованием классического метода спектрального разложения решения ИУЛ. Для других систем применение этого метода рассмотрено в работах [2; 6–8]. Вопросы аппроксимации законов распределений подробно освещены в [3–5], а новые исследования по системам массового обслуживания приведены в [11–14].
Решение задачи для системы
Рассмотрим СМО для которой законы распределения входного потока и времени обслуживания задаются функциями плотности:
(3)
(4)
Как видно из распределений (3) и (4), они при параметре сдвига t0 = 0 обращаются в обычные распределения, и в этом можно заметить преемственность обычных систем и систем с запаздыванием во времени.
Запишем преобразования Лапласа функций (3) и (4):
В этом случае выражение для спектрального разложения решения ИУЛ примет следующий вид:
(5)
Здесь экспоненты из-за противоположных знаков обнуляются, и тем самым операция сдвига законов распределений нивелируется.
Представим выражение, стоящее в квадратных скобках, в виде
где промежуточные параметры обозначены Продолжая спектральное разложение (5), получим:
Окончательно спектральное разложение решения ИУЛ для системы имеет вид
(6)
Пояснения к разложению (6). Многочлен пятой степени в числителе разложения в случае стабильной системы
(7)
с коэффициентами:
имеет четыре действительных отрицательных корня (либо два действительных отрицательных корня и два комплексно сопряженных с отрицательными действительными частями) и один положительный корень Исследование знака младшего коэффициента показывает, что всегда в случае стабильной системы, когда С учетом знака минус перед в многочлене (7) это также подтверждает предположение о наличии таких корней многочлена.
На рисунке показана комплексная s – плоскость с нулями и полюсами функции где полюсы отмечены крестиками, а нули – кружками. Нули и полюсы нужны для построения функций и в отдельности.
Рис. Нули и полюсы функции для системы M/HE2/1
Fig. Zeros and poles of the function for the system M/HE2/1
Принимая во внимание условия спектрального разложения (1), (2) строим функции и с учетом нулей и полюсов разложения:
Константа спектрального разложения
Эта константа определяет вероятность того, что поступающее в систему требование застает ее свободной.
Далее по методике спектрального разложения строим функцию
Отсюда преобразование Лапласа функции плотности времени ожидания будет равно
(8)
Для нахождения среднего времени ожидания найдем производную от функции со знаком минус в точке s = 0:
(9)
Преобразование Лапласа (8) позволяет кроме среднего времени ожидания находить также и моменты высшего порядка времени ожидания. С учетом определения вариации задержки – джиттера в телекоммуникациях как разброс времени ожидания от его среднего значения [14], тем самым получим возможность определения джиттера через дисперсию времени ожидания.
Для того чтобы воспользоваться формулой (9) для расчетов среднего времени ожидания, необходимо задать входные параметры, в качестве которых используем значения начальных моментов первого порядка интервалов поступлений и времени обслуживания а также их коэффициентов вариаций С помощью этих входных параметров необходимо определить методом моментов неизвестные параметры распределений (3) и (4) а затем коэффициенты многочлена (7).
Определим числовые характеристики распределения (3) с использованием преобразования Лапласа. Средний интервал между поступлениями требований в систему равен
(10)
Второй начальный момент интервала между поступлениями равен
откуда
Определим квадрат коэффициента вариации:
Отсюда коэффициент вариации:
(11)
Значение первой производной функции со знаком минус в точке s = 0 дает среднее значение времени обслуживания
(12)
а значение второй производной функции в точке s = 0 дает второй начальный момент времени обслуживания
(13)
Отсюда определим квадрат коэффициента вариации интервалов поступления:
(14)
Заметим, что коэффициенты вариации и при параметре сдвига Таким образом, очевидно, что система относится к типу G/G/1.
Рассматривая выражения (10)–(15) как форму записи метода моментов, найдем неизвестные параметры распределения (3) и (4). Определим параметр распределения (3) λ из (10) и получим значение
Нахождение параметров распределения (4) будет аналогичным нахождению этих параметров для обычного распределения. Теперь, исходя из вида уравнения (12), положим:
(15)
и потребуем выполнения условия (14). Подставив частное решение (15) в (14), решим полученное уравнение четвертой степени относительно параметра q с учетом условия и выберем нужное решение:
а затем определим из (15) параметры и
Задавая значения в качестве входных параметров системы, таким образом находим известным методом моментов все неизвестные параметры распределений (3) и (4).
Теперь рассмотрим влияние параметра сдвига на коэффициенты вариаций распределений. Для эрланговского закона распределений интервалов поступлений и, сравнивая это с выражением (11), устанавливаем, что параметр сдвига уменьшает коэффициент вариации интервалов поступлений в раз. Для обычного распределения HE2 времени обслуживания, как следует из выражений (14), получим:
Сравнивая последнее выражение с (14), убеждаемся, что параметр сдвига во времени уменьшает коэффициент вариации интервалов поступлений в раз. Учитывая квадратичную зависимость среднего времени ожидания от коэффициентов вариаций интервалов поступлений и времени обслуживания, убеждаемся в том, что введение параметра сдвига в законы распределения уменьшает среднее время ожидания в очереди в СМО.
Результаты вычислительных экспериментов
В таблице приведены расчетные значения среднего времени ожидания для системы с запаздыванием для случаев малой, средней и высокой нагрузки 0,5; 0,9 при значениях параметра сдвига от 0,001 до 0,999 и коэффициенте вариации времени обслуживания для обычной системы E2/H2/1. Значения параметров и в системе изменяются согласно выражениям (11) и (14). Расчеты проведены для нормированного времени обслуживания
Таблица. Результаты экспериментов для СМО при для системы E2/HE2/1
Table. Результаты экспериментов для СМО при для системы E2/HE2/1
Входные параметры | Среднее время ожидания | ||||
ρ | cλ | cµ | t0 | для системы (1) | для системы E2/HE2/1 |
0,1 | 0,636 | 0,355 | 0,999 | 0,006 | 0,018 |
0,672 | 0,473 | 0,5 | 0,006 | ||
0,700 | 0,645 | 0,1 | 0,013 | ||
0,706 | 0,703 | 0,01 | 0,017 | ||
0,707 | 0,709 | 0,001 | 0,018 | ||
0,5 | 0,354 | 0,355 | 0,999 | 0,063 | 0,395 |
0,530 | 0,473 | 0,5 | 0,124 | ||
0,672 | 0,645 | 0,1 | 0,321 | ||
0,704 | 0,703 | 0,01 | 0,386 | ||
0,707 | 0,709 | 0,001 | 0,394 | ||
0,9 | 0,071 | 0,355 | 0,999 | 0,568 | 4,380 |
0,389 | 0,473 | 0,5 | 1,511 | ||
0,643 | 0,645 | 0,1 | 3,578 | ||
0,701 | 0,703 | 0,01 | 4,292 | ||
0,706 | 0,709 | 0,001 | 4,371 |
Таким образом, данные таблицы демонстрируют качественное и количественное влияние параметра сдвига на числовые характеристики распределений (3) и (4) и, следовательно, на основную характеристику системы - среднее время ожидания. Как и следовало ожидать, уменьшение коэффициентов вариации и влечет за собой многократное уменьшение времени ожидания.
Заключение
Таким образом, по результатам работы можно сделать следующие выводы.
Научная новизна результатов заключается в том, что получено спектральное разложение решения интегрального уравнения Линдли для рассматриваемой системы и с его помощью выведена расчетная формула для среднего времени ожидания в очереди для этой системы в замкнутой форме. Данные численных экспериментов подтверждают полную адекватность полученных теоретических результатов.
Практическое значение работы состоит в том, что полученные результаты с успехом могут быть применены в современной теории телетрафика, где задержки пакетов входящего трафика играют первостепенную роль. Для этого необходимо знать числовые характеристики интервалов входящего трафика и времени обслуживания на уровне двух первых моментов, что не вызывает трудностей при использовании современных анализаторов трафика.
About the authors
Veniamin N. Tarasov
Povolzhskiy State University of Telecommunications and Informatics
Email: tarasov-vn@psuti.ru
Doctor of Technical Sciences, Professor, Head of the Department of Software and Management in Technical Systems
Russian Federation, SamaraNadezhda F. Bakhareva
Povolzhskiy State University of Telecommunications and Informatics
Author for correspondence.
Email: bakhareva-nf@psuti.ru
Doctor of Technical Sciences, Professor, Head of the Department of Informatics and Computer Engineering
Russian Federation, SamaraReferences
- Klejnrok L. Queuing Theory. Trans. from English ed. by V.I. Neumann. Moscow: Mashinostroenie, 1979, 432 p. (In Russ.)
- Brännström N. A Queueing Theory Analysis of Wireless Radio Systems: master’s thesis applied to HS-DSCH. Lulea University of Technology, 2004, 79 p. URL: http://ltu.diva-portal.org/smash/get/diva2:1016709/FULLTEXT01
- Aliev T.I. Approximation of probability distributions in queuing models. Nauchno-tehnicheskij vestnik informatsionnyh tehnologij, mehaniki i optiki, 2013, no. 2 (84), pp. 88–93. URL: https://ntv.ifmo.ru/ru/article/4127/approksimaciya_veroyatnostnyh_raspredeleniy_v_modelyah_massovogo_obsluzhivaniya.htm (In Russ.)
- Myskja A. An improved heuristic approximation for the GI/GI/1 queue with bursty arrivals. Teletraffic and Datatraffic in a Period of Change, ITC-13: proc. of congress, Copenhagen, Denmark, 19–26 June 1991, pp. 683–688. URL: https://gitlab2.informatik.uni-wuerzburg.de/itc-conference/itc-conference-public/-/raw/master/itc13/myskja911.pdf?inline=true
- Whitt W. Approximating a point process by a renewal process, I: Two basic methods. Operation Research, 1982, vol. 30, no. 1, pp. 125–147. DOI: https://doi.org/10.1287/opre.30.1.125
- Malahov S.V., Kartashevskij I.V., Tarasov V.N. Theoretical and experimental study of delay in software defined networks. Infokommunikacionnye tehnologii, 2015, vol. 13, no. 4, pp. 409–413. DOI: https://doi.org/10.18469/ikt.2015.13.4.08 (In Russ.)
- Malahov S.V., Tarasov V.N. Experimental studies of the performance of the SDN segment. Intellekt. Innovatsii. Investitsii, 2013, no. 2, pp. 81–85. (In Russ.)
- Tarasov V.N., Lipilina L.V., Bahareva N.F. Automation of calculating the characteristics of queuing systems for a wide range of changes in their parameters. Informatsionnye tehnologii, 2016, vol. 22, no. 12, pp. 952–957. URL: http://novtex.ru/IT/it2016/it1216_web-952-957.pdf (In Russ.)
- Tarasov V.N. Probabilistic Computer Modeling of Complex Systems. Samara: SNTs RAN, 2002, 194 p. (In Russ.)
- Tarasov V.N., Konnov A.L., Ushakov Yu.A. Analysis and optimization of local networks and communication networks using the OPNET Modeler software system. Vestnik Orenburgskogo gosudarstvennogo universiteta, 2006, no. 6-2 (56), pp. 197–204. URL: http://vestnik.osu.ru/doc/1033/article/2762/lang/0 (In Russ.)
- Jennings O.B., Pender J. Comparisons of ticket and standard queues. Queueing Systems, 2016, vol. 84, no. 1–2, pp. 145–202. DOI: https://doi.org/10.1007/s11134-016-9493-y
- Gromoll H.C., Terwilliger B., Zwart B. Heavy traffic limit for a tandem queue with identical service times. Queueing Systems, 2018, vol. 89, no. 3–4, pp. 213–241. DOI: https://doi.org/10.1007/s11134-017-9560-z
- Legros B. M/G/1 queue with event-dependent arrival rates. Queueing Systems, 2018, vol. 89, no. 3–4, pp. 269–301. DOI: https:// doi.org/10.1007/s11134-017-9557-7
- Jacobovic R., Kella O. Asymptotic independence of regenerative processes with a special dependence structure. Queueing Systems, 2019, vol. 93, no. 1–2, pp. 139–152. DOI: https://doi.org/10.1007/s11134-019-09606-1
- Demichelis C., Chimento P. IP Packet Delay Variation Metric for IP Performance Metrics. URL: https://tools.ietf.org/html/rfc3393