期刊文章详细信息
CTCS-3级列控系统RBC切换过程分析
CTCS-3级列控系统RBC切换过程分析
文献类型：期刊文章
机构地区：[1]北京交大微联科技有限公司 [2]铁道部C3技术攻关组
年 份：2010
卷 号：46
期 号：4
起止页码：12-16
语 种：中文
收录情况：普通刊
摘 要：RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。
关 键 词：CTCS-3级列控系统 RBC切换 着色PETRI网 建模
分 类 号：U284.48]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
