Delay 的应用艺术（四）用 Delay 捕捉“边沿”，让 ASW 看懂“瞬间发生的事”

在 ASW 建模中，有一类事件非常特殊：

它只在某一个瞬间成立，
但工程意义却可能持续很久。

如果你用“持续条件”去描述这种事件，
模型迟早会出问题。

而 Delay，正是用来把“瞬间”从“持续”中剥离出来的工具。

---

一、工程场景：电动座椅的“首次到位动作”

假设我们在做一个电动座椅位置控制 ASW：

• 用户按下“前移”按钮

• 座椅开始向前移动

• 当座椅第一次到达目标位置时：

  • 执行一次“到位确认”

  • 记录位置

  • 给用户一个提示

• 如果座椅一直停在目标位置：

  • 这些动作 不能反复执行

这是一类非常典型的 “只关心第一次发生” 的需求。

---

二、直觉模型：用持续条件判断（常见但危险）

很多模型会这样写：

if ActualPos >= TargetPos:
    DoPositionConfirm()
</