1000 Заказов.

Программа:

SIMULATE

ЕХР FUNCTION RN1.C12

0,0/.2,.22//.4,.51/.5,.6/.6,.92/.7,1.2/.8,1.61/.9,2.3/.95,3/.99,4.6/.999,6.9/1,ЮОО

GENERATE 30,10

SEIZE WGR1

138

3.6. Математическое обеспечение анализа на системном уровне

ADVANCE 20,FN$EXP

RELEASE WGR1

SPLIT 1,MET1

SEIZE WGR2

ADVANCE 10,FN$EXP

RELEASE WGR2

TRANSFER , MET2

MET1 SEIZE WGR3

ADVANCE 8,FN$EXP

RELEASE WGR3

MET2 ASSEMBLE 2

TERMINATE 1

START 1000,, 1000

END.

D

В этом примере использован экспоненциальный закон распределения с плот-

ностью

где X — интенсивность. Функция распределения экспоненциального закона

г

F(T) = \p(f) dt=l- exp(- X 7).

о

Из рис. 3.20 ясно, что поскольку искомыми являются значения Р случайной ве-

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

[0, 1] случайной величины, по формуле

(3 = (1/Х)1п(1/(1 - а)) (3.47)

находим искомое значение. Именно в соответствии с (3.47) в операторах

ADVANCE (см. пример 4) множителями были значения 1/Х.

Приведем еще несколько операторов языка GPSS.

Оператор изменения параметров транзактов

ASSIGN A,B

где А — номер параметра транзакта, В — присва-

иваемое ему значение. В операторе F(T)

ASSIGN A+,B 1

параметр А увеличивается на значение В, а в опе-

раторе а

ASSIGN А-В

уменьшается. Расширение возможностей управ-

ления движением транзактов достигается благо- р ' ч in <bv *

даря таким операторам, как м v F F ' экспоненциального закона

LOGIC_X А распределения

139

3. Математическое обеспечение анализа проектных решений

который при X = S устанавливает переключатель А в единичное состояние, а

при X = R сбрасывает его в нулевое состояние;

GATE_XXA,B

который при XX = LR и А = 1 или при XX = LS и А = 0 передает транзакт опе-

ратору с меткой В (или задерживает его в блоке GATE, если поле В пусто), а

при других сочетаниях XX и А направляет к следующему оператору. Вычис-

лительный оператор

М VARIABLE A

присваивает переменной с номером М значение арифметического выражения

А, например в операторе

3 VARIABLE K216-S$MEM2

переменной с номером 3 присваивается разность числа 216 и объема занятой

памяти в накопителе МЕМ2. Оператор синхронизации, имеющий, например, вид

LBL MATCH NUMB

задерживает приходящий в него транзакт до тех пор, пока в некоторой другой

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

NUMB MATCH LBL

не войдет транзакт того же семейства.

Часто сведения о некоторых величинах, характеризующих моделируемый

процесс, удобно представлять в виде гистограмм. Задание гистограммы

выполняют в разделе описаний с помощью оператора

М TABLE A,B,C,D

где М — имя гистограммы; А — табулируемая величина; В — верхняя граница

левого интервала гистограммы; С — ширина интервалов; D — число интервалов.

Формирование гистограммы происходит с помощью оператора

TABULATE A

выполнение которого увеличивает на единицу число попаданий в /-и интервал

гистограммы, имя указано в А. При этом z'-й интервал соответствует текущему

значению переменной, являющейся аргументом для гистограммы.

Сети Петри

Сети Петри — аппарат для моделирования динамических дискретных си-

стем (преимущественно асинхронных параллельных процессов). Сеть Петри

определяется как четверка <Р, Т, I, О>, где Р и Т — конечные множества пози-

ций и переходов, I и О — множества входных и выходных функций. Другими

словами, сеть Петри представляет собой двудольный ориентированный граф, в

котором позициям соответствуют вершины, изображаемые кружками, а пере-

ходам — вершины, изображаемые утолщенными черточками; функциям I со-

ответствуют дуги, направленные от позиций к переходам, а функциям О — от

переходов к позициям.

Как и в СМО, в сетях Петри вводятся объекты двух типов: динамические —

изображаются метками (маркерами) внутри позиций и статические — им

соответствуют вершины сети Петри.

140