Объекты GPSS

Категории	Типы объектов
Динамическая	Транзакты
Операционная	Блоки
Аппаратная	Одноканальные устройства, памяти (многоканальные устройства), логические ключи
Вычислительная	Переменные, функции, генераторы случайных чисел
Статистическая	Очереди, таблицы
Запоминающая	Ячейки, матрицы ячеек
Группирующая	Числовые группы, группы транзактов списки

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

Объекты аппаратной категории – это абстрактные элементы, на которые может быть декомпозирована реальная система. Воздействуя на эти объекты, транзакты могут изменять их состояние и влиять на движение других транзактов. К объектам этого типа относятся одноканальные устройства, памяти (многоканальные устройства) и логические ключи.

Одноканальные устройства (ОКУ) представляют собой оборудование, которое в любой момент времени может быть занято только одним транзактом. Например, один канал передачи данных, одноканальный ремонтный орган, один узел связи.

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

Ранее происходившие события в системе могут заблокировать, изменить движение транзактов и наступление последующих событий. Например, один канал связи вышел из строя и все последующие заявки на передачу сообщений должны быть направлены на исправные каналы связи. Для моделирования таких ситуаций введены логические ключи. Транзакт может устанавливать эти ключи в положение «включено» или «выключено». Впоследствии состояние ключей может быть проверено другими транзактами для определения пути их дальнейшего следования.

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

1) создание или уничтожение транзактов;

2) изменение числового атрибута объекта;

3) задержка транзакта на определенный период времени;

4) изменение маршрута движения транзакта в модели.

Система GPSS World, содержит 53 типа блоков. В зависимости от назначения блоки подразделяются на несколько групп.

1. Блоки, осуществляющие модификацию атрибутов транзактов:

а) генерирование и уничтожение транзактов: GENERATE, SPLIT, TERMINATE, ASSEMBLE;

б) временная задержка – ADVANCE;

в) синхронизация движения двух (МАТСН) и нескольких (GATHER) транзактов;

г) изменение параметров транзактов: ASSING, INDEX, MARK, PLUS;

д) изменение приоритета транзакта – PRIORITY.

2. Блоки, изменяющие последовательность движения транзактов (блоки передачи управления): DISPLACE, TRANSFER, LOOP, TEST, GATE.

3. Блоки, связанные с группирующей категорией: ADOPT, ALTER, EXAMINE, JOIN, REMOVE, SCAN.

4. Блоки, описывающие объекты аппаратной категории:

а) одноканальные устройства (технические средства): SEIZE, Release, PREEMPT, RETURN, FUNAVAIL, FAVAIL;

б) многоканальные устройства (памяти): ENTER, LEAVE, SAVAIL, SUNAVAIL;

в) ключи (логические переключатели) – LOGIC.

5. Блоки, сохраняющие необходимые значения для дальнейшего использования: SAVEVALUE, MSAVEVALUE.

6. Блоки, обеспечивающие получение статистических результатов:

а) очереди: QUEUE, DEPART;

б) таблицы – ТАВULАТЕ.

7. Блоки для организации списка: LINK, UNLINK.

8. Блоки для организации ввода-вывода:

а) открытие/закрытие файла: ОРЕN/CLOSE;

б) считывание/запись в файл: READ/WRITE;

в) установка позиции текущей строки – SЕЕК.

9. Специальные блоки: BUFFER, COUNT, EXECUTE, INTEGRATION, SELECT, TRACE, UNTRACE.

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

Переменные представляют собой сложные выражения, которые включают в себя константы, системные числовые атрибуты (СЧА), библиотечные арифметические функции, арифметические и логические операции.

Каждому объекту соответствуют атрибуты, описывающие его состояние в данный момент времени. Они доступны для использования в течение всего процесса моделирования и называются системными числовыми атрибутами.Всего в GPSS World имеется свыше 50 СЧА.

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

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

Кроме библиотечных арифметических функций GPSS World имеет
24 встроенных генератора случайных чисел.

Объекты запоминающей категории обеспечивают обращения к сохраняемым значениям. Ячейки сохраняемых величин и матрицы ячеек сохраняемых величин используются для сохранения некоторой числовой информации. Например, значение, занесенное в ячейку, может представлять собой коэффициент использования устройства в какой-то момент времени. Любой активный транзакт может произвести запись информации в эти объекты. Впоследствии записанную в эти объекты информацию может считать любой транзакт. Матрицы могут иметь до шести измерений.

К статистическим объектам относятся очереди и таблицы. В любой системе движение потока транзактов может быть задержано из-за недоступности устройств. Например, требуемое ОКУ (канал связи) может быть уже занято или МКУ (каналы связи), в которые нужно войти, уже заполнены. В этом случае задержанные транзакты ставятся в очередь – еще один тип объектов GPSS. Учет этих очередей составляет одну из основных функций планировщика. Планировщик автоматически накапливает определенную статистику относительно устройств и очередей.

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

К группирующей категории относятся три типа объектов: числовая группа, группа транзактов и списки.

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