石竹
- 作品数：3 被引量：10H指数：2
- 供职机构：北京交通大学轨道交通运行控制系统国家工程研究中心更多>>
- 发文基金：国家高技术研究发展计划国家科技支撑计划更多>>
- 相关领域：电子电信交通运输工程更多>>
- XML在列控系统仿真测试平台中的应用被引量：2
- 2012年
- CTCS-3级列控系统仿真测试平台用于CTCS-3级列控系统的技术规范验证、系统研究、方案比较、设备测试评估等。为了使在真实环境中需要人工通知的测试序列执行过程在列控系统仿真测试平台中自动执行,将XML技术引入仿真测试平台,利用XML良好的数据交互性,将文本形式的测试序列文件转化成供仿真平台中仿真测试管理器读取的XML文件,通过仿真测试管理器对仿真测试平台的控制,使测试序列能自动执行。
- 李敏李开成石竹
- 关键词：XML列控系统仿真
- 基于赋时着色Petri网的RBC控车实时性能分析被引量：7
- 2012年
- RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。对该性能指标进行形式化方法研究可为验证CTCS-3级列车运行控制系统规范和系统研发提供参考。着色Petri网不仅可以描述系统的静态结构,而且可以实现模型动态仿真,克服了其他形式化方法对系统动态行为进行静态描述的缺点。采用赋时着色Petri网对RBC与列车通信的无线消息进行研究。针对两种无线消息模型,综合信道突发降质、GSM-R小区切换、链路中断等故障因素分别进行仿真,得到RBC控车平均延时曲线,并分析不同列车速度及重发时间间隔对无线消息模型产生的影响。
- 石竹李开成
- 关键词：CTCS-3形式化分析赋时着色PETRI网RBC
- 基于CTCS-3级列控系统运营场景的RBC控车实时性能分析
- 随着我国铁路的高速发展，列车运行控制系统的实时、高效及安全性成为关注的重点，为满足需要，我国铁路部门提出了发展适合我国国情的中国列车运行控制系统(Chinese Train Control System，CTCS)。CT...
- 石竹
- 关键词：赋时着色PETRI网CTCS-3级列控系统
- 文献传递
