基于时序关系的系统失效可达图生成方法

发布时间：2018-11-21 11:09

【摘要】：针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法。
[Abstract]:In order to solve the problem of state space explosion in the process of state event fault tree generating system Datuk, a method of generating system failure Datuk based on time series relationship is proposed. By analyzing the temporal relationships between triggered and triggered events, the sequence of events with temporal relationships is sorted, and all non-simultaneous arrival state pairs among system components are obtained according to the temporal relationships. The Cartesian product is established for simultaneous reachable states between components, and all simultaneous reachable state pairs of the system are obtained. According to the join table and the minimum cut set, the failure states of the system can be obtained by Datuk. Thus the problem of state space explosion in the process of generating system failure can be effectively solved. The system failure Datuk method based on time series relation is used to generate the fish attack system failure Datuk. The experimental results verify the feasibility and stability of the method. At the same time, it is shown that the state space explosion problem can be effectively alleviated, and a new method is provided for the state event fault tree generation system can be Datuk.
【作者单位】：南京航空航天大学计算机科学与技术学院;
【基金】：十三五重点基础科研项目(JCKY2016206B001) 江苏省六大人才高峰项目(XXRJ-004) 软件新技术与产业化协同创新中心资助
【分类号】：TP399-CB

【相似文献】