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