一种基于时序关系的系统失效生成图方法技术方案

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

【技术实现步骤摘要】
一种基于时序关系的系统失效生成图方法
本专利技术涉及一种基于时序关系的系统失效生成图方法，特别是涉及一种基于状态事件故障树构件内部时序关系的系统失效生成图方法。
技术介绍
由于作战系统具有一些特殊属性，如时序关系、功能依赖等，使得普通故障树很难应用到作战系统中。状态事件故障树既可以表述组件内部时序行为活动，又可以表述系统的因果失效关系，适用于描述作战系统的失效因果链。由于状态事件故障树缺乏严格语义，分析过程大部分是基于模型转换，转换成DSPN模型或Markov模型，但是在进行模型的等价转换时存在状态空间爆炸问题。针对状态空间爆炸问题，国内外的研究人员分别进行了基于DSPN的状态空间缩减方法的研究以及基于交互Markov的状态空间缩减方法研究。基于DSPN的状态空间缩减方法主要采用转移优先权方法、顶层事件状态终止方法、最小化图方法等，但是这些过程的主要缺陷是在进行状态空间缩减之前，首先需要生成一个完整的系统可达状态图，这个巨大的任务通常会伴随着状态空间爆炸；交互Markov的状态空间缩减方法是基于弱互模拟技术，当组件内部状态较多时仍会出现状态空间爆炸问题。Roth博士提出在状态事件故障本文档来自技高网...

【技术保护点】
一种基于时序关系的系统失效生成图方法，其特征在于，包括如下步骤：步骤1，根据系统各组件内部事件的时序活动和系统各组件间的触发关系，对系统内部触发和被触发类型事件进行排序，确定系统所有组件内部触发和被触发类型事件的时序关系；步骤2，计算系统内部触发关系中触发事件的前驱状态集和被触发事件的后继状态集；步骤3，根据步骤1的时序关系和步骤2的前驱状态集和后继状态集识别系统内部所有组件间的不可达状态组；步骤4，对系统C＝{C

【技术特征摘要】
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＝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整个系统的可达状态组、连接表以及最小割集，获得系统失效生成图。2.根据权利要求1所述基于时序关系的系统失效生成图方法，其特征在于，步骤1所述系统各组件内部事件的时序活动，排序存在如下规则：对于一个组件C1内部包含的事件E1、...

【专利技术属性】
技术研发人员：燕雪峰，范亚琼，
申请(专利权)人：南京航空航天大学，
类型：发明
国别省市：江苏,32