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

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

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

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

综合智能交通系统分析

从未来世界的三大流,即人流、物流和数据流的角度出发,提出了综合智能交通系统的 概念.综合智能交通系统进一步可分为城市智能交通系统和区域智能交通系统两个子系统.换 言之,一个国家或一个地区的综合智能交通系统是由若干个城市智能交通系统和区域智能交通 系统构成的.文章描述了两个子系统的基本构成.     

基于COTS的安全计算机系统

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

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

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