割序集模型中顺序失效符的推演规则  

Inference Rules of Sequence Failure Symbol in Cut Sequence Set Model

作　　者：刘东 王波 张红林 

机构地区：[1]装备学院重点实验室 [2]装备学院研究生院 [3]63891部队

出　　处：《计算机科学》2012年第5期234-238,共5页Computer Science

基　　金：国家自然科学基金(60904082)资助

摘　　要：在割序集(CSS)模型中,为了将由动态故障树(DFT)转换得到的CSS初级形式整理为最小割序集(MCSS),提出了顺序失效符(SFS)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则、WSP规则等。给出了各类规则的证明过程,并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。SFS推演规则是CSS模型定性分析的进一步形式化描述,它不仅解决了自动获得动态系统最小割序集的问题,而且可在此基础上开展计算机辅助工具的设计工作。In the cut sequence set（CSS） model,in order to get the minimal cut sequence set（MCSS） from the primary form of CSS,which is transformed from dynamic fault trees（DFT）,the inference rules of sequence failure symbol（SFS） were put forward.The rules,which include combination law,or distribution law,and distribution law,absorption law,CSP law and WAP law,were established according to the sequence of basic events and the SFS.The proofs of the rules were provided.The paper also listed some inexistent cut sequences in reality,and provided some educed rules that can be got from the inference rules.SFS inference rules are the formalized qualitative analysis of CSS model.And they can be used to automatically get the MCSS of dynamic systems and design the computer assisted tools.

关 键 词：割序集 顺序失效符 推演规则 动态故障树 可靠性 

分 类 号：TP202.1[自动化与计算机技术—检测技术与自动化装置]