23、基于定时自动机和混合自动机的诊断测试综合

基于定时自动机和混合自动机的诊断测试综合

在化工生产中，故障和失效可能导致灾难性后果。离线的危害评估虽然能在一定程度上降低事故损失，但在线故障诊断对于进一步提高工厂安全性至关重要。本文将介绍基于定时自动机和混合自动机的诊断测试综合方法，帮助我们更好地应对化工生产中的故障问题。

基于定时自动机的诊断测试

在某些情况下，测试结果可以对应不同的故障根源。以下是一些具体情况：
- 单一故障根源 ：测试结果可能归因于单一故障根源，如加热器 H1 故障（f4）。
- 双故障根源 ：可能是双故障根源导致的，例如 V1 卡在打开位置且加热器 H1 故障（f2f4），或者加热器 H1 故障且 T2 泄漏（f4f5）。
- 三故障根源 ：某些测试结果暗示 f2f4f5（V1 卡在打开位置、加热器 H1 故障且 T2 泄漏）是唯一的三故障根源。

此外，还有不同的测试计划：
- Plan 3.Tr4 ：如图 9.23 所示，在激活 AC1（Trace 4）后，步骤 S1 中必须执行打开 V2（ov2）的操作。可能有两种结果：
- AC2 ：测试结果可能归因于单一故障根源 f2（V1 卡在打开位置）。
- AC3 ：测试结果表明 f2f5（V1 卡在打开位置且 T2 泄漏）是根本原因。
- Plan 3.Tr5 ：如图 9.24 所示，当观察到 AC1（Trace 5）时，步