客运专线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)的供电方式。它实现了同相牵引供电,牵引变电所一次侧不再轮换,变电所单相供电,不用设置分相绝缘器;通过实时检测系统的综合补偿电流控制变流器,平衡三相,动态滤除无功和谐波电流。讨论了其补偿原理,给出了指令电流检测和变流器控制方法。分析和仿真证明,该同相供电系统是可行的。     

国标《物流管理信息系统应用开发指南》的研究与制定

一、背景及任务来源 物流过程是企业采购、生产制造、流通等环节中的主要组成部分,是社会和企业经营发展的"第三利润源泉",同时也被认为是21世纪企业降低成本的最有利手段.     

打造诚信品牌构建和谐长江航运

本文论述了加强长江航运诚信体系建设，开展船公司、船舶诚信评价工作的重要意义，打造诚信经营品牌，构建和谐长江航运、贯彻实施评价体系的指导思想。     

浅谈水泥稳定砂砾施工

国道202线黑河—北安公路是为了适应改革开放，平衡地区经济发展，改善投资环境而建设的国道干线。为了确保道路的使用寿命，采用水泥稳定砂砾制作底基层和基层。为保证水泥砂砾的施工质量，必须从材料选用、拌和、摊铺、碾压、养生等多方面进行控制。     

长输管道工程施工期环境监理研讨

长输管道工程对地质环境及景观生态环境的影响主要发生在施工期。为确保工程建设环境保护工作质量,有效控制施工过程对沿线生态环境影响,须引入环境监理监控。本文以国家“十一五”规划重点建设项目川气东送管道工程为例,进行了施工期环境监理模式、工作依据、内容和环境监理、监控成效探讨,为长输管道工程建设项目施工期环境监理工作的开展起到积极的推广和借鉴作用。