分享到:

高速磁浮列控系统运行场景构建与形式化验证

高速磁浮技术作为区别于轮轨高铁的新型交通运输手段,是未来高速和特高速轨道交通系统发展的重要方向。近年来,我国对高速磁浮列车技术开展了相关研究,计划在未来五年之内建成时速600公里条件下的高速磁浮试验线。高速磁浮列车运行控制系统作为保证列车安全运行的关键,其工程应用方面的研究已刻不容缓。高速磁浮列控系统的工程应用需要相应的场景规范来进行指导,由于运行机理的区别,成熟的轮轨高铁列控系统运行场景无法照搬在高速磁浮列控系统上,而目前国内也没有系统的开展过高速磁浮列控系统运行场景方面的研究。本文从高速磁浮试验线列控系统的研发和建设出发,对高速磁浮列控系统的运行场景进行了相关研究,主要工作如下:首先,提出了统一建模语言UML结合通信顺序进程CSP的高速磁浮列控系统运行场景分析方法,制定了 UML模型和CSP模型之间的转换规则,给出了方法的具体内容和流程;其次,根据高速磁浮列控系统的系统结构和功能特点,构建了 9个高速磁浮列控系统的运行场景,  (本文共122页) 本文目录 | 阅读全文>>

北京邮电大学
北京邮电大学

面向轨道交通列控系统的人机交互框架的研究与实现

近年来中国经济高速发展,其中轨道交通起着至关重要的作用,轨道交通不仅将中国遥远的区域连接起来,同时也是许多城市公共交通的首要建设内容。在此背景下轨道交通运营的稳定性和安全性就显得愈发重要,而其运营系统的核心部分便是轨道交通列控系统,该系统是轨道交通运营调度人员进行列车监控和调度的主要途径。在当前的轨道交通领域中,各大厂商均有着较为成熟的轨道交通列控系统解决方案,但这些方案大多是基于计算机C/S结构的PC桌面应用。而随着Web前端技术和浏览器的发展,基于计算机B/S结构的Web应用在功能和性能上都越来越接近桌面应用。如何帮助轨道交通列控系统开发出基于浏览器的人机交互界面是本文的主要研究内容。本文针对轨道交通领域的特点,基于JavaScript语言、HTML5 C anvas技术、WebSocket协议、插件架构模式等技术设计了一款应用于轨道交通列控系统的人机交互框架。首先本文采用软件体系结构分析方法SAAM对软件架构进行分析,以轨...  (本文共78页) 本文目录 | 阅读全文>>

《铁路通信信号工程技术》2018年10期
铁路通信信号工程技术

京沈客专接入沈阳枢纽列控系统方案研究

研究京沈客专接入沈阳枢纽的列控系统实施方案,提...  (本文共7页) 阅读全文>>

《同济大学学报(自然科学版)》2016年11期
同济大学学报(自然科学版)

基于因果关系的列控系统模型约简方法

在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的...  (本文共7页) 阅读全文>>

《铁路通信信号工程技术》2017年02期
铁路通信信号工程技术

卫星定位技术在铁路下一代列控系统中的应用

随着卫星定位技术的进一步发展,国外各主流列控供应商也纷纷开展了采用卫星定位技术的列控系统或项目,通过收集、整理和研究美国通用(GE)公司的ITCS系统、法国阿尔斯通(Als...  (本文共4页) 阅读全文>>

《铁路通信信号工程技术》2013年01期
铁路通信信号工程技术

城际铁路列控系统研究

针对新城际铁路运输需求,首先对已开通运营的城际铁路所采用列控系统进行分析,确定为适应新建城际铁路新...  (本文共8页) 阅读全文>>