排序方式: 共有46条查询结果,搜索用时 15 毫秒
11.
12.
高速铁路列控系统运营场景实时性的建模与验证 总被引:1,自引:0,他引:1
高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。 相似文献
13.
基于位置的CBTC系统无线局域网切换机制 总被引:1,自引:0,他引:1
目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。 相似文献
14.
基于Timed-UML顺序图的RBC交接形式化建模与分析 总被引:1,自引:1,他引:0
《铁道标准设计通讯》2016,(6):132-138
在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。 相似文献
15.
基于Timed RAISE的高速列车RBC切换协议形式化建模及验证 总被引:2,自引:2,他引:0
《铁道标准设计通讯》2015,(6):138-143
在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。 相似文献
16.
移动P2P网络具有高度动态性,但节点的频繁移动影响整个网络的可达性,降低了网络的服务质量.为了维护节点的可达性需要减少节点移动时的切换时延,为此文中提出了基于超级节点的分层预切换方法HPH.该方法在基于超级节点分层模型的基础上引入移动IPv6的快速切换的思想,对节点的域间移动采用预切换机制,解决网络中因节点频繁移动而带来的负面影响.仿真结果分析表明,较之传统KaZaA切换方法,HPH方法的切换时延降低了20.5%,丢包率降低了10.2%. 相似文献
17.
为了提高GSM-R系统的切换成功率,设计了一种共享中继增强型切换机制,利用共享中继改善相邻基站重叠区内来自目标基站的信号质量,明显区分不同基站的信号,减少信号波动导致的切换误判.仿真结果表明:利用增强型切换机制将列车的切换触发地点提前约500 m,从而保证列车在重叠区内具有足够的距离完成切换,并且由于信号质量的改善,减... 相似文献
18.
19.
宏分集可以有效地克服大尺度衰落的影响。针对CDMA系统反向信道更软切换的实现,提出了一种改进的基于最大比合并的宏分集方式。采用两级RAKE接收机,将来自不同扇区的信号进行最大比合并。建立一种简化的高斯模型,分析比较了在瑞利衰落信道下,最大比合并和选择合并技术对更软切换性能的影响,并得到了误码率表达式。仿真结果表明,基于最大比合并方式的更软切换优于选择合并策略。 相似文献
20.
研究目的:针对我国城市轨道交通和铁路客运专线移动通信的越区切换位置存在的诸多问题,对隧道内移动通信切换区域的各种设置方案进行研究,为我国城市轨道交通和铁路无线通信网络规划和优化方案提供依据和参考。研究方法:通过对不同切换区域设置方案的分析,结合铁路移动通信技术的发展,从工程经济性、实施性、可靠性等不同方面进行多方案的比选研究。研究结果:提出了不同速度等级的铁路隧道内设置移动通信信号切换区域的几种方案,并对相应的方案做了分析比较。研究结论:隧道内移动通信信号切换区域的设置不仅受物体移动速度和切换时间的制约,还受高速移动带来的信号快衰落及不同制式移动通信系统切换机制的影响。 相似文献