MET1/.5,MET2/.7,MET3/1,MET4

……………………………

TRANSFER FN,PER

MET1…………………

MET2…………………

MET3…………………

MET4…………………

 

При моделировании непрерывной функции происходит линейная интерполяция, узлами интерполяции являются заданные точки. Рассмотрим в качестве примера моделирование случайной переменной, равномерно распреде­ленной на интервале
[2; 5]. Зададим функцию:

INN FUNCTION RN2,C2

0,2/1,6                    

Так как максимальное значение, которое может выдать генера­тор случайных чисел, равно 0,999, то если в качестве второй точки укажем (1,5), значение 5 никогда не будет достигнуто. Поэтому необходимо указать пару (1,6). Если генератор выдаст число 0,999, то функция, которая показана на рисунке, примет значение 5,996, целая часть которого равна 5 (это и будет значением GPSS-функции INN). В случае, если генератор случайных чисел RN2 вы­даст значение 0,4, GPSS-функция INN примет значение 3,6. Если необходимы целочисленные значения, то можно воспользоваться встроенной функцией INT – взятия целой части:

INT(FN$INN)

Из непрерывных функций, задающих известные распределения ранее часто встречалась функция XPDIS, теперь можно пользоваться библиотекой встроенных функций, см. [5, c.23-25].

Функции типа E, L, M расширяются возможности для значений функций, это могут быть СЧА, выражения в скобках, аргумент рассматривается как порядковый номер. Подробнее см. [2, c. 205].

 

3.6. Работа с параметрами транзакта, приоритеты

 

Каждый транзакт может иметь любое число параметров (атрибутов) до 100. В момент генерации все его параметры нулевые. Блок ASSIGN  является основным средством для изменения значений параметров. Имеет формат:    ASSIGN A,B,[C]

Операнд А определяет параметр, может быть номером, СЧА, выражением в скобках, СЧА*параметр (для косвенной адресации). Если значение параметра нужно увеличить или уменьшить в операнде А ставится знак + или –. Операнд В определяет значение, которое нужно положить в параметр или прибавить (отнять). Необязательный операнд С задаёт номер модификатора-функции (не нужно СЧА FN$), при его использовании значение функции в С умножается на В.

  Примеры.

ASSIGN 1,2                      ; в 1-й параметр кладем число 2;

ASSIGN 1+,V$VAR1    ; к 1-му прибавляем значение переменной VAR1;

ASSIGN PODSCHOT, Q2; в PODSCHOT кладём длину 2-ой очереди;

ASSIGN 3,250,2                         ; в 3 параметр кладём значение 2-ой функции, умноженное на число 250.

Изменить значение параметра можно ещё блоком INDEX, который устроен также как ASSIGN, но работает только в режиме прибавления. Обычно его используют в сложных моделях для различия режимов замещения и накопления.

 

Блок MARK

 В GPSS имеется блок MARK для работы с параметром, проходя через который в параметр заносится значение абсолютного модельного времени. Блок может иметь или не иметь операнд А. Значение операнда определяет номер или имя параметра, в который заносится абсолютное модельное время. Затем, в нужном месте модели обращаются к СЧА М1 или МРn, которое равно разности настоящего модельного времени и времени, запомненного при прохождении последнего MARK. Блок MARK   используется, если необходимо определить время обработки транзакта в модели либо время прохождения определённого участка модели.

Приоритет транзакта может быть задан в GENERATE и изменяется в блоке PRYORITY n, где n – номер приоритета (от 0 до 127).

 

3.7. Применение в моделях копий

и организация синхронизации движения транзактов

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

Блок GENERATE является основным средством создания транзактов. Каждый транзакт, вышедший из этого блока определяет собственное семейство, все они различны. Блок SPLIT создаёт заданное число копий транзакта, все они принадлежат тому же семейству, что и транзакт-оригинал. Формат блока:

SPLIT A,[B],[C]

Операнд А определяет число создаваемых копий. Операнд В – номер блока, к которому переходят копии, порождающий транзакт переходит в следующий блок. Операндом С задаётся номер параметра, в котором будут храниться последовательные номера копий, при этом порождающему присваивается номер 1, затем первой копии номер 2 и т. д.

Каждая новая копия становится членом семейства транзактов. Планировщик объединяет транзакты одного семейства в список. К семейству можно применять блоки, GATHER, MATCH.

Блок ASSEMBLE используется для объединения заданного числа транзактов, принадлежащих одному семейству, в один транзакт.

ASSEMBLE A  ,где А – число объединяемых транзактов.

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

Обратите внимание, что если в блоке SPLIT создалось n копий, то операнд А должен принять значение n + 1 (n копий и оригинал).

Блок GATHER имеет тот же формат, что и ASSEMBLE, отличие состоит в том, что транзакты после сборки не уничтожаются, а все одновременно направляются к следующему блоку.

Блок MATCH предназначен для синхронизации движения транзактов одного семейства, продвигающихся в модели по параллельным путям. В программе необходимо поместить два сопряжённых блока, каждый в одном из параллельных путей. Например:

MET1 MATCH MET2

MET2 MATCH MET1

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

Рассмотрим пример. Техническое обслуживание (ТО) средств связи проводят в два этапа две группы специалистов. После поступления (190 мин)  выполняется первый этап специалистами обеих групп  параллельно (80 мин. и

70 мин). Затем происходит уточнение мероприятий, время на него будем считать нулевым. После выполняется второй этап со средним временем 30 и 40 мин. Затем третья группа проводит комплексную проверку средства в течении 60 мин. Все интервалы поступления и времени обслуживания подчинены экспоненциальному закону. Определить коэффициенты занятости групп специалистов.

Построим модель, модельное время – секунда: