Within Implies
验证响应是否在所需时间内发生
库:
Simulink Design Verifier /
Temporal Operators
描述
Within Implies 模块通过观察 Obs 输入在第一个输入 true 的每个 true 持续时间内是否至少为 In 一步来捕获内部蕴涵。每当在特定输入真实持续时间内未检测到 Obs 时，输出将在输入 false 持续时间之后的步骤中变为一个时间步长的 true。
信号真实持续时间定义为信号为真实的连续时间步长
示例
Within Implies 模块示例
在以下示例中，考虑 1 秒的采样时间。
Obs 在 true 的第一个 In 持续时间内未观察到，因此 Out 在一个时间步长内变为 false。Obs 在 true 的第二个 In 持续时间内观察到，因此 Out 为 true。当 true 没有 In 持续时间时，Out 仍为 true。
如果 Obs 出现多次，则不会影响输出。
参数
版本历史记录
在 R2011a 中推出
