-
题名基于时间自动机的列控系统等级转换建模与验证
- 1
-
-
作者
董家希
刘珂帆
鄢春花
杜利芳
周家宇
-
机构
成都工业学院汽车与交通学院
-
出处
《科学技术创新》
2024年第6期21-24,共4页
-
基金
成都工业学院2022年校级科研项目《基于模型的列控系统测试用例生成关键技术研究》(2022ZR040)
四川省大学生创新创业训练计划《碳零光明——无电源光导照明装置》(S202311116040X)。
-
文摘
随着列控系统的发展,我国现有铁路线路主要应用有CTCS-3级和CTCS-2级两种列控系统。等级转换是在列车运行控制过程中起到重要作用,其功能的正确性直接关系到列控系统的安全性。本文采用时间自动机建模方法,依据CTCS-3级列控系统总体基础方案的需求规范,对等级转换场景进行了功能性及实时性的需求分析,描述CTCS-3级和CTCS-2级列控系统转换过程中的功能特性和时间约束,对等级转换场景进行建模仿真,并通过形式化验证的方式检验模型的正确性。
-
关键词
列控系统
等级转换
UPPAAL建模
时间自动机
-
Keywords
train control system
level conversion
UPPAAL modelling
timed automata
-
分类号
U284.48
[交通运输工程—交通信息工程及控制]
-
-
题名灰色组合预测辅助的列车自主定位方法
- 2
-
-
作者
边浩毅
付国平
董家希
蔡煊
-
机构
浙江机电职业技术学院继续教育学院
杭州地铁运营有限公司
成都工业学院汽车与交通学院
-
出处
《铁道标准设计》
北大核心
2024年第10期193-199,共7页
-
基金
浙江省‘尖兵’‘领雁’研发攻关计划资助项目(2022C01105)
浙江省科技厅软科学2021年项目(2021C25005)
+1 种基金
浙江省交通运输厅2021年科技计划项目(2021032)
成都工业学院2022年校级科研项目(2022ZR040)。
-
文摘
基于全球导航卫星系统(Global Navigation Satellite System,GNSS)的列车定位方法是下一代列车运行控制系统列车定位技术的主要发展方向。从提高列车定位的安全性、自主性角度出发,并充分考虑组合定位系统的成本及异质传感器的互补性能,采用北斗卫星导航系统(BeiDou Navigation Satellite System,BDS)和惯性测量单元(Inertial Measurement Unit,IMU)构建车载组合定位方案。针对BDS/IMU组合在隧道运行环境中,卫星信号受限导致定位失效情况下IMU单独导航定位误差累积发散问题,提出一种灰色组合预测模型辅助的列车定位精度保持方法;基于BDS失效前组合系统定位信息建立算法模型,当列车处于卫星信号受限环境中时,利用灰色组合模型预测的列车定位数据序列持续校正IMU累积误差,从而保障列车运行全过程中定位输出的可用性。在实验室环境下搭建的仿真平台上对所提出方法进行验证,结果表明,BDS/IMU组合在正常工作情况下能保持较高的定位精度,东向/北向位置误差均小于2 m,东向/北向速度误差均小于0.2 m/s;在BDS定位失效环境下通过灰色组合模型预测数据修正IMU累积误差,相对于IMU单独导航,东向/北向位置误差均降低85%以上,东向/北向速度误差均降低80%以上,定位精度能够满足列车运行控制系统对列车定位的指标要求。
-
关键词
列车定位
自主定位
北斗卫星导航系统
惯性测量单元
灰色组合预测
-
Keywords
train positioning
autonomous positioning
BeiDou navigation satellite system
inertial measurement unit
grey combination prediction
-
分类号
U284.48
[交通运输工程—交通信息工程及控制]
-
