- •Оглавление
- •1. Модели и системы 9
- •2. Технология моделирования 20
- •3. Непрерывные детерминированные модели 36
- •4. Модели массового обслуживания 66
- •5. Дискретные модели 98
- •Предисловие
- •Модели и системы
- •Физические и математические модели
- •Моделирование: системный подход
- •Общая модель функционирования
- •Технология моделирования Построение моделей
- •Содержательное описание системы
- •Концептуальное моделирование
- •Построение математических моделей
- •Истинность моделей
- •Непрерывные детерминированные модели Непрерывные модели динамических систем
- •Задачи анализа непрерывных систем
- •Основные определения
- •Построение фазовых портретов
- •Устойчивость точек равновесия
- •Линейные системы
- •Стационарное решение
- •Общее решение
- •Двумерные канонические системы
- •Простые канонические системы
- •Фазовые портреты простых канонических систем
- •Фазовый портрет простой линейной системы
- •Качественная эквивалентность
- •Непростые канонические системы
- •Нелинейные системы Глобальные и локальные фазовые портреты
- •Линеаризация нелинейных систем
- •Предельные циклы
- •Модели массового обслуживания Основные понятия. Терминология
- •Потоки событий
- •Пуассоновский поток событий
- •Распределение событий на малом интервале времени
- •Распределение событий в пуассоновском потоке
- •Распределение интервалов между событиями
- •Законы обслуживания
- •Марковские смо
- •Марковские цепи
- •Матрица перехода для пуассоновского потока заявок
- •Одноканальная смо с ожиданием
- •Многоканальная смо с ожиданием
- •Смо с отказами
- •Многоканальные смо с взаимопомощью
- •Замкнутые системы
- •Дискретные модели Конечные автоматы
- •Вероятностные автоматы
- •Сети Петри
- •Ординарные сети Петри
- •Библиографический список
Многоканальные смо с взаимопомощью
В системах ПВО при появлении цели-заявки все приборы слежения и уничтожения могут работать по одной цели, увеличивая интенсивность обслуживания. С появлением второй цели-заявки часть приборов переключается на эту цель и т.д.
В системах обслуживания, организованных по такому принципу, интенсивность обслуживания увеличивается пропорционально числу обслуживающих устройств: , где - количество приборов; - интенсивность обслуживания одним прибором.
Можно показать, что для марковских систем неважно, как распределяются каналы между заявками при условии участия всех приборов в обслуживании. Таким образом, систему, имеющую каналов обслуживания, мы можем эквивалентировать системой, имеющей одно обслуживающее устройство с интенсивностьюS, при этом в системе может находиться от 0 до заявок одновременно.
При поступлении заявки в систему, в которой , заявка получит отказ. Если канал освободился от обслуживания, то он подключается к обслуживанию имеющихся в системе заявок.
Граф переходов системы с взаимопомощью показан на рис.4.11.
С помощью этого графа составим систему дифференциальных уравнений:
Уравнения стационарного режима имеют вид
Из последних уравнений получаем .
Для определения привлекаем соотношение. Откуда следует, чтои далее
Окончательно
Среднее число заявок, находящихся в системе,
По этим формулам определяются и другие характеристики СМО.
Замкнутые системы
Рассмотрим процесс восстановления единиц оборудования ремонтными бригадами. Пусть .
Предположим, что время безотказной работы единиц оборудования распределено по экспоненциальному закону с математическим ожиданием. Тогда интенсивность выхода из строя каждой единицы оборудования определяется соотношением .
Если в некоторый момент времени ремонтируется или ожидает ремонта единиц оборудования, а работают соответственно , то вероятность отказа в течение интервала равна.
При экспоненциальном времени обслуживания с параметром за интервал времениdtмогут произойти следующие переходы:
->определяется вероятностью поступления одной заявки в систему обслуживания за время : ;
->определяется вероятностью обслуживания одной заявки за время :
-> определяется вероятностью остаться в текущем состоянии за время :
Соответствующий граф переходов для замкнутой СМО приведен на рис.4.13.
Уравнения состояний получаем в виде:
Для установившегося режима вероятности состояний определяются следующей системой:
Последовательно рассматривая уравнения, можно получить соотношения
где является коэффициентом загрузки СМО.
Комбинируя три последние формулы, получаем
Из условия находимP0:
.
Введем числовые характеристики замкнутых систем аналогично числовым характеристикам разомкнутых: - среднее число требований в очереди; () - среднее число требований, находящихся вне системы; () - среднее число занятых приборов.
Уравнения расхода для замкнутых систем можно записать в виде
,
где, напомним, - среднее число заявок в системе;- среднее время пребывания в системе; - среднее число незанятых приборов;- среднее время ожидания для одной заявки; - среднее время поступления одной заявки.
Откуда
Вероятность нулевого ожидания заявки равна
.
Средняя интенсивность источника заявок в установившемся режиме.
В замкнутых системах количество заявок всегда ограничено и независимо от соотношения существует установившийся режим.
Когда коэффициент занятости прибора близок к единице, возникает явление«скученности». В этом случае основная масса заявок сосредоточивается в накопителе и устройствах обслуживания СМО и малая доля находится вне системы.