王菲
- 作品数：5 被引量：24H指数：3
- 供职机构：中国铁道科学研究院通信信号研究所更多>>
- 发文基金：铁道部科技研究开发计划更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 基于Petri网的通信协议性能分析与验证方法及在ETCS中的应用
- 2013年
- 列车运行控制系统中，安全通信协议的性能直接影响到列车的行车安全。因此，对其进行性能分析和验证技术是保证行车安全的重要技术之一。本文以欧洲列车运行控制系统（ETCS）安全通信协议为验证对象，提出基于Petri网的安全通信协议性能分析和验证方法，首先用有色Petri网给建立模型，然后用形式化方法验证协议的有界性，活性和安全性。根据模型表示的状态和行为检查协议是否符合规范的要求。以上功能都是通过Petri网软件实现，包括Poseidon和CPNTools。
- 程林芳王菲赵显琼
- 关键词：ETCS安全通信协议PETRI网
- 高速铁路信号系统的安全评估研究被引量：14
- 2009年
- 阐述在我国高速铁路飞速发展、列车运行速度不断提高的形势下,实施安全评估的必要性和意义以及安全评估的基本概念。对我国建立高速铁路系统生命周期安全评估的流程进行研究。在对发达国家铁路行业安全评估体系进行调研的基础上,综合国内外安全评估现状,参考安全评估标准,分析我国高速铁路系统的安全评估方法和步骤。
- 范明王菲
- 关键词：高速铁路铁路信号系统安全评估
- 基于测试案例及JRU数据的专家系统研究被引量：2
- 2014年
- 为保证高速铁路能够安全有效地运行,在正式运营前必须对列控系统进行充分的功能测试。研究基于测试案例以及JRU数据的专家系统势在必行。主要介绍系统的主要功能、拓扑结构及其测试步骤,以及实现测试案例快速匹配的Hash搜索树等内容。
- 王菲万林
- 关键词：专家系统
- 一次制动模式参数选择被引量：4
- 2006年
- 通过研究减速度法,考虑实际应用情况,根据在额定减速度和变减速度2种制动模式下的不同初速度,计算对应的制动总距离;通过Matlab编程仿真关于速度-距离的模式曲线;最后,验证了在几种车型上的实际应用情况。
- 王菲
- 基于仿真的CTCS-3级列控系统功能测试方法被引量：4
- 2010年
- 主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法在测试序列设计中的应用,并结合武广线综合试验段给出了测试序列举例。
- 王菲
- 关键词：CTCS-3级列控系统仿真测试
