系统新增OA期刊资源的通知
登 录
|
IP登 录
|
注 册
|
知识中心首页
联系我们
版权声明
首 页
交科信研
信息资源
专题数据库
"一带一路"交通基础设施
网上展厅
沥青路面典型病害样本数据集
知识应用
交通综合经济运行分析
交通科技发展态势
全球港口通
信息服务
当前位置:
首页
>
学位论文
>
详情
原文传递
城轨CBTC系统静态数据的验证方法研究
论文题名:
城轨CBTC系统静态数据的验证方法研究
关键词:
城轨;CBTC系统;静态数据;验证
作者:
王彤典
专业:
交通信息工程及控制
导师:
唐涛
授予学位:
博士
授予学位单位:
北京交通大学
学位年度:
2020
正文语种:
中文
相关文献
城轨CBTC系统数据的安全处理与验证方法研究
基于UPPAAL的CBTC系统数据验证的研究
基于网络拓扑的城轨CBTC系统数据自动生成研究
基于规则的CBTC系统数据分析与验证的研究
基于CSP的城轨CBTC联锁逻辑形式化建模与验证
城轨CBTC系统中间人攻击检测与防御方法研究
检索历史
应用推荐