The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train co...The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.展开更多
在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RA...在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。展开更多
An efficient multi-purpose construction crawler training simulator is developed based on windows platform using digital signal processing,multimedia,sensing,simulation modeling and real-time visualization simulation t...An efficient multi-purpose construction crawler training simulator is developed based on windows platform using digital signal processing,multimedia,sensing,simulation modeling and real-time visualization simulation technologies. The simulator architecture and each part are discussed in this paper. The module designs for data acquisition,dynamic modeling and visual,sound and assess simulation are focused. The system has been put into practice and the satisfactory results are got.展开更多
随着超导材料的发展,超导列车技术发展迅速,针对高温超导磁浮列车会在运行过程中对轨道系统造成影响以及强磁环境下传统电子学传感器难以实现稳定可靠测量的问题,设计了基于光纤传感器的高温超导磁浮列车轨道监测系统,以提高超导磁浮列...随着超导材料的发展,超导列车技术发展迅速,针对高温超导磁浮列车会在运行过程中对轨道系统造成影响以及强磁环境下传统电子学传感器难以实现稳定可靠测量的问题,设计了基于光纤传感器的高温超导磁浮列车轨道监测系统,以提高超导磁浮列车运行安全和稳定性。该系统主要包括传感器系统、数据采集及传输系统、智能化监测软件系统以及供配电系统。监测系统提供实时可靠的连续性数据监测,并由解调仪解算各通道传感器数据,通过TCP协议经局域网上传至服务器,由服务器上传至CCU(Central Control Unit)。该系统经过试验验证,实现了多台服务器数据交互、指令发送、在线监测以及数据读取工作,为高温超导磁浮列车可靠运行提供技术支持。展开更多
文摘The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.
文摘在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。
文摘An efficient multi-purpose construction crawler training simulator is developed based on windows platform using digital signal processing,multimedia,sensing,simulation modeling and real-time visualization simulation technologies. The simulator architecture and each part are discussed in this paper. The module designs for data acquisition,dynamic modeling and visual,sound and assess simulation are focused. The system has been put into practice and the satisfactory results are got.
文摘随着超导材料的发展,超导列车技术发展迅速,针对高温超导磁浮列车会在运行过程中对轨道系统造成影响以及强磁环境下传统电子学传感器难以实现稳定可靠测量的问题,设计了基于光纤传感器的高温超导磁浮列车轨道监测系统,以提高超导磁浮列车运行安全和稳定性。该系统主要包括传感器系统、数据采集及传输系统、智能化监测软件系统以及供配电系统。监测系统提供实时可靠的连续性数据监测,并由解调仪解算各通道传感器数据,通过TCP协议经局域网上传至服务器,由服务器上传至CCU(Central Control Unit)。该系统经过试验验证,实现了多台服务器数据交互、指令发送、在线监测以及数据读取工作,为高温超导磁浮列车可靠运行提供技术支持。
