基于UML的建模及模型检验研究

UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器（SMV）对模型进行检验,有利于在系统的设计早期发现系统的缺陷。     

ARM7嵌入式系统在车辆调度中的应用

本文设计并实现了车辆监控调度系统，在系统设计中采用S3C4480X做为处理器，并对嵌入式系统中开发中的几个关键技术进行了分析：操作系统内核调度机理。基于状态机的程序设计和硬件设计。     

高速铁路运行控制与动态调度一体化的现状与展望

高速铁路运行控制系统是高速铁路的大脑和神经系统, 对列车的安全和高效运行至关重要. 随着我国高铁里程数和客运量的快速增加, 现有的控制手段和调度方法在快速、有效解决列车运行过程中出现的突发事件(比如电力故障、突发地震、山体滑坡、异物侵限等)方面尚有一定差距. 目前列车运行控制与调度采用分层架构, 突发情况下主要依赖调度员和司机的人工经验进行应急处置, 列车晚点时间较长, 旅客满意度不高. 因此, 如何针对高速列车运行过程中可能出现的突发事件, 提升其应急处置能力, 成为保障高铁安全高效运营的一大难题. 本文围绕高铁运行控制与动态调度一体化这一前沿研究热点, 对现有运行控制和动态调度的发展现状进行梳理, 在此基础上给出一体化的基本架构, 明确其基本内涵, 最后提出了未来的主要研究方向.     

列车自动驾驶调速系统自适应模糊控制

列车自动驾驶（ATO）系统停车前采取一级调速制动，本文采用自适应模糊控制对ATO系统的速度进行控制．利用变论域收缩因子优化模糊控制器的量化因子，模糊推理实现比例因子的自调整．通过仿真表明，该算法能够有效改善速度控制的快速性与精度，提高乘客舒适性与运行效率，从而完成定位停车任务．     

一种实时的交通信息采集处理系统的设计与实现

本文主要给出了一种实时的交通信息采集处理系统的设计与实现方案。着重讨论了PCI9054的结构和特点,PCI与DSP的接口,WDM驱动程序的设计以及信号处理在DSP中的实现等问题。     

基于ACP方法的应急疏散系统研究

目前地铁、建筑及煤矿等人员密集空间突发事件频发,解决人员密集空间人员安全疏散是当前社会发展亟待解决的问题. 本文以地铁为例研究了基于ACP方法的平行应急疏散系统,该系统由应急疏散人工系统、计算实验 和平行执行三部分组成. 平行应急疏散系统不仅适用于地铁,还适用于建筑及煤矿等生活和工作空间应急疏散管理,可实现人员培训、疏散演练、疏散方案优化和评估等功能. 本文初步建立了地铁枢纽站平行应急疏散系统,并进行了两种典型场景的计算实验,实验结果表明平行应急疏散系统可有效提高应急疏散效率.     

青藏铁路与信息技术

本文介绍了国家“十五”期间的四大工程之一，青藏铁路的基本概况和它相应的通信控制系统。为了确保这条世界最高最长的高原铁路在多年冻土、缺氧、恶劣的气候、长距离无人值守等条件下的安全可靠运行，其通信控制系统与常规铁路相比具有较高的要求。现代信息技术在青藏铁路的通信控制系统中发挥着不可替代的重要作用。     

高速列车制动及牵引自动控制研究

列车自动运行(ATO)系统的列车自动控制系统的重要组成部分。针对牵引和制动工况的不同工作机理,建立了列车牵引和电阻制动下的动力学模型,并采用非线性反步设计方法设计了相应控制器,以实现列车的速度和位置自动跟踪。理论分析和仿真结果表明,文中给出的反步控制器可以取得满意的高精度速度和位置跟踪效果。