李辰岭

作品数：4被引量：46H指数：3
导出分析报告
供职机构：北京交通大学更多>>
发文主题：车载系统测试用例自动生成安全装置轨道信号可调电阻更多>>
发文领域：交通运输工程自动化与计算机技术电气工程更多>>
发文期刊：《铁道学报》《计算机应用与软件》《铁路计算机应用》更多>>
所获基金：国家高技术研究发展计划国家重点实验室开放基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于场景的车载设备测试用例自动生成方法研究被引量：3
《计算机应用与软件》2015年第3期65-68,共4页赵伟慧 吕继东 袁磊 唐涛 李辰岭 
国家高技术研究发展计划项目(2012AA112801)
列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动...
关键词：车载系统 运营场景 模式转换 测试用例 观测自动机 
一种全覆盖的列控车载系统测试用例自动生成算法研究被引量：23
《铁道学报》2014年第8期55-62,共8页袁磊 吕继东 刘雨 李辰岭 赵伟慧 
轨道交通控制与安全国家重点实验室自主研究课题(RCS2014ZT06)
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车...
关键词：列控系统 基于模型的测试 测试准则 测试用例生成 UPPAAL COVER 
列车控制与行车调度一体化节能方法的研究被引量：22
《铁道学报》2013年第12期64-71,共8页步兵 丁奕 李辰岭 毛新德 
国家高技术研究发展计划(863计划)(2011AA110502);中央高校基本科研业务费专项基金(2011JBZ014)
随着城市轨道交通耗电量日益增加,节能已经成为人们日益关注的焦点问题。本文基于单车节能和多车协同利用再生制动能量的策略,建立节能时刻表模型。模型在现有时刻表参数的基础上,考虑列车区间节能运行和再生制动能利用的相关参数及其...
关键词：列车控制 时刻表 节能 
北京地铁昌平线RPR网管软件的实现
《铁路计算机应用》2012年第9期52-55,共4页丁奕 李坤妃 马龙 李辰岭 徐瑾 
国家高技术研究发展计划(2011AA110502)
为管理北京地铁昌平线RPR骨干网,使操作人员更简单方便地了解骨干网状态,设计了一种网络管理软件。该软件能够监测骨干网环网的状态以及通信状态、查询环网的数据量、配置环网连接设备。通过测试,该软件能够反映RPR设备的真实状态,可用...
关键词：基于通信的列车控制系统 弹性分组环 简单网管协议 网络管理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部