基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究

本文提出一种基于变异模型的CTCS-3级列控系统测试用例自动生成方法。根据列控系统需求规范,建立它的SMV（Symbolic Model Verifier）模型,对此模型进行变异,将变异之后的模型输入到模型检验器SMV中,利用模型检验生成反例的技术,自动生成测试用例,提高了测试用例的生成效率。并以CTCS-3级列控系统的无线闭塞中心（RBC）切换场景为例,验证了该方法的有效性。     

CBTC半实物仿真平台接口互联互通方案的研究

本文提出一种基于分布式的接口互联互通解决方案,在实验室环境下成功搭建了一套融合不同供应商设备的CBTC最小系统,实现半实物仿真平台的搭建,满足各项性能指标要求。     

海水系统防海生物装置的设计原理与比较分析

本文较详细地介绍了在海水系统中,海生物防治装置的设计原理和电流及离子浓度的计算方法, 通过对不同形式的防海生物装置的综合分析与比较,较详细地说明了正确选择适当防海生物装置的方法。     

漕河渡槽拱架施工方案研究

南水北调中线工程是世界上特大型的跨流域调水工程,漕河渡槽是总干渠上的一座重要的输水建筑物。渡槽桁架拱的预制和吊装是施工的技术难点和关键工序之一。依据该工程的施工环境,对桁架拱的预制方案、场地布置、吊装设备、吊点布置、拱片运输安装方法及应注意的问题进行了分析论述,提出了既经济又可行的施工方案。可为类似工程提供有益的借鉴。     

高速铁路钢轨擦伤形成影响因素

基于ANSYS显式动力分析建立了三维瞬态轮轨接触力-热耦合有限元模型,考虑了温度对热-弹塑性材料参数的影响;以初始温度30℃、轴重16 t、初始速度300 km·h^-1、滑滚比30%工况为例,研究了车轮在经过钢轨典型断面前、中、后3个时刻下钢轨踏面的接触压力、有效塑性应变、温度分布及其变化特征;在此基础上,进一步分析了列车轴重、钢轨踏面状态、列车牵引和制动状态对钢轨踏面最大温升与最大接触压力的影响,并基于钢轨马氏体白蚀层的形成机制讨论了钢轨擦伤的形成机理。研究结果表明：在本文计算工况下,钢轨踏面最大接触压力为1 186.43 MPa,出现在接触区中心位置,车轮通过后钢轨内部存在部分残余热应力和机械应力,钢轨最大有效塑性应变为0.028 2,最大温升为554.55℃;随着列车轴重从12 t增大至16 t,钢轨最大温升由339.89℃增大至402.79℃;钢轨踏面摩擦因数由0.2增大至0.6时,钢轨最大温升由230.93℃增大至519.25℃;滑滚比由10%增大至40%时,车轮制动和牵引引起的钢轨最大温升分别由264.52℃和362.10℃增大至700.46℃和819...     

设置卸荷板的扶壁式挡土墙土压力计算

在扶壁式挡土墙中设置卸荷板可有效地优化结构受力条件,减小直接作用于墙面板上的水平土压力,提高挡土高度,但该类构筑物的结构受力模式复杂,尤其是土压力的计算直接关系到结构计算的可靠度。分别利用朗金土压力和库伦土压力的静力平衡假定条件进行计算分析,指出了朗金公式在计算此类工况土压力时的缺陷,确定了库伦公式的适用性,给出了土压力的具体计算步骤,并提出了适用于库伦公式的卸荷板设计构造要求,为超高扶壁式挡土墙设计提供参考。     

电气化铁路牵引变电设备运行状态综合评判模型

本文运用模糊集理论建立了电气化铁路牵引变电设备运行状态分析的数学模型。该模型是在综合考虑各种影响因素及其模糊性质的基础上提供的，并给出了具体的求解方法。为牵引供电设备实行“状态修”奠定了基础。     

武汉长江二桥正桥工程概况及其施工特点

介绍了武汉长江二桥正桥工程概况及场地布置，上、下部结构施工方法及其特点。     

特殊情况下高速公路交通管理决策支持系统研究

研究以保证高速公路畅通安全为目标,分析了影响高速公路畅通安全的因素,把这些因素概括为"特殊情况",然后对"特殊情况"进行定义和分类,经过二次细分后,为每种情况寻找合适的对策方案.再利用计算机把特殊情况和对策数字化,建立专家知识数据库,通过与各种设施设备的配套使用,形成完整的高速公路交通管理决策支持系统.