Исследование систем управления методами имитационного моделирования. Варжапетян А.Г. - 38 стр.

UptoLike

Составители: 

38
А - не имеет значения по умолчанию и обозначает один из кодов состояния
LS, LС, содержимое скобок указывает на имя инициализируемого
устройства, слэш “/” символизирует возможный набор устройств, например:
INITIAL LS(KEY)/LC(KNOB).
В этом примере начальное состояние логического переключателя KEY в
положенииустановить”, а начальное состояние логического переключателя
KNOB в положениисвободен “.
ОБ LOGIC изменяет состояние
логического переключателя. Кроме
кода действия, ОБ имеет дополнительные коды: S- установлен, C- свободен
или переустановлен -R (reset ) и инвертирован – I, т.е. изменил состояние на
противоположное, ОБ имеет формат:
< LOGIC X A > ,
X - дополнительный код S ,C( R ), I
A - не имеет значения по умолчанию и обозначает имя или номер
логического переключателя, устанавливаемого в одно из состояний,
задаваемых дополнительным кодом, например
:
1. LOGIC S SWCH
2. LOGIC I KL1
В первом примере проходит команда на установку переключателя SWCH
Во втором примере инвертируется переключатель KL1.
Существуют два СЧА, относящихся к логическому переключателю,
введённые выше, а именно LS и LC , которые обозначают следующее:
LC (имя или номер )- истинно, когда логический переключатель свободен,
если это так, то СЧА равен 1, в противном случае СЧА равен 0.
LS ( имя
или номер )- истинно, если логический переключатель установлен,
если это так, то СЧА равен 1, в противном случае СЧА равен 0.
Используемый в этой цепочке ОБ GATE, препятствует входу
следующего транзакта, если определяемые условия ложны, что делается с
помощью дополнительных кодов ОБ, отличающихся от условий
применения ОБ GATE. Вначале рассмотрим его использование в общем
виде,
формат ОБ GATE в этом случае имеет вид:
< GATE XXX A[,B ] >,
XXX - дополнительный код.
Для логического переключателя это LS и LC.
Для устройств:
- I- прервано, NI не прервано, U - захвачено или прервано, NU –ни
захвачено и ни прервано, FV- доступно, FNV - не доступно, FS
готово к захвату, FNS - не готово к захвату.
Для памятей:
- SE – пуста, SNE - не пуста, SF- полна,SNF- не
полна, SV-доступна,
SNV – не доступна.
Для транзактов, имеющих одинаковые характеристики (групп,
ансамблей):
- M- является членом группы, NM - не является членом группы.