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

Задание для самостоятельной работы:

1. Напишите сегмент модели, который моделирует поступление 14 транзактов с равномерным законом распределения (23±9).

2. Смоделируйте приход в нулевой момент времени пяти транзактов с уровнем приоритета 25.

3. Смоделируйте ситуацию, когда Транзакты поступают в модель каждые 45±15 мин (первый транзакт появляется на 20-й минуте).

Единица модельного времени - 0,1 мин.

4.5. Удаление транзактов из модели. БлокTerminate

Транзакты удаляются из модели, попадая в блок TERMINATE (ЗАВЕРШИТЬ). В этот момент освобождается память, выделенная под транзакт. Эти блоки всегда позволяют выйти всем транзактам, которые пытаются это сделать. В модели может быть любое количество блоков TERMINATE. Формат блока:

TERMINATE [A]

Операнд А является величиной уменьшения специального счет­чика, который называется счетчиком завершения. Этот операнд за­дает величину, которая вычитается из счетчика каждый раз, когда транзакт входит в блок TERMINATE. По умолчанию А = 0. Вход транзакта в блок TERMINATE с нулевым значением операнда А не вызывает уменьшения счетчика завершения.

Счетчик завершения - это ячейка в памяти ЭВМ, которая хранит целое положительное число. Начальное значение этого счетчика ус­танавливается в начале моделирования. Оно равняется значению опе­ранда А команды START (НАЧАТЬ). В процессе моделирования транзакты попадают в блок TERMINATE и, таким образом, умень­шают значение счетчика на величину операнда А. Моделирование заканчивается, когда значение счетчика становится равным нулю или отрицательному числу.

1. В модели может быть много блоков TERMINATE, но счетчик завершения - один, с начальным значением, указанным в команде START.

2. Не путать ограничитель транзактов в блоке GENERATE и счетчик завершения. Ограничитель задает число тран­зактов, которые войдут в модель, а счетчик - число транзактов, кото­рые выйдут из модели. По окончании моделирования транзакты мо­гут оставаться в модели.

Интерпретатор начинает моделирование по команде START. Ее

формат:

START A,[B],[C],[D]

В операнде А задается начальное значение счетчика завершения. О назначении остальных операндов будет рассказано в параграфе 4.27.

Управление продолжительностью процесса моделирования.

В языке GPSS продолжительностью процесса моделирования можно управлять двумя способами:

1) завершать моделирование после того, как модель покинет за­данное число транзактов определенного типа;

2) завершать моделирование по истечению заданного интервала времени.

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

1. В команде START операнду А присваивается значение за­данного числа транзактов.

2. Во всех блоках TERMINATE, через которые транзакты за­данного типа покидают модель, операнду А присваивается значение «1» или другое, отличное от нуля (соответственно содержательному значению транзактов).

3. Во все других блоках TERMINATE используется значение операнда А по умолчанию (А = 0). Значение счетчика завершения не будет зависеть от этих блоков.

Первый способ позволяет закончить моделирование, когда через модель пройдет заданное количество транзактов, например 1000:

GENERATE 40,5

TERMINATE START 1000

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

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

1. Ввести в модель таймер-сегмент, состоящий из двух блоков:

GENERATE 480

TERMINATE I

2. Во всех других блоках TERMINATE в модели использовать значение операнда А по умолчанию (А = 0). Это означает, что пре­кращение моделирования, определяемое счетчиком завершения, не будет зависеть от других блоков TERMINATE.

3. В команде START операнд А должен равняться единице.

Таким образом, в процессе моделирования завершение движе­ния транзактов в других блоках TERMINATE не влияет на счетчик завершения. В момент времени 480 транзакт выйдет из блока GENERATE и сразу же перейдет в блок TERMINATE. Счетчик за­вершения уменьшится на единицу, и интерпретатор завершит моде­лирование.

Задание для самостоятельной работы:

1. Напишите сегмент программы, в котором моделирование за­канчивается после того, как через модель пройдут 300 транзактов. Транзакты должны поступать в модель каждые 25±4 ед. модельного времени.

2. Задайте время моделирования работы системы "8 часов. Еди­ница модельного времени - 1 сек.

4.6. Элементы, отображающие одноканальные обслуживающие устройства

Рассмотрим элементы, которые используются для представле­ния обслуживания. Аналогами обслуживающих элементов могут быть люди, механизмы, линии связи и другие объекты реальных сис­тем. В GPSS такие объекты моделируются с помощью устройств, МКУ, логических ключей.

Устройство характеризируется двумя основными свойствами: 1. Каждое устройство в любой момент времени может обслужи­вать только один транзакт. Если в процессе обслуживания появляется новый транзакт, то он должен:

1) либо подождать своей очереди,

2) либо направиться в другое место,

3) либо, если вновь пришедший транзакт имеет больший при­оритет, устройство прерывает текущее обслуживание и начинает об­служивать новый транзакт.

2. Когда транзакт поступает в устройство, он должен пробыть там необходимое для обслуживания время.

Всем устройствам необходимо задавать имена. Они могут быть или числовыми (числа должны быть положительными целыми), или символьными. Во время трансляции символьным именам сам транс­лятор присваивает числовые значения.

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

Первый шаг. Ждать своей очереди, если это необходимо. Ожи­дание длится в течение некоторого интервала времени.

Второй шаг. Когда подходит очередь, занять устройство. Собы­тие «занятие устройства» происходит в некоторый момент модельно­го времени.

Третий шаг. Устройство находится в состоянии занятости до тех пор, пока не закончится обслуживание. Для обслуживания необ­ходим некоторый интервал времени.

Четвертый шаг. Когда обслуживание закончится, освободить устройство. Событие «освобождение устройства» происходит в неко­торый момент модельного времени.

Эта последовательность шагов выполняется GPSS при модели­ровании использования устройства. Второй и четвертый шаги реали­зуются блоками SEIZE (ЗАНЯТЬ) и RELEASE (ОСВОБОДИТЬ).

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

SEIZE A

Этот блок имеет следующие свойства:

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

2. Если устройство свободно, транзакт может войти в блок. Вход транзакта в блок вызывает выполнение подпрограммы обработ­ки этого блока. Состояние устройства изменяется со СВОБОДНОЕ на ЗАНЯТОЕ.

Предварительного объявления устройства в модели не требует­ся, так как тот факт, что блок SEIZE используется, свидетельствует о существовании данного устройства.

Предназначением блока RELEASE является изменение состоя­ния ранее занятого устройства с ЗАНЯТОГО на СВОБОДНОЕ. Блок RELEASE никогда не запрещает вход транзакта.

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

RELEASE A

Статистическая информация о работе устройства при моделиро­вании собирается автоматически.

Если в модели используются объекты типа «устройство», то в файле стандартной статистики будет представлена информация об использованных устройствах.

Таблица 4.5

Статистику работы устройств в процессе моделирования можно наблюдать в окне устройств для GPSS/PC (перейдя в это окно с по­мощью клавиш [ALT+F]) или в окне Facilities Window для GPSS World.

1. После блока SEIZE может сразу же следовать другой блок SEIZE, если транзакт должен одновременно занять два или более устройств (например, рабочего и инструмент).

2.Транзакт не может освободить устройство, которое он не занимал.