[发明专利]一种离散事件系统的反向遍历诊断方法

权利要求书

1.一种离散事件系统的反向遍历诊断方法，其特征在于：至少包括如下步骤： 

步骤1：根据系统中元件的行为模式及元件间的关系，建立系统的模型自动机； 

步骤2：在系统中选择合适位置，加入便于诊断所需的传感器，监控系统中相应位置的行为模式； 

步骤3：对所有的传感器，建立每个传感器在系统中监控部件的自动机，并结合系统的模型自动机合成系统观测自动机； 

步骤4：根据最大传输延迟的相关性质，设计仅满足在线诊断需要的时间窗口，使得实际发出的观测能够按照实际顺序及时处理； 

步骤5：系统运行后，在每个时间窗口内根据当前状态和观测，用自动机的反向遍历方法进行诊断。 

2.根据权利要求1所述的一种离散事件系统的反向遍历诊断方法，其特征在于所述的步骤2选择合适位置至少包括： 

步骤a：根据系统中部件间的连接结构，给出所有候选位置； 

步骤b：对于所有的候选位置，结合每个候选位置对应元件的复杂程度，给出每个位置对应元件的复杂权重和每个位置加入传感器的成本权重； 

步骤c：结合成本权重和复杂权重给出加入传感器的位置。 

3.根据权利要求1或2所述的一种离散事件系统的反向遍历诊断方法，其特征在于所述的步骤4根据最大传输延迟的相关性质，设计仅满足在线诊断需要时间窗口的方法至少包括： 

步骤d：对于每个传感器，在系统测试运行时，给出每个传感器相应的传输延迟； 

步骤e：选择所有传输延迟中最大的传输延迟，为系统的时间窗口； 

步骤f：在每个时间窗口内都可以接收到每个传感器在此时间窗口内发出的监测状态，进而可以进行在线诊断。 

4.根据权利要求3所述的一种离散事件系统的反向遍历诊断方法，其特征在于所述的步骤5基于反向遍历的诊断方法至少包括： 

步骤g：根据当前时间窗口内的观测和自动机间的转移关系，进行反向遍历； 

步骤h：在反向遍历到当前状态的前一状态时，检查此状态是否到达初始状态或中间状态，如果没有到达，转步骤g； 

步骤i：步骤h中反向遍历得到的状态如果为初始状态，则给出相应路径及其故障信息；如果为中间状态，则根据此中间状态给出相应的路径及其诊断信息，最后并将此窗口 内得到的观测和诊断信息加入到中间状态列表； 

步骤j：如继续诊断，转步骤g，进行下一时间窗口中观测的诊断；否则，退出。