水泥混凝土路面早期断板原因及预防措施

分析了水泥混凝土路面早期断板的原因,提出了预防措施。     

基于Event-B的联锁进路控制建模验证方法研究

计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.     

ITU-T G.975.1中EFECI.7算法的研究与实现

光通信技术向着长距离、高速度的方向发展,具有更加强大纠错能力的EFEC算法正逐渐成为人们研究的热点.本文结合BCH码的特点,对EFEC算法1.7中描述的正交级联的BCH码的帧结构进行了研究,通过MATLAB编程实现了BCH码的编码以及基于BM算法的迭代译码,并分析了不同结构的BCH码的误码性能.实验结果表明:在相同的误码信道中,1.7中介绍的基于正交级联的BCH码的帧结构相此普通的BCH码具有更加优秀的纠错能力.分析结果对进一步研究通信可靠性具有一定的参考价值.     

基于XML列控系统数据模型建立

统一的数据描述方式在我国列控系统互联互通的发展中起着重要的作用.文章分析了现行列控系统数据交互不足,提出基于XML标记语言来统一我国列控系统、设备数据的构思.在树状数据组织思想的基础上,设计了一种适合我国列控系统的XMLSchema架构,并提出了既有列控系统兼容XML数据的方法.     

CTCS-3级列控系统车载设备测试序列的优化

如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子序列图,然后应用遗传算法求解得到优化测试序列.分析实验结果表明,此方法使得测试效率得到了大幅度提高,是一种优化测试序列生成问题的可行方法.     

单向阀在沼气吸渣车抽排管路系统中的运用

随着真空泵在吸污车、吸粪车等环卫专用车辆上的广泛运用,其润滑、密封所用的机械油的散失成为一个无法回避的问题。通过介绍分析、改进经过,提出了一个解决此问题的有效办法。     

地铁运营线路弹性短轨枕改造大修技术研究

弹性短轨枕经过长时间运营,维修整治成本较高且效果也不理想,从而影响列车运行的安全性、平稳性。对广州地铁二号线公园前~纪念堂下行ZDK14+268~ZDK14+418共150 m弹性短轨枕试验段先行改造工程进行了研究,改造大修采用低高度上部自锁式双层非线性减振扣件实现原弹性短轨枕减振降噪性能,浇筑水泥基灌浆料将普通混凝土短轨枕与既有整体道床固结的大修施工技术,从根本上解决了弹性短轨枕病害,为今后地铁运营线路弹性短轨枕改造大修提供重要指导和参考。     

基于Prolog的列控工程数据验证方法

列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障。针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于Prolog的列控工程数据验证方法。考虑到列控工程数据表格的多样性以及表格存储的缺陷,以XML为基础提出一种数据标准化格式。针对数据验证过程,通过铁总数据规范和领域专家知识,提取出数据包含的基础验证规则。在此基础上,考虑到数据验证的完备性,利用数据挖掘的方式,提取数据的隐含规则,再利用Prolog对各类数据规则搭建其验证模型。以武汉—广州线的工程数据作为测试数据,进行验证测试,结果表明该验证方法具有高效性和准确性。     

靠泊浮箱系泊方案试验

为合理确定靠泊浮箱的系泊系统设计方案,采用波浪物理模型试验方法,对四链缓冲、二链缓冲和二缆系泊3种方案进行试验验证,研究系泊方式、系泊线材质、缓冲吸能重锤等因素对系泊力和浮箱运动的影响。试验表明,3种因素对研究对象影响明显,综合认为二缆系泊是一般靠泊浮箱理想的系缆方案,二链缓冲方案适用于有较高平稳度要求的浮箱系泊系统设计。     

花海灌区节水建设思考

水是人类生存和发展不可替代的资源,是经济社会可持续发展的基础。由于水资源时空分布不均和开发利用的不均衡导致水资源供需矛盾加剧。节水型社会建设既是解决干旱缺水问题最根本、最有效的途径,也是落实科学发展观的具体行动,通过建设节水型社会,提高人们对水资源的节约、保护意识,最大限度发挥水资源的经济效益、社会效益和生态效益,提高水资源承载能力,促进人与自然的和谐相处。本文针对灌区节水建设现状,分析了实施节水存在的问题,并论述了解决问题的建议。