期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于时间自动机的列控系统等级转换建模与验证
1
作者
董家希
刘珂帆
+2 位作者
鄢春花
杜利芳
周家宇
《科学技术创新》
2024年第6期21-24,共4页
随着列控系统的发展,我国现有铁路线路主要应用有CTCS-3级和CTCS-2级两种列控系统。等级转换是在列车运行控制过程中起到重要作用,其功能的正确性直接关系到列控系统的安全性。本文采用时间自动机建模方法,依据CTCS-3级列控系统总体基...
随着列控系统的发展,我国现有铁路线路主要应用有CTCS-3级和CTCS-2级两种列控系统。等级转换是在列车运行控制过程中起到重要作用,其功能的正确性直接关系到列控系统的安全性。本文采用时间自动机建模方法,依据CTCS-3级列控系统总体基础方案的需求规范,对等级转换场景进行了功能性及实时性的需求分析,描述CTCS-3级和CTCS-2级列控系统转换过程中的功能特性和时间约束,对等级转换场景进行建模仿真,并通过形式化验证的方式检验模型的正确性。
展开更多
关键词
列控系统
等级转换
UPPAAL建模
时间自动机
在线阅读
下载PDF
职称材料
题名
基于时间自动机的列控系统等级转换建模与验证
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 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于时间自动机的列控系统等级转换建模与验证
董家希
刘珂帆
鄢春花
杜利芳
周家宇
《科学技术创新》
2024
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
