区域控制器移动授权的统一建模语言(UML)建模与验证
探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程.采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率.通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证.
基于通信的列车控制、区域控制器、移动授权、统一建模语言建模、模型验证
17
U231.6(特种铁路)
2014-08-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
40-43