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

摘要

本发明公开了一种基于时序关系的系统失效生成图方法，该方法首先通过识别系统中组件内部触发或被触发类型事件的时序行为对其进行排序，获得系统内部组件间不可同时到达的状态；其次，排除不可达状态对，对组件间的可同时到达状态建立笛卡尔积，获得系统的所有可达状态对，最后，根据连接表和最小割集获得系统失效生成图。本发明基于时序关系的系统失效生成图方法，有效解决了系统失效生成图生成过程中存在的状态空间爆炸问题，为状态事件故障树生成系统可达图提供了一种新的方法。

主权项

1.一种基于时序关系的系统失效生成图方法，其特征在于，包括如下步骤：步骤1，根据系统各组件内部事件的时序活动和系统各组件间的触发关系，对系统内部触发和被触发类型事件进行排序，确定系统所有组件内部触发和被触发类型事件的时序关系；步骤2，计算系统内部触发关系中触发事件的前驱状态集和被触发事件的后继状态集；步骤3，根据步骤1的时序关系和步骤2的前驱状态集和后继状态集识别系统内部所有组件间的不可达状态组；步骤4，对系统C＝{Ci,i＝1,2,…,n}，其中，Ci＝{Sj,j＝1,2,…,m}，Sj为组件Ci的第j个状态，m为组件Ci包含的状态数目，n为所有组件的数目，设参与笛卡尔积组合计算的组件集为D，可达状态组为R，D和R初始为空；a.任取一个组件Ci放入集合D中，D＝{Ci}，从系统C中将集合D包含的组件去除，则R＝{R1,R2,…,Rm}＝{{Ci.S1},{Ci.S2},…,{Ci.Sm}}，{Ci.Sj}表示组件Ci的第j个状态构成的集合；b.从C中选择任意组件Ck,k＝1,2,…,n且k≠i，D＝{Ci,Ck}，将Ck中每个状态依次与Ci.Sj组合成新的集合，根据步骤3判断新的集合是否为不可达状态组，若是不可达状态组，则删除，否则，加入到R中；c.重复步骤b，直至所有的组件均包含在D中，C为空，R中包含整个系统的可达状态组；步骤5，建立系统各组件事件的连接表以及系统的最小割集，根据步骤4整个系统的可达状态组、连接表以及最小割集，获得系统失效生成图。