系统新增OA期刊资源的通知
登 录
|
IP登 录
|
注 册
|
知识中心首页
联系我们
版权声明
首 页
交科信研
信息资源
专题数据库
"一带一路"交通基础设施
网上展厅
沥青路面典型病害样本数据集
知识应用
交通综合经济运行分析
交通科技发展态势
全球港口通
信息服务
当前位置:
首页
>
学位论文
>
详情
原文传递
联锁进路数据验证审核系统的研究与实现
论文题名:
联锁进路数据验证审核系统的研究与实现
关键词:
联锁;进路;数据验证
作者:
胡丁丁
专业:
交通信息工程及控制
导师:
闫连山
授予学位:
硕士
授予学位单位:
西南交通大学
学位年度:
2021
相关文献
基于EvenT-B的联锁系统进路控制建模与验证研究
基于UPPAAL的联锁进路控制流程建模与验证
基于CBTC的联锁系统进路控制形式化建模与验证
城轨联锁系统中进路控制逻辑的自动设计与实现
微机联锁系统进路搜索的研究与仿真
计算机联锁仿真系统线路数据自动生成工具的研究与开发
检索历史
应用推荐