一种基于时间自动机模型的区域控制器测试序列生成方法

轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用Tiny XML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率。     

司机控制器可靠性试验系统的设计与测试

司机控制器是司机操纵机车的重要部件,其性能的好坏直接影响列车的运行状况。对司机控制器进行可靠性测试是保障其质量最有效的方法。采用Lab VIEW作为系统的上位机开发平台,实时监测显示系统状态;用DSP(数字信号处理)作为控制采集模块,控制司机控制器运动并采集其输出数据。同时,采用一台上位机控制多个DSP系统的主从式网络结构,提高了系统效率并降低了成本。该系统同时对多台司机控制器进行试验。最后对可靠性进行了评估,结果表明该系统满足试验要求,为司机控制器的维修和维护提供了依据。     

地铁站台屏蔽门控制器输入/输出板测试装置设计

为了便于排查青岛地铁3号线站台屏蔽门控制器输入/输出板偶发故障，提高故障诊断效率，设计屏蔽门控制器输入/输出板测试装置。测试装置由上位机和下位机2部分组成，两者通过RS485通信。测试装置包括手动和自动2种工作模式。在手动模式下，通过在操作界面勾选对应信号选择框，控制下位机发出指定信号；在自动模式下，上位机软件通过读取C盘目录下的TXT指令文件，控制下位机发出指定信号。测试装置已应用到青岛地铁3号线站台屏蔽门控制器输入/输出板测试中，取得良好效果。     

基于LabVIEW的列车司机控制器的寿命测试系统

采用伺服电机对司机控制器的位置和速度进行精确的控制,同时使用NI数据采集卡对司机控制器中凸轮触头的闭合数据和电位器输出的模拟电压进行实时采集与处理,并通过Access进行测试数据存储。该系统为列车司机控制器的寿命测试提供了有效、可行的平台,提高了列车司机控制器的生产效率、可靠性和可维护性。     

基于LabVIEW的便携式通用型司机控制器测试系统

针对现有司机控制器测试台通用性差、价格昂贵、携带不便等缺点,设计了便携式通用型司机控制器测试系统。该系统包括上位机和下位机,检测时只需将控制器接口和测试系统接口对接,即可实现司机控制器相关参数的采集、显示、存储等功能。测试结果表明,测试系统性能稳定、测量精度良好、使用便捷,具有一定的应用价值。     

电压—无功补偿控制器的可靠性设计

介绍了在太白牵引变电所的电压－无功补偿控制器的设计中，将硬件冗余技术与软件容错技术相结合，以ＭＣＳ－９６单片微机为控制机，采用双模冗余结构，对该控制器进行了可靠性设计，大大增强了控制系统的抗干扰能力，提高了系统的稳定性和可靠性。     

CBTC系统中联锁与区域控制器的一体化设计

通过对典型CBTC系统构架和功能设计等方面进行研究,提出了将联锁与区域控制器一体化系统设计方案,并对2种方式的CBTC系统进行了对比,一体化设计的区域控制器系统在系统架构、实现成本、性能和维护管理等方面更具备优势。     

ZC模拟器在张江试验线TECIS联锁测试中的应用

介绍了一种用于联锁系统功能测试的ZC(区域控制器)模拟器,使用敏捷开发模式,从功能需求、设计架构、实现方式和应用情况对模拟器进行了描述。试验证明,采用ZC模拟器使联锁功能测试更加全面、便利、直观,提高了测试效率。该方法也为CBTC信号系统各子系统应用软件测试模拟器开发提供了参考。     

通用型司机控制器测试装置

针对目前测试装置存在的问题，设计了通用型司机控制器测试装置。描述了其主要功能。介绍了装置软、硬件构成及主要功能的实现方法。装置经现场运用表明。测量精度达到了设计要求。运用效果良好。     

车车通信后备模式下智能轨旁对象控制器系统

为解决基于车车通信的列车运行控制系统在通信中断情况下，信号系统降级后备模式运行的问题，设计了一种基于超带宽通信技术和射频识别技术的智能轨旁对象控制器系统，实现了双向列车定位、列车车号识别、列车完整性判断、列车行驶方向判断和轨道占用检测等一系列基础功能。研制了样机并进行实验室测试。测试结果表明，后备模式下，所提智能轨旁对象控制器系统可以提供地面设备办理进路的后备模式，保障行车安全。     

区域控制器仿真子系统的研究

对基于WLAN的CBTC列控系统仿真平台中的区域控制器仿真子系统进行了研究,介绍了区域控制器的基本原理,描述了关键功能的实现,如列车管理、移动授权生成、区域控制器交接、数据库的建立与调入等。基于C++Builder 6.0实现了仿真子系统的功能。     

地铁车辆司机控制器性能检测装置

分析了地铁车辆司机控制器的工作原理,指出了司机控制器性能检测的必要性.根据司机控制器操作的逻辑关系,设计出检测装置硬件部分和测试软件,并详细地阐述了检测方法,从而对司机控制器性能做出评价.     

现代有轨电车正线道岔控制系统的研究

现代有轨电车正线道岔控制系统的研究,包含道岔控制模式的选择、轨旁联锁控制器的开发设计、轨旁联锁控制器设置方案及道岔区域电车定位方式的比较和选取。车载进路模式在提高效率的同时降低了司机的劳动强度。轨旁联锁控制器采用全电子化执行单元代替了有接点的继电器。联锁控制器区域化设计将集中和分散控制的优势集为一体,结构简单且投资小。组合电子标签定位克服了其它单一定位手段的缺陷。该设计方案使得现代有轨电车正线道岔控制系统的结构简单,性能安全可靠,且投资小,适合现代有轨电车的发展。     

HX_D2和HX_D2B型机车司机制动控制器

介绍了2种应用在和谐电力机车基于时间的制动控制器和基于位置的制动控制器.重点介绍了2种司机制动控制器的结构组成和控制原理.时间闸是一种自动制动控制器,其制动力的控制与时间有关,可实现初制、全制、紧急制动等功能,操纵简单可靠.位置闸将自动制动控制器与直通制动控制器集成在一起,其制动力与制动手柄所处的位置有关,有初制位、全制位、抑制位、重联位、紧急制动位等,具有良好的功能性,安全可靠.     

M3919b型司机控制器摩擦力机构问题分析及解决方案

对HXD1C型7200 kW电力机车用M3919b型司机控制器在生产和使用过程中牵引/制动手柄鼓轮摩擦力机构的缺陷进行研究,分析主要基于现有的设计结构和生产操作实际情况.在已有设计基础上根据实际工作情况提出了新的设计方案.新设计方案可以提高产品生产效率,提高机车运行稳定性.     

基于MSC与UPPAAL的区域控制器切换场景建模与验证

区域控制器(Zone Controller,ZC)边界切换场景是城市轨道交通列车控制系统的重要场景,切换过程中移交ZC、接管ZC和车载子系统之间要进行频繁的信息交互,因而对其安全性和实时性有更严苛的要求。根据ZC子系统特点,将MSC半形式化方法作为切入点,结合时间自动机理论,建立ZC切换场景的MSC模型和时间自动机网络模型,用于ZC切换场景功能和受限活性的安全验证。结果表明:ZC边界切换控制功能满足系统安全性和受限活性的规范要求。因此此种建模验证方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。     

广州地铁一号线车辆司机控制器国产化开发

介绍了广州地铁一号线机车司机控制器国产化研制背景及具体实施过程,并通过实际的运行考核,验证了国产化司机控制器能满足设计要求,可替代进口产品。     

中国机车司机控制器的发展

我国的机车司机控制器自工业革命时代起已经历了近200年的发展历程。在这200年里,司机控制器对机车的主导作用从未发生过任何改变。因此一直以来,对于司机控制器的研究也从未间断过。从控制手柄的操作方式对司机控制器予以分类,介绍了近年来国内常用的几种形式的司机控制器及其优缺点,并进行对比研究,以探讨司机控制器未来的发展方向和趋势。