安全攸关系统相关论文
随着计算机算力的快速提升以及大量数据的驱动,以神经网络为代表的深度学习（Deep Learning,DL）技术在许多领域取得了长足的进步。因......
为了提高大规模软件系统的可靠性和安全性,程序的形式化验证受到广泛关注。传统模型检测方法需要从源代码中提取模型,然而,随着程......
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生......
动态故障树的贝叶斯网络分析方法存在局部组合爆炸和备件门节点失效时间仅能是指数分布的不足.首先,给出动态故障树转换为离散时间......
