������Ƶ�����ĸ��ٹ�·��ͣ���շ�ϵͳ

首先简要介绍了高速公路收费系统的现状，提出了建立高速公路不停车电子收费系统(ETC)的必要性.接着介绍了作为一种先进的自动识别技术的射频识别(RFID)技术的发展、原理、以及应用情况.最后，结合高速公路收费现状，作者初步提出了将基于射频识别技术的不停车收费系统应用于高速公路收费中的方法，用以解决高速公路的自动收费问题.     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

��Ƶʶ������RFID���ڽ�ͨ�����Ӧ����״

射频识别（RFID）技术是一种无线的、非接触的自动识别技术，它利用射频方式进行非接触双向通信，以交换数据达到识别目的，射频识别技术在国外已经有了许多成功的应用，但在我国的应用正处于起步阶段。本文介绍了射频识别的基本原理、特点及工作效率，并与条码、磁卡做了相应的比较，然后分析了在自动收费、自动车号识别系统等方面的应用，最后对射频识别的应用前景做了展望。     

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and competitiveness. ERTMS is composed of two main subsystems which include GSM-R, a radio system for enabling communication between the train and the traffic management center and ETCS, an automatic train protection system (ATP) to replace the existing national ATP systems. The ERTMS specifications are defined by means of standard documents which set out the requirements ensuring interoperability. These documents evolve regularly to give rise to successive versions. The ERTMS/ETCS standard defines different levels and operation modes according to various trackside and onboard setups and some operational conditions. Given the complexity and the high criticality of railway operation, verification and validation (V&V) are crucial tasks in railway application development.In this paper, after setting the background and the motivations, a mechanizable formalization of a subset of ERTMS/ETCS specifications relative to ETCS modes and transitions is developed. The present work aims to offer a readily available model for formal V&V. Using formal techniques to check SRS is highly recommended to tackle the complexity of the defined requirements and prevent specification errors. Model-checking technique, which is targeted here, offers exhaustive analysis of the system behavior based on its model and is highly automated, since it is supported by software tools. Based on the last available version of SRS specifications, a progressive process is undertaken to get a formal model which makes explicit the various modes characterized by their respective active functions, as well as the numerous combinations of conditions for switching between modes. The various steps guiding the translation of the SRS literal specifications into a formal model are explained. As will be shown through different examples, the obtained model is a convenient basis to check safety, interoperability and liveness properties.     

基于ETCS的ATO系统车地无线消息研究

近年来,欧洲铁路部门开始研究在ETCS的基础上叠加自动驾驶技术(ATO),以提高线路的运输能力和效率.基于ETCS的ATO系统车地无线通信采用了独立于ETCS的通道,也未沿用ETCS既有的无线消息和流程.介绍了基于ETCS的ATO系统总体架构,分析车地无线消息的定义及其应用原则,为国内自动驾驶技术的发展提供一定的参考.     

ETCS技术在列控系统中应用的探讨

欧洲铁路运输管理系统/欧洲列车控制系统(ERTMS/ETCS)是欧盟为解决欧洲铁路互通运营而提出的一系列法规性文件。提出ETCS的目的在于消除由于各国间设施不同所引起的系统差别,在欧洲铁路网内实现互用性并确保列车运行的安全性和高效性,降低运营成本,增强竞争优势。纳入国际铁路联盟的ETCS技术规范有功能需求规范、系统需求规范以及一系列接口规范,并从运用角度将系统分为5级(0级,0 级,1级,2级,3级)。在借鉴ETCS技术规范基础上,分析CTCS与ETCS在基础、内涵、策略等方面的差异,提出中国列车运行控制系统(CTCS)分三步走的发展思路。     

基于纯国产信号设备的京津城际延伸线CTCS-3D级列控系统方案介绍

针对京津城际延伸线工程,提出一种基于纯国产信号设备的CTCS-3D级列控系统方案。为了满足与京津城际铁路的互联互通,该方案以国产客专CTCS-2级地面列控系统为基础,对其进行适应性改造,以同时满足ETCS-1级车载设备和CTCS-2车载设备的控车需求。从总体技术框架、联锁与室外信号机、列控中心与LEU、调度台与临时限速、应答器组及报文以及落物防护等方面对该方案进行了介绍。     

TGV POS高速电气化列车

TGV POS高速列车是专门在卢森堡、德国、瑞士和法国的铁路网上运行的国际高速列车,考虑到相关国家的铁路网所采用的不同的牵引供电制式、通讯信号系统、行车控制系统等,需对先前的TGV列车作相应的改进,以解决整个系统的兼容性问题。文章介绍了TGV POS列车的编组、配置、对列车所作的改进以及TSI论证要求。     

对我国列车控制系统发展的几点建议

我国通过引进、消化、吸收国外列控系统技术,研发出具有自主知识产权的无绝缘轨道电路、主体机车信号、列车运行记录监控装置和超速防护设备(LSK),为适应提速发展我国列控系统奠定了基础,并正在形成中国列车控制系统(CTCS)的各级模式。CTCS0在既有线已经普及并在防“两冒一超”中发挥了重要的作用;CTCS1将填补我国既有线160km/h以下列控系统的空白;CTCS2已应用在200km/h客货混跑线路上;正在建设的客运专线将采用ETCS2 CTCS2双模式,形成具有中国特色的CTCS3系统应是值得探索的方案。     

GSM-R系统用于列车控制的服务质量(QoS)分析

从GSM—R系统应用于欧洲列控系统的需求入手，对相关服务质量指标进行分析。结合青藏线、大秦线实际应用，进一步分析了服务质量指标的适用性。