期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于UML与CPN的CTCS-3级列控系统建模与验证方法研究 被引量:3
1
作者 上官伟 蔡伯根 +2 位作者 王艳 王晶晶 王亚菊 《铁道通信信号》 2010年第5期6-11,共6页
CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,... CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。 展开更多
关键词 UML CPN CTCS-3级列控系统 建模 验证
在线阅读 下载PDF
铁路通信云技术探索 被引量:7
2
作者 陈姝 张鑫 +1 位作者 钟章队 丁建文 《铁道通信信号》 2022年第5期36-41,共6页
铁路通信云定位为智能铁路时代的新型通信基础设施,是铁路专用通信发展到智能时代的新形态。为实现铁路通信网络云化、业务云化、运维云化、平台赋能的目标,通过分析铁路通信业务特点和发展需求,建议铁路通信云采用统一标准、统一监管... 铁路通信云定位为智能铁路时代的新型通信基础设施,是铁路专用通信发展到智能时代的新形态。为实现铁路通信网络云化、业务云化、运维云化、平台赋能的目标,通过分析铁路通信业务特点和发展需求,建议铁路通信云采用统一标准、统一监管、多云多域和分布式多级部署的建设模式,以满足当前及未来一段时间内的铁路通信网络部署、通信业务及通信运维的需求。 展开更多
关键词 智能铁路 通信云 多云多域 云边协同 基础设施
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部