论文摘要
采用常用的Beta参数模型计算联锁设备安全计算机的共因失效分数时,存在计算结果有偏差和不精确等问题。引入应用于核能领域的Alpha参数模型,证明并推导该模型获得的α因子与共因失效分数之间的等价关系。采用美国核管理委员会发布的安全计算机共因失效统计数据作为先验数据,计算获得2乘2取2及3取2这2种冗余结构的两阶和三阶α因子,根据等价关系得到共因失效分数。以这2种冗余结构为例,分别采用2种参数模型,计算系统平均危险侧失效概率PPFH和由共因失效导致的危险侧失效概率。结果表明:共因失效导致的危险侧失效概率是PPFH主要组成部分,α参数模型能够量化计算3重及以上冗余结构的共因失效分数,并获得更符合实际输出的PPFH计算结果;同时,当共因失效数据不断完善时,α参数模型可以通过修正后验参数获得更准确的共因失效分数,为验证计算机安全完整性等级提供有利帮助。
论文目录
文章来源
类型: 期刊论文
作者: 高莺,王巨汉,张琦,唐涛,曹源
关键词: 计算机联锁系统,共因失效分数,危险侧失效概率,安全计算机,参数模型
来源: 中国铁道科学 2019年03期
年度: 2019
分类: 工程科技Ⅱ辑
专业: 铁路运输
单位: 中国铁道科学研究院研究生部,中国铁道科学研究院集团有限公司国家铁路智能运输系统工程技术研究中心,北京交通大学电子信息工程学院,中国铁道科学研究院集团有限公司通信信号研究所,北京交通大学轨道交通运行控制系统国家工程研究中心
基金: 国家自然科学基金高铁联合基金资助项目(U1834211),国家自然科学基金资助重点项目(U1534208,U1734211),国家重点研发计划项目(2018YFB1201601),中铁检验认证中心科研项目(1852ZJ1303)
分类号: U284.3
页码: 137-143
总页数: 7
文件大小: 1464K
下载量: 127