本发明公开了一种基于统计模型检测的随机混成系统安全性分析方法,属于大数据技术领域,首先通过DFT分解算法将DFT分解为动态逻辑门、基本构件、门与门和门与构件间的逻辑关系,然后将动态逻辑门与基本构件转换为随机混成自动机,在然后对随机混成自动机进行重构,形成随机混成自动机网络,最后将规约性质与随机混成自动机网络模型输入到统计模型检测工具Uppaal‑SMC中,得到随机混成系统动态故障树模型定量分析的结果,解决了现有DFT定量分析方法难以解决随机混成系统的安全性分析的技术问题,本发明可以解决传统DTF分析方法仅能针对于失效概率服从指数分布的系统的情况。
声明:
“基于统计模型检测的随机混成系统安全性分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)