期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用
被引量：
11
1
作者
赵显琼
郑伟
唐涛
《铁道学报》
EI
CAS
CSCD
北大核心
2012年第5期70-80,共11页
随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生...
随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。
展开更多
关键词
etcs-2
有色PETRI网
测试生成
形式化方法
在线阅读
下载PDF
职称材料
面向匈塞铁路的道口控制系统差异性分析及结构设计研究
被引量：
2
2
作者
王萌
刘皓玮
+2 位作者
郑泽熙
欧阳籽勃
刘宁馨
《铁道运输与经济》
北大核心
2025年第3期95-101,共7页
匈塞铁路作为“一带一路”倡议下中国与中东欧国家合作的旗舰项目,2022年匈牙利段已经开始施工建设,全段面临大量道口场景。我国自主研发的铁路信号产品尚未有应用于ETCS-2级的道口控制系统,研究适用于匈牙利段的道口控制系统迫在眉睫...
匈塞铁路作为“一带一路”倡议下中国与中东欧国家合作的旗舰项目,2022年匈牙利段已经开始施工建设,全段面临大量道口场景。我国自主研发的铁路信号产品尚未有应用于ETCS-2级的道口控制系统,研究适用于匈牙利段的道口控制系统迫在眉睫。研究以匈牙利铁路技术标准为基础,并与我国道口控制系统技术标准进行对比分析,结合匈塞铁路匈牙利段的设计需求,以及适用ETCS-2级和提高线路运行时速的目标要求,根据标准技术和接口结构差异、接口功能和控制模式需求,提出道口控制系统主要通信接口和结构设计方案。研究方案验证结果可满足匈塞铁路匈牙利段道口控制系统运营要求,为我国铁路信号系统“走出去”提供经验借鉴。
展开更多
关键词
匈塞铁路
etcs-2
道口控制系统
差异性分析
结构设计
在线阅读
下载PDF
职称材料
匈塞铁路允许红灯应用方案研究
3
作者
徐强
《中国铁路》
北大核心
2025年第9期20-25,共6页
匈塞铁路匈牙利段采用ETCS-2级列车运行控制系统(简称ETCS-2系统),为提升线路运行效率,必须解决无线闭塞中心在向列车发送移动授权时,允许行车许可延伸越过占用计轴区段(信号机为红灯状态)的技术问题,因此需深入研究允许红灯应用方案。...
匈塞铁路匈牙利段采用ETCS-2级列车运行控制系统(简称ETCS-2系统),为提升线路运行效率,必须解决无线闭塞中心在向列车发送移动授权时,允许行车许可延伸越过占用计轴区段(信号机为红灯状态)的技术问题,因此需深入研究允许红灯应用方案。阐述ETCS-2系统的列车控制模式、允许红灯信号授权机制及行车许可结构;研究无线闭塞中心在不同控制模式下对允许红灯状态区段的行车许可计算方法,并针对涉及无线闭塞中心移交和等级转换的复杂场景,提出相应解决方案。同时探讨引导进路下的行车许可计算差异,研究列车进路不确定状态下的线路静态速度曲线、坡度等信息的计算方案。研究成果为匈塞铁路允许红灯功能的深化应用提供思路,也为类似线路对区段占用时的行车许可处理提供理论参考。
展开更多
关键词
匈塞铁路
etcs-2
系统
列车控制模式
允许红灯
无线闭塞中心
行车许可
在线阅读
下载PDF
职称材料
题名
一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用
被引量：
11
1
作者
赵显琼
郑伟
唐涛
机构
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学电子信息工程学院
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2012年第5期70-80,共11页
基金
国家自然科学基金(60634010)
国家863高技术研究发展计划(2009AA11Z221)
中央高校基本科研业务费专项资金(2009YJS013)
文摘
随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。
关键词
etcs-2
有色PETRI网
测试生成
形式化方法
Keywords
ETCS
2
CPN
test generation
formal method
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
面向匈塞铁路的道口控制系统差异性分析及结构设计研究
被引量：
2
2
作者
王萌
刘皓玮
郑泽熙
欧阳籽勃
刘宁馨
机构
中国铁道科学研究院集团有限公司通信信号研究所
中国铁道科学研究院集团有限公司运输及经济研究所
出处
《铁道运输与经济》
北大核心
2025年第3期95-101,共7页
基金
中国铁道科学研究院集团有限公司科研项目(2021YJ290)。
文摘
匈塞铁路作为“一带一路”倡议下中国与中东欧国家合作的旗舰项目,2022年匈牙利段已经开始施工建设,全段面临大量道口场景。我国自主研发的铁路信号产品尚未有应用于ETCS-2级的道口控制系统,研究适用于匈牙利段的道口控制系统迫在眉睫。研究以匈牙利铁路技术标准为基础,并与我国道口控制系统技术标准进行对比分析,结合匈塞铁路匈牙利段的设计需求,以及适用ETCS-2级和提高线路运行时速的目标要求,根据标准技术和接口结构差异、接口功能和控制模式需求,提出道口控制系统主要通信接口和结构设计方案。研究方案验证结果可满足匈塞铁路匈牙利段道口控制系统运营要求,为我国铁路信号系统“走出去”提供经验借鉴。
关键词
匈塞铁路
etcs-2
道口控制系统
差异性分析
结构设计
Keywords
Hungary-Serbia Railway
etcs-2
Level Crossing Control System
Difference Analysis
Structural Design
分类号
U293.1 [交通运输工程—交通运输规划与管理]
在线阅读
下载PDF
职称材料
题名
匈塞铁路允许红灯应用方案研究
3
作者
徐强
机构
中国铁道科学研究院集团有限公司通信信号研究所
出处
《中国铁路》
北大核心
2025年第9期20-25,共6页
基金
中国铁道科学研究院集团有限公司科研开发基金项目(2022YJ324)。
文摘
匈塞铁路匈牙利段采用ETCS-2级列车运行控制系统(简称ETCS-2系统),为提升线路运行效率,必须解决无线闭塞中心在向列车发送移动授权时,允许行车许可延伸越过占用计轴区段(信号机为红灯状态)的技术问题,因此需深入研究允许红灯应用方案。阐述ETCS-2系统的列车控制模式、允许红灯信号授权机制及行车许可结构;研究无线闭塞中心在不同控制模式下对允许红灯状态区段的行车许可计算方法,并针对涉及无线闭塞中心移交和等级转换的复杂场景,提出相应解决方案。同时探讨引导进路下的行车许可计算差异,研究列车进路不确定状态下的线路静态速度曲线、坡度等信息的计算方案。研究成果为匈塞铁路允许红灯功能的深化应用提供思路,也为类似线路对区段占用时的行车许可处理提供理论参考。
关键词
匈塞铁路
etcs-2
系统
列车控制模式
允许红灯
无线闭塞中心
行车许可
Keywords
Hungary-Serbia Railway
etcs-2
train control mode
red light system
radio block center
movement authority
分类号
U284 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用
赵显琼
郑伟
唐涛
《铁道学报》
EI
CAS
CSCD
北大核心
2012
11
在线阅读
下载PDF
职称材料
2
面向匈塞铁路的道口控制系统差异性分析及结构设计研究
王萌
刘皓玮
郑泽熙
欧阳籽勃
刘宁馨
《铁道运输与经济》
北大核心
2025
2
在线阅读
下载PDF
职称材料
3
匈塞铁路允许红灯应用方案研究
徐强
《中国铁路》
北大核心
2025
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
