ГОСТ IEC 60848—2016
ПРИМЕР: «Эволюция перехода»
Предшествующая ситуация: этап 11 активен а =0,Ь=1ис = 0.
Интуитивно понятное толкование эволюции.
Изменение в значении «а» включает сброс перехода (1) и виртуальную акти
вацию этапа 12. затем виртуально сбрасывается переход (2). поскольку Ь = 1. что
приводит к последующей ситуации, этап 13 активен.
Реальная интерпретация эволюции.
Появлениеодного из входных событий, таких какизменения «а» от 0 к1ведет
к следующей ситуации: этап 13 активен.
4.9.4 Результат эволюции перехода при присваивании
Присваивание выходного значения при непрерывной операции, ассоциированной с этапом, кото
рый является нестабильным этапом в случае эволюции перехода, не оказывает влияния на результат,
так какэтап на самом деле не активирован (см.4.8.2).
ПРИМЕР: «Непрерывная операция, ассоциированная с
нестабильным этапом»
Предшествующая ситуация: этап 11 активен, а = 0. Ь = 0 и
с а 0.
Появление одного из входных событий, таких как изменения
«а» от 0 к 1. ведет прямо кследующей ситуации, этап 13 активен.
Предшествующая ситуация (этап 11 активен) и последую
щая ситуация (этап 13 активен) присваивают выходной перемен
ной 8 значение 0. Нестабильный этап 12 реальноне активируется,
присваивания В значения 1 при эволюции перехода не происхо
дит.
4.9.5 Результатэволюции перехода при локализации
Локализация выхода к определенному значению при операции хранения (символ 26). ассоцииро
ванной с этапом, являющимся нестабильным этапом в случае эволюции перехода, является результа
тивным. поскольку данная локализация ассоциируется с событиями, реализующими эту эволюцию
(см. 4.8.3).
ПРИМЕР 1: «Операция хранения, ассоциированная с актива
цией нестабильного этапа»
Предыдущая ситуация: этап 11 активен. а = 0. Ь= 1 и с а 0.
Появление одного из входных событий, таких как изменения
«а» от 0 к 1. ведет прямо кследующей ситуации, этап 13 активен.
(2 )4 ь(2 )4 ь
Локализация значения 1по выходной переменной В реализу
ется при наступлении одного из входных событий, имеющих след
ствием реальную или виртуальную деактивацию этапа 12.