基于动态故障树的新型区间占检系统可用性分析

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:eric_vl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在铁路运输中,为消除自闭线路区间轨道区段分路不良状态对列车运行的安全影响,通过修改列控中心软件来实现对区间占用的逻辑检查,进一步提高运输安全及行车效率。国内对动态冗余结构系统进行可用性分析主要采用马尔科夫模型,对于状态空间规模较大的系统,建模过程较为繁琐,计算过程也十分复杂。基于动态故障树对软件式区间占用检查系统进行建模,采用基于线性搜索的算法对模型进行计算求解,引入故障可用率与故障修复率对系统的可靠性进行仿真分析。通过拟合可靠性及安全性曲线与继电式系统的相关性能进行比较,得出软件式区间占用检查系统具有更
其他文献
当今社会高度关注食品安全问题,如果发生食品安全事故,必将对人的生命健康带来巨大的威胁。罐头食品是市场营销量较大的食品之一。所以,文章就以罐头食品无菌检验技术的相关
随着移动互联网时代的到来,我们普通的教学方式似乎不被高校学生所接受,学生更擅长于利用网络来学习,最近一种新型的教学资源"微课"被带入了课堂,然而普通的高职院校并没有完
高校由科研教学机构、行政机构和后勤保障机构这三个部分组成,三者互相协调,相辅相成。高校后勤集团的改革是伴随着高校改革的逐步深化而产生的,任何一种改革都是一个系统工
近年来智慧城市的建设已成为世界城市建设的热点,本文在对国外优秀智慧建设总结分析的基础上,提出了国外智慧建设对我国的启示,以期能为我国智慧城市的建设提供理论支撑.
目前站内搜索引擎已经逐渐成为web应用领域的热点.本文根据Sphinx、Mysql系统结构和运行特点,以Python语言为例,提出一种通用的web站内搜索引擎的构建方法.对于基于Linux+Apa
舞剧《红梅赞》是空军政治部文工团于2001年创编的一部中国革命历史题材的现代舞剧,是“红色舞蹈”中具有划时代意义的经典丰碑,具有创新性的独立意义。笔者将从“时、空、力
目的 探讨格列美脲联合沙格列汀对2型糖尿病(T2DM)患者血糖及胰岛B细胞功能的影响。方法 按随机数字表法将2017年1月至2018年10月就诊于上海市徐汇区长桥社区卫生服务中心的T
虽然相关市场的界定不是反垄断法的一项基本制度,但是它是反垄断法实施中的一项非常重要的基础性工作,对整个反垄断案件的裁决往往巨大影响。正式因为如此,已经有效实施反垄
非线性光学是一门介于基础和应用之间的崭新学科,自激光器在上世界六十年代发明以来,得到了迅速发展,成为一门新兴的、近代光学前沿最为活跃的学科之一。有人在1964年发现了有机
杯芳烃是继冠醚、环糊精之后的第三代超分子化合物。最新研究表明,空腔适度的杯芳烃对Cs+具有很强的络合能力。但是如何使络合物解离释放出Cs+和杯芳烃,实现的杯芳烃重复利用仍