1.Модель СМО:

Модель СМО включает следующие блоки:

—          Источники заявок И;

—          Накопители Н;

—          Каналы обслуживания К.

Источники заявок и Каналы обслуживания при моделировании реализуются как генераторы потоков случайных или неслучайных чисел. Генерируемое число представляет интервал времени между событиями. А само событие может наделяться атрибутами, например номером или именем.

Некоторое соединение блоков модели называется Q-схемой.

Количество последовательных каналов обслуживания определяет количество фаз СМО.

Схема может включать  параллельные каналы обслуживания.

2. Q-схема:

Q-схема считается заданной, если определены:

—          потоки событий: входящие потоки заявок, потоки обслуживания для каждого ;

—          структура системы:

            число фаз ,

число каналов обслуживания ,

число накопителей каждой из фаз обслуживания заявок,

связи между ними;

—          алгоритмы функционирования системы:

            дисциплины ожидания заявок в Н и выбора на обслуживание,

            правила ухода из Н и К.

Следовательно, алгоритм реализации  Q-схемы должен включать следующие блоки:

—          ввод исходных данных и установка начальных условий (1);

—          модель потока заявок (2);

—          проверка окончания моделирования (3);

—          модель потока обслуживания заявки каналом i-фазы (4);

—          переход заявки из одной фазы в другую или выход (5);

—          обработку и вывод результатов моделирования (6).

Функционирование СМО моделируется посредством имитации смены состояний СМО.

Данные о состоянии Q-схемы можно хранить  в массиве состояний, включающем:

—          подмассив К для запоминания текущего состояния ,  ij-го канала и времени окончания обслуживания каналом очередной заявки t(k)

—          подмассив Н для записи текущего значения , ,max , соответствующих накопителей Н(i);

—          подмассив И для записи времени поступления очередной заявки t(m) из источника И.

3. Характеристики СМО:

Загрузка системы: , где: – интенсивность поступления, – интенсивность обслуживания; – средняя длительность обслуживания.

Вероятность простоя: ;

, где – среднее число заявок в системе, – время пребывания заявок в системе.

, где – среднее число заявок в очереди.

Вероятность отказа в обслуживании (для СМО с отказами):   P_отк= N/M, где N- число отказов, M число поступивших заявок.

4. Организация модели.

Состояние СМО фиксируется в определенные моменты системного времени.

Разность моментов времени

1. Основные понятия

1.1  Транзакт (T) – сущность, имитирующая объекты реального мира, обслуживаемые моделируемой СМО.

1.1.1        Параметры транзакта:

PR – приоритет («О» по умолчанию);

MARKTIME – значение абсолютного времени при входе Т в модель;

ASSEMBLY SET – номер ансамбля к которому принадлежит Т;

DELAY INDICATOR – индикатор задержки;

TRACE IDTCATOR – индикатор трассировки;

CURRENT BLOCK – блок, в котором находится активный Т;

NEXT BLOCK – следующий блок;

CHAINS – списки, в которых можно найти данный Т.

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

1.1.2        Состояние Т.

Active – активный, движущийся Т.

SUSPENDED – ожидающий в цепи будущих или текущих событий.

PASSIVE – в цепях пользователя, задержки или ожидания.

TERMINATED – подлежащий удалению из текущей модели.

1.2  Цепи транзакта.

Цепь Т – упорядоченный список событий.

Цепь текущих событий (ЦТС)(Current Events Chain)

ЦТС – содержит Т, которым предстоит пройти ещё хотя бы один блок до увеличения          модельного времени.

ЦТС – выстроена по убыванию приоритетов.

Системное время обновляется по исчерпании ЦТС.

Цепь будущих событий (ЦБС)(Future Events Chain).

ЦБС – содержит Т, выходящие из блоков GENERATE (генератор заявок) и ADVANCE (блок генерация заявки Т в ЦБС)

ЦБС упорядочена по времени активации Т.

Цепь повторных попыток (ЦПП). Содержит Т, параметры которых не удовлетворяют условиям входа в устройства. При смене состояния Т вновь делает попытку доступа к устройству, попадая в ЦТС.

1.3  Цепи устройств.

Interupt – цепь иных устройств. Содержит транзакты, обслуживание которых прервано транзактом с более высоким приоритетом..

Pending— цепь ожидания возможности прервать устройство в режиме прерывания. Так        как     возможные прерывания в GPSS запрещены, то при непустой цепи Interrupt пришедший   транзакт с приоритетом выше находящегося на обслуживании помещается в Pending.

Delay – цепь транзактов, ожидающих возможности занятия (в случае если устройство занято, а право прерывания отсутствует).

 Retry – цепь транзактов, ожидающих готовности. Транзакт помещается в эту цепь, если по значению некоторых параметров не может быть принят на обслуживание.

1.4  Цепи пользователей.

Включают Т, удаленные из ЦТС блоками LINK, с целью реализации