Main Content

本页采用了机器翻译。点击此处可查看英文原文。

Implies

指定产生特定响应的条件

全页展开
  • Implies block

库:
Simulink Design Verifier / Verification Utilities

描述

Implies模块允许您指定一个条件来产生给定的响应；例如，当您踩下汽车的制动踏板时，巡航控制机制将被禁用。如果输入 A 为真且输入 B 为假，则输出为假；对于所有其他输入对，输出为真。

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

端口

输入

全部展开

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

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

扩展功能

C/C++ 代码生成
使用 Simulink® Coder™ 生成 C 代码和 C++ 代码。

版本历史记录

在 R2009a 中推出

另请参阅

|