6、污水脱氯系统中的隐式交互分析

最新推荐文章于 2025-11-10 13:31:54 发布

docker8compose

最新推荐文章于 2025-11-10 13:31:54 发布

阅读量16

点赞数

CC 4.0 BY-SA版权

分类专栏：智能时代的安全前沿文章标签：污水脱氯系统隐式交互 PLC

本文链接：https://blog.youkuaiyun.com/docker8compose/article/details/152643943

智能时代的安全前沿专栏收录该内容

30 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

污水脱氯系统中的隐式交互分析

1. 污水脱氯系统行为规范

污水脱氯系统（WDS）由多个代理组成，各代理具有不同的行为规范：

SAP →
  sample def = effluent := SAMPLE()
  fail def = effluent := SAMPLE()
SO3 →
  getSO3 def = residual := MEASURE SBS RESIDUAL(effluent)
  error def = residual := NULL
SFM →
  getFlow def = flowRate := MEASURE FLOW RATE(effluent)
PLC →
  pid def = 
    if flowRate >= FLOW SETPOINT → skip
    ⌈⌋ flowRate < FLOW SETPOINT → send alarm
    fi;
    targetFlow := COMPUTE FLOW(residual);
    if targetFlow > MAX PUMP FLOW → send on2; leadFlow := MAX PUMP FLOW;
      lagFlow := targetFlow - MAX PUMP FLOW
    ⌈⌋ targetFlow ≤ MAX PUMP FLOW ∧ targetFlow ≥ DEADBAND → leadFlow := targetFlow
    ⌈⌋ targetFlow < DEADBAND → send off2; leadFlow := targetFlow