| CTCS-3列控系统RBC切换的形式化建模、分析与验证 |
| |
| 引用本文： | 潘登,郑应平.CTCS-3列控系统RBC切换的形式化建模、分析与验证[J].计算机应用研究,2013,30(2):443-446,453. |
| |
| 作者姓名： | 潘登 郑应平 |
| |
| 作者单位： | 同济大学控制科学与工程系,上海,201804 |
| |
| 基金项目： | 国家自然科学基金资助项目(61174183) |
| |
| 摘 要： | 针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型.通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性.交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响；列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量.
|
| 关 键 词： | CTCS-3列控系统 RBC切换 通信协议 形式化建模 Petri网 分析与验证 |
Formal modeling,analysis and verification of RBC handover for CTCS-3 train control system |
| |
| PAN Deng
,
ZHENG Ying-ping.Formal modeling,analysis and verification of RBC handover for CTCS-3 train control system[J].Application Research of Computers,2013,30(2):443-446,453. |
| |
| Authors: | PAN Deng ZHENG Ying-ping |
| |
| Affiliation: | (Dept.of Control Science & Engineering,Tongji University,Shanghai 201804,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
