Implies
Задайте условие, которое производит определенный ответ
Библиотека
Simulink Design Verifier
Описание
Блок Implies позволяет вам задать условие произвести данный ответ; например, когда вы нажимаете педаль тормоза на автомобиле, механизм круиз-контроля становится отключенным. Если вход A верен, и вход B является ложным, выход является ложным; для всех других пар входных параметров выход верен.
Можно использовать блок Implies в любой модели, не как раз в то самое время, когда вы запускаете программное обеспечение Simulink® Design Verifier™.
Поддержка типов данных
Блок Implies принимает сигналы всех типов числовых данных, поддержанных программным обеспечением Simulink. Для обсуждения типов данных, поддержанных программным обеспечением Simulink, смотрите Типы данных, Поддержанные Simulink.
Расширенные возможности
Представленный в R2009a