王亚菊
- 作品数：6 被引量：32H指数：3
- 供职机构：北京交大微联科技有限公司更多>>
- 发文基金：国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 客运专线列控中心对轨道电路分路不良的防护被引量：16
- 2008年
- 轨道电路分路不良会导致信号显示和轨道电路码序升级,联锁关系失效,直接危及行车安全.客运专线列控中心利用现有设备所能提供的技术条件,采用软件处理的方法通过站间安全信息传输和轨道电路占用逻辑检查,对发生分路不良的区段做出判断,并选用HU码作为防护码序对后续轨道区段的编码进行控制,防止追踪列车意外闯入,有效降低了区间分路不良对行车安全的风险.
- 吴江娇王亚菊
- 关键词：铁道信号客运专线列控中心轨道电路分路不良
- 高速铁路数字移动通信新技术GSM—R
- 2004年
- 本文对GSM-R这种高速铁路数字移动通信新技术进行了简要介绍，根据现代铁路对移动通信的要求，分析了建立铁路新一代综合数字移动通信系统的必要性。最后，阐述了GSM-R对高速铁路的适应性。
- 王亚菊骆睿徐晶晶
- 关键词：GSM-R频率管理网络规划
- VxWorks在列控系统ATP车载设备中的应用研究
- 城市轨道交通因其客运量大、污染少等特点，在解决大城市的交通矛盾中起着越来越大的作用。其中，列车运行控制系统在提高运输效率、保证行车安全及旅客舒适度等方面具有独特的作用。而列车超速防护系统是整个控制系统中最关键的部分，在城...
- 王亚菊
- 关键词：城市轨道交通ATP车载设备列车超速防护系统
- 文献传递
- CTCS-3级列控系统RBC切换过程分析被引量：8
- 2010年
- RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。
- 王亚菊吴江娇
- 关键词：CTCS-3级列控系统着色PETRI网
- Vx Works在ATP车载设备中的应用被引量：3
- 2006年
- 主要研究实时操作系统VxWorks在列车超速防护(ATP)系统车载设备软件设计中的应用。为了提升系统性能,研究一种新的软件设计方法从而对各种资源进行有效管理很有必要。基于VxWorks的ATP车载设备软件设计利用嵌入式实时操作系统的优势,简化了系统资源管理,在保证系统实时性、安全性的前提下,有效地降低了软件设计的复杂度,并使得软件具有良好的层次性和可移植性。作者首先简单介绍实时操作系统Vx-Works,其次描述了ATP车载设备的功能以及硬件实现方法,重点研究了基于实时操作系统VxWorks下三模冗余结构的ATP车载设备的软件实现方法,最后探讨了VxWorks在应用开发过程中的优势。
- 王亚菊唐涛谢火明
- 关键词：VXWORKS车载设备
- 基于UML与CPN的CTCS-3级列控系统建模与验证方法研究被引量：6
- 2010年
- CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。
- 上官伟蔡伯根王艳王晶晶王亚菊
- 关键词：UMLCPNCTCS-3级列控系统
