系统新增OA期刊资源的通知
登 录
|
IP登 录
|
注 册
|
知识中心首页
联系我们
版权声明
首 页
交科信研
信息资源
专题数据库
"一带一路"交通基础设施
网上展厅
沥青路面典型病害样本数据集
知识应用
交通综合经济运行分析
交通科技发展态势
全球港口通
信息服务
当前位置:
首页
>
学位论文
>
详情
原文传递
基于运行时验证的进路控制动态监控方法研究
论文题名:
基于运行时验证的进路控制动态监控方法研究
关键词:
运行;验证;进路控制;动态监控
作者:
李雪菲
专业:
交通信息工程及控制
导师:
王海峰
授予学位:
硕士
授予学位单位:
北京交通大学
学位年度:
2019
正文语种:
中文
相关文献
面向列控安全性监控的运行时验证方法研究
基于运行时验证的列控系统形式化分析
城市公交车运行时间预测方法研究
基于混成自动机的列控系统超速防护运行时监控方法
固定运行时分条件下的列车节能控制
地铁车辆地上运行时夏季空调系统能耗研究
检索历史
应用推荐