机场跑道填缝胶的研究

通过制备聚硫填缝胶，并对其进行抗拉伸、耐高低温等性能测试，讨论溶剂、环氧树脂、DBP、填料、催化剂等各因素对其性能的影响，总结其最佳实验配方。     

RC连续弯箱梁桥温度荷载下的位移计算及预防措施

以320国道某实际工程为背景，利用空间有限元软件ANSYS计算由温度变化引起的钢筋混凝土连续弯箱梁桥的不利变形，从设计和构造两方面提出预防温度变化引起的钢筋混凝土连续弯箱梁桥梁体外移的措施。     

混凝土箱梁设计参数对温度效应的影响

在对水府庙混凝土箱梁桥温度场的实测和分析基础上,进行设计参数的研究,包括箱梁翼缘悬臂长度、腹板高度和桥梁轴线方位角对温度场和温度应力的影响,得到最大横向温差与（腹板高度/翼缘悬臂长度）的曲线图.     

间歇式沥青拌和站冷料供给系统流量的标定方法

以实例介绍间歇式沥青拌和冷料供给系统流量的标定方法和步骤，以确保冷料供给器按目标配合比准确供料，使沥青混合料的生产配比更加接近目标配比，保证拌和成品料的质量。     

模拟计算法在重型车辆燃油经济性标准中的应用研究

随着节能减排压力的日益严重,世界各国均开始制定重型车辆的燃油经济性标准。在对重型车燃油经济性的测量方面,模拟计算法由于操作简单、可重复性好、成本低的优点越来越受到行业的重视,在日本、中国和美国的标准中都得到了应用。本文在分析模拟计算法测量车辆燃油经济性的原理基础上,对比研究了日本、中国和美国标准中模拟计算法的应用情况,分析了各国在模拟计算法关键环节上策略的异同。     

海工产业将走向高度国际化融合

合理的油价是支撑海洋石油开发的重要条件。但自2014年6月以来,全球油价却出现了历史罕见的大跌,导致巴西、北海、美国、墨西哥、中国等全球重要的海工市场,都相继出现船东撤单或者租家"难寻"的情况,海工行业风险加大。作为海工领域"新生代"的中国企业,如何在市场寒流中实现可持续发展,更上层楼?带着这些相关问题,本刊记者采访了中集集团副总裁、烟台中集来福士海洋工程有限公司总裁于亚。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。