船用柴油机油的选用及使用案例分析

润滑油作为柴油机的血液一直伴随着柴油机的进步而不断发展,并在不同程度上领先柴油机的发展。润滑油的研制和开发,既要满足设备本身安全运转的要求,还要兼顾延长换油周期、延长维修时间间隔、降低维修费用和清洁费用的要求。才能使船舶设备保持最佳的运行状态,提高综合效益。     

点到点的UDP穿透NAT的原理与实现

本文通过对NAT的原理分析,针对如何实现远程内网两台主机的互访提出了解决的基本思想,分析了UDP 穿透NAT的基本原理以及基本实现方法。     

波形检测法控制点火线圈性能更可靠

利用示波器检测点火线圈的性能比传播的三级针检测法更可靠，在点火线圈出现峰值电压时进行检测，它对点火线圈的介电强度（电容率）的测试结果更精确，还能示波器上直接反映出点火线圈的波形是否正常。     

水浸纸质档案的防霉

霉菌具有分布广、繁殖快、适应性强的特点，在适宜的温湿度条件下，就会在档案上生产繁殖，尤其是受水浸后的纸质档案，若得不到及时处理，更容易滋生霉菌。纸质档案受霉菌危害后，纸张酸性增加并导致机械强度下降，甚至发生粘连现象。     

港口工程全寿命风险管理

文章以全寿命项目管理理念为基点,从分析港口工程项目各阶段风险着手,系统地阐述了工程建设过程中各阶段的风险管理目标,工作内容、工作程序以及工作方法和手段,并以具体的某大型港口工程为例进行分析,论证了港口工程全寿命风险管理的可行性。     

汽车运用与维修技术专业3+2中高职衔接人才培养模式研究

文章首先阐述中高职3+2衔接的现状及问题,并提出了汽车运用和维修专业3+2中高职人才培养的相关措施,希望能提供借鉴。     

基于模型的CTCS-3级列控系统测试案例自动生成方法

为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process, HCSP)形式化模型和时间自动机(timed automaton, TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center, RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%.      

基于Event-B的计算机联锁安全规范描述与验证

本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.     

随机地震动下粘滞阻尼减震结构振动台试验研究

为研究随机激励作用时粘滞阻尼器在结构中的实际减振效果,开展了随机地震动作用下粘滞阻尼减震结构振动台试验研究. 振动台试验中,采用基于物理随机地震动模型生成的地震动样本作为台面输入. 通过对有控和无控模型结构响应的均值、标准差以及概率密度函数等进行比较,系统分析了粘滞阻尼器的消能减震效果. 结果表明:有控模型结构层间位移响应显著减小,楼层剪力均方根值取得一定的减振效果,而大多数楼层绝对加速度响应出现不同程度增大;随机地震动作用下模型结构动力响应的变异性显著,且不同试验地震动样本输入时粘滞阻尼器取得的减振效果不同;粘滞阻尼器-钢支撑系统工作时能给被控结构提供一定的附加刚度和附加阻尼,使得结构动力特性产生变化,进而改变结构地震响应;有控模型结构底层位移响应的均值及标准差在地震动作用时段内均显著减小,且底层位移响应在各时刻的概率密度函数的分布宽度及其形态较无控时发生明显变化.      

水泥石灰综合稳定碎石土路用性能试验研究

水泥石灰综合稳定碎石土基层因其良好的经济效益,在陕北地区得到广泛应用。文中介绍了水泥石灰综合稳定碎石土的抗压强度、水稳定性、冻稳定性、回弹模量试验研究,结果表明,路面设计应考虑防冻层的要求,避免路面基层发生冻胀而产生其他路面病害。