基于时间自动机的CTCS-3级列控等级转换场景测试用例生成方法研究

为了提高列控等级转换系统测试效率和自动化程度,以时间自动机为基本依据,研究设计了一种中国列车运行控制系统-2级转中国列车运行控制系统-3级列控等级转换系统进行模型信息提取,并自动生成测试路径,从而生成具体的测试用例。结果表明,列车转换时间主要集中在62 s～75 s。转换时间为80 s时,转换成功概率为99.7%以上。等级转换过程,结合获得的测试路径,最终得到测试用例153条。在测试路径基础上,依据逻辑覆盖准则,得到各谓词条件的变量取值范围,结合已有测试路径,最终生成了具体测试用例。该方法的测试用例有效提高了软件开发效率,缩短开发周期,降低了出错率,提高测试自动化程度。该方法提高了列控等级转换系统测试效率和自动化程度,对列控系统等级转换场景软件开发高效性研究具有重要意义。     

浅谈城轨信号机模拟实训系统设计

城轨信号机模拟实训系统是一套利用计算机技术与继电接口电路结合，通过I/O控制器设置故障模拟电路的断开和闭合，连接信号机点灯电路室内和室外设备，能实现进路办理、城轨信号显示、继电器电路沟通、断线故障设置和修复等功能的实训装置。     

基于故障树的高速铁路模拟控制系统关键技术研究

针对传统轨道电路室外设备故障诊断准确率低导致高速铁路运行安全性下降的问题，提出一种基于故障树的高速铁路模拟控制系统关键技术，以实现轨道电路故障准确诊断。首先，以ZPW-2000A型无绝缘轨道电路为研究对象，通过FFT傅里叶变换方法对轨道电路进行频谱分析；然后采用基于故障树的模糊控制理论对故障类型进行判断和定位，以给出相应的故障处理策略。实验结果表明，采用本方法对2300-1型、2300-2型、1700-2型三种类型的送受端轨面电压进行频谱分析后，可准确地检测出2300-1型轨道出现异常，且通过频谱分析方法检测出此区段混入邻区段的1700 Hz频率，因此，可判断出该区段出现故障，且通过故障诊断算法可计算出此区段的送受端电压分别为679.875 mV和828.166 mV。由此证明，提出的方法可实现轨道电路故障准确诊断，轨道安全性显著提升。