高速行车条件下列车智能分布式实时监控形式化理论研究

项目名称： 高速行车条件下列车智能分布式实时监控形式化理论研究

项目编号： No.61163009

项目类型： 地区科学基金项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 胡晓辉

作者单位： 兰州交通大学

项目金额： 47万元

中文摘要： 随着高速铁路的快速发展,建立高可信的无线通信网络和列车分布式实时监控系统的必要性和迫切性越来越突出。本项目研究拟建立适合于CTCS-4高速行车条件下的列车智能分布式实时监控形式化理论研究、应用混合Agent理论建立高速列控系统分布式整体形式化描述、同时采用P/S通信原语建立实时通信CTCS通信机制，另外提出一种基于细胞膜理论的越区切换最大并行处理模型实现无线闭塞中心对列控信息实时处理、并对GSM-R网络QoS性能做定量及定性分析，最后根据高速行车瓶颈对高速行车车辆的影响因素建立CTCS-4高速行车下实时车流时空演化模型，从而得到高速列车之间时间延误及行车间隔的组织优化规律，同时也为分析GSM-R对高速列车的列控系统提供基础数据。建立安全、高可信的基于铁路无线通信GSM-R的高速铁路分布式实时监控系统对进一步推动我国高速铁路发展具有重要意义。

中文关键词： 列控系统；形式化建模；多智能体系统；安全性；

英文摘要：

英文关键词： Train Contral System；Formal modeling；Multi-Agent System；Safety；