《表2 UPPAAL-SMC统计模型检测结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于统计模型检测的DFT定量分析方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

通过本文提出的基于统计模型检测的方法，探测系统的安全性定量结果在不同时间区间内的失效概率如表2所示。表明本文实验方法的有效性，同时由于基于SHA的统计模型检测的本身特性，缓解了状态空间爆炸的情况，并且由于SHA网络具备对服从于不同失效概率分布的组件及共因失效关系的表示能力，解决了状态空间分析方法仅能处理无共因失效情况的服从指数分布失效的系统。