国际冻土研究动态--第八届国际冻土大会综述

2003年7月20～25日在瑞士苏黎士召开了第八届国际冻土大会。本文在总结本届大会所有学术论文的基础上，重点讨论介绍了冻土学研究、多年冻土区的工程研究、多年冻土的勘察与钻探等三个方面的国际最新研究成果及动态。希望本文对从事寒区工程研究的工作者们有所借鉴。     

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

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

航海备忘录

<正>IMO启动有关压载水性能标准实施的研究据悉,IMO启动实施国际船舶压载水和沉积物控制与管理公约(BWM公约)第D-2条款所述的压载水性能标准研究。该项研究将就批准压载水管理系统指南(G8)的实施和有关类型认可程序,以及船上日常操作中认可压载水管理系统(BWMS)的性能进行评估。其研究基于事实,将专注于收集、综合和分析数据、可验证信息并编制文件。该项研究涉及两个途径以便利和优化数据收集。途径一     

中速柴油机活塞疲劳强度仿真分析及试验验证

在某中速柴油机活塞的研发过程中,为保证活塞的疲劳强度符合设计要求,采用阶段验证法验证校核活塞的疲劳强度,最大限度地降低活塞开发和运行风险。     

长大货物车适应THDS轴温探测技术的研究

针对不适应THDS轴温探测系统的长大货物车,分析论证了现车轴箱改进方案适应THDS轴温探测的不足,并提出了轴箱优化方案。经计算、试验和装车验证表明,新轴箱可行、有效、安全,满足THDS轴温探测要求,保证了长大货物车运输安全。     

计及移相角的多边形自耦变压器12脉波整流系统分析

多边形自耦变压器一定程度上减小了整流系统的体积,节约了变压器制造成本。为使多边形自耦变压器输出较大的二次侧电压值,优化多边形自耦变压器移相角,分析多边形自耦变压器移相角对12脉波整流系统输入侧电流谐波总畸变率,输出侧电压纹波系数,变压器、平衡电抗器、零序电流抑制器等效容量的影响;对比移相角在π/6、π/2时各个参数的值;提出适用于升压场合的多边形自耦变压器升压移相角;仿真实验验证了理论分析的正确性。同匝比时,多边形自耦变压器采用新移相角其输出电压幅值约为输入电压幅值1.4142倍,等效容量约为62.8%,较传统隔离式变压器等效容量小约37.2%。     

DNV引领全球页岩气风险管理标准制定

正[伦敦]DNV发布了基于风险管理原则的页岩气开采过程推荐操作规程。该规程为页岩气项目的独立验证提供了参考文件,旨在为安全、可持续的页岩气开采形成全球公认的标准奠定基础。DNV的推荐操作规程应用风险管理原则,确保页岩气开采所带来的危险能以精确、平衡、透明和可追踪的方式进行有效的管理。     

外海长周期波浪作用下的斜坡堤结构设计

长周期涌浪和风浪的混合浪具有周期长、波能大的特点，该种环境下的斜坡堤结构设计不能简单地参照现行规范执行。依托某已建工程，采用计算及理论分析对其设计过程和物理模型试验验证过程进行对比分析，得出适用于外海长周期混合浪作用下的斜坡堤结构设计要点。结果表明，外坡护面块体的选用和防浪墙顶高程确定等设计需要额外考虑经验系数；墙后堤顶和堤后斜坡需要格外加强，堤顶尽量选用合适的防浪墙结构形式；现行规范的护底块石计算公式在浅水条件下并不适用。     

某型客车不同弯道半径安全车速分析

车辆在弯道发生事故较多,不同弯道安全车速的获取对车辆行驶安全具有重要的意义,但人工测量不同弯道车速时的危险性较大。以某6906型的中型客车为研究对象,采用Trucksim仿真软件建立该车的整车动力学模型,根据GB/T 6326-2014中蛇形实验的试验数据与仿真数据对比验证模型的有效性。在此基础上,研究仿真不同弯道半径(10~300 m)下的安全通过车速,对比简化模型计算车辆的理论安全车速。研究结果表明:随着弯道半径的增加,客车的安全车速逐渐增大,但并不是呈线性增加。     

华域电动展出电机电控产品 重点为新能源汽车配套

在刚刚落下帷幕的"第十五届上海国际汽车工业展览会"上,华域汽车电动系统有限公司展示了其最新研发的几款新能源车用核心零部件。华域电动此次的展品受到了国内外整车客户的广泛关注。其中最受瞩目的莫过于为"荣威纯电动车E50"配套的50kW驱动电机。这是一款嵌入式永磁同步电机,额定功率为38kW,实测峰值功率为63kW,峰值扭矩超过160Nm。电机额定功率38kW/3000r/min,电机整机功率密度超过1.6kW/kg。实测电机最高效率达97%,高效