系统新增OA期刊资源的通知
登 录
|
IP登 录
|
注 册
|
知识中心首页
联系我们
版权声明
首 页
交科信研
信息资源
专题数据库
"一带一路"交通基础设施
网上展厅
沥青路面典型病害样本数据集
知识应用
交通综合经济运行分析
交通科技发展态势
全球港口通
信息服务
当前位置:
首页
>
学位论文
>
详情
原文传递
CTCS-1级列控系统车站数据服务器SDS建模验证与实现研究
论文题名:
CTCS-1级列控系统车站数据服务器SDS建模验证与实现研究
关键词:
列控系统;车站;数据服务器;SDS;建模
作者:
张茜
专业:
交通信息工程及控制
导师:
刘中田
授予学位:
硕士
授予学位单位:
北京交通大学
学位年度:
2022
相关文献
CTCS-1级列控系统线路数据的生成及验证方法的研究
基于SysML和时间自动机的CTCS-1级列控系统RDC建模与验证
基于TCPN的CTCS-1级列控系统RDC形式化建模与分析
CTCS-1级列控系统车载设备安全性分析
CTCS--1级列控系统RDC数据生成及验证方法的研究
基于STPA的CTCS-1级列控系统区域列控数据中心安全分析方法的研究
检索历史
应用推荐