Implies

指定生成特定响应的条件

全页展开
  • Implies block

库:
Simulink Design Verifier / Verification Utilities

描述

您可以使用 Implies 模块指定生成给定响应的条件；例如，当您踩下汽车的制动踏板时，巡航控制机构会被禁用。如果输入 A 为 true，并且输入 B 为 false，则输出为 false；对于所有其他输入对组，输出均为 true。

您可以在任何模型中使用 Implies 模块，而不仅仅是在运行 Simulink® Design Verifier™ 软件时使用该模块。

端口

输入

全部展开

Implies 模块接受 Simulink 软件支持的所有数值数据类型的信号。有关 Simulink 软件支持的数据类型的讨论，请参阅Simulink 支持的数据类型。

数据类型: single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated | bus

版本历史记录

在 R2009a 中推出

另请参阅

|