城市轨道交通系统中列车间隔的有关分析

通过对城市轨道交通系统中列车间隔的分析，提出了影响列车间隔的3大因素：安全间距，车站停留时间和运行裕量。在此基础上推导固定自动闭塞和移动自动闭塞系统下列车间隔的计算公式。通过对两公式的比对。得出了移动自动闭塞系统能够缩短列车的运行间隔，提高线路的通行能力。     

CBTC系统中数据库存储单元的下载策略

针对基于通信的列车控制系统(CBTC)中数据库存储单元(DSU)与其他子系统设备的数据下载问题,提出几种下载策略并进行深入分析与比较;使用一种最优下载策略,对DSU下载具体流程进行研究,完善DSU的下载功能,提高整个列车控制系统(ATC)的性能和安全性.     

基于Event-B的联锁进路控制建模验证方法研究

计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.     

基于COTS的安全计算机系统

根据国际标准提出了一种基于现货供应商品的二取二安全计算机方案。讨论了系统同步，安全通信协议、数据故障／安全比较等关键技术，提出一种新的系统同步方法，减少了瞬时故障的影响，提高了系统的可用性。样机的试验结果证明其结构设计合理，并具有良好的故障-安全性。     

中国铁路综合数字移动通信网络与GSM-R的应用

目前，中国铁路既有无线通信系统包括无线列车调度电话、站场无线通信，集群移动通信等系统。这些通信系统已不适应中国铁路信息化、调度指挥和安全生产，以及青藏铁路、高速铁路和客运专线等技术的发展需要，在分析中国铁路运输特点的基础上，提出了中国铁路综合数字移动通信网络的网络模型和业务模型及二次开发的重点。