单折线体外索对简支钢梁自振频率的影响

结构的自振特性关系到结构的健康安全,预应力系统作用到结构上会影响结构的自振频率.为考察体外预应力索系统对简支钢梁自振频率的影响,基于预应力系统作用机理并采用能量法建立了单折线布索型预应力钢梁的动力方程,求解此方程得到自振频率的计算公式,用此公式对一典型单折线索钢梁的一阶频率进行了计算,并与有限元模拟结果进行对比.结果表明:公式计算结果与有限元模拟结果基本一致,可用于工程设计.在此基础上,还得到了索预拉力、偏心距和截面积对梁自振频率的影响规律,为调节单折线布索型预应力钢梁的自振频率提供了理论依据.     

复式断面明渠湍流的统计特征和拟序结构

应用直接数值模拟(DNS)方法，研究了复式断面明渠湍流的一阶和二阶统计特征，分析了湍流拟序结构在复式断面明渠内的分布规律。首先，针对平板边界层湍流问题对数值模拟方法的精度进行了验证；随后，分析了复式断面明渠的主流流速分布、二次环流强度和分布，以及二次环流对主流流速分布的影响，讨论了紊动强度和雷诺剪切应力极值大小和分布特征；最后，再现了复式断面明渠湍流的三维拟序结构，阐述了滩槽结合处典型“发卡”涡结构的特征及其诱发二次环流的机制。     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

第二次全国运输行业协会联谊会在京举行

1月16日，第二届全国运输行业协会联谊会在北京举行。这次联谊会由中国国际货运代理协会主办。货代协会副会长刘占芳致欢迎辞；对外贸易经济大学教授薛荣久做了题为《行业协会要与时俱进》的主题演讲。其内容是：中国加入WTO后行业协会大发展的必要性；目前中介组织的发展情况；行业协会在新的历史条件下的作用，应作为政府与企业的桥梁，应成为政府决策的基础，     

郑西客运专线天窗开行方式研究

本文从郑西客运专线列车运行时段分布频率着手，综合比较分析几种天窗开设方式的特点，针对郑西客运专线跨线列车和夕发朝至列车的实际运行组织要求，分析各种维修天窗开设方式对线路通过能力的影响，提出郑西客运专线综合维修天窗以夜间0～6时采用隔日单向矩形垂直天窗为宜的结论。     

确保两种须占用区间调车作业的安全

根据历年统计资料，在铁路行车事故中，调车事故约占70％，因此铁道部决心防止调车作业事故。近年内广泛采用无线调车灯显系统，大规模普及自动化驼峰，使调车事故发生频率得到有效遏制。但比较起站内调车而言，越出站界调车和跟踪出站调车这两种须占用区间的调车作业，值得引起各方面高度重视。现对此两种调车作业的性质、方法、注意事项及相关规定作一些分析探讨，以期对现场工作有一定的帮助。     

摩托车油箱外壳成形工艺及整体一次胀形模设计

油箱外壳采用整体一次胀压成形工艺与二瓣成形工艺相比，不仅避免了后者易产生焊缝开裂的裂患，而且清除了爆缝需打磨和抛光的难题，可直接喷漆，提高了油箱表面质量及生产效率，且降低了成本，要采用此工艺，必须做好整体一次胀形模的设计。     

浅述盘锦市的城市防洪工程建设

本文着重论述了盘锦市城市防洪工程建设的范围和规模 ,混凝土坝和多功能厢式混凝土堤坝的应用     

"两防"专项整治阶段成效显著共完成整改20630项

8月21日,交通部在京召开了部安全委员会第五次会议。会上通报"两防"专项整治活动第一阶段的工作情况,介绍了专项督查工作方案,并部署了下一阶段工作任务。交通部部长李