期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种全覆盖的列控车载系统测试用例自动生成算法研究
被引量:
22
1
作者
袁磊
吕继东
+2 位作者
刘雨
李辰岭
赵伟慧
《铁道学报》
EI
CAS
CSCD
北大核心
2014年第8期55-62,共8页
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车...
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。
展开更多
关键词
列控系统
基于模型的测试
测试准则
测试用例生成
UPPAAL
COVER
下载PDF
职称材料
列车控制与行车调度一体化节能方法的研究
被引量:
21
2
作者
步兵
丁奕
+1 位作者
李辰岭
毛新德
《铁道学报》
EI
CAS
CSCD
北大核心
2013年第12期64-71,共8页
随着城市轨道交通耗电量日益增加,节能已经成为人们日益关注的焦点问题。本文基于单车节能和多车协同利用再生制动能量的策略,建立节能时刻表模型。模型在现有时刻表参数的基础上,考虑列车区间节能运行和再生制动能利用的相关参数及其...
随着城市轨道交通耗电量日益增加,节能已经成为人们日益关注的焦点问题。本文基于单车节能和多车协同利用再生制动能量的策略,建立节能时刻表模型。模型在现有时刻表参数的基础上,考虑列车区间节能运行和再生制动能利用的相关参数及其约束范围,以多车总能耗最低为目标,实现单车节能和多车协同利用再生制动能量策略的统一规划。利用昌平线数据,通过仿真验证了优化时刻表的节能效果。
展开更多
关键词
列车控制
时刻表
节能
下载PDF
职称材料
北京地铁昌平线RPR网管软件的实现
3
作者
丁奕
李坤妃
+2 位作者
马龙
李辰岭
徐瑾
《铁路计算机应用》
2012年第9期52-55,共4页
为管理北京地铁昌平线RPR骨干网,使操作人员更简单方便地了解骨干网状态,设计了一种网络管理软件。该软件能够监测骨干网环网的状态以及通信状态、查询环网的数据量、配置环网连接设备。通过测试,该软件能够反映RPR设备的真实状态,可用...
为管理北京地铁昌平线RPR骨干网,使操作人员更简单方便地了解骨干网状态,设计了一种网络管理软件。该软件能够监测骨干网环网的状态以及通信状态、查询环网的数据量、配置环网连接设备。通过测试,该软件能够反映RPR设备的真实状态,可用于昌平线实际网络的管理。
展开更多
关键词
基于通信的列车控制系统
弹性分组环
简单网管协议
网络管理
下载PDF
职称材料
基于场景的车载设备测试用例自动生成方法研究
被引量:
3
4
作者
赵伟慧
吕继东
+2 位作者
袁磊
唐涛
李辰岭
《计算机应用与软件》
CSCD
2015年第3期65-68,共4页
列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动...
列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。
展开更多
关键词
车载系统
运营场景
模式转换
测试用例
观测自动机
下载PDF
职称材料
基于复杂网络的列车辅助驾驶危险致因传播模型
5
作者
张仕杰
唐涛
+1 位作者
刘金涛
李辰岭
《交通运输系统工程与信息》
EI
CSCD
北大核心
2022年第4期129-136,共8页
为了解预期功能安全(SOTIF)相关危险致因在基于智能感知的列车辅助驾驶系统(IATDAS)中的传播特性,提升针对该类系统的危险控制能力,本文提出基于复杂网络的IATDAS系统危险致因传播模型。该模型在SOTIF危险致因网络的基础上,提供了全局容...
为了解预期功能安全(SOTIF)相关危险致因在基于智能感知的列车辅助驾驶系统(IATDAS)中的传播特性,提升针对该类系统的危险控制能力,本文提出基于复杂网络的IATDAS系统危险致因传播模型。该模型在SOTIF危险致因网络的基础上,提供了全局容量-负载传播机制,能有效刻画IATDAS系统的危险致因传播机制。案例分析结果表明:本文所提模型能够解决复杂致因关系下既有模型与系统实际情况不符的问题,如对于具有较长后续传播路径的致因,本文模型能够刻画其较难导致危险的实际特征;依据本文模型实施传播控制,可以显著降低危险致因的传播速度,如对影响节点范围大、前期影响节点数量增加快的危险因素进行控制时,可使其平均传播速度降低68%,比随机控制策略多降58%。该模型可以为IATDAS系统的SOTIF相关危险控制提供决策基础。
展开更多
关键词
智能交通
致因传播模型
复杂网络
预期功能安全(SOTIF)
基于智能感知的列车辅助驾驶系统
下载PDF
职称材料
题名
一种全覆盖的列控车载系统测试用例自动生成算法研究
被引量:
22
1
作者
袁磊
吕继东
刘雨
李辰岭
赵伟慧
机构
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学轨道交通运行控制系统国家工程研究中心
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2014年第8期55-62,共8页
基金
轨道交通控制与安全国家重点实验室自主研究课题(RCS2014ZT06)
文摘
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。
关键词
列控系统
基于模型的测试
测试准则
测试用例生成
UPPAAL
COVER
Keywords
train control system
model-based testing
coverage criteria
test case generation
UPPAAL
CoVer
分类号
U284.48 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
列车控制与行车调度一体化节能方法的研究
被引量:
21
2
作者
步兵
丁奕
李辰岭
毛新德
机构
北京交通大学轨道交通控制与安全国家重点实验室
北京交控科技有限公司
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2013年第12期64-71,共8页
基金
国家高技术研究发展计划(863计划)(2011AA110502)
中央高校基本科研业务费专项基金(2011JBZ014)
文摘
随着城市轨道交通耗电量日益增加,节能已经成为人们日益关注的焦点问题。本文基于单车节能和多车协同利用再生制动能量的策略,建立节能时刻表模型。模型在现有时刻表参数的基础上,考虑列车区间节能运行和再生制动能利用的相关参数及其约束范围,以多车总能耗最低为目标,实现单车节能和多车协同利用再生制动能量策略的统一规划。利用昌平线数据,通过仿真验证了优化时刻表的节能效果。
关键词
列车控制
时刻表
节能
Keywords
train control
timetable
energy conservation
分类号
U284.48 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
北京地铁昌平线RPR网管软件的实现
3
作者
丁奕
李坤妃
马龙
李辰岭
徐瑾
机构
北京交通大学电子信息工程学院
北京工业大学
出处
《铁路计算机应用》
2012年第9期52-55,共4页
基金
国家高技术研究发展计划(2011AA110502)
文摘
为管理北京地铁昌平线RPR骨干网,使操作人员更简单方便地了解骨干网状态,设计了一种网络管理软件。该软件能够监测骨干网环网的状态以及通信状态、查询环网的数据量、配置环网连接设备。通过测试,该软件能够反映RPR设备的真实状态,可用于昌平线实际网络的管理。
关键词
基于通信的列车控制系统
弹性分组环
简单网管协议
网络管理
Keywords
CBTC System
RPR
SNMP
network management
分类号
U231 [交通运输工程—道路与铁道工程]
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于场景的车载设备测试用例自动生成方法研究
被引量:
3
4
作者
赵伟慧
吕继东
袁磊
唐涛
李辰岭
机构
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学轨道交通运行控制系统国家工程研究中心
出处
《计算机应用与软件》
CSCD
2015年第3期65-68,共4页
基金
国家高技术研究发展计划项目(2012AA112801)
文摘
列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。
关键词
车载系统
运营场景
模式转换
测试用例
观测自动机
Keywords
Onboard subsystem Operation scenario Mode transition Test case Observing automaton
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
基于复杂网络的列车辅助驾驶危险致因传播模型
5
作者
张仕杰
唐涛
刘金涛
李辰岭
机构
北京交通大学
北京交通大学
华威大学
出处
《交通运输系统工程与信息》
EI
CSCD
北大核心
2022年第4期129-136,共8页
基金
中央高校基本科研业务费(2021QY007)。
文摘
为了解预期功能安全(SOTIF)相关危险致因在基于智能感知的列车辅助驾驶系统(IATDAS)中的传播特性,提升针对该类系统的危险控制能力,本文提出基于复杂网络的IATDAS系统危险致因传播模型。该模型在SOTIF危险致因网络的基础上,提供了全局容量-负载传播机制,能有效刻画IATDAS系统的危险致因传播机制。案例分析结果表明:本文所提模型能够解决复杂致因关系下既有模型与系统实际情况不符的问题,如对于具有较长后续传播路径的致因,本文模型能够刻画其较难导致危险的实际特征;依据本文模型实施传播控制,可以显著降低危险致因的传播速度,如对影响节点范围大、前期影响节点数量增加快的危险因素进行控制时,可使其平均传播速度降低68%,比随机控制策略多降58%。该模型可以为IATDAS系统的SOTIF相关危险控制提供决策基础。
关键词
智能交通
致因传播模型
复杂网络
预期功能安全(SOTIF)
基于智能感知的列车辅助驾驶系统
Keywords
intelligent transportation
causes propagation model
complex network
safety of the intended functionality(SOTIF)
Intelligent Awareness-based Train Driving Assistance System(IATDAS)
分类号
U268.6 [机械工程—车辆工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种全覆盖的列控车载系统测试用例自动生成算法研究
袁磊
吕继东
刘雨
李辰岭
赵伟慧
《铁道学报》
EI
CAS
CSCD
北大核心
2014
22
下载PDF
职称材料
2
列车控制与行车调度一体化节能方法的研究
步兵
丁奕
李辰岭
毛新德
《铁道学报》
EI
CAS
CSCD
北大核心
2013
21
下载PDF
职称材料
3
北京地铁昌平线RPR网管软件的实现
丁奕
李坤妃
马龙
李辰岭
徐瑾
《铁路计算机应用》
2012
0
下载PDF
职称材料
4
基于场景的车载设备测试用例自动生成方法研究
赵伟慧
吕继东
袁磊
唐涛
李辰岭
《计算机应用与软件》
CSCD
2015
3
下载PDF
职称材料
5
基于复杂网络的列车辅助驾驶危险致因传播模型
张仕杰
唐涛
刘金涛
李辰岭
《交通运输系统工程与信息》
EI
CSCD
北大核心
2022
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部