赵显琼
- 作品数:25 被引量:79H指数:6
- 供职机构:中国铁道科学研究院通信信号研究所更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域:交通运输工程自动化与计算机技术机械工程更多>>
- 基于模型的高速列车运行控制系统可信性验证方法研究
- 随着列车运行控制系统的飞速发展,人们对于其能否安全可靠的完成承载运输任务越来越关注,而列控系统的可信性是否达到需求是影响这一点的关键。采用科学、系统的可信性验证方法对高速列控系统的复杂结构和功能进行可信性的验证是这一类系...
- 赵显琼
- 关键词:高速列车无线闭塞中心
- 文献传递
- 基于多形式化语义融合的CTCS-3级列控系统可信性评估方法研究
- 针对CTCS-3级列控系统结构复杂造成可信性评估综合评估困难问题,提出了多形式化语义融合可信性评估方法,将扩展参数化故障树、可维修故障树和混成马尔可夫维修策略模型进行了融合,形成了HMC-PRFT可信性建模分析方法,并利...
- 赵显琼范明
- 关键词:CTCS-3RBC
- 文献传递
- 多端口形式化测试自动生成方法在CTCS-3车载系统中的应用被引量:10
- 2011年
- 针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA)。LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套。文中还描述了运用UP-PAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统LpTIOA模型的测试套自动生成。
- 赵显琼唐涛
- 关键词:CTCS时间自动机车载系统UPPAALCOVER
- 智能一体化电务检测维护方案研究被引量:6
- 2015年
- 电务检测维护技术是保障动车组列车安全运营的重要支撑技术,目前国内电务检测维护技术研究相对分散,检测手段比较落后,检测数据冗余造成数据分析处理困难,在指导电务生产资源的综合管理工作中发挥的作用十分有限。提出智能一体化电务检测维护方案,通过对地面集中检测技术、ATP车载设备检测技术和无线传输集中检测技术的研究,对电务维护信息进行合理的融合和挖掘,使电务检测维护数据能够合理指导生产、故障跟踪和检修业绩确认,为电务生产资源的优化配置提供决策指导。
- 赵显琼程剑锋汪洋程林芳
- 关键词:铁路电务
- ATP车载设备管理信息系统及其应用技术
- 本文对ATP车载设备管理信息系统的系统架构进行了介绍,分析其主要特点,描述了系统主要功能,对其应用技术进行了总结和分析,ATP车载设备管理信息系统的出现和使用,有效提高了ATP车载设备信息管理效率和科学化水平。
- 程剑锋肖兴赵显琼贺广宇
- 关键词:系统架构
- 功能安全分析及建模方法研究
- 随着世界范围轨道交通的蓬勃发展,为确保轨道交通列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的列车运行控制系统。功能安全分析方法(FSA)是一种基于安全苛求系统功能的安全分析方法,结合了FMEA、HAZOP等...
- 燕飞赵显琼唐涛
- 关键词:轨道交通列车运行自动控制
- 文献传递
- 以信息化履历为中心的ATP车载设备信息管理方法研究被引量:2
- 2013年
- ATP车载设备是保证动车组运行安全的关键设备。传统的ATP管理以纸质履历为基础,由此而带来的信息引入不准、不全、不详的问题,对ATP车载设备管理造成困扰;同时,纸质履历信息共享率低,无法及时为管理决策提供必要的信息。为此从ATP全生命周期管理活动入手,分析履历的来源和作用,梳理履历信息化过程具备的条件和关联性,及在ATP车载设备全生命周期中的运用与维护模式,在此基础上提出以信息化履历为中心的ATP车载设备信息管理模型并形成系统方案,实现了履历信息共享,有效提高了ATP车载设备信息管理效率和科学化水平。
- 肖兴赵显琼贺广宇
- 关键词:信息技术履历
- 基于Petri网的通信协议性能分析与验证方法及在ETCS中的应用
- 2013年
- 列车运行控制系统中,安全通信协议的性能直接影响到列车的行车安全。因此,对其进行性能分析和验证技术是保证行车安全的重要技术之一。本文以欧洲列车运行控制系统(ETCS)安全通信协议为验证对象,提出基于Petri网的安全通信协议性能分析和验证方法,首先用有色Petri网给建立模型,然后用形式化方法验证协议的有界性,活性和安全性。根据模型表示的状态和行为检查协议是否符合规范的要求。以上功能都是通过Petri网软件实现,包括Poseidon和CPNTools。
- 程林芳王菲赵显琼
- 关键词:ETCS安全通信协议PETRI网
- 一种铁路电务ATP车载设备故障闭环管理方法及系统
- 本发明公开了一种铁路电务ATP车载设备故障闭环管理方法及系统,其中,该方法包括:基层系统对发生故障的ATP车载设备进行故障类型分析,再依次进行故障记录、故障处理及故障回填操作,并实时上报至下属系统;所述下属系统对所述基层...
- 康仁伟赵显琼程剑锋李一楠贺广宇
- 文献传递
- ATP车载设备管理信息系统及其应用技术被引量:5
- 2015年
- 对ATP车载设备管理信息系统的系统架构进行了介绍,分析其主要特点,描述了系统主要功能,对其应用技术进行了总结和分析。ATP车载设备管理信息系统的出现和使用,有效提高了ATP车载设备信息管理效率和科学化水平。
- 程剑锋肖兴赵显琼贺广宇
- 关键词:系统架构