Main Content

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

Detector

检测输入的真实持续时间并根据输出类型构建输出的真实持续时间

全页展开
  • Detector block

库:
Simulink Design Verifier / Temporal Operators

描述

该模块检测输入信号为真的固定数量的连续时间步长，并根据所选的输出类型构建输出信号。用于解释检测器模块的术语如下：

  • 信号真实持续时间 - 信号为真的连续时间步长

  • 信号真实持续时间的长度 - 构成真实持续时间的时间步长数

  • 输入检测阶段 - 在输入真实持续时间的预期长度的最后时间步完成的阶段

  • 输出构建阶段 - 根据模块的输出类型，模块在输出处构建真实持续时间的阶段

  • 延迟时长 - 输入检测后的延迟时间步数，在此之后输出信号为真

在输入检测时，Detector模块根据您指定的两种输出类型之一构建输出信号：

  • 延迟固定持续期—输入检测完成后，经过可选的延迟，输出信号将在固定数量的时间步长内变为true。输出的真实持续时间与输入无关。

  • 同步—在输入检测的最后时间步中，输出变为 true ，只要输入信号继续为 true ，输出就会保持 true 。输出的真实持续时间是变化的，并且与输入的真实持续时间同步。

端口

输入

全部展开

Detector模块的输入是布尔类型。

数据类型: Boolean

输出

全部展开

Detector模块的输出是布尔类型。

数据类型: Boolean

参数

全部展开

指定是否可以通过外部布尔重置信号模块重置为输入检测的开始。

选择 延迟固定持续期（默认值）来指定可选延迟后输出的固定真实持续时间长度。选择同步以使输出真实持续时间与输入真实持续时间同步。

输入检测的真实持续时间的长度（最小值为1）。

对于 延迟固定持续期，可选择指定延迟持续时间的长度，此后输出变为真实。

对于延迟固定持续期，指定输出真实持续时间的长度（最小值为1）。

版本历史记录

在 R2011a 中推出

另请参阅

|