[发明专利]一种基于时序关系的系统失效生成图方法

权利要求书

1.一种基于时序关系的系统失效生成图方法，其特征在于，包括如下步骤：

步骤1，根据系统各组件内部事件的时序活动和系统各组件间的触发关系，对系统内部触发和被触发类型事件进行排序，确定系统所有组件内部触发和被触发类型事件的时序关系；

步骤2，计算系统内部触发关系中触发事件的前驱状态集和被触发事件的后继状态集；

步骤3，根据步骤1的时序关系和步骤2的前驱状态集和后继状态集识别系统内部所有组件间的不可达状态组；

步骤4，对系统C＝{C_i,i＝1,2,…,n}，其中，C_i＝{S_j,j＝1,2,…,m}，S_j为组件C_i的第j个状态，m为组件C_i包含的状态数目，n为所有组件的数目，设参与笛卡尔积组合计算的组件集为D，可达状态组为R，D和R初始为空；

a.任取一个组件C_i放入集合D中，D＝{C_i}，从系统C中将集合D包含的组件去除，则R＝{R₁,R₂,…,R_m}＝{{C_i.S₁},{C_i.S₂},…,{C_i.S_m}}，{C_i.S_j}表示组件C_i的第j个状态构成的集合；

b.从C中选择任意组件C_k,k＝1,2,…,n且k≠i，D＝{C_i,C_k}，将C_k中每个状态依次与C_i.S_j组合成新的集合，根据步骤3判断新的集合是否为不可达状态组，若是不可达状态组，则删除，否则，加入到R中；

c.重复步骤b，直至所有的组件均包含在D中，C为空，R中包含整个系统的可达状态组；

步骤5，建立系统各组件事件的连接表以及系统的最小割集，根据步骤4整个系统的可达状态组、连接表以及最小割集，获得系统失效生成图。

2.根据权利要求1所述基于时序关系的系统失效生成图方法，其特征在于，步骤1所述系统各组件内部事件的时序活动，排序存在如下规则：对于一个组件C₁内部包含的事件E₁、E₂，若事件E₁发生时间先于E₂，则时序关系为：

3.根据权利要求1所述基于时序关系的系统失效生成图方法，其特征在于，步骤1所述系统各组件间的触发关系包括直接触发关系和间接触发关系；其中，直接触发关系排序存在如下规则：对于两个组件C₁、C₂，若组件C₁中事件E₁与组件C₂中事件E₁存在直接触发关系，则时序关系为：间接触发关系排序存在如下规则：对于组件C₁、C₂、C₃，若组件C₁中事件E₁与组件C₂中事件E₁存在直接触发关系，组件C₁中事件E₂与组件C₃中事件E₁存在直接触发关系，且则时序关系为：

4.根据权利要求1所述基于时序关系的系统失效生成图方法，其特征在于，步骤3所述不可达状态组的识别规则：对于存在相等时序关系的两事件，触发事件的前驱状态和被触发事件的后继状态不能同时到达，建立触发事件的前驱状态和被触发事件的后继状态的笛卡尔积，获得不可达状态组；对于存在相等时序关系的两事件，当被触发事件的直接前驱状态为初始状态，且前驱状态集仅包含初始状态，根据被触发事件的前驱状态和触发事件的后继状态建立笛卡尔积，获得不可达状态组；对于存在先后时序关系的两事件，根据先发生事件的前驱状态和后发生事件的后继状态建立笛卡尔积，获得不可达状态组。

5.根据权利要求1所述基于时序关系的系统失效生成图方法，其特征在于，步骤5所述获得系统失效生成图的具体做法为：首先，根据组件内部时序活动，对于系统中各组件的所有事件，建立连接表；其次，根据获得的整个系统的可达状态组，依据连接表执行Dijkstra算法，生成系统活动图；最后，根据标准故障树定性分析方法获得最小割集，根据最小割集，判断系统活动图中的失效状态，获得系统失效生成图。