锂离子动力电池热管理方法研究进展

动力电池组是电动车船的关键部件,电池温度过高造成的电池性能下降乃至热失控会使整车面临严重的安全风险。本文从传统热管理方法(空气冷却、液体冷却)和新型热管理方法(相变材料冷却、热管冷却、喷雾冷却和液态金属冷却)等几个方面对电池热管理方法进行综述,给出目前电池热管理方法的研究进展,为后续的研究方向提供参考。     

G1503沿江通道浦东段接线工程方案研究

当前,上海市域北部G1503与S20为共线段。在构筑沿江通道,适应“长三角一体化”、上海自贸区扩区等一系列战略举措下,该段高速公路网迫切需要完善。通过对沿江通道越江隧道至五号沟区段内的建设条件、功能定位,以及未来需求发展的研究,分析接线工程规模与关键问题,形成工程方案,并提出方案下的交通评估与相应建议,为工程项目推进、转移S20重型货车流量、提升北部地区交通出行环境、拓展上海城市的发展空间提供参考。     

穿越断层破碎带隧道减震措施研究

隧道本身具有良好的抗震性能,但是近年来大量震害研究调查发现,穿越断层破碎带的隧道很容易遭受严重破坏,开展穿越断层破碎带隧道动力响应和减震措施研究具有重大现实意义。基于数值计算并结合雅泸高速公路勒不果喇吉隧道,研究了穿越断层破碎带隧道的抗减震措施。结果显示,减震层对穿越断层隧道的减震效果明显;合理减小隧道衬砌刚度,对穿越断层隧道减震是有利的。     

PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑提出了ＰＲＯＬＯＧ程序正确性的一种证明方法。     

寒区隧道洞口保温层设防长度确定方法探讨

高海拔寒冷地区隧道冬季常因低温环境影响导致洞口段产生衬砌开裂、挂冰等冻害问题,如何科学合理地确定寒区隧道洞口保温层设防长度是寒区隧道安全运营的关键.以雀儿山隧道为例,基于现有不同的保温层设防长度确定方法得到洞口保温层设防长度,并结合现场测试对比分析各种方法确定的设防长度值,探讨其优缺点.同时研究提出,针对两端洞口环境条...