Аннотация 2
ВВЕДЕНИЕ 3
1 RQ-система массового обслуживания M/M/1/N-1 6
1.1 Функциональная модель системы обработки данных с двумя уровнями памяти 6
1.2 Математическая модель RQ-системы M/M/ 1/N-1 8
1.3 Метод асимптотического анализа для нахождения распределения
вероятностей состояний системы 10
1.4 Метод асимптотически-диффузионного анализа для нахождения
распределения вероятностей состояний системы 20
1.4.1 Исследование времени ожидания заявки 28
1.5 Исследование времени ожидания заявки через число повторных
обращений к орбите 34
2 Имитационная модель 38
2.1 Объектная модель приложения 38
2.2 Демонстрация работы приложения 42
2.3 Оценка точности имитационной модели 44
3 Анализ численных результатов 46
3.1 Точность асимптотических результатов 46
3.1.1 Гауссовская аппроксимация 46
3.1.2 Диффузионная аппроксимация 50
3.1.3 Аппроксимация времени ожидания 53
3.2 Анализ показателей качества 55
ЗАКЛЮЧЕНИЕ 59
ЛИТЕРАТУРА 61
В настоящее время развитие теории массового обслуживания [4, 6, 16] обусловлено необходимостью поиска новых решений в различных прикладных областях - экономике, транспорте, технике, телекоммуникационных системах, сложных информационно-вычислительных комплексах, автоматизированных промышленных системах и др. В отличие от классических моделей массового обслуживания, в ряде приложений, таких как телекоммуникационные сети, возникает необходимость учитывать ситуации, при которых все обслуживающие устройства заняты, и вновь поступившая заявка не может немедленно приступить к обслуживанию. В таких случаях заявка может ожидать освобождения ресурса, чтобы быть обслуженной позже. В рамках теории массового обслуживания такие случаи моделируются с использованием систем с буферами, а также так называемых RQ-систем или систем с источником повторных вызовов (ИПВ) [47, 49].
Исследования RQ-систем начались еще в XX веке [31]. Основное отличие этих моделей заключается в том, что заявки, не получившие обслуживание при первом поступлении, не теряются, а после некоторой задержки повторно пытаются получить обслуживание. Подобные модели особенно актуальны для анализа процессов с повторными обращениями, таких как телефонные сети или распределенные вычислительные системы. С течением времени модели RQ-систем стали более сложными, учитывая реалистичные аспекты, включая различные режимы повторных попыток, приоритеты заявок, многоканальные схемы обслуживания и другие модификации.
Одной из таких модификаций является добавление буфера заявок перед
обслуживающим устройством [8, 10, 35, 36, 42]. Наиболее распространенным
принципом функционирования буферов в вычислительных системах является
FIFO (First In First Out), при котором заявки обслуживаются в порядке
поступления. Возможны также иные подходы к буферизации, включая
хранение вытесненных заявок [29], повторно обратившихся после завершения
3
обслуживания [41, 54] и др. Современные исследования в данной области уделяют значительное внимание методам определения оптимального объема буфера данных для системы обработки данных [2, 9, 33, 48, 51], что позволяет минимизировать потери заявок и их минимальную задержку перед обслуживанием. Это подчеркивает значимость использования буферов в математическом моделировании сетей связи.
В настоящей работе рассматривается система, сочетающая классическую RQ-модель с одним обслуживающим прибором и дополнительным буфером (бункером) для хранения ограниченного количества заявок, поступающих на обслуживание без обращения к орбите для ожидания. Следует отметить, что усложнение математических моделей систем массового обслуживания зачастую приводит к невозможности получения точных выражений для различных характеристик исследуемых систем. В таких случаях применяется инструмент асимптотических методов [3, 15, 19], которые позволяют при предельных условиях получить приближенные характеристики системы. Метод асимптотического анализа стал применяться с середины XX века [32, 38, 39], и его актуальность сохраняется до настоящего времени [5, 18, 25, 28, 50]. Также широко применяется и метод метод асимптотически-диффузионного анализа, основанный на использовании диффузионных аппроксимаций, обеспечивающий более высокую точность и расширенную область применимости. Примеры его использования можно найти в работах [7, 13, 14, 30]. Метод асимптотического анализа помимо нахождения распределения вероятностей состояний орбиты и прибора, может также быть применен для исследования времени ожидания заявки, которая сразу не была обслужена на приборе. Эта характеристика также является одной из важнейших при оценке качества работы системы обработки данных. Исследованию на эту тему можно увидеть в работах [45, 46, 52].
При получении приближенных асимптотических характеристик важным этапом является оценка точности и области применимости результатов. Для этого в теории массового обслуживания применяется метод имитационного моделирования [12, 24, 26], позволяющий численно оценить ключевые характеристики системы: среднее время ожидания заявки, вероятность занятости буфера и обслуживающего прибора и др.
Итак, целью данной работы является исследование математической модели системы обработки данных с двумя уровнями памяти в виде RQ- системы массового обслуживания M/M/1/N-1. Для достижения цели были поставлены следующие задачи:
1) построить математическую модель RQ-системы M/M/1/N-1;
2) получить распределение вероятностей состояния системы и орбиты методом асимптотического анализа;
3) получить распределение вероятностей состояния системы и орбиты методом асимптотически-диффузионного анализа;
4) исследовать время ожидания заявки на орбите;
5) разработать программу имитационного моделирования для исследуемой системы;
6) провести сравнительный анализ полученных асимптотических и имитационных результатов.
В результате работы была исследована математическая модель RQ- системы массового обслуживания с ожиданием заявок в бункере и на орбите. Для исследования распределения вероятностей состояния бункера с прибором и орбиты был применен метод асимптотического анализа, результатом которого является полученная гауссовская аппроксимация распределения вероятностей состояний орбиты. Также для исследования данных характеристик был применен метод асимптотически-диффузионного анализа, результатом которого является полученная диффузионная аппроксимация. Также для предложенной системы было исследовано время ожидания заявки до момента попадания в бункер или на прибор методом асимптотического анализа. Для полученных теоретических результатов был построен численный алгоритм вычисления исследуемых характеристик в программе Mathcad.
Для исследуемой системы была разработана программа имитационного моделирования на языке программирования C#. Разработанная программа может быть модифицирована для любых усложнений текущей системы: различные виды распределений для обслуживания и ожидания, деградация обслуживания, увеличение числа приборов и т.д. Была проведена оценка точности полученных асимптотических результатов. В результате было показано значительное влияние введенного параметра для объема бункера в системе: уменьшение числа заявок на орбите, снижение времени ожидания заявок на орбите. Была определена область применимости асимптотических результатов.
По итогам выпускной квалификационной работы были сделаны доклады на следующих научных конференциях:
- Информационные технологии и математическое моделирование (ИТММ-2023), XXII Международная конференция им. А.Ф. Терпугова, 4-9 декабря 2023 г., г. Томск;
- Международная научная студенческая конференция 2024 (МНСК- 2024), 17-23 апреля 2024 г., г. Новосибирск;
- Системы управления, информационные технологии и математическое моделирование-2024 (СУИТИММ-2024), VI Всероссийская с международным участием научно-практическая конференция студентов, аспирантов и работников образования и промышленности, 13-17 мая 2024 г., г. Омск;
- 27th International Conference Distributed Computer and Communication Networks: Control, Computation, Communications (DCCN-2024), 23-27 сентября 2024 г., г. Москва;
- Информационные технологии и математическое моделирование (ИТММ-2024), XXIII Международной конференции им. А. Ф. Терпугова, 20¬26 октября 2024 г., Республика Узбекистан, г. Карши;
- Школа теории массового обслуживания, 1-я Международная научная конференция, 21-26 апреля 2025 г., г. Томск.
Результаты проведенных исследований опубликованы в материалах научных конференций [20-23].
1. Агентное моделирование // Википедия: свободная энциклопедия:
[Электронный ресурс] URL:
https://ru.wikipedia. org/wiki/Агентное_моделирование
2. Афонцев Э. В. О выборе размера буфера маршрутизатора компьютерной сети, нагруженного интенсивным трафиком реального времени / Э. В. Афонцев, М. К. Гребенкин, С. В. Поршнев // Известия ТПУ. - 2008. - № 5. - С. 101-105.
3. Боровков А. А. Асимптотические методы в теории массового обслуживания / А. А. Боровков. - М. : Наука, 1980. - 382 с.
4. Бочаров П. П. Теория массового обслуживания / П. П. Бочаров, А. В. Печинкин. - М. : Изд-во РУДН, 1995. - 520 с.
5. Воронина Н. М. Исследование RQ-системы ММРР/м/1 с ненадежным прибором / Н. М. Воронина, С. В. Рожкова, С. П. Моисеева // Информационные технологии и математическое моделирование (ИТММ-
2021) : материалы XX Международной конференции имени А. Ф. Терпугова, Томск, 01-05 декабря 2021 года. - Томск: Национальный исследовательский Томский государственный университет, 2022. - С. 173-178.
6. Гнеденко Б. В. Введение в теорию массового обслуживания : учебное пособие / Б. В. Гнеденко. И. Н. Коваленко. - 5-е изд., испр. - М. : Наука, 2010. - 400 с.
7. Данилюк Е. Ю. Асимптотически-диффузионный анализ RQ- системы М/М/1 с нетерпеливыми заявками, коллизиями и ненадёжным прибором / Е. Ю. Данилюк, А. С. Плеханов, С. П. Моисеева // Информационные технологии и математическое моделирование (ИТММ-
2022) : Материалы XXI Международной конференции имени А.Ф. Терпугова, Томск, 25-29 октября 2022 года. - Томск: Национальный исследовательский Томский государственный университет, 2023. - С. 129-135.
8. Жиляк А. В. Регулирование очереди в системах массового обслуживания с большим числом обслуживающих каналов / А. В. Жиляк, В. А. Кащеев, А. В. Крянев // Проблемы управления. - 2012. - № 5. - С. 41-45.
9. Задорожный В. Н. Метод ускоренного расчёта буферов для фрактальных систем с очередями // Омский научный вестник. — 2013. — № 1(117). — С. 216-220.
10. Маргелов А. В. Сравнительное исследование СМО с чистым отказом и буфером / А. В. Маргелов, К. Ю. Бойко // Известия ТРТУ. - 2000. - № 2(16). - С. 209-212.
11. Математическое моделирование сетевых узлов и топологий современных сетей передачи данных / В. М. Антонова, И. Г. Бужин, В. С. Гнездилов [и др.] // Информационные процессы. - 2024. - Т. 24, № 1. - С. 84¬92.
12. Моисеев А. Н. Разработка объектно-ориентированной модели системы имитационного моделирования процессов массового обслуживания /
A. Н. Моисеев, М. В. Синяков // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2010. - № 1. - С. 89-93.
13. Назаров А. А. Исследование RQ-системы M|M|1 с разнотипными вызываемыми заявками и ненадежным прибором методом асимптотически диффузионного анализа / А. А. Назаров, С. В. Пауль, О. Д. Лизюра, К. С. Шульгина // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2021. - № 57. - С. 74-83.
14. Назаров А. А. Исследование RQ-системы M|M|1|1 с вызываемыми заявками методом асимптотически-диффузионного анализа / А. А. Назаров, С.
B. Пауль, О. Д. Лизюра // Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь (DCCN-2019) : материалы XXII Международной научной конференции. Москва, 23-27 сентября 2019 г. - М., 2019. - С. 148-155.
15. Назаров А. А. Метод асимптотического анализа в теории массового обслуживания / А. А. Назаров, С. П. Моисеева. - Томск : Изд-во НТЛ, 2006. - 112 с... 54