Смекни!
smekni.com

Моделирование на GPSS (стр. 7 из 13)

капливается информация для вычисления среднего значения и средне-

квадратического отклонения (корня из дисперсии) времени ожидания.

По окончании моделирования среднее значение и среднеквадратическое

отклонение времени ожидания, а также счетчики попаданий в различные

частотные интервалы выводятся в стандартный отчет GPSS/PC.

Таблицы, как и другие объекты GPSS/PC, имеют СЧА:ТС - общее

число транзактов, вошедших в очередь, связанную с таблицей; TB -

целая часть среднего времени ожидания в очереди; TD - целая часть

среднеквадратического отклонения времени ожидания в очереди.

Дополним модель из примера на рис. 9 оператором QTABLE для по-

лучения распределения времени ожидания в очереди с именем LINE

(рис. 10).

WTIME QTABLE LINE,50,50,10

EXP FUNCTION RN1,C24

0,0/.1,.104/.2,.222/.3,.355/.4,.509/.5,.69/.6,.915

.7,1.2/.75,1.38/.8,1.6/.84,1.85/.88,2.12/.9,2.3

.92,2.52/.94,2.81/.95,2.99/.96,3.2/.97,3.5/.98,3.9

.99,4.6/.995,5.3/.998,6.2/.999,7/.9998,8

GENERATE 100,FN$EXP

QUEUE LINE

SEIZE SYSTEM

DEPART LINE

ADVANCE 80,FN$EXP

RELEASE SYSTEM

TERMINATE 1

Рис. 10

Оператор определения таблицы с именем WTIME разбивает ось вре-

мени на 10 частотных интервалов. Первый интервал включает значения

от 0 до 50, второй - от 50 до 100, третий - от 100 до 150 и т.д.

Последний, десятый, интервал включает значения, превышающие 450.

Если, например, время ожидания некоторого транзакта в очереди

составило 145 единиц модельного времени, то к счетчику третьего

частотного интервала будет добавлена 1. Следует заметить, что ин-

формация в таблицу с именем WTIME заносится автоматически, при вхо-

де транзактов в блоки QUEUE и DEPART, и никаких специальных мер для

этого принимать не требуется.

Таблицы в GPSS/PC могут использоваться в более общем случае не

только для табулирования времени ожидания в очереди, но и для полу-

чения выборочных распределений произвольных СЧА любых объектов мо-

дели. Для определения таблиц служит оператор TABLE (таблица), фор-

мат которого совпадает с форматом оператора QTABLE. Отличие состоит

лишь в том, что в поле A оператора TABLE записывается стандартный

числовой атрибут, выборочное распределение которого необходимо по-

лучить, а операнды B, C и D определяют разбиение на частотные ин-

тервалы диапазона всевозможных значений этого СЧА.

Занесение информации в таблицу, определяемую оператором TABLE,

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

Q-таблиц. Для этого используется специальный блок TABULATE (табули-

ровать), имеющий следующий формат:

имя TABULATE A

В поле A указывается номер или имя таблицы, определенной соот-

ветствующим оператором TABLE.

При входе транзакта в блок TABULATE текущее значение табулиру-

емого аргумента таблицы, указанного в поле A оператора TABLE, за-

носится в нее в соответствии с заданным в операторе TABLE разбиени-

ем области значений аргумента на частотные интервалы. Одновременно

корректируются текущие значения СЧА таблицы: счетчик входов в таб-

лицу TC, среднее время ожидания TB и среднеквадратическое отклоне-

ние времени ожидания TD.

Пусть, например, в модели многоканальной СМО, приведенной на

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

системе, включающего время ожидания в очереди и время обслуживания.

Это может быть обеспечено способом, показанным на рис. 11.

Оператор TABLE определяет таблицу с именем TTIME, аргументом

которой служит СЧА М1 - время пребывания транзакта в модели. В

рассматриваемой модели значение СЧА M1 одновременно будет являться

временем пребывания транзакта в СМО в том случае, если занесение

информации в таблицу производить перед выходом транзакта из модели.

Поэтому блок TABULATE, заносящий информацию о времени пребывания

каждого транзакта в модели в таблицу TTIME, располагается перед

блоком TERMINATE. Диапазон возможных значений времени пребывания

транзакта в модели разбит в операторе TABLE на 12 частотных интер-

валов, ширина которых (кроме последнего) равна 100 единицам модель-

ного времени.

TTIME TABLE M1,100,100,12

STO2 STORAGE 2

EXP FUNCTION RN1,C24

0,0/.1,.104/.2,.222/.3,.355/.4,.509/.5,.69/.6,.915

.7,1.2/.75,1.38/.8,1.6/.84,1.85/.88,2.12/.9,2.3

.92,2.52/.94,2.81/.95,2.99/.96,3.2/.97,3.5/.98,3.9

.99,4.6/.995,5.3/.998,6.2/.999,7/.9998,8

GENERATE 100,FN$EXP

ENTER STO2

ADVANCE 160,FN$EXP

LEAVE STO2

TABULATE TTIME

TERMINATE 1

Рис. 11

2.4. Блоки, изменяющие маршруты транзактов

В приведенных выше примерах транзакты, выходящие из любого

блока, всегда поступали в следующий блок. В более сложных моделях

возникает необходимость направления транзактов к другим блокам в

зависимости от некоторых условий. Эту возможность обеспечивают бло-

ки изменения маршрутов транзактов.

Блок TRANSFER (передать) служит для передачи входящих в него

транзактов в блоки, отличные от следующего. Блок имеет девять режи-

мов работы, из которых рассмотрим здесь лишь три наиболее часто

используемых. В этих трех режимах блок имеет следующий формат:

имя TRANSFER A,B,C

Смысл операндов в полях A, B и C зависит от режима работы блока.

В режиме безусловной передачиполя A и C пусты, а в поле B

указывается имя блока, к которому безусловным образом направляется

транзакт, вошедший в блок TRANSFER. Например:

TRANSFER ,FINAL

В режиме статистической передачи операнд A определяет вероят-

ность, с которой транзакт направляется в блок, указанный в поле C.

С вероятностью 1-A транзакт направляется в блок, указанный в поле B

(в следующий, если поле B пусто).

Вероятность в поле A может быть задана непосредственно деся-

тичной дробью, начинающейся с точки. Например, блок

TRANSFER .75,THIS,THAT

с вероятностью 0,75 направляет транзакты в блок с именем THAT, а с

вероятностью 0,25 - в блок с именем THIS.

Если же поле A начинается не с десятичной точки и не содержит

одного из ключевых слов - признаков других режимов работы блока, то

его значение рассматривается как количество тысячных долей в веро-

ятности передачи. Например, предыдущий блок TRANSFER можно записать

также в следующем виде:

TRANSFER 750,THIS,THAT

В режиме логической передачи в поле A записывается ключевое

слово BOTH (оба). Транзакт, поступающий в блок TRANSFER, сначала

пытается войти в блок, указанный в поле B (или в следующий блок,

если поле B пусто), а если это не удается, т.е. блок B отказывает

транзакту во входе, то в блок, указанный в поле C. Если и эта по-

пытка неудачна, то транзакт задерживается в блоке TRANSFER до изме-

нения условий в модели, делающего возможным вход в один из блоков B

или C, причем при одновременно возникшей возможности предпочтение

отдается блоку B. Например:

TRANSFER BOTH,MET1,MET2

Блок TEST (проверить) служит для задержки или изменения марш-

рутов транзактов в зависимости от соотношения двух СЧА. Он имеет

следующий формат:

имя TEST X A,B,C

Вспомогательный операнд X содержит условие проверки соотноше-

ния между СЧА и может принимать следующие значения: L (меньше); LE

(меньше или равно); E (равно); NE (не равно); GE (больше или рав-

но); G (больше). Поле A содержит первый, а поле B - второй из срав-

ниваемых СЧА. Если проверяемое условие A X B выполняется, то блок

TEST пропускает транзакт в следующий блок. Если же это условие не

выполняется, то транзакт переходит к блоку, указанному в поле C, а

если оно пусто, то задерживается перед блоком TEST.

Например, блок

TEST LE P$TIME,C1

не впускает транзакты, у которых значение параметра с именем TIME

больше текущего модельного времени. Блок

TEST L Q$LINE,5,OUT

направляет транзакты в блок с именем OUT, если текущая длина очере-

ди LINE больше либо равна 5.

Для задержки или изменения маршрута транзактов в зависимости

от состояния аппаратных объектов модели служит блок GATE

(впустить), имеющий следующий формат:

имя GATE X A,B

Вспомогательный операнд X содержит код состояния проверяемого

аппаратного объекта, а в поле A указывается имя или номер этого

объекта. Если проверяемый объект находится в заданном состоянии, то

блок GATE пропускает транзакт к следующему блоку. Если же заданное

в блоке условие не выполняется, то транзакт переходит к блоку, ука-

занному в поле B, а если это поле пусто, то задерживается перед

блоком GATE.

Операнд X может принимать следующие значения: U (устройство

занято); NU (устройство свободно); I (устройство захвачено); NI

(устройство не захвачено); SE (МКУ пусто); SNE (МКУ не пусто); SF

(МКУ заполнено); SNF (МКУ не заполнено); LS (ЛП включен), LR (ЛП

выключен).

Например, блок

GATE SNE BUF3

отказывает во входе транзактам, поступающим в моменты, когда в МКУ

с именем BUF3 все каналы обслуживания свободны. Блок

GATE LR 4,BLOK2

направляет транзакты в блок с именем BLOK2, если в момент их

поступления ЛП с номером 4 включен.

Блоки рассматриваемой группы используются при моделировании

различных СМО с потерями заявок. Воспользуемся, например, блоками

TRANSFER для моделирования двухканальной СМО с отказами и повторны-

ми попытками (рис. 12).

STO2 STORAGE 2

EXP FUNCTION RN1,C24

0,0/.1,.104/.2,.222/.3,.355/.4,.509/.5,.69/.6,.915

.7,1.2/.75,1.38/.8,1.6/.84,1.85/.88,2.12/.9,2.3

.92,2.52/.94,2.81/.95,2.99/.96,3.2/.97,3.5/.98,3.9

.99,4.6/.995,5.3/.998,6.2/.999,7/.9998,8

GENERATE 100,FN$EXP

ENT1 TRANSFER BOTH,,REFUS

ENTER STO2

ADVANCE 160,FN$EXP

LEAVE STO2

TERMINATE 1

REFUS TRANSFER .1,,OUT

ADVANCE 250,FN$EXP

TRANSFER ,ENT1

OUT TERMINATE 1

Рис. 12

Транзакты, поступающие в модель, попадают в блок TRANSFER с

именем ENT1, работающий в логическом режиме. Если в момент поступ-

ления транзакта в МКУ STO2 хотя бы один канал свободен, то блок

TRANSFER направит транзакт в следующий блок, т.е. в блок ENTER.