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