路面铣削装置的设计分析

路面铣削机械是近年来随着高速公路等的出现而发展起来的新机种。它采用滚动铣削筒作为工作装置，主要用于对路基的建立与路面修整。本文在叙述滚动铣削装置基本机理的同时，对滚动铣削装置各个参数的确立和设计进行详细的分析。     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

超高速磁浮车-轨道梁竖向耦合振动分析

针对超高速磁浮车-轨道梁竖向耦合振动的问题,提出一种基于轨道梁有限单元模型和磁浮力比例-积分-微分(PID)控制器模型的分析方法。为提高计算效率,整体耦合系统以磁浮力为界,分为车辆和轨道梁2个子系统,车-梁之间的振动耦合则通过PID控制器计算的磁浮力来完成。组成耦合系统的子系统分别采用振型分解法和四阶龙格库塔法计算其振动响应。为验证方法的有效性以及了解超高速磁浮车桥耦合振动特性,使用Mathematica编程进行超高速磁悬浮车-轨道梁的耦合振动分析,得到运行速度为600km/h的车辆和轨道梁的动力响应。研究成果可为超高速磁浮轨道结构设计和关键技术研究提供参考。     

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

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

V280／285系列船用柴油机的研制

V280／285船用柴油机系列是在16V280ZJA型柴油机的基础上研制的船用中速柴油机。介绍了该机的研制背景、主要特点和试验情况;该系列柴油机主要为船舶的主机和辅机提供了动力。     

水泥混凝土路面机械摊铺工艺

介绍了采用小型配套机具铺筑水泥混凝土路面的施工工艺和采用滑模摊铺机的施工工艺。     

实行工程机械租赁制的必要性及管理方法

实行筑路设备租赁是施工生产设备管理的一项改革,有利于设备资源的优化配置和合理利用.深挖设备资源潜能,提高设备资产的综合利用效果,是施工企业加强内部管理、提高经济效益的一项有效措施.     

冲锻焊阀门焊接成形缺陷处理

文中对冲锻焊阀门从制造工艺角度,对焊接后焊接应力进行分析,采用合理的热处理实验,对焊接热影响区晶粒直径、焊接应力状态,以及热处理温度和时间进行了测定研究,找到了Q345材质冲锻焊阀门合理的焊接残余应力处理工艺方法,在退火去除焊接残余应力的工艺中采用高温回火逐步向中温回火处理,既可以很好地减小焊接应力,又可以减小焊接后组织晶粒,进而有效地提高冲锻焊阀门的性能。     

大顶子山水电站灯泡贯流式机组安装实践

主要介绍大顶子山水电站灯泡贯流式机组的机电设备安装过程,同时也介绍了在安装过程中存在的一些问题及解决办法,希望能对相似机组的机电设备安装有所借鉴。     

南宁膨胀土直剪蠕变特性及长期强度试验研究

针对南宁膨胀土进行了一系列室内直剪蠕变试验,探讨了南宁非饱和重塑膨胀土在直剪条件下的蠕变特性.试验结果表明:由于膨胀土的膨胀力一直在发生作用,膨胀力抵消了部分竖向荷载,使土的结构变松,加速了剪切蠕变的发展,所以在剪切荷载达到长期抗剪强度极限之后,当竖向荷载足够大时土体表现为以恒定的蠕变速率一直加速蠕变下去,当竖向荷载不够大时土体表现为突然被剪坏;在含水率为16%的条件下土样的长期强度约为短期强度的72.9%,长期强度的指标粘聚力c和内摩擦角￠均比短期强度的小.