基于列控系统的扩展UML模型设计及故障树求解算法 

安全苛求系统对组成系统的软件和硬件安全级别要求很高,其出现故障后可能会导致重大的生命、财产损失。为了避免人员伤亡、降低经济损失,安全苛求系统在设计和研发过程中必须慎之又慎。安全苛求系统通常采用冗余配置来增强系统的可靠性,但是冗余结构同时也使得`#~...
北京交通大学  硕士论文  2015年 下载次数(172)| 被引次数(6)

列车运行控制系统安全通信协议验证方法的研究 

无线通信具有传输速率高、双向传输等优点,列车运行控制系统逐渐由传统的基于轨道电路的列车控制向基于通信的列车控制方向发展。列车运行控制系统作为安全苛求系统,要求列车与地面能够安全的通信,而无线通信本身存在重复(repetition)、删除(deletion)、插入(inse...
北京交通大学  博士论文  2013年 下载次数(1046)| 被引次数(16)

城市轨道交通CBTC数据管理单元安全关键软件设计与开发 

摘要:基于通信的列车控制(Communication Based Train Control,CBTC)系统是利用连续、大容量的车地双向数字通信实现列车控制信息和列车状态信息传输的先进列车控制系统,是今后轨道交通列车运行控制系统的发展趋势。典型的CBTC系统包括列车自动监...
北京交通大学  硕士论文  2013年 下载次数(108)| 被引次数(0)

基于SCADE模型的车载ATP软件测试方法 

列车自动防护(Automatic Train Protection,ATP)是列控系统的核心,负责监控列车速度,防止列车超速,是典型的安全苛求系统。作为安全苛求系统,对车载ATP进行严格的测试是十分必要的。形式化方法是一种提高软件系统,特别是安全苛求系统的`#...
北京交通大学  硕士论文  2019年 下载次数(23)| 被引次数()

CBTC车地通信系统弹性分析与优化 

在城市轨道交通系统中,基于通信的列车控制系统(Communication-Based Train Control, CBTC)作为先进的信号系统,通过大容量、连续双向的车地无线通信系统实现列车与地面设备之间的信息交互,确保城市轨道交通系统安全、高...
北京交通大学  博士论文  2017年 下载次数(450)| 被引次数(4)

基于失效致因模型的动态风险分析方法设计及应用 

安全苛求系统中,风险分析是系统安全性的评价指标。风险一般与事故发生频率以及造成的损失有关。事故的发生与设备故障,人因错误及组织管理都有关系。本文提出了包含技术、设备,人因及组织管理的动态风险分析方法,并构建了动态风险分析模型以及动态风险分析方法。 本篇论文的主要工作包括: 一、对`...
北京交通大学  硕士论文  2015年 下载次数(224)| 被引次数(1)

基于SCBM的安全分析方法及其在列控系统中的应用 

铁路运输装备制造行业是国家当前经济发展的热点,也是“中国制造2025 和“一带一路”宏伟发展战略的交点,同时也是未来城市与地区互联互通建设的关键支点。列车运行控制系统(简称列控系统)是铁路运输系统的重要组成部分,是集综合指挥调度、安全运行防护、高效可靠可用于一身的信息`#...
北京交通大学  博士论文  2016年 下载次数(216)| 被引次数(3)

列控安全计算机平台测试方法研究 

与区域控制器和数据存储单元有着密切交互的安全计算机平台是列控系统中的核心装备和重要安全单元之一。为了打破技术封锁,拥有自主化安全计算机平台,北京交通大学轨道交通控制与安全国家重点实验室已经开发出下一代列控安全计算机平台。为了满足下一代`#~安全`@...
北京交通大学  硕士论文  2017年 下载次数(117)| 被引次数(2)

列控安全计算机反应式故障安全的研究 

随着我国铁路网络和城市轨道交通快速发展,列车运行控制系统安全性实时性需求日益提高。列控安全计算机负责列控系统输入输出数据的校验及表决,通过大量的软硬件故障安全设计有效保证了列控系统安全性,但也一定程度上降低了实时性。本文引入EN50...
北京交通大学  硕士论文  2019年 下载次数(18)| 被引次数()

以安全为导向的中速磁浮车载运行控制系统设计 

时速200公里的中速磁浮列车具有转弯半径小、爬坡能力强、噪声低等显著优点,是缓解特大城市或城市群交通拥堵、实现区域内高效便捷出行的重要交通工具。运行控制系统是中速磁浮交通系统的三大核心子系统之一,是典型的安全苛求系统,因此,研究中速磁浮运行控制系统安全设计方法...
北京交通大学  硕士论文  2019年 下载次数(45)| 被引次数()

CBTC中轨旁安全计算机的设计与形式化验证 

随着计算机越来越多的应用于安全苛求系统中,计算机能否长期安全、可靠、稳定的运行成为人们关注的中心,这促使着越来越多的人开始研究和设计安全计算机。而系统安全性必须在设计阶段充分考虑,以免由于设计的缺陷导致整个系统存在安全隐患。...
北京交通大学  硕士论文  2008年 下载次数(300)| 被引次数(10)

基于Agent的全电子智能分布式应急联锁系统研究 

我国的自然灾害频发且分布范围广,全国铁路的大约四分之一建造在VII度以上地震烈度区,自然灾害突发造成了巨大人员伤亡和财产损失,有的灾害造成铁路设施损毁、运输中断,快速恢复铁路运输的能力意义重大,而铁路信号联锁系统的灾后抢修抢建能大大提高铁路运输能力,因此铁路信号应急联锁系统具有重要的社会和经济意...
兰州交通大学  博士论文  2015年 下载次数(194)| 被引次数(5)

列控安全计算机通信容错与实时性优化的研究 

随着现代计算机和通信技术在铁路信号系统中应用,列车运行控制系统由传统的控制技术逐渐向综合化、智能化、网络化的方向发展。而列控安全计算机作为列车运行控制系统的核心硬件设备,其承载着系统的大部分安全功能,是确保列控系统安全性和可靠性的关键。...
北京交通大学  硕士论文  2018年 下载次数(98)| 被引次数(3)

基于SCADE的CBTC区域控制器建模与验证 

随着城市化进程的推进和城市人口的增加,人们越来越意识到城市轨道交通的优点,全国各地也在大力兴建城市轨道交通。基于通信的列车运行控制系统(Communication-based Train Control, CBTC)具有安全、高效等优点,是现代城市轨道交通列车运行控制系统今后的发展方...
西南交通大学  硕士论文  2015年 下载次数(181)| 被引次数(8)

基于安全状态机的计算机联锁系统建模与分析 

城市轨道交通以其安全可靠、污染低、运量大、速度快、受其他交通方式干扰小等特点,成为解决城市交通拥堵问题的首选方案。基于通信的列车控制系统(Communication-based Train Control, CBT C)具有轨旁设备少、列车追踪间隔短、运营效率高等优点,是列控技术的重要发展方向。...
西南交通大学  硕士论文  2016年 下载次数(147)| 被引次数(8)

共找到相关记录162条12345678910下一页