CTCS-3级列控系统RBC控车场景建模与验证.docx

下载文档 降价啦

13
0
约1.12万字
约 13页
2021-04-12 发布于天津
举报
版权申诉
保障服务

CTCS-3级列控系统RBC控车场景建模与验证.docx

1、本文档共13页，其中可免费阅读4页，需付费100金币后方可阅读剩余内容。
2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

级列控系统控车场景建模与验证级列控系统控车场景建模与验证级列控系统控车场景建模与验证盛昭君米根锁锁兰州交通大学自动化与电气工程学院州摘要应用统一建模语言与模型检验工具相结合的方法研究级列控系统控车场景列车注册与启动行车许可等级转换列车注销的混成性首先通过支持的扩展机制引入构造型对进行面向混成性的扩展面向混成性的扩展建立控车场景模型实现对控车场景混成性的描述控车场景混成性的描述然后依据到的转换规则转换规则将模型转换成模型最后依据级列控系统需求规范级列控系统需求规范总结控车场景的功能需求运用进行验证

CTCS-3 CTCS-3 级列控系统 RBC 控车场景建模与验证 CTCS-3 级列控系统 RBC 控车场景建模与验证 CTCS-3 级列控系统 RBC 控车场景建模与验证盛昭君 ,米根锁（锁（兰州交通大学自动化与电气工程学院州 730070) 摘要：应用统一建模语言 UML 与模型检验工具 PHAVer(Polyhedral Hybrid Automaton verifier) 相结合的方法,研究 CTCS-3 级列控系统 RBC 控车场景：列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过 UML 支持的扩展机制 ,引入构造型（Stereotype）对