-
题名城市轨道交通信号系统测试序列自动生成方法研究
被引量：2
- 1
-
-
作者
张锐
司鑫悦
王成志
-
机构
兰州交通大学甘肃省轨道交通信号与控制评测行业技术中心
甘肃众一合技术有限公司
铁科院(北京)工程咨询有限公司
中铁工程设计咨询集团有限公司济南设计院
-
出处
《都市快轨交通》
北大核心
2025年第2期140-146,共7页
-
基金
国家自然科学基金(U2268206)
甘肃省科技计划项目(22CX3GA059)
+1 种基金
甘肃省重点人才项目(2022RCXM014)
兰州市科技计划项目(2024-8-49)。
-
文摘
针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若干独立测试区段;其次将线路特征量转化为计算机能够识别的形式化语言,提高编辑效率和人机交互体验;然后应用辅助生成工具自动生成若干条现场可执行的工程验收测试序列;最后选取真实线路作为测试对象,验证工程验收测试效率。研究表明:相较于传统的人工设计测试序列的方法,通过形式化语言设计的测试序列,满足工程验收要求,覆盖互联互通测试案例,能够缩短现场测试时间,提高测试效率。
-
关键词
城市轨道交通
信号系统
CBTC
互联互通
工程测试
形式化语言
测试顺序
-
Keywords
urban rail transit
signal system
communication based train control
interconnection and interoperability
engineering test
formal methods
test sequence
-
分类号
U231
[交通运输工程—道路与铁道工程]
-
