Материал: 2443
56
SAVEVALUE UBYITOK+,250 ; вошедший в блок транзакт прибавляет к ячейке с именем UBYITOK величину возможного убытка от одного клиента, в итоге в ячейке накопится общий убыток;
SAVEVALUE KOL+,1 ;заходящий в этот блок транзакт увеличивает значение ячейки на 1.
Обратите внимание, что обращаться к содержимому ячейки в программе нужно через её СЧА (приложение 2): X$UBYITOK,
X$KOL.
3.5. Определение и использование функций
Для применения в GPSS функций её предварительно надо описать в блоке FUNCTION , за которым следуют пары возможных значений аргумента и функции, фактически функция задаётся таблицей.
Имя FUNCTION A,Bn
Операнд А – аргумент функции, операнд В состоит из одной буквы, определяющей тип функции и n – положительного числа, задающего количество точек функции. В паре аргумент отделяется от значения запятой, пары друг от друга / (слэджем), пробелы недопустимы.
В GPSS есть 5 типов функций: D – дискретная числовая;
С – непрерывная числовая функция; Е – дискретная атрибутивная;
L – списковая числовая;
М – списковая атрибутивная.
При определении интервалов поступления заявок часто бывает необходимо разыгрывать случайные числа для неравномерных распределений. Рассмотрим пример такого розыгрыша для дискретной случайной величины и определим соответствующую функцию.
Пример. Пусть на АЗС 10 % клиентов заправляют по 10 литров бензина, 60 % – по 20 литров, 25 % – по 30 и тогда 5 % – по 40литров.
Имеем таблицу значений случайной величины:
Количество |
10 |
20 |
30 |
40 |
литров |
|
|
|
|
Вероятность |
0,1 |
0,6 |
0,25 |
0,05 |
57
Чтобы понять как разыгрывается случайная величина (СВ), построим по таблице функцию распределения СВ (рис. 3.1), разбив ось на интервалы и найдя накопленные частоты попадания в интервал.
FN
40
30
20
10
0,1 |
0,7 0,95 1 RN1 |
Рис. 3.1. График дискретной функции распределения
Описание функции, соответствующей этому рисунку имеет вид:
KOL FUNCTION RN1,D4
.1,10/.7,20/.95,30/1,40
Итак, генератор случайных чисел RN1 разыгрывает число в интервале [0;.999], например 0,835. Это число попадает в интервал [.7;.95], значит значение функции – количество литров заливаемого бензина равно 30 (см. рис. 3.1), причём случайные числа из этого интервала будут появляться с заданной вероятностью 0,95 – 0,7 = 0,25.
Обратим внимание, что значение функции допускается не только в виде действительного числа, но и имени (т. к. имена нумеруются), что удобно использовать для перераспределения в блоке TRANSFER.
PER FUNCTION RN2,D4
.2,MET1/.5,MET2/.7,MET3/1,MET4
……………………………
TRANSFER FN,PER MET1………………… MET2………………… MET3………………… MET4…………………
При моделировании непрерывной функции происходит линейная интерполяция, узлами интерполяции
58
являются заданные точки. Рассмотрим в качестве примера моделирование случайной переменной, равномерно распределенной на интервале [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
|
59 |
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 создаёт заданное число копий транзакта, все они принадлежат тому же семейству, что и транзакт-оригинал. Формат блока:
60
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 мин.
и