安全苛求通信系统的形式化建模及验证 

随着计算机、通信和控制技术的深度融合以及通信技术的飞速发展,通信在铁路信号、航空航天等这些安全苛求的控制领域中起到越来越重要的作用。对高速铁路列车运行控制系统这类安全完整性等级要求极高、且具有大量安全相关通信传输需求的安全苛求控制系统,把`#~安全...
中国铁道科学研究院  博士论文  2011年 下载次数(129)| 被引次数(3)

一种基于失效传播模型的安全分析方法的研究 

对于一旦出现异常就有可能造成生命财产损失或环境破坏的安全苛求系统来说,安全是永恒的主题,采用科学、系统安全分析方法对系统危险进行辨识、控制、跟踪是这一类系统的设计开发不可缺少的环节。进入21世纪后计算机系统正朝着深度融合计...
北京交通大学  博士论文  2010年 下载次数(743)| 被引次数(24)

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

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

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

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

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

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

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

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

列车运行控制系统硬件安全完整性等级验证方法研究 

列车运行控制系统是用于控制和防护列车运行的典型安全苛求系统,其安全性是否能够满足系统的功能安全要求日益受到用户关注。IEC61508作为铁路领域安全评估主要参考标准,对安全相关系统提出了安全完整性等级(Safet...
中国铁道科学研究院  博士论文  2019年 下载次数(133)| 被引次数()

轨道交通信号系统关键技术研究与应用 

城市规模越来越大,现代化程度越来越高,但其交通拥堵情况却日渐严重。此时城市轨道交通以其快捷、安全、准时和节能等特点迅速成为中国乃至世界上许多国家解决交通拥堵的第一选择,而基于通信的列车控制(Communication Based Train Control,CBTC)系统又因技术的先进性成为轨道...
浙江大学  博士论文  2017年 下载次数(224)| 被引次数(2)

列控系统需求规范形式化建模与验证方法研究 

列车运行控制系统(以下简称“列控系统”)需求规范是列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,由于列控系统是一个复杂的安全苛求系统,仅依靠经验制定的系统需求规范不可避免地存在某些漏洞或...
北京交通大学  博士论文  2012年 下载次数(924)| 被引次数(30)

基于多形态时钟输入输出迁移系统的安全软件测试研究 

缺乏系统的科学的测试体系是一直以来影响安全软件测试可信度的根本问题。在现有的工程实践中,测试是实验性行为的认知和实施方案普遍存在,威胁着系统安全性并且这一问题随着安全软件需求量的激增,职责范围的外延,规模的扩大和复杂度的提高变得越来越严重。因此,构造高效可信...
华东师范大学  博士论文  2017年 下载次数(129)| 被引次数()

列车运行控制系统分层形式化建模与验证分析 

列车运行控制系统(简称“列控系统”)是将先进的控制技术、通信技术、计算机技术与铁路信号技术融为一体,保证轨道交通安全、正点、高密度运行的自动化系统。随着计算机在列控系统中的广泛应用,硬件和软件规模不断扩大,系统的复杂性有了很大的提高,呈现出复杂的`...
北京交通大学  博士论文  2011年 下载次数(1262)| 被引次数(53)

复杂动态监控任务工作负荷的Petri网建模理论及方法研究 

复杂动态监控任务是一类时间和空间上具有操作不确定性,且信息量大、行为复杂的活动集合,广泛存在于列车/飞机驾驶、行车调度、空中管制、核电监控等安全苛求系统之中。近年来,随着智能化设备的不断应用,人机交互任务内涵的不断变化,传统的系统安全风险集中点正在从硬件向人转化,如何保证复杂动态监控任务的执行绩...
北京交通大学  博士论文  2019年 下载次数(127)| 被引次数()

执行器故障下系统的鲁棒自适应容错控制研究 

在实际工程系统中,由于外界干扰和执行器故障引起的非线性通常是不可避免的。在大多数情况下,系统执行器故障发生的时间是未知的,并且它的进一步发展可能导致整个系统产生不同形式和规模的故障。因此,当一个给定的动态系统发生故障时,如何保证系统稳定性和保持可接受的执行性能...
北京交通大学  博士论文  2017年 下载次数(1164)| 被引次数(9)

CBTC联锁系统的形式化建模与验证方法研究 

作为基于通信的列车控制(Communication Based Train Control,CBTC)系统安全关键设备,联锁系统的结构、功能逻辑复杂,软硬件集成度较高,是典型的复杂安全苛求系统。如何保证联锁系统开发的正确性和安全性,寻求一套全面、...
中国铁道科学研究院  博士论文  2017年 下载次数(248)| 被引次数(5)

轨道交通信号系统仿真测试与验证技术研究与应用 

随着国家城镇化建设的不断推进,城市轨道交通系统以其快捷、安全以及不受路面状况影响等优势,越来越多的出现在我国的大中型城市中,成为解决市内交通拥堵问题的主要方案之一。基于通信的列车控制(Communication Based Train Control, CBTC)系统作为当今最先进的...
浙江大学  博士论文  2014年 下载次数(1020)| 被引次数(10)

共找到相关记录17条12下一页