|
1
|
降级运行后CTCS-2/3等级转换点设置方案研究 |
池春玲
马章
梁朝辉
武汝涵
|
《铁道通信信号》
|
2024 |
0 |
|
|
2
|
CTCS-N等级转换场景形式化建模与验证 |
高卓凡
何涛
姜飞
吴永成
|
《兰州交通大学学报》
CAS
|
2024 |
0 |
|
|
3
|
基于时间自动机的列控系统等级转换建模与验证 |
董家希
刘珂帆
鄢春花
杜利芳
周家宇
|
《科学技术创新》
|
2024 |
0 |
|
|
4
|
离去区段CTCS-3级向CTCS-2级列控系统等级转换测试用例研究 |
雷群
|
《铁道通信信号》
|
2024 |
0 |
|
|
5
|
基于UPPAAL的高铁列控系统等级转换过程建模与验证 |
康仁伟
王俊峰
吕继东
|
《北京交通大学学报》
CAS
CSCD
北大核心
|
2012 |
10
|
|
|
6
|
车载设备故障导致CTCS等级转换的建模与仿真 |
胡晓辉
王元鹏
陈永
刘全
|
《计算机工程与应用》
CSCD
北大核心
|
2016 |
3
|
|
|
7
|
基于CPN的等级转换场景建模分析 |
王瑞峰
李媛
程金山
|
《计算机工程与应用》
CSCD
北大核心
|
2015 |
4
|
|
|
8
|
基于MSC与UPPAAL的列控系统等级转换场景形式化验证 |
胡雪莲
陶彩霞
|
《铁道标准设计》
北大核心
|
2015 |
11
|
|
|
9
|
采用有色Petri网的等级转换场景概念建模 |
宋丽梅
朱爱红
马欣宇
|
《华侨大学学报（自然科学版）》
CAS
北大核心
|
2018 |
2
|
|
|
10
|
基于TRSL的RBC等级转换场景研究 |
陈永刚
丁春平
|
《铁道标准设计》
北大核心
|
2016 |
2
|
|
|
11
|
基于UML和CPN的列控系统等级转换建模与分析 |
朱爱红
宋丽梅
|
《计算机应用研究》
CSCD
北大核心
|
2019 |
1
|
|
|
12
|
特殊跨线场景下的CTCS-3至CTCS-2列控等级转换方法 |
项守宽
|
《铁道工程学报》
EI
北大核心
|
2015 |
3
|
|
|
13
|
CTCS-2/CTCS-3级列控系统等级转换基本原理与实现 |
陈锋华
崔俊锋
|
《铁路通信信号工程技术》
|
2013 |
8
|
|
|
14
|
特殊场景下列控等级转换的设置方案 |
李卫锋
刘立峰
|
《铁道通信信号》
|
2019 |
6
|
|
|
15
|
基于时间自动机的自主化ATP等级转换功能建模与验证 |
叶安君
|
《城市轨道交通研究》
北大核心
|
2019 |
1
|
|
|
16
|
ETCS等级转换功能研究 |
张新明
陈源
高媛
|
《铁道通信信号》
|
2017 |
4
|
|
|
17
|
客运专线枢纽车站等级转换预告点设置方案 |
苏腾江
|
《铁道通信信号》
|
2017 |
2
|
|
|
18
|
合福高铁引入合肥枢纽列控系统等级转换方案探讨 |
韩永强
|
《铁路通信信号工程技术》
|
2015 |
2
|
|
|
19
|
应答器故障导致CTCS等级转换的建模与仿真 |
王元鹏
胡晓辉
陈永
刘全
|
《计算机工程与应用》
CSCD
北大核心
|
2016 |
2
|
|
|
20
|
基于场景法的列控系统等级转换功能测试用例设计 |
窦磊
张亚东
李耀
饶畅
|
《铁道标准设计》
北大核心
|
2019 |
4
|
|
