宋爽
- 作品数:3 被引量:25H指数:3
- 供职机构:兰州交通大学自动化与电气学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:交通运输工程更多>>
- 一种基于时间自动机模型的区域控制器测试序列生成方法被引量:3
- 2018年
- 轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用Tiny XML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率。
- 宋爽刘伯鸿周科陈跃东
- 关键词:区域控制器深度优先搜索
- 车站信号联锁系统故障诊断系统的研究与实现被引量:4
- 2016年
- 采用人工智能的方法,对车站信号联锁系统故障诊断系统的开发与实现方法进行分析和探讨。根据车站信号设备复杂的结构特点,建立一种分层多级信息融合的故障诊断方法。首先针对来自各子系统的状态信息,应用故障树系统进行分层分级判断;然后,将子系统诊断结果应用D—S证据理论加以综合,给出信号设备的故障诊断决策。通过评估证据的可靠性,降低识别的整体误差,提高诊断的准确性。
- 刘伯鸿伏玉明宋爽
- 关键词:信息融合故障诊断证据理论车站信号设备
- 基于模糊综合评判的转辙机健康评估研究被引量:18
- 2017年
- 综合考虑转辙机的历史与现状、电气与非电气因素以及运行状况等,对转辙机进行健康状态评估。提出一种基于模糊综合评判的转辙机健康评估方法。针对转辙机受自身质量、检修维护情况和运行环境等诸多不确定随机因素影响的问题,引入模糊理论,建立基于模糊综合评判的转辙机健康评估模型。根据不同因素对转辙机健康状况的影响情况,应用层次分析法结合专家经验,确定健康影响因素权重,采用模糊综合评判法实现对转辙机健康状况的综合评估。该评估方法能较好地适应转辙机健康影响因素的模糊性和复杂性。通过实例分析验证该方法的有效性和可行性,为实施转辙机的状态检修提供理论依据。
- 伏玉明刘伯鸿宋爽
- 关键词:转辙机层次分析法模糊综合评判