国家科技支撑计划(2006BAK0102)

作品数：2被引量：10H指数：1
导出分析报告
相关作者：郭海涛阳宪惠更多>>
相关机构：清华大学更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机与应用化学》更多>>
相关主题：MARKOV模型IEC安全系统可用性可靠性评估更多>>
相关领域：自动化与计算机技术化学工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全系统定量可靠性评估的Markov模型被引量：10
《清华大学学报（自然科学版）》2008年第1期149-152,156,共5页郭海涛 阳宪惠 
国家自然科学基金资助项目(60674064);国家科技支撑计划(2006BAK0102)
为了能够定量评估安全系统的可靠性,并考虑影响安全性、可用性的诸多因素,提出用Markov模型定量计算安全系统可靠性指标的方法。通过状态转移矩阵预先迭代相乘来降低计算量,并给出了使计算量最小的最佳迭代次数。计算结果表明:要求时失...
关键词：安全系统 安全完整性水平 MARKOV模型 可用性 IEC 61508 
功能安全管理软件系统设计与实现
《计算机与应用化学》2007年第4期503-506,共4页郭海涛 阳宪惠 
国家自然科学基金资助项目(60674064);国家科技支撑计划(2006BAK0102)
为了辅助安全仪表系统的功能安全管理,对安全生命周期中安全完整性水平选择、安全要求规范及安全完整性水平验证进行了分析,提出了功能安全管理软件的设计方案。安全完整性水平选择有风险图和风险矩阵,而安全完整性水平验证采用了Marko...
关键词：安全仪表系统 安全完整性水平 功能安全 IEC61508 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部