计算机技术与发展2017，Vol.27Issue(8)：12-15,19,5.DOI:10.3969/j.issn.1673-629X.2017.08.003
基于顺序逻辑的状态事件故障树定性分析模型
Qualitative Analysis Model of State/Event Fault Tree with Sequential Logic
摘要
Abstract
In order to overcome the shortcomings of reflecting the relationship between component state and sequential logic in failure system for State/Event Fault Tree (SEFT) qualitative analysis method,a qualitative analysis model of state event fault tree based on sequential logic is proposed.It defines transition rule of logic gate to Boolean logic to define the order of state and event by establishment of the port mapping table of components and logic gates,and gets the sequence of state events (minimum cut sequence set) that leads to system failure according to sequential logic transformation rules to solve the problem of logic order of state and event for system failure.In order to verify the validity and feasibility of the proposed model,a fire protection system has been established as an example of object for verification experiment.It is indicated that the cut order set can reflect the sequential logic relation between the failure event and the state.The feasibility of this model has been verified,which is consistent with the objective reality.Therefore,a new effective approach is provided for the qualitative analysis of SEFT.关键词
顺序逻辑/端口映射表/最小割序集/转换规则/定性分析Key words
sequential logic/port mapping table/minimum cut sequence set/conversion rules/qualitative analysis分类
信息技术与安全科学引用本文复制引用
范亚琼,陈海燕..基于顺序逻辑的状态事件故障树定性分析模型[J].计算机技术与发展,2017,27(8):12-15,19,5.基金项目
国家"十三五"重点基础科研项目(JCKY2016206B001) （JCKY2016206B001）
江苏省六大人才高峰项目(XXRJ-004) （XXRJ-004）
软件新技术与产业化协同创新中心资助项目 （）
