铁路集装箱中心站智能大门信息系统集成设计

本文从铁路集装箱中心站智能大门功能入手，讨论智能大门信息系统构成及系统业务流程，论述中心站智能大门建设的必要性及可行性。     

以“点、线、面、体”理念打造高速铁路防灾安全监控系统

随着我国大规模高速铁路防灾系统的建成和高速铁路调度中心、调度所陆续投入运营,各调度所将管理多条高速铁路线路的多套异构防灾处理设备,如何解决防灾处理设备间的信息共享、数据冗灾备份等问题尤显迫切.以高速铁路调度所防灾系统为中心,提出了多套异构防灾处理设备间的信息共享接口方案,同时提出铁道部调度中心防灾系统异地冗灾备份方案.     

智能视频监控系统在客运专线上的应用

视频监控系统进入了数字化、网络化、智能化时代。从客专视频监控系统需求出发，引入智能视频技术，讨论其先进性，并针对客专视频监控系统建设，论述智能监控系统服务客专的可行性，并展望了智能监控系统在客专建设中的应用前景。     

客服信息系统与TDCS系统信息共享关键技术实现

从客服信息系统与TDCS系统信息共享现状、需求出发，就信息流程、各部分系统功能进行全面解析，讨论了系统互联方案，分析了该方案特点，并提出了进一步优化方案。     

云存储技术在高速铁路高清视频监控系统中的应用

论述我国高速铁路视频监控系统建设和国内外云存储技术发展现状;从高速铁路视频监控系统建设方案、车站视频汇聚层存储容量分析出发,提出高清视频监控系统建设面临的困难和挑战;从云存储概念入手,并以云存储系统建设案例阐述云存储关键技术的实现;论述云存储技术在高速铁路视频监控领域的应用趋势。     

基于时间自动机的自主化ATP等级转换功能建模与验证

自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化地分析等级转换功能的安全性、活性和实时性。研究时间自动机的数学理论基础,分析自主化ATP系统等级转换功能的逻辑和与其他系统的数据交互;采用时间自动机建模方法,从ATP、RBC(无线闭塞中心)和应答器3个方面,建立C2等级转换C3等级的时间自动机模型;研究自主化ATP系统等级转换功能需要满足的安全性、活性和实时性要求,利用UPPAAL软件验证等级转换功能的系统性质。结果表明,自主化ATP系统C2等级转换C3等级功能满足期望的系统需求。