客运专线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算法寻找类中心,再自适应确定该类中心的隶属度阈值,将聚类进行分级处理,实现未知类别数数据集的聚类.将改进算法应用到交通流状态聚类中,可以更科学地确定交通流状态的聚类数和各类模糊隶属度函数的结构等,最后,通过算例,说明了该算法对于未知聚类数及服从高斯分布的数据集具有聚类效果好、收敛速度快的特点.     

水混石灰综合稳定土基层的施工及质量控制

以省道204东台段养护改善工程为例,就水泥石灰综合稳定土基层的施工工艺、存在问题、施工质量控制及注意事项进行了阐述。     

电动自行车对城市交通安全影响分析

电动自行车是一种新兴的交通工具，具有环保、方便、快速的特点，但是其对交通安全也产生了一些不良影响，应合理控制其发展规模，采取措施解决电动自行车带来的交通安全问题，引导电动自行车走上良性发展的轨道。