首页 > 特色专题 >新基建 >城市轨道交通 >应用 > 基于HCPN的城市轨道交通CBTC联锁系统建模研究
基于HCPN的城市轨道交通CBTC联锁系统建模研究

基于HCPN的城市轨道交通CBTC联锁系统建模研究

原价 100 积分

促销价 50 评分 4.3 积分

*温馨提示:该数据为用户自主上传分享,如有侵权请 举报联系客服处理。
报错
  • 详情
  • 2021-04-27
  • 简介
  • pdf
  • 384KB
  • 页数 6P
  • 阅读 95
  • 下载 32
城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城市轨道交通CBTC联锁系统及HCPN建模方法,基于HCPN对城市轨道交通CBTC联锁系统进行建模,并为了增强模型的可重用性和提高建模效率,在此基础上构建基于HCPN的城市轨道交通CBTC联锁系统分层模型框架,建立一个参数化的可重用模型模板,符合联锁系统规范,适用于各类型车站。

对不起,您暂无在线预览权限,如需浏览请

立即登录