| 注册
首页|期刊导航|铁道科学与工程学报|CBTC区域控制器切换场景的建模与验证

CBTC区域控制器切换场景的建模与验证

孙维正 旷文珍

铁道科学与工程学报2022,Vol.19Issue(4):P.1081-1091,11.
铁道科学与工程学报2022,Vol.19Issue(4):P.1081-1091,11.DOI:10.19713/j.cnki.43-1423/u.T20210414

CBTC区域控制器切换场景的建模与验证

孙维正 1旷文珍2

作者信息

  • 1. 兰州交通大学自动化与电气工程学院,甘肃兰州730070
  • 2. 兰州交通大学自动化与电气工程学院,甘肃兰州730070 甘肃省工业交通自动化工程技术研究中心,甘肃兰州730070
  • 折叠

摘要

关键词

列控系统/区域控制器/UML/有色Petri网

分类

交通工程

引用本文复制引用

孙维正,旷文珍..CBTC区域控制器切换场景的建模与验证[J].铁道科学与工程学报,2022,19(4):P.1081-1091,11.

基金项目

甘肃省科技计划项目(20JR5RA407,20CX9JA125)。 (20JR5RA407,20CX9JA125)

铁道科学与工程学报

OA北大核心CSCDCSTPCDEI

1672-7029

访问量3
|
下载量0
段落导航相关论文