期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于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
职称材料
题名
基于UML与CPN的CTCS-3级列控系统建模与验证方法研究
被引量:
3
1
作者
上官伟
蔡伯根
王艳
王晶晶
王亚菊
机构
轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院
北京
交大微联科技有限公司
铁道部C
出处
《铁道通信信号》
2010年第5期6-11,共6页
基金
由国家自然科学基金(编号60736047)
轨道交通控制与安全国家重点实验室自主研究课题(编号:RCS2009ZT013)
北京交通大学基金(编号:2008RC023)资助
文摘
CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。
关键词
UML
CPN
CTCS-3级列控系统
建模
验证
Keywords
Unified Modeling Language
Colored Petri net
CTCS-3 Train Control System
Modeling
Verification
分类号
TP29-AC [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
铁路通信云技术探索
被引量:
7
2
作者
陈姝
张鑫
钟章队
丁建文
机构
佳讯飞鸿智能科技研究院
北京交通大学
宽带移动
信息
通信铁路行业
重点
实验室
出处
《铁道通信信号》
2022年第5期36-41,共6页
基金
国家自然科学基金青年基金(62101026)
中国国家铁路集团有限公司科技研究开发计划(P2020G004,N2021G030)。
文摘
铁路通信云定位为智能铁路时代的新型通信基础设施,是铁路专用通信发展到智能时代的新形态。为实现铁路通信网络云化、业务云化、运维云化、平台赋能的目标,通过分析铁路通信业务特点和发展需求,建议铁路通信云采用统一标准、统一监管、多云多域和分布式多级部署的建设模式,以满足当前及未来一段时间内的铁路通信网络部署、通信业务及通信运维的需求。
关键词
智能铁路
通信云
多云多域
云边协同
基础设施
Keywords
Intelligent railway
Communication cloud
Multi-cloud multi-domain
Cloud edge collaboration
Infrastructure
分类号
U285.5 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于UML与CPN的CTCS-3级列控系统建模与验证方法研究
上官伟
蔡伯根
王艳
王晶晶
王亚菊
《铁道通信信号》
2010
3
在线阅读
下载PDF
职称材料
2
铁路通信云技术探索
陈姝
张鑫
钟章队
丁建文
《铁道通信信号》
2022
7
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部