综合监控系统(ISCS)研究

主要阐述了城市轨道交通系统中 ,综合监控系统 (ISCS)的现状、采用ISCS的必要性以及系统的分类方式 。

基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证

针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实现通信顺序进程和B方法之间的同步。以1个实际站场为例,采用B方法对具有复杂状态空间的CBTC联锁系统的逻辑状态运算建立抽象机,采用通信顺序进程对CBTC联锁系统与外部系统的并发交互行为建立进程,并通过映射关系使CBTC联锁系统的抽象机与外部交互行为进程同步,由此建立基于通信顺序进程与B方法的CBTC联锁系统的形式化模型。采用ProB工具对建立的CBTC联锁系统模型的安全性、无死锁性进行验证。发现并修改模型中的不一致、不完全、歧义等错误,从而验证了CBTC联锁系统的安全性和无死锁性,保证了系统的最终实现。

基于层次分析法的城市轨道交通线路方案选择

在分析城市轨道交通线路选线的影响因素基础上 ,提出基于层次分析法的定线方法。介绍了方法应用的思路与步骤 。

基于Petri网的城市轨道交通车辆子系统运营安全性模型

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆子系统运营安全模型。

基于移动通信体个人导向功能的乘客导向方法

提出了利用现阶段飞速发展的移动通信体技术,设计一种应用在城市轨道交通中具有乘客个人导向功能的移动通信体,以彻底改善城市轨道交通中因车站自动化带来的应用不便,以及乘客个人导向功能薄弱的现状。运用层次分析法阐述了个人导向功能的实现原理。以模型的仿真分析说明这种移动通信体对城市轨道交通系统服务的改善。

上海轨道交通5号线点式列车运行控制系统

介绍了上海轨道交通 5号线点式列车控制系统的结构和各子系统功能特点。点式列车运行控制系统基于目标距离方式、具有一定的先进性 ,安全可靠 ,建设成本较低 ,在功能上能满足城市轨道交通的要求 ,适用于列车运行间隔时间较长。

轨道交通闭路电视监视系统的应用及发展

分析了上海轨道交通闭路电视监视系统的结构、功能、组成及传输模式,并对闭路电视监视系统新技术的应用进行了探讨。纯模拟传输技术,基于异步传输模式的H.216编码技术,以及基于开放式传输网络的MJPEG技术等都存在技术标准不再发展、造价昂贵、对传输系统要求特殊、联网和集中管理功能弱等缺点,无法适应轨道交通监控系统数字化、智能化的发展要求。IPOVERSDN技术和MPEG2数字编码技术的应用是目前的主流发展方向。基于小波的数字压缩技术是未来的发展方向。

上海轨道交通网络化对客流的影响研究

目前,上海的轨道交通已经从单线运营、骨架网络逐步发展到网络化状态。在轨道交通逐步网络化的过程中,轨道交通客流的发展变化也与以往有所不同。主要从上海轨道交通运营线路的客流变化入手,总结客流变化的特征,探讨网络化进程对客流变化的影响。总结网络化原有线路的延伸和增加新线路两种不同形式对客流的影响规律,分析网络化进程中客流变化的原因,为轨道交通客流预测等工作提供参考。

城市轨道交通综合监控系统浅述

通过比较，指出综合监控系统较既有监控系统更具应用优势，介绍了城市轨道交通综合监控系统（ISCS）的系统构成、总体构架、系统软硬件、功能、可靠性及安全性等方面的要求或特点，并给出一个紧急状况下联动处理的例子。

城市轨道交通BT项目投资控制系统研究

将建设项目投资控制系统按照投资控制主体不同进行划分,而不是按照项目过程进行划分,更有利于投资控制系统的透彻分析和提出切实可行的投资控制方案。鉴于BT项目具有双重投资控制主体这一特殊性,分析了城市轨道交通BT项目的投资控制系统,并指出制度层面的投资控制研究对于我国目前正在进行的大规模公共项目投资更具有指导价值和现实意义。