孙伟亮
- 作品数：4 被引量：10H指数：2
- 供职机构：北京交通大学电子信息工程学院全光网络与现代通信网教育部重点实验室更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- CTCS-3级列控系统车地交互流程形式化建模与验证被引量：2
- 2011年
- 正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程:任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心(RBC)、车载设备(ATP)和铁路专用移动通信网(GSM-R)的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTCS-3级列控系统的车地交互流程的安全性和受限活性.
- 刘中田吕继东孙伟亮
- 关键词：列车运行控制系统形式化建模与验证时间自动机
- 基于安全计算机平台的无线闭塞中心仿真研究被引量：2
- 2011年
- 为了构建CTCS-3级列控系统仿真测试平台,进行了无线闭塞中心(RBC)仿真研究。针对无线闭塞中心的安全需求,提出安全计算机平台设计方法;通过深入分析CTCS-3级列控系统系统需求规范,掌握无线闭塞中心的功能需求;进行仿真RBC软件设计与实现。通过在仿真测试平台中实际应用表明,目前的仿真RBC能够完成应有的功能,并满足CTCS-3级列控系统仿真测试平台建设需求。
- 刘中田孙伟亮
- 关键词：仿真测试平台
- 轨道电路读取器测试序列生成方法的研究
- 轨道电路读取器(TCR)是专门设计用于350km/h高速客运专线动车组的信号子系统。它利用了JT1-CZ2000的成熟技术，是根据既有的JT1-CZ2000机车信号车载系统设备改进而来的。针对机车信号或轨道电路读取器的测...
- 孙伟亮
- CTCS-3级列控系统无线闭塞中心功能需求研究被引量：6
- 2011年
- 本文重点研究CTCS-3级列控系统无线闭塞中心(RBC)的功能需求及外部接口等。通过对CTCS-3级列控系统系统需求规范进行深入分析,得出RBC应具有的主要功能。在仿真平台中实际应用表明,本文所述的RBC功能需求、信息流及外部接口等能够满足CTCS-3级列控系统仿真测试平台建设需求。
- 刘中田孙伟亮
- 关键词：无线闭塞中心
