排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
区域控制器(Zone Controller,ZC)通过与联锁系统(Computer Interlocking,CI)、车载控制器(Vehicle On Board Controller,VOBC)和列车自动监督系统(Automatic Train Supervision,ATS)等其他子系统信息交互来为列车计算移动授权,是基于通信的列车运行控制系统(Communication Based Train Control,CBTC)重要的地面安全设备。研究区域控制器的功能需求,构建满足边界切换实时性、安全性特点的模型有助于保证列车在线路上高效、安全的运行。在现有建模方式的基础上,采用统一建模语言(Unified Modeling Language,UML)和层次时间有色Petri网(Hierarchical Timed Colored Petri Net,HTCPN)相结合的方法对ZC边界切换场景下的区域控制器和车载子系统之间的信息交互过程进行分析。从车载VOBC状态变化的角度构建用于验证切换场景安全性的UML模型和HTCPN模型,并以CPN Tools作为仿真平台对其进行验证。根据CPN ... 相似文献
1