CTCS-3级列控系统避撞协议的建模、设计和实现

CTCS-3级列控系统中的车载设备和RBC之间通过避撞协议进行协调控制。根据列车避撞安全需求,采用安全UML中的安全用例图和安全类图表示避撞协议模型,实现在任意时间间隔内,列车运行速度不超过期望速度,并且列车位置永远不能越过行车许可(MA)的安全功能。避撞协议的安全功能通过连续避撞策略和离散避撞策略的形式化精化实现。前者给出了列车速度和位置为连续变量的情况下,避撞协议的静态结构、动态交互和连续控制策略;后者利用离散逻辑实现了连续避撞策略的离散化。通过对离散避撞策略的进一步精化,生成避撞协议的实时程序代码。严格的形式逻辑WDC*的推理保证了连续避撞策略、离散避撞策略和最终代码精化的正确性和安全性。     

基于交换式以太网安全通信协议的模型和仿真研究

在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介绍构建于UDP协议之上的ZC内部安全通信协议的设计与实现,利用OP-NET网络仿真工具对该协议进行建模,并模拟VxWorks实时操作系统的多任务调度环境,构建基于交换式以太网的通信性能仿真研究平台。根据ZC的实际运行情况,对通信过程进行仿真,分析了发送窗口对报文最大时延的影响。仿真结果表明,适当的发送窗口数量可以兼顾通信效率和时间精度。     

客运专线CTCS-3级列控系统无线闭塞中心的建模与验证

本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。     

电流法在砂浆搅拌车CA砂浆搅拌质量控制中的应用

简述了电流法在高速铁路水泥乳化沥青砂浆搅拌中的应用,包括观察砂浆的均匀性、流动度,观察机器故障及叶片磨损情况,观察原材料波动、变质等。现场施作表明,电流法是监控砂浆质量及机器运转状况的有效手段,可用于现场控制。     

火焰切割在HX_D1C型机车厚板下料中的应用

HXD1C型机车厚板下料大量采用了数控火焰切割,数控火焰切割件的质量和尺寸精度不仅取决于数控设备的精度和可靠性,而且与所用气体品质、切割程序的优劣和操作人员素质等有着密切关系。     

电力机车TDZ1-200/25型空气断路器主阀故障原因分析及改进措施

针对SS1、SS3、SS4改型机车用TDZ1-200/25型空气断路器主阀频繁发生卡位导致断路器操作失灵的现象,分析故障原因,并提出了相应的改进措施。     

基于YN,3d-1变压器的同相AT牵引供电系统

提出了基于YN,3d-1变压器并结合两单相变流器和自耦变压器(AT)的供电方式。它实现了同相牵引供电,牵引变电所一次侧不再轮换,变电所单相供电,不用设置分相绝缘器;通过实时检测系统的综合补偿电流控制变流器,平衡三相,动态滤除无功和谐波电流。讨论了其补偿原理,给出了指令电流检测和变流器控制方法。分析和仿真证明,该同相供电系统是可行的。     

����΢��ģ��ij��п���· ��ͨ�¹�Ӱ������ϵͳ

城市快速路交通事故所产生的间接影响远远大于事故的直接损失，而其定量数据又很难通过实际的检测设备和测量手段得到，以车辆微观行为模型为基础，采用面向对象的软件设计方法，建立了城市快速路交通事故影响的微观模拟评价系统.在真实模拟车辆行驶状态的基础上，通过设置事故状态和数据探测器，可以全面记录车辆行驶过程中实际检测设备难以采集到的相关数据，从而为事故影响的定量分析莫定了良好的基础.     

基于MFCM的改进聚类算法及其在交通中的应用

在交通流状态模糊化的过程中,对已有的交通模糊控制研究引入了太多的主观因素.为了解决这个问题,提出了一种基于MFCM算法的分级递减聚类算法,利用MFCM算法寻找类中心,再自适应确定该类中心的隶属度阈值,将聚类进行分级处理,实现未知类别数数据集的聚类.将改进算法应用到交通流状态聚类中,可以更科学地确定交通流状态的聚类数和各类模糊隶属度函数的结构等,最后,通过算例,说明了该算法对于未知聚类数及服从高斯分布的数据集具有聚类效果好、收敛速度快的特点.