РЕФЕРАТ 3
Введение 6
1 Математические модели информационных систем в виде RQ-систем M2|M2| 1
c двумя источниками повторных вызовов 9
1.1 Постановка задачи 9
1.2 Математическая модель RQ-систем M2|M2| 1 c двумя источниками
повторных вызовов 9
1.3 Исследование системы методом асимптотического анализа в условии
большой задержки 11
1.3.1 Асимптотика первого порядка 12
1.3.2 Асимптотика второго порядка 16
1.4 Численный анализ 21
2 Математические модели информационных систем в виде СМО со случайным
объемом 27
2.1 Исследование бесконечнойлинейной системы массового обслуживания
M|M|o> с заявками случайного объема 27
2.1.1 Метод производящих функций 28
2.2 Исследование бесконечнолинейной системы массового обслуживания требований случайного объема с входящим MAP-потоком 29
2.2.1 Постановка задачи 29
2.2.2 Система дифференциальных уравнений Колмогорова 31
2.2.3 Метод асимптотического анализа 33
Заключение 41
Список литературы 43
Математические модели систем массового обслуживания являются важным инструментом при исследовании различных экономических, технических систем, а также в сферах обслуживания и производства. Но с развитием информационных технологий возникает интерес к исследованию новых классов систем массового обслуживания. Одним из таких классов является класс RQ-систем (Retrial Queueing Systems) или систем с повторными вызовами. RQ-системы отличаются от классических тем, что при обращении заявки к обслуживающему прибору в случае, когда прибор был занят, заявка не теряется, а уходит в источник повторных вызовов, откуда она повторно обращается к прибору после некоторой задержки. Такие системы применяются при моделировании телекоммуникационных систем, систем сотовой связи, компьютерных сетей и т.д.
Наиболее широкое исследование систем с повторными вызовами приведено в работах Дж.Р. Арталехо [1] и Г.И. Фалина [4]. Анализом этих моделей так же занимались А.Н. Дудин [3,8], А.А. Назаров [13,14,15,23], А. Гомез-Коррел, Дж. Коэн и др. [5], которыми были рассмотрены различные методы исследования RQ-систем M|M|1, M|GI|1, M|M|O и других систем с одним источником повторных вызовов.
В работах [7, 16, 17, 18, 19] были исследованы системы массового
обслуживания с заявками случайного объема с дисциплиной обслуживания LIFO и ограничением на суммарный объем требований. Оказалось, что в этом случае можно получить алгоритмы пригодные для численных расчетов стационарных характеристик.
Целью работы является построение и исследование математических моделей информационных систем в виде систем массового обслуживания различной конфигурации.
В соответствии с целью работы были поставлены следующие задачи:
1. Построить математическую модель информационной системы в виде RQ-системы с двумя источниками повторных вызовов:
- найти вид характеристической функции числа заявок в 1-ом и 2-ом ИПВ методом асимптотического анализа в условии большой задержки.
- провести численный анализ RQ-системы M2|M2|1 с двумя источниками повторных вызовов и нахождение вида распределения числа заявок в 1-ом и 2-ом источниках повторных вызовов.
2. Построить математическую модель информационной системы в виде систем массового обслуживания с заявками случайного объема:
- найти вид характеристической функции суммарного объема требований в системах M|M|o> со случайным объемом.
- провести исследование бесконечнолинейной системы массового обслуживания MAP|GI |да со случайным объемом заявок методом асимптотического анализа в условии высокой интенсивности входящего потока.
В первом параграфе применяется метод асимптотического анализа для исследования системы M2|M2|1 с двумя источниками повторных вызовов, построены две асимптотики, а также проведен численный анализ этой же системы. Исследованием подобных систем занимались К. Авраченков, P. Nain, U. Yechiali [2].
Во втором параграфе рассматриваются системы массового обслуживания требований случайного объема. В последнее время системы массового обслуживания (СМО) с заявками случайного объема получили большое распространение. Модели таких систем имеют свое применение в задачах проектирования телекоммуникационных и информационных систем, где информация передается в виде сообщений случайного объема. Как было замечено в работах [7, 18, 21] задачи исследования моделей таких систем играют большую роль при моделировании современных информационно-вычислительных систем. Однако аналитических решений при дисциплине обслуживания FIFO не было получено, поскольку для построения корректного марковского процесса необходимо учитывать объемы тех заявок, которые находятся в системе.
В настоящей работе проведено исследование математических моделей информационных систем в виде систем массового обслуживания различной конфигурации.
А именно:
• проведено исследование RQ-системы M2|M2|1 с двумя ИХ 1В методом асимптотического анализа в условии большой задержки. Были найдены выражения для асимптотических характеристических функций первого и второго порядка.
• предложен численный алгоритм вычисления распределения вероятностей числа заявок в RQ-системе M2|M2| 1 с двумя И1В в стационарном режиме. В результате численного анализа были получены совместное распределение вероятностей числа заявок в первом и во втором ИНВ и одномерные распределения вероятностей заявок в каждом И1В для различных параметров системы.
• проведено исследование системы M|M|<» со случайным объемом методом производящих функций. Было найдено математическое ожидание и дисперсию суммарного объема в системе.
• методом асимптотического анализа в условии высокой
интенсивности входящего потока была исследована
бесконечнолинейная система массового обслуживания MAP |GI |да со случайным объемом заявок.
По результатам работы опубликованы 2 статьи [10, 11] и сделаны
доклады на конференциях:
о 15 - 16 мая 2015 года - Молодежная Всероссийская научно¬
практическая конференция «Научное творчество молодежи. Математика. Информатика»;
o 19 - 20 октября 2015 года - Восемнадцатая международная научная конференция «Распределенные компьютерные и
телекоммуникационные сети: Управление, вычисление, связь (DCCN-2015)».
1. Artalejo J. R. Retrial Queueing Systems: A Computational Approach / J. R. Artalejo, A. Gomez-Corral.- Berlin: Springer, 2008. - 267 p.
2. Avrachenkov K. A retrial system with two input streams and two orbit queues / K. Avrachenkov, P. Nain, U. Yechiali // Queueing Syst. - 2014. - V. 77. - № 1. - P. 1-31.
3. Deepak T. On an M(X)/G/1 Retrial System with Two Types of Search of Customers from the Orbit / T. Deepak, A. Dudin, V. Joshua,
A. Krishnamoorthy // Stochastic Analysis and Applications. 2013. V.31. №1. P. 92-107.
4. Falin G. L. Retrial Queues / G. L. Falin, J. G. C. Templeton.- London: Chapman & Hall, 1997. - 328 p.
5. Yang Woo Shin M/M/c Retrial Queue with Multiclass of Customers / Yang Woo Shin, Dug Hee Moon // Methodology and Computing in Applied Probability. - 2014. - V. 16. - № 4. - P. 931-949.
6. Абрамушкина Т. В. Численные методы расчета стационарных вероятностей состояний системы M/G/1/n с дисциплиной LIFO PR и ограничением на суммарный объем требований / Т. В. Абрамушкина, С. В. Апарина, Е. Н. Кузнецова, А.
B. Печинкин // Вестник Российского ун-та дружбы народов. Сер. Прикладная математика и информатика, 1998. No 1. С. 40-47.
7. Александров А. М. Обслуживание потоков неоднородных требований / А. М. Александров, Б. А. Кац // Изв. АН СССР. Технич. Кибернетика, 1973. №2. С. 47-53.
8. Дудин А. Н. Системы массового обслуживания с коррелированными потоками / А. Н. Дудин, В. И. Клименок. - Минск: БГУ, 2000. - 221 с.
9. Ильин В. А. Линейная алгебра: Учебник для вузов / В. А. Ильин, Э. Г. Позняк. — 6-е изд., стер. — М.: ФИЗМАТЛИТ, 2004. — 280 с.
10. Кононов И. А. Асимптотический анализ RQ-систем с двумя источниками повторных вызовов в условии большой задержки / И. А. Кононов, Е. А. Фёдорова // Распределенные компьютерные и телекоммуникационные сети управление, вычисление, связь. Материалы восемнадцатой международной научной конференции.: 19-22 октября 2015 г. - Ин-т проблем упр. им. Трапезникова Рос. акад. наук; под общ. ред. В. М. Вишневского - М.: ИПУ РАН, 2015. -
С. 533-539.
11. Кононов И. А. Численный анализ RQ-системы M2|M2|1 с двумя источниками повторных вызовов/ И. А. Кононов, Е. А. Федорова// Научное творчество молодежи: Материалы XVIII Всероссийской научно-практической конференции: 15-16 мая 2015 г. - Томск: Изд-во Том. ун-та. - 2015. - Ч.1. - С.7-11.
12. Моисеев А. Н. Бесконечнолинейные системы и сети массового обслуживания / А. Н. Моисеев, А. А. Назаров . - Томск: Изд-во НТЛ, 2015. - 240с.
13. Моисеева Е. А. Исследование RQ-системы MMPP|GI|1 методом асимптотического анализа / Е. А. Моисеева, А. А. Назаров // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2013. - № 4 (25). - С. 84-94.
14. Назаров А. А. Метод асимптотического анализа в теории массового обслуживания / А. А. Назаров, С. П. Моисеева. - Томск: Изд-во НТЛ, 2006. - 112 с.
15. Назаров А. А. Теория массового обслуживания: учебное пособие / А. А. Назаров, А. Ф. Терпугов. - 2-е изд., испр. - Томск: Изд-во НТЛ. 2010. - 228 с.
..23