为将模型中CSS初级形式转化为最小割序集(minimal cut sequence set,MCSS),研究了顺序失效符(se-quence failure symbol,SFS)的完备推演规则。
基于1个网页-相关网页
minimal cut sequence set
最小切割序列集
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动