Численный анализ диффузионной аппроксимации одноканальной системы массового обслуживания с управляемыми параметрами загрузки и обработки

338

Аннотация

Работа посвящена численному анализу качества диффузионной аппроксимации управляемой одноканальной системы массового обслуживания в загруженном состоянии. Управление системой задается вероятностью отказа и интенсивностью обработки. Цель исследования – нахождение условий применимости диффузионной аппроксимации к модели управляемого марковского процесса, описывающего состояние системы. Качество аппроксимации характеризуется величиной равномерной метрики, определяющей расстояние между стационарными распределениями в исходной и приближенной модели, а также числовыми показателями, такими как средняя загрузка, среднее время ожидания, доля отклоненных заявок и объем затраченных ресурсов. Аппроксимация оказывается тем точнее, чем с большей вероятностью диффузионный процесс попадает в интервал доступа, т.е. интервал, в котором вероятность отказа меняется от нуля до единицы.

Общая информация

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

Рубрика издания: Математическое моделирование

Тип материала: научная статья

Для цитаты: Семенихин К.В., Иванова Ю.С. Численный анализ диффузионной аппроксимации одноканальной системы массового обслуживания с управляемыми параметрами загрузки и обработки // Моделирование и анализ данных. 2019. Том 9. № 2. С. 21–30.

Полный текст

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

1.    ВВЕДЕНИЕ

Современные системы передачи и обработки информации по своей сути являются системами массового обслуживания (СМО), в которых входной поток состоит из однотипных пакетов — небольших порций данных, предусмотренных сетевым протоколом [1,2]. Традиционные методы анализа и оптимизации СМО основаны на использовании марковских процессов с конечным множеством состояний [3,4].

Однако при значительном объеме трафика практическое применение данной методологии становится затруднительным из-за большого числа уравнений, описывающих стационарные вероятности состояний соответствующей СМО. Один из эффективных способов решения проблемы большой размерности, возникающей при оптимизации дискретных марковских процессов, является метод диффузионной аппроксимации [5,6].

Аналогично [7-9] в данной работе рассматривается одноканальная СМО, имеющая конечную очередь, принимающая на вход простейший поток и предусматривающая возможность управления характеристиками доступа и загрузки: вероятность отказа и интенсивность обработки. Однако в отличие от указанных работ далее система будет изучаться в условиях сильной загрузки. Кроме того, управление осуществляется за счет выбора параметров двух линейных функций, определяющих зависимость вероятности отказа и интенсивности обработки от числа заявок в системе. Обе функции отражают естественное требование роста числа отброшенных пакетов и скорости обработки при увеличении загрузки системы. Целью работы является нахождение условий применимости диффузионной аппроксимации к модели управляемого марковского процесса, описывающего число заявок в системе. В работе предлагается диффузионная аппроксимация, основанная на модели стохастического дифференциального уравнения с линейными сносом и диффузией [10]. Устанавливается, что в зависимости от соотношения параметров системы стационарное распределение аппроксимирующего процесса является трехпараметрическим гамма-распределением или гауссовским.

Если назвать интервалом доступа тот промежуток, в котором вероятность отказа как функция состояния меняется в интервале (0,1). Тогда основной результат работы можно сформулировать следующим образом: качество аппроксимации зависит от вероятности попадания диффузионного процесса в интервал доступа. Поэтому если вероятность отказа априори отделена снизу от нуля и сверху от единицы, то диффузионная аппроксимация вполне приемлема для приближенного описания и последующей оптимизации управляемой СМО с интенсивным входным потоком.

2.    ОПИСАНИЕ МОДЕЛИ

3. МЕТОД ДИФФУЗИОННОЙ АППРОКСИМАЦИИ

4.     ХАРАКТЕРИСТИКИ ДИФФУЗИОННОГО ПРОЦЕССА

 

5.    РЕЗУЛЬТАТЫ ЧИСЛЕННОГО ЭКСПЕРИМЕНТА

Дальнейшие результаты сравнения при различном объеме очереди N приведены в следующей таблице.

 

$тах

L

Lf

W

W,

R

Rf

M

 

50

0.0852

28.5406

29.0533

29.3120

26.4121

0.3510

0.2667

1.1

1.1

100

0.0485

57.9109

58.1067

50.1537

44.5091

0.3495

0.2667

1.1

1.1

500

0.0189

290.532

290.533

250.423

222.545

0.3483

0.2667

1.1

1.1

1000

0.0134

581.0667

581.0667

500.730

445.0909

0.3482

0.2667

1.1

1.1

2000

0.0094

1162.13

1162.13

1001.34

890.1818

0.3481

0.2667

1.1

1.1

6.    ЗАКЛЮЧЕНИЕ

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

Литература

  1. Степанов С. Н. Основы телетрафика мультисервисных сетей.// М.: Эко-Трендз, 2010.
  2. Boucherie R. J., van Dijk N. M. Queueing Networks: A Fundamental Approach.// New Yorl: Springer, 2011.
  3. Дынкин Е. Б., Юшкевич А. А. Управляемые марковские процессы и их приложения. М.: Наука, 1975.
  4. Stidham S., Weber R. A survey of Markov decision models for control of networks of queues.// Queueing Systems, 1993, Vol. 13, no. 1., Pp. 291-314.
  5. Anisimov V. V. Switching processes in queueing models.// Hoboken: J. Wiley&Sons, 2008.
  6. Abramov V. M. Asymptotic methods for queueing system and networks with application to telecommunications. Monash University, 2004.
  7. Миллер А. Б. Динамическое управление доступом и скоростью обслуживания при активных пользователях.// Автоматика и телемеханика, 2010, № 9. С. 70-82.
  8. Мясников Д. В., Семенихин К. В. Управление одноканальной системы массового обслуживания при наличии ограничений// Изв. РАН. Теория и системы управления, 2016, № 1, С. 66-85.
  9. Миллер Д. М., Миллер Г. Б., Семенихин К. В. Регуляризация задачи оптимального управления марковским процессом с конечным числом состояний при наличии ограничений.// Автоматика и телемеханика, 2016, № 9, С. 96-123.
  10. Alfonsi A. Affine Diffusions and Related Processes: Simulation, Theory and Applications. Springer, 2015.
  11. Гнеденко Б. В., Коваленко И. Н. Введение в теорию массового обслуживания. М.: Наука, 1987.
  12. Floyd S., Jacobson V. Random early detection geteways for congestion avoidance.//IEEE/ACM Transactions on Networking, 1993, Vol. 1, no. 4, Pp. 397-413.
  13. Васенин В. А., Симонова Г. И. Математические модели управления трафиком в Интернет: новые подходы на основе схем TCP/AQM // Автоматика и телемеханика, 2005, №8, С. 94-107.

Информация об авторах

Семенихин Константин Владимирович, доктор физико-математических наук, профессор, Московский авиационный институт (национальный исследовательский университет), Москва, Россия, e-mail: siemenkv@mail.ru

Иванова Юлия Сергеевна, студент магистратуры, Московский авиационный институт (национальный исследовательский университет), Москва, Россия, e-mail: ivanova.ju7552@mail.ru

Метрики

Просмотров

Всего: 477
В прошлом месяце: 5
В текущем месяце: 1

Скачиваний

Всего: 338
В прошлом месяце: 1
В текущем месяце: 0