表面选区强化对钢轨波磨处轮轨滚动接触行为的影响

层流等离子体表面强化技术可大幅提高钢轨表面的硬度和耐磨性。为了揭示强化处理对轮轨滚动接触行为的影响,建立同时考虑钢轨表面选区强化和短波波磨的三维轮轨瞬态滚动接触有限元模型,数值计算了车轮高速滚过一个波磨周期的轮轨力、接触斑黏滑分布和残余应力应变。对比发现:表面选区强化对轮轨力和接触斑黏滑分布的影响较小,不影响钢轨承载性能;对钢轨表面残余应力应变分布的影响明显,残余应力主要集中在屈服强度较高的强化斑内而残余应变主要集中在韧性较好的基体材料上,表面选区强化有效结合了强化斑和基体材料的力学性能,形成了一种强韧的良好匹配。结果可为现场生产服务提供一定的理论指导和应用参考。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

Ti含量及冷却速度对Al-Mn-Ti合金组织的影响

采用高频感应炉对Al-Mn-Ti合金进行制备和研究,探究Ti含量及冷却速度对Al-Mn-Ti合金组织的影响.研究结果表明:未加Ti时,Al-Mn-Ti的合金组织由Al基体和T相准晶组成;加入Ti元素后,合金组织中出现花瓣状准晶Al_(72)Mn_(10)Ti_(18),随Ti含量的增加,花瓣状准晶增多,形状无明显变化;当Ti含量增加到7%时,组织中的Al基体消失,由T相准晶和花瓣状准晶Al_(72)Mn_(10)Ti_(18)组成.随冷却速度增加,过冷度增大,花瓣状准晶Al_(72)Mn_(10)Ti_(18)进一步生长形成树枝状的二次枝晶.     

沈大高速公路路面平整度的控制

结合沈大高速公路改扩建工程简述了SMA路面平整度的影响因素和控制方法。     

物流标准化建设中的问题与对策

物流标准化是物流业发展的必然趋势，其现状及工作中的问题也是阻碍我国物流业健康快速发展的制约因素。因而要学习发达国家物流标准化建设的先进经验，尽快制定与国际接轨的物流标准，逐步形成我国现代物流业的标准体系。     

气象信息在船舶管理中的应用

从船舶航行安全、可靠性角度考虑，一个重要的影响因素是航行船舶所在海域的气象状况，因此气象信息对于船舶调度管理起到非常积极重要的作用。如何获取气象信息，并把获取的气象信息融合到电子海图显示平台中，对于航行船舶的监控和管理显得十分有意义。针对如何获取气象信息及如何与电子海图叠加显示两方面的内容进行了论述。     

星马给我们的启示

最近,安徽星马集团成为业内关注的焦点。受关注的原因是2005年星马集团旗下的华菱重卡销量超过4 000台。国务委员周永康、科技部部长徐冠华等领导先后到星马集团视察,对星马集团所取得的成绩给予了充分肯定。     

基于仿真分析的煤炭装船码头筒仓群装卸工艺系统优化

大型煤炭装船码头采用筒仓群储运系统，具有自动化程度高、环保效果好以及集约化发展等多方面优势，但相关储运系统装卸工艺设计无成熟的可供参考的规范。而基于经验公式的计算，无法准确反映出不同工艺平面布置方案对通过能力的影响。本文基于已建黄骅港三、四期煤炭码头工程，根据筒仓群工艺平面布置不同，提出4个典型的装卸工艺方案；然后基于Simio系统仿真软件，建立了4个方案的仿真模型，计算各个方案合理的通过能力；最后对各个方案进行综合经济技术指标比选，并给出类似工程筒仓群平面布置的优化建议。     

船舶装载计量仪的开发

液货船舶配积载与容量计量为一体的专用仪器，主要利用单片机及其编程，它对液货船舶的安全生产有非常重要的作用，提高了装卸液货的效率以及液货贸易过程中的计量精度等。     

巧用数控折弯机模具

分析日本AMADA公司生产的FBDII-3512-1253/8025型数控液压折弯机的功能和存在的问题,提出了1种即节省模具,又不影响加工精度的合理有效使用模具的方法,拓展了数控折弯机的功能。