%0 Journal Article
%T Inference Rules of Sequence Failure Symbol in Cut Sequence Set Model<br>割序集模型中顺序失效符的推演规则
%A LIU Dong
%A WANG Bo
%A ZHANG Hong-lin
%A <br>刘东
%A 王波
%A 张红林
%J 计算机科学
%D 2012
%I 
%X 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.
%K Cut sequence set
%K Sequence failure symbol
%K Inferencc rules
%K Dynamic fault tree
%K Reliability<br>割序集
%K 顺序失效符
%K 推演规则
%K 动态故障树
%K 可靠性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4207430C62DE8EBECC5D198BD190055A&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=94C357A881DFC066&sid=D9AE183D3F5C3C75&eid=9CA95D22FC1D537C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0