一种基于车载双天线的GSM-R冗余网络无缝切换方案

随着铁路现代化的发展,列车运行速度逐渐增加,由此导致列车在穿越GSM-R网络小区的过程中需要频繁地执行越区切换操作。由于GSM-R网络先断后连的硬切换方式必然造成切换过程中存在通信中断等问题,对行车造成一定的安全隐患。传统的切换优化方法仅针对单层网络中移动台越区切换过程进行改进,忽视了GSM-R系统现有的冗余网络配置特点。本文提出一种将GSM-R双层冗余网络中的不同基站组成一个为列车服务的虚拟小区,并采用车载双天线与虚拟小区进行协作通信的方案,以充分利用冗余网络配置特点,从而实现列车穿越小区过程中完成无缝切换操作。仿真结果表明:所提出的方案使切换中断率明显降低,为列车的安全运行提供了可靠保证。     

上海市区管交通标志和标线管理存在的问题与对策

通过深入调研分析上海市区管交通标志和标线的管理现状,梳理了区管交通标志和标线在实际管理中主要存在,人员、技术、资金、机制和管理缺口等五个方面的问题,并针对上述问题提出了,包括建立设施量统计数据库,出台统一的养护技术规范及定额标准,定期开展人员培训等一系列对策和建议,对于提高上海市交通标志和标线运行管理水平、提升城市管理品质具有重要指导意义.     

上海市区暴雨和积水问题

本文对上海市区暴雨积水问题的原因从地位位置、气候条件、历史原因等方面作了分析。然后就工程措施与非工程措施提出了若干建议     

一种基于接入网络属性的垂直切换模型

提出一种基于接入网络属性触发的垂直切换模型,在此基础上,对垂直切换中的切换概率、掉话率以及切换次数等关键性能进行建模,并利用此模型对已有的一些切换机制(基于接收信号强度、基于距离和接收信号强度结合和基于误比特率和接收信号强度结合的切换机制)进行分析。结果说明该模型不仅设计简单,而且能够有效地评价基于接入网络属性触发的切换机制性能。     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

基于位置的CBTC系统无线局域网切换机制

目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。     

淄博地区铁路改造方案研究

为提高淄博地区的运输效率,扩大运输能力,研究淄博地区铁路的扩能措施。根据区域内列车牵引定数及行车组织特点,结合淄博地区铁路网的布局和发展规划,调查淄博地区既有设备情况和运营现状,分析其存在的主要问题,提出淄博地区铁路扩能改造方案。     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

新城新区有轨电车线网规划研究

通过介绍新城新区的概念、分类及特点,说明有轨电车在新城新区具有较好的适应性.综合国内新城新区有轨电车的线网规划、运营现状,发现初期运营线路与初期客流未能较好的契合.归纳总结伦敦道克兰成功案例,认为其轻轨系统分期规划建设合理,与地铁、国铁、机场衔接便捷,并加速了该地区的发展.提出新城新区有轨电车线网规划的关键点主要包括:新城新区特征分析与发展目标、与其他交通方式的协同规划、建设时序、可持续规划理念等.结合杭州未来科技城有轨电车线网规划进行实证分析,为我国新城新区有轨电车的线网规划提供参考.     

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。