
- •Курс лекций по дисциплине «Моделирование инфокоммуникационных систем» Общие сведения и порядок изучения дисциплины
- •Структура и содержание дисциплины
- •Содержание (дидактика) дисциплины
- •Раздел 1. Математические модели.
- •Лекция 1. Введение в математическое моделирование
- •Понятие инфокоммуникационной системы Информационная система
- •Классификация информационных систем
- •Разработка и реализация проектов инфокоммуникационных систем
- •Моделирование как процесс
- •Природа и математическое мышление
- •Лекция 2. Форма и принципы представления математических моделей Введение Общие понятия и принципы теории моделирования
- •Принцип одномерности конечного решения
- •Классификация моделей
- •Формализация процесса функционирования системы
- •Разработка концептуальной модели
- •Разработка математической модели (мм)
- •Лекция 3. Типовые математические модели
- •Примеры моделей Оптимизационные модели
- •Основные подходы к моделированию
- •И спользование законов природы
- •Принцип аналогии
- •Использование типовых моделей
- •Иерархический подход к получению моделей
- •Конечные автоматы Понятие конечного автомата
- •Задание автомата в виде таблицы и графа
- •Матричное задание автомата
- •Минимизация конечных автоматов
- •Аналитическое задание конечных автоматов
- •Вероятностные автоматы Общие сведения о вероятностных автоматах
- •Марковские цепи с дискретным временем
- •Анализ марковских цепей
- •Марковские процессы Понятие о марковских процессах с непрерывным временем переходов
- •Расчет характеристик марковских процессов
- •Модель "гибели и размножения"
- •Модели массового обслуживания Области применения. Основные понятия
- •Простейший поток заявок
- •Рекуррентные потоки. Формула Литтла
- •Системы массового обслуживания и их характеристики
- •Одноканальная смо с неограниченной очередью
- •Более сложные задачи теории массового обслуживания
Одноканальная смо с неограниченной очередью
На практике довольно часто встречаются одноканальные СМО с очередью (врач, обслуживающий пациентов, процессор, выполняющий машинные команды). Поэтому необходимо рассмотреть одноканальные СМО с очередью более подробно.
Пусть имеется одноканальная СМО с очередью, на которую не наложено никаких ограничений (ни по длине очереди, ни по времени ожидания). На эту СМО поступает поток заявок с интенсивностью ; поток обслуживаний имеет интенсивность , обратную среднему времени обслуживания заявки tоб. Требуется найти финальные вероятности состояний СМО, а также характеристики ее эффективности:
LСИСТ – среднее число заявок в систем;
WСИСТ – среднее время пребывания заявки в системе;
LОЧ – среднее число заявок в очереди;
WОЧ – среднее время пребывания заявки в очереди;
PЗАН — вероятность того, что канал занят (степень загрузки канала).
Что касается
абсолютной пропускной способности A
и относительной Q, то
вычислять их нет необходимости: в силу
того, что очередь неограниченна, каждая
заявка рано или поздно будет обслужена,
поэтому
,
по той же причине
.
Решение. Состояние системы, как и раньше, будем нумеровать по числу заявок, находящихся в СМО:
- S0 – канал свободен;
- S1 – канал занят (обслуживает заявку), очереди нет;
- S2 – канал занят, одна заявка стоит в очереди;
…
- Sk – канал занят, k-1 заявок стоят в очереди.
Теоретически число состояний ничем не ограничено (бесконечно). Формулы для финальных вероятностей в схеме гибели и размножения выводились только для случая конечного числа состояний, но сделаем допущение – воспользуемся ими и для бесконечного числа состояний. Тогда число слагаемых в формуле будет бесконечным. Получим выражение для pо:
. (17)
Ряд в формуле (17)
представляет собой геометрическую
прогрессию. Мы знаем, что при
ряд сходится – это бесконечно убывающая
прогрессия со знаменателем .
При
ряд расходится (что является косвенным,
хотя и не строгим доказательством того,
что финальные вероятности состояний
pо, p1,
…, pk,…
существуют только при
).
Тогда:
,
,…,
(18)
Найдем среднее число заявок в СМО LСИСТ. Случайная величина Z – число заявок в системе – имеет возможные значения 0, 1, 2, …, k, … с вероятностями pо, p1, …, pk,… Ее математическое ожидание равно:
; (19)
Применяя формулу Литтла (9), найдем среднее время пребывания заявки в системе:
; (20)
Найдем среднее число заявок в очереди. Будем рассуждать так: число заявок в очереди равно числу заявок в системе минус число заявок, находящихся под обслуживанием. Значит (по правилу сложения математических ожиданий) среднее число заявок в очереди LОЧ равно среднему числу заявок в системе LСИСТ минус среднее число заявок под обслуживанием. Число заявок под обслуживанием может быть либо нулем (если канал свободен), либо единицей (если он занят). Математическое ожидание такой случайной величины равно вероятности того, что канал занят PЗАН. Очевидно, что:
. (21)
Следовательно, средне число заявок под обслуживанием равно:
, (22)
отсюда
. (23)
По формуле Литтла (9) найдем среднее время пребывания заявки в очереди:
. (24)
n-канальная СМО с неограниченной очередью
Аналогично предыдущей задаче, решается задача об n-канальной СМО с неограниченной очередью. Нумерация состояний – опять по числу заявок, находящихся в системе:
- S0 – в СМО нет ни одной заявки (все каналы свободны);
- S1 – занят один канал, остальные свободны;
- S2 – занято два канала заняты, остальные свободны;
…
- Sk – занято k каналов, остальные свободны;
…
- Sn – заняты все n каналов (очереди нет);
- Sn+1 – заняты все n каналов, одна заявка стоит в очереди;
…
- Sn+r – заняты все n каналов, r заявок стоит в очереди;
…
Условие существования
финальных вероятностей:
,
в противном случае, очередь растет до
бесконечности.
Применяя формулы для схемы гибели и размножения, найдем финальные вероятности:
, (25)
,
,
. (26)
Теперь найдем
характеристики эффективности СМО. Из
них легче всего найти среднее число
занятых каналов
(это вообще справедливо для любой СМО
с неограниченной очередью). Найдем
среднее число заявок в очереди LОЧ:
. (27)
Прибавляя к нему среднее число заявок под обслуживанием (оно же – среднее число занятых каналов), получим:
. (28)
Деля выражения LОЧ и LСИСТ на , по формуле Литтла получим средние времена пребывания заявок в очереди и в системе:
,
. (29)