| CBTC区域控制器切换场景的建模与验证 |
| |
| 引用本文： | 孙维正,旷文珍.CBTC区域控制器切换场景的建模与验证[J].铁道科学与工程学报,2022,19(4):1081-1091. |
| |
| 作者姓名： | 孙维正 旷文珍 |
| |
| 作者单位： | 兰州交通大学 自动化与电气工程学院,甘肃 兰州 730070,兰州交通大学 自动化与电气工程学院,甘肃 兰州 730070;甘肃省工业交通自动化工程技术研究中心,甘肃 兰州 730070 |
| |
| 摘 要： | 区域控制器(Zone Controller,ZC)通过与联锁系统(Computer Interlocking,CI)、车载控制器(Vehicle On Board Controller,VOBC)和列车自动监督系统(Automatic Train Supervision,ATS)等其他子系统信息交互来为列车计算移动授权...
|
| 关 键 词： | 列控系统 区域控制器 UML 有色Petri网 |
Modeling and verification of CBTC zone controller switching scenarios |
| |
| SUN Weizheng,KUANG Wenzhen.Modeling and verification of CBTC zone controller switching scenarios[J].Journal of Railway Science and Engineering,2022,19(4):1081-1091. |
| |
| Authors: | SUN Weizheng KUANG Wenzhen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
