Файл: Конспект лекций Для студентов специальности 080801. 65 - приклад.doc

Использование СЧА в блоках ENTER и ADVANCE.

ENTER 3,R3

При входе транзакта в блок ENTER, он занимает R3 каналов устройства с именем 3. Поскольку R3 - число доступных каналов МКУ 3, то транзакт занимает все каналы, которые остались свобод­ными до его входа.

ENTER HS,R$SH

Войдя в блок ENTER, транзакт занимает R$SH каналов МКУ с именем HS.

ADVANCE FCSPRIB

Задержка в этом блоке равна числу занятий устройства PRIB.

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

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

Особенности параметров транзактов:

1. Доступ к параметрам транзактов осуществляется таким образом:

Р<номер> или Р$<имя>,

где Р - СЧА транзакта, определяющий его групповое имя, т.е. имя всех параметров транзакта.

2. Номера (имена) конкретных членов множества параметров задаются с помощью целых чисел 1, 2, ... или символьных имен. На­пример, Р22 - это 22-параметр транзакта, P$COLOR - параметр с именем COLOR.

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

4. Значения параметров транзактов и их изменение определяет пользователь.

5. Значениями параметров транзактов могут быть любые числа (в системе GPSS/PC - только целые числа). Параметры могут приобретать отрицательные значения.

6. Транзакт может обращаться только к своим параметрам. Если необходимо получить доступ к параметрам других транзактов, то это можно сделать только через ячейки сохраняемых величин или ис­пользуя группы транзактов.

7. Параметры можно использовать в качестве операндов блоков и в качестве аргументов функций.

8. Параметры позволяют организовать косвенную адресацию блоков. Это дает возможность агрегированного представления объек­тов моделирования в программе.

Пример 4.26

ААА FUNCTION P3,D3

-3,4/3,7/10,8

………...

ADVANCE FN$AAA,3

………..

Выполнение подпрограммы блока ADVANCE предусматривает расчет функции ААА. Это в свою очередь требует определения зна­чения аргумента функции, т.е. параметра РЗ. Пусть значение третьего параметра транзакта, вошедшего в блок ADVANCE, равно 4. Соот­ветствующее значение функции ААА равно 8. Таким образом, время задержки будет равномерно распределено на интервале 8±3.

Пример 4.27

SEIZE PSPRIB

ADVANCE PSTSERV

RELEASE PSPRIB

Транзакт занимает устройство, номер которого задан парамет­ром транзакта PRIB. Время обслуживания задается параметром TSERV.

Изменение значений параметров. Блок ASSIGN

(НАЗНАЧИТЬ). При входе транзакта в этот блок значения парамет­ров могут задаваться или изменяться. Формат блока:

Блок ASSIGN может быть использован как в режиме замещения значения параметра (начальное значение всех параметров транзактов равно 0), так и в режиме увеличения и уменьшения. В режиме увели­чения предшествующее значение параметра увеличивается на значе­ние, стоящее в операнде В. В режиме уменьшения оно уменьшается на величину, стоящую в операнде В. Режимы увеличения и уменьше­ния определяются введением соответственно знаков «плюс» и «ми­нус» перед запятой, которая разделяет операнды А и В.

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

Пример 4.28

Блок ASSIGN в режиме присваивания:

ASSIGN MEST,36

Параметру транзакта с именем MEST присваивается значение 36.

ASSIGN 3,25

Параметру РЗ присваивается значение 25.

ASSIGN P4,FR$BB

Параметру транзакта с номером, записанным в параметре Р4, присваивается значение величины загрузки устройства ВВ (оба опе­ранда заданы косвенным образом).

Блок ASSIGN в режимах накопления и уменьшения:

ASSIGN 4+,Q5

Параметр 4 увеличивается на значение, равное текущей длине очереди 5.

ASSIGN Р2-,7

От значения параметра, номер которого задан параметром Р2, вычитается 7.

Отметка времени. При каждом входе транзакта в модель ин­терпретатор фиксирует для него текущее значение времени. Это зна­чение времени называется отметкой времени. Она может быть ин­терпретирована как время «рождения» транзакта или время входа транзакта в модель. В явном виде отметка времени недоступна. Од­нако существует СЧА, который тесно связан со значением времени входа транзакта в модель. Его имя Ml, а значение определяется так:

Значение M1 для каждого транзакта изменяется в процессе мо­делирования. Сразу после входа транзакта в модель М1=0, через 10 единиц модельного времени М1=10 и т.д.

Пример 4.29

Пусть в устройстве, номер которого хранится в параметре CLR_1 транзакта, продолжительность обслуживания зависит от вре­мени, которое прошло с момента входа транзакта в модель. Предпо­лагается, что это время не может превышать 1000 ед. времени. Для этого в модели можно использовать такие блоки:

ZATR FUNCTION M1,C2

1,4/1000,80

…….

SEIZE P$CLR_1

ADVANCE FNSZATR

RELEASE P$CLR_1

…….

Транзитное время. Блок MARK (ОТМЕТИТЬ). Стандартный числовой атрибут M1 измеряет время, которое прошло с момента входа транзакта в модель. Однако очень часто требуется знать время, затраченное на перемещение транзакта между двумя произвольными точками модели. Для этого используется блок MARK.

При входе транзакта в блок MARK значение таймера абсолют­ного времени записывается в качестве одного из его параметров. Та­кую запись называют отметкой транзакта. Формат блока MARK:

MARK A

Таблица 4.30

Пусть необходимо определить интервал времени, на протяже­нии которого транзакт проходит от точки Т₁ к точке Т₂. Для этого нужно выполнить два действия:

1) в точку T₁ поместить блок MARK j, где j - номер параметра, в который записывается значение абсолютного времени в момент за­писи;

2) в точке Т₂ обратиться к СЧА с именем MPj, где j - номер па­раметра, в котором сделана отметка времени транзакта; СЧА MPj будет иметь такое значение:

Организация циклов. Блок LOOP (ЦИКЛ). С помощью пара­метров транзактов в программе можно организовать циклы. Для этого используется блок LOOP. Он управляет количеством повторных прохождений транзактом определенной последовательности блоков модели.

Формат блока:

LOOP A[,B]

Когда транзакт входит в блок LOOP, параметр, указанный в операнде А, уменьшается на единицу, а затем проверяется его значе­ние на равенство нулю. Если значение не равно нулю, то транзакт пе­реходит в блок, указанный в операнде В. Если значение параметра равно нулю, транзакт переходит в следующий блок.

Переменная блока LOOP может только уменьшаться.

Пример 4.30

ASSIGN 1,3 SIS SEIZE PC

RELEASE PC LOOP 1,SIS

Цикл организован по первому параметру транзакта. Его началь­ное значение равно 3. После освобождения устройства проверяется значение первого параметра. Если оно не равно нулю, то транзакт возвращается к блоку, помеченному меткой SIS, т.е. занимает уст­ройство с именем PC. Всего каждый транзакт будет занимать это уст­ройство три раза.

Примеры фрагментов GPSS-моделей с использованием СЧА и параметров транзактов

Пример 4.31

Определение функции, значения которой зависят от текущего содержимого блока с именем РРР. Вид зависимости задан в табл. 4.32.

FFF FUNCTION W$PPP,D5

0,1/3,4/5,2/6,4/7,5

Пример 4.32

Определение функции, значения которой были бы вдвое больше текущей длины очереди ALPHA для значений 0, 1,2, 3, 4. Для ос­тальных значений содержимого очереди значение функции должно быть равно 10.

Это можно сделать двумя способами:

1) с помощью дискретной функции, определяемой 6 значениями;

2) с помощью непрерывной функции, определяемой 2 значениями.

Первый способ:

LONG FUNCTION Q$ALPHA,D6

0,0/1,2/2,4/3,6/4,8/5,10

Второй способ:

SHORT FUNCTION Q$ALPHA,C2

0,0/5,10

Пример 4.33 [10]

В СМО с одним устройством и очередью поступает пуассоновский поток заявок с интенсивностью 12 приходов за 1 ч. Обслужива­ние имеет экспоненциальное распределение, но среднее время об­служивания зависит от числа заявок, которые находятся в очереди к устройству. Эта зависимость приведена в табл. 4.33. Промоделиро­вать обслуживание 500 заявок.

Таблица 4.34 (Таблица определений)

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

Программа:

MEAN FUNCTION Q$WAIT,D4

0,330/2,300/5,270/6,240

XPDIS FUNCTION RN1,C24

0,0/.l,.104/.2,.222/.3,.355/.4,.509/.5,.69/.6,.915/.7,1.2/ .75,1.38/.8,1.6/.84,1.83/.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 300,FN$XPDIS

QUEUE WAIT

SEIZE SURVR

DEPART WAIT

ADVANCE FN$MEAN,FN$XPDIS

RELEASE SURVR

TERMINATE 1

START 500

Пример 4.34 [10]

Устройство с экспоненциальным временем обслуживания имеет свойство уменьшать интенсивность своей работы на протяжении восьмичасового рабочего дня. В течение первых двух часов ему тре­буется в среднем 12 мин для выполнения обслуживания. В течение последующих двух часов среднее время обслуживания составляет 15 мин. В течение пятого, шестого и седьмого часа - 17 мин, в тече­ние восьмого часа - 20 мин. Предполагая, что единица времени в мо­дели равна 0,1 мин, определить функцию, значения которой давали бы среднее время, необходимое устройству для выполнения обслу­живания. Также показать, как эту функцию нужно использовать в блоке ADVANCE. (СЧА С1 - текущее значение относительного вре­мени работы модели).