基于SCADE的城轨正线联锁系统研究 

基于通信的列车控制系统(Communication-based Train Control,CBTC)已成为城市轨道交通信号系统的首选解决方案。作为其中关键部分,计算机联锁(Computer Based Interlocking,CBI)系统负责保障行车安全的逻辑运算,是...
西南交通大学  硕士论文  2017年 下载次数(163)| 被引次数(3)

基于系统理论危害分析的车道保持辅助系统安全分析方法 

本发明提出一种基于系统理论危害分析的车道保持辅助系统安全分析方法,属于无人驾驶技术安全工程领域。包括:(1)建立车道保持辅助系统的分层控制结构,(2)基于分层控制结构识别不安全的控制行为,获得最终的安全约束如下:SC1:如果启...
北京航空航天大学  中国专利  2019年 下载次数(0)| 被引次数(0)

基于模型的城际铁路列控系统运营场景仿真与验证 

随着列车运行控制相关技术的发展,列控系统不断融合先进的计算机技术、网络技术以及通信技术,系统的自动化程度不断提高、软硬件规模不断扩大,呈现出复杂的系统特性。作为复杂的安全苛求系统,如何确保列控系统的正确性是重要的研究课题。一方面,Simulink/Statef...
北京交通大学  硕士论文  2017年 下载次数(157)| 被引次数(3)

混杂系统主动容错架构在列控车载系统的应用研究 

列车运行控制系统(简称列控系统)的车载系统作为安全苛求系统,系统安全性和可靠性是衡量系统性能的重要指标,也是在系统设计中需要考虑的重要因素。然而,列车运行过程中载荷条件和运行环境随时间变化,这使得列车不可避免地出现故障。随...
北京交通大学  硕士论文  2013年 下载次数(105)| 被引次数(0)

磁浮列车运行控制系统设计及其核心部件研制 

高速磁浮列车运行控制系统是实现磁浮列车运行指挥及安全防护功能的安全苛求计算机控制系统,它与磁浮列车系统中的车辆、牵引供电、线路及道岔等设备或系统相连,完成磁浮列车调度、运行指挥管理及安全防护等任务。...
北京交通大学  硕士论文  2007年 下载次数(428)| 被引次数(2)

基于时间自动机模型的CBTC系统安全计算机平台的形式化验证 

众多工业控制领域要求其计算机控制系统具有高可靠、高可用和高安全的运行基础。安全计算机系统常用于军事、航空航天、工业控制、银行、通信等安全苛求(safety-critical)领域,以避免由于计算机的失效造成重大事故。 基于通信的列车运行控制(Commun...
北京交通大学  硕士论文  2010年 下载次数(299)| 被引次数(18)

基于可重用框架的CTCS仿真车载DMI研究与实现 

中国列车控制系统(CTCS,Chinese Train Control System)的车载子系统遵循故障安全原则进行设计,属于安全苛求系统,是保证列车运行效率和安全的重要组成部分。由于列车司机不理解车载设备的内部原理和功能,而车载人机接口(DMI...
北京交通大学  硕士论文  2009年 下载次数(262)| 被引次数(8)

CTCT-4级安全通信协议的形式化建模与验证 

CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统,而GSM-R系统是一种开放传输系统,它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全措施,引用一...
《计算机工程与应用》  2014年 第04期 下载次数(123)| 被引次数(10)

城市轨道交通列控系统信息安全攻击路径预测方法研究 

随着基于通信的列车控制(Communication-based train control,CBTC)技术的广泛应用,城市轨道交通的信息化、自动化水平得到了巨大的提升。然而,大量通用计算机、通信以及控制技术的应用使得CBTC系统的信息安全问题日益突出。鉴于CBTC系统的`#~安全苛求...
北京交通大学  硕士论文  2019年 下载次数(48)| 被引次数()

CTCS-3级列控系统可靠性分析与评价 

列车运行控制系统是确保列车安全、高效运行的关键技术和核心设备。随着列车运行速度的不断提高,对列控系统安全性和可靠性的要求也越来越高。列控系统是集3C(Computer,Communication and Control,计算机、通信及控制)技术与传统铁道信号技术为一体的复...
兰州交通大学  硕士论文  2016年 下载次数(330)| 被引次数(5)

列车卫星定位安全风险评估方法研究 

采用卫星导航系统进行列车定位能够大大减少轨旁设备的使用,降低成本并改善维护人员的工作环境。我国中西部地区自然环境相对恶劣、地广人稀、铁路网密度低、铁路信号基础设施不完善、客货运输量不高,对于处于这种环境之下的低密度线路采用卫星导航系统定位是一种比较好的定位方式。列车卫星定位作为`#~安全苛求`@...
北京交通大学  硕士论文  2017年 下载次数(163)| 被引次数(5)

基于Event-B和MAS的车站进路联锁控制逻辑的形式化方法研究 

随着我国铁路事业的飞速发展,安全、高速成为铁路系统的硬性标准。我国在引进和借鉴欧洲ETCS列控系统的基础上,研发了拥有自主产权的CTCS-3级中国列车控制系统。计算机联锁系统则是保证列车行车安全的基础设备,主要是利用联锁软件完成联锁功能的一种`#~...
兰州交通大学  硕士论文  2015年 下载次数(111)| 被引次数(3)

基于动态故障树和蒙特卡洛仿真的列控系统风险分析研究 

摘要:列车控制系统作为保障列车高速安全可靠运行的安全苛求系统,得益于计算机技术、控制技术、和电子技术的发展得到了长足的发展。但随着列车速度的不断提高和行车间隔的不断减小,列车控制系统安全的重要性也愈发凸显。为了减少风险,保障行车安全,对列控系统的风...
北京交通大学  硕士论文  2014年 下载次数(1207)| 被引次数(17)

基于时间自动机的RBC控车场景建模与验证 

CTCS-3级列控系统是铁路信号领域的主要技术设备,它担负着指挥列车运行,保证行车安全和提高运输效率的重要任务。无线闭塞中心(Raid Block Center, RBC)系统是CTCS-3级列控系统地面设备中的核心设备,它是实现安全、高效控车的关键。由于RB...
西南交通大学  硕士论文  2017年 下载次数(86)| 被引次数(3)

功能安全分析及建模方法研究 

功能安全分析方法(FSA)是一种基于安全苛求系统功能的安全分析方法,结合了FMEA、HAZOP等分析手段,能够对于系统中的危险源进行辨识、分析和建模,并可以在系统设计、测试阶段予以解决。区域控制器(ZC)是CBTC系统中完成为所管辖列车计算行车许可...
第13届中国系统仿真技术及其应用学术年会论文集  2011-08-03 下载次数(150)| 被引次数(1)

共找到相关记录277条上一页>3456789101112下一页