由于DFT 具备了描述系统动态行为的能力， 因此可采用Markov 链模型 [2] 或割序集模型(Cut Sequence Set, CSS) [3] 对其进行可靠性分析。
基于2个网页-相关网页
minimal cut sequence set 为最小割序集
cut sequence set
切割序列集
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动