基于模型检测的安全分析技术在轨交信号系统的应用

来源 :佳木斯大学学报(自然科学版) | 被引量 : 0次 | 上传用户:szshm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段。传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误。本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性。
其他文献
浩瀚的海洋充满了未知的宝藏,陆地资源已经不能满足人类社会发展的需求,开发和利用海洋已经成为世界各国发展的方向。复杂的深海使得人类探索的道路充满了困难。载人潜器是众多海洋探索与开发工具中拥有独特优势的关键设备,而观察窗作为人员海底的“眼睛”,其结构设计与优化尤其重要。本文针对载人潜器观察窗开展了下列研究工作:蠕变有限元方法研究。通过研究蠕变相关理论,设计了一种基于有限元法的观察窗蠕变分析方法的计算流
虚拟存贮存取方法VSAM是IBM大中型机器操作系统的组成部分,用于虚拟存贮环境中的直接存取存贮器及用虚拟存贮器作输入输出操作的缓冲。VSAM可用于成批处理,联机操作及数据库
7月份,我国谷物市场行情整体平稳;但油脂油料市场弱势下跌。分品种看,新麦经前期快速上涨后,随企业收购日趋谨慎、农民售粮心态放宽,市场行情趋于平稳。玉米价格延续上月平稳走势,7
从浅埋隧道衬砌荷载计算入手来剖析其荷载计算的“本质”,进而找出其与超浅埋、深埋隧道荷载计算之间的关联,由此比较分析了超浅埋、浅埋与深埋隧道三者的支护参数。鉴于目前
采用两步法合成了一种新型双核碱性功能化离子液体,在其作为催化剂时,考察了其对甲醇和光皮树果油酯交换制备生物柴油的催化性能。结果表明:在双核碱性离子液体催化下,当反应温度
配电网是电力系统的重要组成部分,是为用户配电和供电的关键环节,它的投资规模、运营成本和社会经济效益远大于输电网,准确评估配电网的运行状态是电网安全稳定运行的基础。
本文从组织的角度考察企业员工职业成长问题,分析组织职业生涯管理(职业指导、职业支持)如何通过人与组织的价值观(P-O)匹配和人与工作的能力要求(P-J)匹配来促进员工职业成
给出利用积分区域对称性和被积函数的奇偶性简化定积分、二重积分、三重积分的计算,通过实例应用进行探讨.
全面分析了汽车追尾事故的影响因素,经过对各方面影响因素的分析筛选建立了一个比较实用、简单的汽车追尾模糊综合评价模型.最后通过案例检验,所得评价结果符合实际,证明模型可作
椒江二桥主梁采用半封闭钢箱组合梁,并部分采用双节段施工工艺以节省工期.为了研究双节段施工工艺对椒江二桥施工误差的影响,根据椒江二桥实际施工情况归纳了可能存在的设计参数