Физическое, модельное, машинное время

Очереди.

Функции.

Арифметические переменные и выражения.

Одноканальные и многоканальные устройства.

Блоки.

Сообщения (транзакты).

Общие сведения о системе программного обеспечения GPSS PC.

В рамках лекций дается краткое освещение системы программного обеспечения языка системного моделирования GPSS PC. Подробное ознакомление с этим языком осуществляется в процессе выполнения лабораторных работ.

Динамические объекты создаются в определённых точках модели. Продвигаются интерпретатором через блоки и затем уничтожаются. Каждое продвижение сообщения считается событием. С сообщениями связаны параметры, например, время обслуживания программы процессором; число обращений к дискам и т.д. Если событие не может произойти, например, занято устройство, то сообщение задерживается.

В блоках могут происходить события четырёх типов:

1). Создание или уничтожение сообщений.

2). Изменение числового атрибута сообщения.

3). Задержка сообщения на определённый период (в устройстве).

4). Изменение маршрута модели.

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

Арифметические переменные позволяют выражать арифметические выражения. Записи выражений аналогичны записям на языке Фортран.

Возможность создания источников непрерывно-дискретной зависимости между аргументом и зависимой величиной функции. Задаются табличным методом с помощью специальных операторов, имеют целочисленные значения.

В случае, когда устройства заняты, а к ним обращается сообщение для обслуживания, то эти сообщения выстраиваются в очередь. Это специальный объект, производящий расчёт и подсчёт характеристик в данной точке модели. Данный объект можно установить в любой точке модели с целью накопления информации и формирования статистических данных.

Физическое время – это время (t_ф), в котором протекают реальные процессы (рис. 1.24).

Модельное время – это время (t_мод), представляемое в модели в виде кодов и отображающее реальное время. Оно может быть зафиксировано, оставаться длительное время неизменным (например, при выполнении параллельных процессов реализуются квазипараллельные процессы; при их реализации модельное время остается неизменным, а машинная реализация параллельных процессов осуществляется последовательно во времени (S₂ и P₁, S₃ и Q₃). Модельное время формируется на основании кодируемых в модели единиц времени. Шкала «время» является основой очередности имитации событий. На основе шкалы модельного времени формируется очередь активизации событий.

Машинное время – реальное время (t_маш), в течение которого машина реализует процесс имитационного моделирования.

Рассмотрим временные диаграммы, характеризующие взаимосвязь физического, модельного и машинного времени (рис. 1.24). Пусть имеются события S, P, Q, которые инициируются соответствующими заявками. События, протекающие в физическом времени, отображаются на ось модельного времени. Причём на этой оси интерпретатор строит в динамике работы имитационной модели очередь активизации свершения событий. Для машинной реализации события выделяется заявка, стоящая первой в очереди активизации и обладающая наибольшим приоритетом. Через время, соответствующее связанной с этим активизируемым событием задержкой, на оси модельного времени в очереди активизации фиксируется заявка будущего события. В результате формируется очередь свершения будущих событий. Очередным для реализации при увеличении модельного времени является событие, активизирующее которое заявка оказывается на текущий момент моделирования первымой в очереди активизации. Переход от одного события к ближайшему будущему событию может осуществляться путем наращивания модельного времени на основе временных квантов или дискретно, скачком. Таким образом, последовательность имитации событий в модели задаётся очередью активизации заявок, которая формируется в процессе работы с этой же моделью.

Рис. 1.24