25、基于混合自动机的诊断测试计划综合与验证

基于混合自动机的诊断测试计划综合与验证

1. 测试计划综合

在这部分，我们会对之前步骤生成的OETs（观测事件轨迹）用顺序功能图（SFC）进行总结。以Tr02为例，其测试计划可参考相关图示。

2. 测试计划验证

2.1 Trace Tr02.1

• 模拟设置：使用Aspen Plus Dynamics进行模拟，在0h引入故障源F5（f_VliqSC）。
• 过程分析：
  1. 在1.5h观察到条件AC2（液位达到2.5m）后，执行步骤S2（将液位和流量控制器切换到自动模式，并将设定点分别调整为2.5m和260000kg/h），但由于故障F5的存在，液位上升趋势持续到1.55h。
  2. 因正常操作程序中的条件AC3无法满足，执行第一个诊断动作，即手动关闭入口阀Vin。
  3. 此时加热器仍开启，闪蒸鼓内液位因汽化逐渐降低，此症状（图10.21中的AC2）确认了故障源F5。

2.2 Trace Tr02.2

• 模拟设置：故障源F4（f_VinSO）应在执行S1之后且达到AC2之前发生，因此在模拟运行中尽可能接近0h引入该故障。
• 过程分析：
  1. 在1.55h故障检测时间之前，遵循图10.2中的SFC。
  2. 在1.5h观察到AC2后执行S2，由于F4的存在（Vin卡在打开位置），液位仍持续上升。
  3. 在1.55h确认正常操作程序中的条件AC3无法满足后，立即手动关闭入口阀