刘雨
- 作品数：36 被引量：58H指数：4
- 供职机构：北京交通大学更多>>
- 发文基金：国家重点实验室开放基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
- 相关领域：交通运输工程自动化与计算机技术电子电信经济管理更多>>
- 一种全覆盖的列控车载系统测试用例自动生成算法研究被引量：23
- 2014年
- 列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。
- 袁磊吕继东刘雨李辰岭赵伟慧
- 关键词：列控系统测试用例生成UPPAALCOVER
- 一种基于车车通信的前车识别方法
- 本发明提供了一种基于车车通信的前车识别方法。该方法包括：在本车进站或者在区间内行驶时，本车车载管理单元接收并存储地面管理单元发送过来的所有列车的运行信息表；本车车载管理单元根据本车的进路信息，利用电子地图计算出本车与所述...
- 刘雨李开成袁磊付强李浩钊
- 文献传递
- 一种列车运行控制的车车通信管理方法
- 本发明实施例提供了一种列车运行控制的车车通信管理方法，该方法包括：列车启动后，所述列车向地面列车管理单元发送所述列车的信息，所述地面列车管理单元接收所述信息后，根据所述信息的查询向所述列车返回所述地面列车管理单元管辖范围...
- 唐涛宁滨李开成刘雨魏国栋付强
- 文献传递
- 基于硬件在环的列控车载设备互联互通测试接口方法
- 本发明提供了一种基于硬件在环的列控车载设备互联互通测试接口方法，涉及列车运行控制测试技术领域，包括制定测试平台与接口设备间的数据通信协议，所述接口设备包括应答器接口模块、轨道电路接口模块、速度信号接口模块、列车开关量接口...
- 袁磊刘雨魏国栋付强杨森
- 文献传递
- 基于EXCEL的列控系统教学仿真系统
- 本发明属于一种列控系统的教学仿真系统，由列控系统功能仿真模块、列车运行显示与记录界面两大部分构成。列控系统功能仿真模块由线路数据仿真、轨旁信息仿真及列车仿真组成，其功能就是对列控系统各个组成部分的功能进行仿真。列车运行显...
- 付强袁磊刘雨魏国栋
- 文献传递
- CTCS列控车载子系统测试数据图形化分析方法及系统
- 本发明公开了一种CTCS列控车载子系统测试数据图形化分析方法，包括：从存储测试数据的数据库中查询对CTCS列控车载子系统进行测试的测试序列中的测试变量的信息；从所述测试变量的信息中解析出关键信息，所述关键信息包括：列控车...
- 刘雨袁磊魏国栋付强
- 文献传递
- 多分辨率建模在CTCS-3级列控系统车载设备仿真与测试中的应用被引量：2
- 2014年
- 针对CTCS-3列控系统的车载设备仿真与测试过程中,多数信息需要以图形界面的形式呈现出来,而显示界面牵涉到的信息量十分巨大的问题,提出在构建整个显示系统之前采用多分辨率建模的方法,将系统进行合理的分割和规划,使整个系统层次清晰,最后通过LabView进行系统仿真。实验结果表明,通过该方法设计的图形界面有效地减轻了技术人员的工作强度,能将重点内容放在测试关心的地方。
- 宋海锋袁磊吕继东刘雨
- 关键词：CTCS-3车载设备多分辨率建模
- 一种城市轨道交通中列车跨线运行的切换方法及系统
- 本发明提供了一种城市轨道交通中列车跨线运行的切换方法及系统，将列车当前线路的车载电子地图数据存储在且车载系统中的一个内存分区内；若列车运行在当前目标线路中时收到线路变更指令，则根据线路变更指令获取待变更目标线路的车载电子...
- 宁滨李开成刘雨
- 文献传递
- 基于数据驱动的车载运行控制系统的测试系统及方法
- 本发明公开了一种基于数据驱动的轨道交通车载运行控制系统的测试系统及方法，属于轨道交通信号系统测试技术领域。测试系统包括测试管理模块、测试执行模块、测试接口适配模块和测试分析评估模块，并通过测试接口适配模块和被测车载运行控...
- 袁磊刘雨魏国栋唐涛李开成
- 基于EXCEL的列控系统教学仿真系统
- 本发明属于一种列控系统的教学仿真系统，由列控系统功能仿真模块、列车运行显示与记录界面两大部分构成。列控系统功能仿真模块由线路数据仿真、轨旁信息仿真及列车仿真组成，其功能就是对列控系统各个组成部分的功能进行仿真。列车运行显...
- 付强袁磊刘雨魏国栋
- 文献传递
