Приближенный метод анализа однолинейных систем массового обслуживания с постоянным временем обработки заявок

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

А. Н. Соколов

Санкт-Петербургский государственный университет телекоммуникаций им. М. А. Бонч-Бруевича, 191186, Санкт-Петербург, Россия

УДК 621.394.343

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

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

In clause, the evaluation method of the queuing system characteristics with determined service time is proposed. Method is based on the discretization of interarrival distribution function. Criterion for the choice of discretization interval is introduced. This criterion takes into account permissible error of the investigated values.

Key words: delay, approximation, discretization, distribution function, queuing system.

Введение. Ряд компонентов современных телекоммуникационных сетей можно исследовать с помощью модели, которая представляет собой однолинейную систему массового обслуживания (СМО) с постоянным временем обработки заявок. В классификации Кендал-ла [1] такая система обозначается G/D/1. Символ G указывает на произвольный характер функции распределения (ФР) длительности интервалов между моментами поступления заявок A(t). Символ D используется в тех случаях, когда длительность обработки (в теории телетрафика используется также термин "обслуживание") заявок может считаться постоянной величиной. Такая гипотеза приемлема для многих компонентов пакетных сетей. В этих сетях IP-пакет, представляющий собой заявку в терминах теории телетрафика, обрабатывается за время, которое можно считать неизменной величиной. Цифра 1 в третьей позиции классификации Кендалла указывает на тот факт, что количество обслуживающих устройств равно единице.

Анализ модели G/D/1 существенно упрощается, если функцию A(t) можно представить как экспоненциальное распределение. Однако такое допущение нельзя считать приемлемым для большинства компонентов сети, построенной с использованием IP-технологии. В [2] для систем вида Gs/D/1 приведены выражения для расчета кумулянтов, позволяющих провести анализ вероятностно-временных характеристик, которые определяют качество обслуживания трафика. Нижний индекс s (первая буква в слове "stepped") означает, что функция A(t) является ступенчатой. Такой вид распределения A(t) представляет интерес, когда для описания входящего потока заявок используются результаты измерений.

При исследовании некоторых СМО (например, проектируемых) невозможно провести измерения для получения функции A(t), но можно ввести обоснованную гипотезу о ее характере. В таких случаях функция A(t) описывается одним из известных законов распределения

случайных величин [3]. В данной работе предлагается приближенный метод анализа СМО 0/0/1 на основе результатов, полученных в [2]. В основу метода положена дискретизация функции А(Ь) с некоторым периодом т, что позволяет перейти от исследуемой системы к модели вида 03/0/1.

Для описания ступенчатой функции А(Ь) целесообразно использовать преобразование Лапласа — Стилтьеса а(в). Если в точке гт определено приращение исследуемой функции Хг, то преобразование а (в) имеет вид [4]

е-гтз.

а(з) = ^2 Хг

г=0

На практике верхний предел суммирования ограничен значением индекса г, для которого в процессе измерений было зафиксировано последнее приращение функции А(Ь). Значение т обычно очень мало. Это позволяет выбрать некоторое целое значение д, позволяющее считать время обслуживания заявок равным произведению дт. Тогда преобразование Лапласа - Стилтьеса ФР длительности обслуживания заявок в (в) определяется следующим соотношением [4]:

в

Очевидно, что при замене распределения А(Ь) ступенчатой функцией точность результатов исследования СМО будет зависеть от величины т. С этой точки зрения рассматриваемая задача подобна выбору периода дискретизации аналогового сигнала. Для определения требований к величине т целесообразно исследовать несколько моделей с функцией А(Ь) различного вида.

1. Три аппроксимации функции А(Ь) для экспоненциального распределения.

В теории телетрафика нередко используется модель с пуассоновским входящим потоком заявок [1], для которого

Л

Величину А, называемую интенсивностью потока заявок, можно определить по результатам измерений длительности интервалов между моментами поступления заявок Если проведено N измерений, в результате которых получены величины (г = 1, N),то среднее время между поступлениями заявок и величина А рассчитываются следующим образом [1]:

1 * 1 А(1) = ь А = А»- <3>

г=1

На рис. 1 показаны распределение А(Ь) и две ступенчатые функции А 1(1) и А2(Ь), позволяющие оценить верхнюю и нижнюю границы ряда параметров для систем с пуассоновским входящим потоком. В точке кт приращения функций А 1(^) и А 2(Ь) определяются величинами Рк и Qk соответственно. Заметим, что Р0 = 0.

Величины Рк и Qk для ступенчатых функций А 1(^) и А2(Ь) могут быть вычислены по формулам

Рк = (еХт - 1) е-кХт, Qk = (еХт - 1) в-(к+1)Хт.

Преобразования этих двух ступенчатых функций а1 (в) и а2(в) связаны простым соотношением

а2(в) = а1(в) етя.

Рис. 1. Две ступенчатые функции Л\

Целесообразно ввести также функцию А з(£), которая получается из ступенчатых функций А 1(£) или А2(Ь) смещением их по оси абсцисс на 0,5т влево или вправо соответственно. Функции, подобные А3(£), получаются при выборе аппроксимирующей зависимости методом наименьших квадратов [5]. Преобразование Лапласа - Стилтьеса третьей функции а3(з) удобно выразить через формулы для изображений а1(в) и а2(з):

аз(в) = «1(5) в0'5™ = 012(3) в-0'5™

После подстановки выражений для расчета приращений Р^ и Qk функции а1(з), а2(з) и а3(з) определяются как суммы членов геометрической прогрессии [5]:

(1 - е-Лт) е-ет 1 - е-Лт (1 - е-Лт) е-0'5™

а1

По правилу нахождения моментов случайной величины г-го порядка из формул для

изображений ФР можно определить средние значения длительности интервалов между по-

(1) (1) (1) ступлениями заявок А1 , А 2 и А 3 :

А

А1 =1 - е-Лт, А2 =1 - е-Лт , А 3 =2

Это же правило позволяет определить второй момент, необходимый для расчета дисперсии. Как и следовало ожидать, для всех трех ступенчатых функций значения дисперсии (а"2, а2> и а|) идентичны, поэтому нижний индекс можно опустить, используя стандартное обозна-

2

чение а2:

2 Т2в-Лт т 2

а =

Для оценки квантилей некоторых ФР используется коэффициент асимметрии Бк [6]. Следуя правилам расчета этого показателя [3] для трех исследуемых распределений, можно убедиться, что он один и тот же:

Бк = е°'5Лт + е-0'5Лт.

Выражения (5), (6) позволяют вычислить коэффициенты вариации исследуемой случайной величины С1, С2 и С3:

-0,5Лт ГУ „0,5Лт - 2

/"< _ _ — 0,5Лт /"< _ „0,5Лт /"<

С1 = е , С2 = е , С;

' 2 ' 3 е0,5Лт + е-0,5Лт '

При т ^ 0 все три коэффициента вариации стремятся к единице. Можно показать, что при т ^ 0 А 11), А2 и А3 стремятся к А-1, а2 — к А-2, С1, С2 и С3 — к единице, а Бк — к двум. Значения А-1, А-2, 1 и 2 свойственны соответственно математическому ожиданию, дисперсии, коэффициентам вариации и асимметрии случайной величины, которая подчиняется экспоненциальному закону распределения.

Для значений т, отличных от нуля, существует относительная ошибка в оценке моментов случайной величины, обусловленная аппроксимацией распределения А(Ь) ступенчатой функцией. Для функций А1 (¿), А2(Ь) и А3(£) эти ошибки обозначаются следующим образом: 8-\_(з), 82(]) и 83^). Переменная ] идентифицирует ту характеристику случайной величины, для которой рассчитывается относительная ошибка.

Нетрудно найти ошибки 51(С), 82(С) и 83(С) для коэффициентов вариации, так как точное значение этой характеристики для рассматриваемого распределения А(Ь) равно единице. Кроме того, несложно показать, что минимальной ошибкой является величина 83(С). Формулы для расчета ошибок 81(С), 82(С) и 83(С) имеют следующий вид:

2

31(С) = 1 - е-0'5Лт, 32(С) = 1 - е°'5Лт, 8з(С) = 1 - е0,5Лт + е-0,5Лт .

Для достаточно малых значений т величина относительной ошибки оценивается слагаемым 0,5Ат. Для доказательства этого утверждения функции 81(С), 82(С) и 83(С) следует разложить в ряд Маклорена [5]. Если задан уровень допустимой относительной ошибки для оценки коэффициента вариации 8(С) и известен параметр А, то для выбора величины т следует использовать неравенство

т < 28С.

Определение требований к величине т с учетом допустимой относительной ошибки в оценке средних значений исследуемой случайной величины связано с громоздкими преобразованиями, после выполнения которых несложно получить неравенство вида (7) с одним отличием. Вместо сомножителя 8(С) в нем содержится величина допустимой относительной ошибки для оценки среднего значения длительности интервала между поступлениями соседних заявок 8(А).

Коэффициент вариации представляет собой нормированную дисперсию. Это означает, что при использовании аппроксимаций вида (4) для расчета двух основных характеристик исследуемой случайной величины (среднего значения и дисперсии) период т выбирается из следующего неравенства:

28

т £ - <8>

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

А, А 3 1 —-

А

31

АМ)

2. Аппроксимация функции А(£) для закона равномерной плотности. Исследование ошибок для функции А(£), заданной на ограниченном интервале времени, можно провести на примере равномерного закона распределения длительности интервалов между моментами поступления заявок [3]. На рис. 2 показано распределение А(Ь) на нормированном к т интервале времени от 0 до п — 1. В точках кт ступенчатая

функция А3(£) имеет одинаковые приращения, — 1

равные п 1.

Для функции А(Ь) среднее значение длительности интервалов между моментами по- и его аппр0ксимация ступления заявок А(1) , дисперсия а2, коэффициент вариации С случайной величины определяются по известным формулам [3]

1 2 ... п-1

Рис. 2. Равномерное распределение

-I- г/т

А(1) = пт 2 '

а

п2т2

С=

В качестве ступенчатой функции А(Ь) целесообразно использовать распределение, которое соответствует третьему виду функции, введенному в п. 1. Для ступенчатой функции вида А 3(^) исследуемые характеристики (с нижним индексом 3) вычисляются по формулам [3]

А

(п — 1)т

а

(п2 — 1)т2 12

С 3

УпГ—1 -3(п — 1).

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

А

«(А) = ^

0,5Лт.

Это означает, что величина т должна выбираться из неравенства (8), полученного для другого закона распределения исследуемой случайной величины. Можно показать, что именно условие (8) должно выполняться при выборе т для равномерного закона распределения А(Ь).

3. Аппроксимация функции А(£) для гиперэкспоненциального распределения.

Третий пример связан с распределениями, для которых коэффициент вариации длительности интервалов между моментами поступления заявок превышает единицу. На профессиональном сленге они называются распределениями с "тяжелыми хвостами" [7]. Одним из удачных (с точки зрения простоты последующего анализа) примеров такого распределения следует считать гиперэкспоненциальное. Для гиперэкспоненциального распределения второго порядка [3] с параметром формы р преобразование Лапласа - Стилтьеса ФР длительности интервалов между поступлениями заявок а (в) можно представить в виде

а(в) = р-

2рЛ

2рЛ

+

2(1 — Р)Л в + 2(1 — р)Л.

3

/(рХ^-ю4

1,5

1,0

0,5

0

т=0,03, 5=1,5-10"'

т=0,02, 5=10"'

1=0,01, 5=0,5-10"

0,1 0,2 0,3 0,4

Рис. 3. Зависимость относительной ошибки ](р, Х,т) от параметра формы р

Математическое ожидание времени между моментами поступления заявок А(1) связано с величиной интенсивности потока заявок А соотношением (3). При замене гиперэкспоненциального распределения дискретным с отсчетами, взятыми с периодом т, целесообразно использовать функцию вида А 3(Ь). Для этой функции среднее значение времени между моментами поступления заявок А31) может быть получено в виде

тр

а31)

3 2

2

Относительную ошибку оценки А« целесообразно исследовать как функцию / (р,А,т), которая зависит от трех параметров р, А и т:

р

/(р, А,т) = 1 - Ат 2(1 - е-2рЛт)(1 - е-2(1-р)Лт) .

На рис. 3 приведены графики функций /(р,А,т), построенные для двух значений т в диапазоне значений параметра формы от 0,01 до 0,49 при А =1. Выбор такого диапазона обусловлен тем, что распределение вида (9) определено при условии 0 < р < 0,5.

Для каждой кривой указаны также значения относительной ошибки, вычисленные на основе соотношения (8): 8 = 0,5Ат. Очевидно, что /(р, А, т) << 8. Данный факт объясняется характером изменений функции А(^). Распределения с "тяжелыми хвостами" с ростом Ь приближаются к единице не столь быстро, как, например, экспоненциальное. Поэтому отсчеты, взятые с периодом т, вычисленным по формуле (8), более точно представляют ФР. Следовательно, соотношение (8) приемлемо для распределений с "тяжелыми хвостами". Можно показать, что данный вывод справедлив также для оценок других параметров ФР длительности интервалов между моментами поступления заявок. Соответствующие формулы очень громоздки и в данной работе не приводятся.

Исследование СМО посредством дискретизации ФР длительности интервалов между моментами поступления заявок, для которой значение коэффициента вариации превышает

(иногда весьма существенно) единицу, позволяет анализировать процессы функционирования мультисервисных сетей. Именно для сетей такого рода характерны распределения с "тяжелыми хвостами" [7].

4. Оценка ошибок при исследовании параметров времени задержки заявок.

Сформулированное условие для выбора величины т приемлемо для получения численных характеристик функции Л(Ь). Необходимо определить подобное условие для моментов времени задержки. С практической точки зрения представляют интерес среднее время задержки Б(1) и дисперсия этой случайной величины а%. Вместо дисперсии можно использовать также коэффициент вариации С в.

Если функция Л(Ь) описывается законом (2), то рассматриваемой моделью служит система вида М/П/1. Для этой системы известны выражения, позволяющие рассчитать Б(1), а28 и Св (см., например, [1]). Для компактной записи этих выражений следует ввести параметр нагрузки р, который для исследуемой модели М/П/1 с учетом соотношения (1) определяется как отношение интенсивности входящего потока заявок А к интенсивности их обработки ц:

А

Р =~

V

Тогда формулы для вычисления характеристик , а% и Св можно представить в следующем виде:

Б

2(1-р)У ' в 12(1 - р)2^ ' В л/3(2 - р) 1 ;

Ступенчатые функции, используемые для аппроксимации распределения Л(Ь) оценки Б(1), аВ и Св, приведены в [2]. Эти оценки вместе с результатами, полученными в расчетах по формулам (10), позволяют определить максимальное значение т, для которого относительная ошибка в оценке исследуемых характеристик времени задержки заявок не превышает установленного порога 8.

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

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

Результаты вычисления ошибок, возникающих при оценке двух исследуемых параметров времени задержки заявок, приведены в таблице. Величина т определялась из соотношения (8) при условии 8 = 2,5%.

Данные, приведенные в таблице, свидетельствуют о том, что в выбранном диапазоне значений нагрузки ошибки оценки двух исследуемых параметров времени задержки заявок не превышают порога 8 = 2,5%, который использован для дискретизации функции Л(Ь). Это означает, что условие (8) можно считать достаточным для приближенного анализа параметров времени задержки заявок в однолинейных СМО с постоянным временем обслуживания заявок.

Относительные ошибки S в оценке параметров времени задержки заявок

Параметр времени задержки заявок Р = 0,1 Р = 0,3 Р = 0,5 Р = 0,7

Среднее значение 0,010 0,002 0,001 0,011

Коэффициент вариации 0,009 0,006 0,003 0,015

Заключение. Замена непрерывного закона распределения длительности интервалов между моментами поступления заявок дискретной функцией позволяет исследовать основные параметры времени задержки в СМО при условии, что время обслуживания постоянно. Ошибка в расчетах исследуемых параметров времени задержки, возникающая вследствие замены закона распределения, зависит от периода дискретизации т. Проведенные исследования показали, что для известного значения интенсивности входящего потока Л и заданного уровня относительной ошибки 5 достаточно брать отсчеты распределения длительности интервалов между моментами поступления заявок с периодом т < 25Л-1.

Список литературы

1. КлеЙнрок Л. Теория массового обслуживания. М.: Машиностроение, 1979.

2. Соколов А. Н. Метод оценки задержки IP-пакетов в узле коммутации // Науч.-техн. ведомости СПбГПУ. 2009. № 4. С. 37-40.

3. Влдзинский Р. Н. Справочник по вероятностным распределениям. СПб.: Наука, 2001.

4. Диткин В. А. Интегральные преобразования и операционное исчисление / В. А. Диткин, А. П. Прудников. М.: Наука, 1974.

5. Корн Т. Справочник по математике для научных работников и инженеров / Т. Корн, Г. Корн. М.: Наука, 1984.

6. ITU-T. Network Performance objectives for IP-based services. Recommendation Y.1541. Geneva: ITU, 2006.

7. Шелухин О. И. Моделирование информационных систем / О. И. Шелухин, А. М. Тенякшев, А. В. Осин. М.: Радиотехника, 2005.

Соколов Андрей Николаевич — асп. Санкт-Петербургского государственного университета телекоммуникаций им. М. А. Бонч-Бруевича;

тел. (905) 221-28-93; e-mail: a.n.sokolov@hotmail.com

Дата поступления — 31.05.10