李辰岭
- 作品数:7 被引量:44H指数:3
- 供职机构:北京交通大学更多>>
- 发文基金:国家高技术研究发展计划国家重点实验室开放基金中央高校基本科研业务费专项资金更多>>
- 相关领域:交通运输工程自动化与计算机技术电气工程更多>>
- 一种全覆盖的列控车载系统测试用例自动生成算法研究被引量:22
- 2014年
- 列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。
- 袁磊吕继东刘雨李辰岭赵伟慧
- 关键词:列控系统测试用例生成UPPAALCOVER
- 高速铁路运行控制系统混合事故致因模型研究
- 高速铁路运行控制系统是高速铁路的核心系统和关键装备,对于确保高速列车的运行安全和运输效率起着决定性的作用。一旦高速铁路运行控制系统出现问题,将会造成行车中断,甚至是车毁人亡的严重后果。为了提高系统的安全性、防止铁路事故的...
- 李辰岭
- 关键词:高速铁路列车运行控制系统事故致因网络分析法
- 文献传递
- 铁路道岔融雪设备中的安全装置
- 铁路道岔融雪设备中的安全装置,涉及铁路道岔融雪设备。该装置的融雪加热元件(H)的两端分别与第一初级线圈(L2)的同名端和第二初级线圈(L3)的异名端连接,第一初级线圈的异名端和第二初级线圈的同名端分别与220V交流电源相...
- 杨世武丁奕李辰岭王雪鹏
- 北京地铁昌平线RPR网管软件的实现
- 2012年
- 为管理北京地铁昌平线RPR骨干网,使操作人员更简单方便地了解骨干网状态,设计了一种网络管理软件。该软件能够监测骨干网环网的状态以及通信状态、查询环网的数据量、配置环网连接设备。通过测试,该软件能够反映RPR设备的真实状态,可用于昌平线实际网络的管理。
- 丁奕李坤妃马龙李辰岭徐瑾
- 关键词:弹性分组环简单网管协议
- 列车控制与行车调度一体化节能方法的研究被引量:21
- 2013年
- 随着城市轨道交通耗电量日益增加,节能已经成为人们日益关注的焦点问题。本文基于单车节能和多车协同利用再生制动能量的策略,建立节能时刻表模型。模型在现有时刻表参数的基础上,考虑列车区间节能运行和再生制动能利用的相关参数及其约束范围,以多车总能耗最低为目标,实现单车节能和多车协同利用再生制动能量策略的统一规划。利用昌平线数据,通过仿真验证了优化时刻表的节能效果。
- 步兵丁奕李辰岭毛新德
- 关键词:列车控制时刻表节能
- 铁路道岔融雪设备中的安全装置
- 铁路道岔融雪设备中的安全装置,涉及铁路道岔融雪设备。该装置的融雪加热元件(H)的两端分别与第一初级线圈(L2)的同名端和第二初级线圈(L3)的异名端连接,第一初级线圈的异名端和第二初级线圈的同名端分别与220V交流电源相...
- 杨世武丁奕李辰岭王雪鹏
- 文献传递
- 基于场景的车载设备测试用例自动生成方法研究被引量:3
- 2015年
- 列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。
- 赵伟慧吕继东袁磊唐涛李辰岭
- 关键词:车载系统测试用例