CBTC列车安全定位中通信中断时间的研究

通信中断的存在会对目前城市轨道交通的CBTC列车安全定位产生影响,进而影响列车安全间隔距离。CBTC车地通信系统大多采用无线局域网技术。越区切换中断是导致通信中断的主要原因,根据IEEE 802.11协议的越区切换流程,本文推导出越区切换中断时间与列车速度的关系表达式,在此基础上根据安全定位的实现方法和移动闭塞系统中列车安全间隔距离的计算方法,推导出通信中断时间与影响安全定位的因素之一——估计的运行距离及列车运行安全间隔之间的关系表达式。建立两列列车追踪运行模型,仿真不同通信中断时间下两列车的追踪间隔距离。采用此关系表达式进行理论计算的结果与仿真结果验证了通信中断时间与估计的运行距离及列车运行安全间隔的关系表达式是合理的。     

基于随机价格时间博弈的列车队列稳定性模型验证与控制策略优化

为保证列车队列运行安全并提高队列稳定性，研究了列车队列稳定性模型验证与控制策略优化问题；基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距3种控制策略，利用随机价格时间博弈自动机，建立了包含领航列车和跟随列车的队列控制模型，分析了模型的队列稳定性；在保证列车运行安全的前提下，以列车的相对位置差、相对速度差和时间间隔差为成本函数，通过队列随机价格时间博弈自动机模型获得控制策略集；利用Q-Learning方法得到队列的最优驾驶策略，验证队列运行的安全性和稳定性；结合列车运行追踪场景，进行队列的稳定性分析。仿真结果表明：通过形式化验证，采用3种控制策略下的队列安全性得到了保证；通过随机价格时间博弈控制、协方差优化控制和Q-Learning方法对比PID控制，等空间间隔策略下的队列稳定性误差最大值分别减小到了0.19%、0.18%和0.11%,等时间间距策略下的队列稳定性误差最大值分别减小到了30.21%、10.34%和9.24%,变时距策略下队列稳定性误差最大值分别为118.27%、56.09%和39.67%,可见，采用Q-Learning方法的随机价格时间博弈理论能在安全前提下提高...     

汽车电脑损坏原因分析及维修方法

汽车在正常使用过程中,电脑的可靠性是很高的,即使在恶劣的条件下工作,出现故障的可能性也较小,但由于维修中操作不当或一些意外原因(如进水或电池接线柱松脱)使电脑损坏的例子却屡见不鲜,由于电脑价格相对较高,若能将其修复就可以节省大量费用.     

无线列控系统安全通信协议性能评价规则的制定方法

针对传统方法在评价列控系统安全通信协议性能时存在只能定性不能定量和对评价人员掌握评价尺度有差异考虑不足的问题,基于利用有色Petri网模型对列控系统安全通信协议性能的仿真结果,运用决策论中的概念格理论对有关安全通信协议性能(包括建立安全链接需要的时间和传输信息需要的时间)的仿真数据进行分析,研究制定安全通信协议的性能评价规则。运用Dempster-Shafer理论,分析评价人员应用给出的安全通信协议性能评价规则对安全通信协议性能进行评价所得评价结果的不确定性,以验证所提出安全通信协议性能评价规则的可行性。结果表明,使用所制定的安全通信协议性能评价规则克服了传统方法的不足,而且以概率的形式定量表示安全通信协议的性能,可使评价结果更全面也更具有说服力。     

汽油发动机燃油系故障浅析

燃油供给系统是汽油发动机故障率较高的系统之一,其故障范围往往涉及控制电路及供油管路,因而在检测故障时应首先区分是电路故障还是油路故障,然后再进一步确认具体的故障部位.供油系统正常工作的关键是在喷油器进油口建立确定的油压,同时要保证其有足够的流量.围绕这一核心环节来理解供油系,就可以比较容易地查找到故障原因.     

城轨虚拟编组关键性能指标及技术探讨

列车虚拟编组技术能够实现车辆资源的高效灵活利用,是解决轨道交通客流时空分布不均衡问题的有效方法,已成为国内外的研究热点。既有研究借鉴了汽车编队追踪的思路,主要关注于列车稳定追踪的相关方法,未能完全适应轨道交通的实际需求。针对城市轨道交通(简称“城轨”)虚拟编组研究的需要,深入分析城轨列车运行的特征,在此基础上总结提出包括站台停车时间差等在内的城轨列车虚拟编组应符合的技术性能指标;其次,针对虚拟编组的技术特征,提出包括大小交路和Y型线路等适合列车虚拟编组的潜在应用场景,并对实现虚拟编组的关键技术及其原理进行介绍,可为城轨列车虚拟编组研究提供参考。     

基于多传感器融合的列车测速定位方法

以信息融合技术为基础,研究以速度传感器为核心的多传感器融合列车测速定位系统;通过列车打滑试验,验证和分析该测速定位系统的空滑检测和误差补偿能力.     

基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。     

城市轨道交通列车运行控制系统分级标准研究

结合城市轨道交通列车运行控制系统(MTCS)的发展现状以及将来的技术发展战略,参考欧洲列车运行控制系统(ETCS)和中国铁路列车控制系统(CTCS)分级和标准化的思路,阐述MTCS分级标准建设工作的重要性,对MTCS的分级标准建设方式给出一定的建议.MTCS体系以车载设备为核心,通过对地面控制设备的扩展以增强系统功能,...