%0 Journal Article
%T 割序集模型中顺序失效符的推演规则
%A 刘东
%A 王波
%A 张红林？
%J 计算机科学
%D 2012
%X 在割序集(css}模型中，为了将由动态故障树(di"t)转换得到的css初级形式整理为最小割序集(moss),提出了顺序失效符((sfs)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立，包含结合律、或分配律、与分配律、吸收律、csp规则、wsp规则等。给出了各类规则的证明过程，并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。sfs推演规则是css模型定性分析的进一步形式化描述，它不仅解决了自动获得动态系统最小割序集的问题，而且可在此基础上开展计算机辅助工具的设计工作。
%K 割序集
%K 顺序失效符
%K 推演规则
%K 动态故障树
%K 可靠性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120556&flag=1