期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
区域控制器移动授权的统一建模语言(UML)建模与验证 被引量:5
1
作者 王露 王长林 《城市轨道交通研究》 北大核心 2014年第7期40-43,共4页
探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程。采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率。通过UML建模直观展现系... 探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程。采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率。通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证。 展开更多
关键词 基于通信的列车控制 区域控制器 移动授权 统一建模语言建模 模型验证
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部