教授
招生学科专业:
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
毕业院校:南京航空航天大学
学历:南京航空航天大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
联系方式:025-84892400
电子邮箱:
最后更新时间:..
点击次数:
所属单位:计算机科学与技术学院/人工智能学院/软件学院
发表刊物:电子学报
关键字:混合系统;动态故障树;混合贝叶斯网络;安全性分析;
摘要:安全关键系统的安全性分析模型本质上是离散和连续失效分布共存的混合模型.传统的故障树和马尔科夫链分析方法仅能处理离散分布或指数分布的系统,难以对混合系统进行安全性分析.针对该问题,以DFT系统安全模型为基础,提出一种基于混合贝叶斯网络的混合系统安全性分析新方法.首先,利用狄拉克函数和单位阶跃函数分别表示动态故障树节点间的确定性关系和时序关系,将动态故障树转换为贝叶斯网络.然后,通过分段多项式来拟合网络节点的不同失效分布,提出一种k段n次多项式混合贝叶斯网络来表示动态故障树.最后,给出该混合贝叶斯网络的推理算法.实验分析表明本方法能有效地进行混合系统安全性分析.
是否译文:否
发表时间:2017-12-15
合写作者:房丙午,王勇,李勇
通讯作者:黄志球