Слайд 1Блоки, изменяющие маршруты транзактов
Слайд 2Transfer
1. Режим безусловной передачи
TRANSFER ,B
В – метка блока,
на который происходит перенаправление
2. Режим статистической передачи
TRANSFER
A,B,C
А - вероятность, с которой транзакт направляется в блок, указанный в поле С. С вероятностью 1-А транзакт направляется в блок, указанный в поле В (или в следующий блок, если поле В пусто).
Слайд 3Transfer
3. Режим логической передачи:
TRANSFER A,B,C
А - BOTH.
Транзакт, поступающий
в блок TRANSFER, сначала пытается войти в блок, указанный в
поле В (или в следующий блок, если поле В пусто), а если это не удаётся, то в блок, указанный в поле С. Если и эта попытка неудачна, то транзакт задерживается в блоке TRANSFER до изменения условий в модели, делающего возможным вход в один из блоков В или С.
Слайд 4Пример
На вход системы поступает пуассоновский поток заявок с интенсивностью λ=0.05
(1/c). Система состоит из двух каналов передачи данных. Если в
момент прихода заявки хотя бы один канал свободен, то заявки передаются по этому каналу. Если оба канала заняты, то 90% заявок ждут 10 с и предпринимают повторную попытку передачи, а остальные 10% уничтожаются. Время обслуживание в каждом из каналов распределено по экспоненциальному закону с интенсивностью μ=0.025 (1/c).
Смоделировать процесс обслуживания 1000 заявок.
Слайд 5Решение
SMO2 STORAGE 2
GENERATE (EXPONENTIAL(1,0,20))
TRY TRANSFER BOTH,,MET
ENTER SMO2
ADVANCE (EXPONENTIAL(1,0,40))
LEAVE SMO2
TERMINATE 1
MET TRANSFER .9,,OUT
ADVANCE 10
TRANSFER ,TRY
OUT TERMINATE 1
Слайд 6TEST
TEST Х A,B,C
Х - условие проверки
между СЧА:
L (меньше);
LE (меньше или равно);
E (равно);
NE (не равно);
GE (больше или равно);
G(больше).
А и B - сравниваемые СЧА. Если условие АХВ выполняется, то TEST пропускает транзакт в следующий блок. Если же это условие не выполняется, то транзакт переходит к блоку, указанному в поле С, а если это поле пусто, то задерживается перед блоком TEST до тех пор, пока логическое выражение АХВ не станет истинным.
Слайд 7пример
Имеется пятиканальная система, на вход которой поступает пуассоновский поток заявок
с интенсивностью λ=0.05 (1/с). Время обслуживания распределено по экспоненциальному закону
со средним значением 100 с. В случае, если в момент прихода заявки все каналы заняты, она ожидает в очереди. Длина очереди рассчитана на 3 места. Смоделировать обслуживание 1000 заявок.
Слайд 8Решение
Syst STORAGE 5
GENERATE (EXPONENTIAL(1,0,20))
TEST L Q$LINE,3,OTK
QUEUE LINE
ENTER Syst
DEPART LINE
ADVANCE (EXPONENTIAL(1,0,100))
LEAVE Syst
TERMINATE 1
OTK TERMINATE 1
START 1000
Слайд 9GATE
GATE X A,B
Вспомогательный операнд Х содержит код состояния
проверяемого объекта и может принимать следующие значения:
а) одноканальные устройства U
(устройство занято), NU (устройство свободно), I (устройство захвачено), NI (устройство не захвачено);
б) многоканальные устройства (МКУ) SE (МКУ пусто), SNE (МКУ не пусто), SF (МКУ заполнено), SNF (МКУ не заполнено);
в) логические переключатели (ЛП) LS (ЛП включен); LR (ЛП выключен).
Слайд 10GATE
В поле А указывается имя или номер проверяемого объекта. Если
проверяемый объект находится в заданном состоянии, то GATE пропускает транзакт
к следующему блоку. Если же заданное условие не выполняется, то транзакт переходит к блоку, указанному в поле В, а если это поле пусто, то задерживается перед блоком GATE до тех пор, пока объект А не окажется в состоянии Х.
Слайд 11Пример.
Рассмотрим функционирование простейшей одноканальной системы, на вход которой поступает
пуассоновский поток заявок с интенсивностью λ=0.1 (1/с). Если система свободна,
заявка принимается к обслуживанию и обслуживается в среднем 10с (время распределено экспоненциально). В противном случае она получает отказ.
Слайд 12Решение
GENERATE (EXPONENTIAL(1,0,10))
GATE NU USTR,OTK
SEIZE USTR
ADVANCE (EXPONENTIAL(1,0,10))
RELEASE USTR
TERMINATE 1
OTK TERMINATE