Блок LOGIC устанавливает положение ключа, которое может быть проверено любым сообщением в любой части модели. Блоки GATE LR и GATE LS имеют следующий формат:
GATE X A,B
Блоки GATELR, GATELS проверяют состояние логического ключа. Если не задан альтернативный выход, блок GATE может задержать сообщение. В поле A задается номер логического ключа. В поле B задается номер блока, к которому переходит сообщение, если логический оператор, указанный во вспомогательном поле операции имеет значение "ложь". Если значение логического оператора - "истина", сообщение переходит к следующему по номеру блоку. Если поле B пусто, блок работает в режиме условного входа, если заполнено - в режиме безусловного входа. В режиме условного входа сообщения могут войти в блок GATE только в том случае, если логический оператор (LRj или LSj) имеет значение "истина". Если значение логического атрибута "ложь", сообщение помещается в список задержки и не обрабатывается интерпретатором до тех пор, пока значение не станет истинным. Единственным исключением являются сообщения, находящиеся в блоке TRANSFERBOTH (или ALL). Когда впоследствии какое-нибудь другое сообщение проходит блок LOGIC, который присваивает указанному в блоке GATE атрибуту значение "истина", все сообщения, стоящие в списке задержки активизируются. После этого интерпретатор, просматривая список текущих событий, получает возможность продвинуть одно или несколько сообщений (включая и те, которые находятся в блоке TRANSFERBOTH или ALL) в блок GATE, работающий в режиме условного входа.
Опубликовал Kest
January 19 2010 20:46:02 ·
0 Комментариев ·
6935 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
