低傅氏数兴波数值预报的不稳定现象及其解决方案

本文针对船舶在低傅氏(Froude)数兴波数值预报中容易出现计算不稳定的普遍现象,从离散差分格式出发,对控制方程离散格式进行数值分析,推导出船舶CFD所特有的(带自由面)不稳定项形式,从理论上来解释这一现象.同时,根据所推导的数值耗散项的表达形式,提出了低Froude数计算稳定性的控制策略,主要为采用时间一阶隐式格式;减小时间步长;适当加密自由面附近的网格;综合应用前三种策略.     

2020年,行业新突破

2020年,轨道交通行业在全自动驾驶、智能化建设、城轨互联互通、5G、装备制造技术创新等领域取得了多项突破。时速350公里高速货运动车组下线经过3年多努力,我国成功研制出时速350公里高速货运动车组,2020年12月23日在河北唐山正式下线。这标志着我国高铁货运技术实现重大突破,填补国内高速货运动车组技术和产品空白,建立高速货运动车组的技术标准体系,为货物运输提供经济、快速的运输新渠道。     

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

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

货车自动驾驶技术及标准法规发展分析

目前,自动驾驶技术在乘用车领域已获得突破性发展;为提高通行效率和出行安全起到了极大的作用。自动驾驶技术在商用车领域的应用,有望较好解决高昂的人力成本和难以提高的效率等问题。然而,目前自动驾驶技术在货车的应用大多采用跟乘用车同样的标准进行规范,这在实际应用中存在着诸多的问题;例如,在FCW和AEB功能中货车在相同车速的制动距离要远大于乘用车,而其所采用标准规定的碰撞预警时间却并无多大不同,这在实际场景中存在着较大的安全隐患[1,2]。此外,货车质量和体积较大,且较多应用于长途运输,运输过程中会经历包括高温、严寒、山区等多种复杂气候场景,这些都将对货车自动驾驶技术在车辆制动效能、能耗以及多场景应用等方面提出更有针对性规范的要求。本文针对货车的应用场景特点,为其自动驾驶技术应用标准化提出了建议。     

城市轨道交通列车故障救援延误计算与仿真

针对城市轨道交通列车故障救援方式及延误计算问题,对列车故障救援作业流程进行分析,然后根据作业流程建立5种救援方式的延误计算方法,最后使用Open track对福州市某地铁线路进行列车故障救援仿真,并对仿真与计算结果进行比较分析.研究结果表明:在一定范围内提高救援速度可有效减小救援列车作业时间;所提出的计算方法可较为准确反映延误情况;在救援起讫点内,以固定闭塞运行的后序列车的延误会突增并积累,造成延误增幅的差异.     

我国机场货运规模体系评价及优化建议

新形势下,优化中国机场货运规模体系对中国民航高质量发展和民航强国建设具有重要现实意义。从总量规模、货运功能、整体优化水平的多视域角度可以对中国机场货运规模体系进行综合评价。分析表明:(1)目前,我国航空货运形成了"4+3+N"机场发展格局;(2)我国机场货运功能整体呈现"低水平、扁平化"发展态势;(3)我国机场货邮规模体系优化程度有待提高,与美国也存在一定发展差距。本文的政策涵义在于,中国机场货运规模体系优化要有系统性思维,结合当前发展新形势和新机遇,重点应在供需两侧、系统布局、改革协同三个维度进行顶层设计。     

面向新型混合交通流的智能交叉口网络布局优化

考虑网联自动驾驶车辆(Connected Autonomous Vehicle, CAV)应用先进的车联网与自动驾驶技术，可以采用智能交叉口的组织形式，大幅提升交叉口的通行效率，为降低CAV与人工驾驶车辆(Human-driven Vehicle, HV)混行条件下城市交通系统的整体出行成本，提出智能交叉口在城 市交通网络中的布局优化问题，建立数学优化模型并求解。首先，基于对两类车辆行驶特性的分析，建立混合用户均衡模型，描述CAV与HV的路径选择行为；其次，从交通规划者的角度，以系统最优为目标，整合混合用户均衡模型，建立面向新型混合交通流的智能交叉口网络布局优化模型，并利用改进的遗传算法求解；最后，选取Sioux-Falls交通网络作为案例分析，验证模型与算法的有效性，并研究CAV渗透率变化对优化结果的影响。研究表明，智能交叉口在城市路网中的合理规划极大地提高了新型混行场景下城市交通系统的出行效率，同时，大幅降低了由于网联自动 驾驶单方面技术优势带来的CAV与HV的出行效率差距，增进了出行公平性。     

粘弹性人工边界在地下结构抗震分析中的应用

地下结构地震反应分析需考虑结构-地基的动力相互作用,其中场地土层的自由场反应分析是确定地震输入的关键问题。以往地下工程实例表明,在结构动力时程计算中,能否有效模拟无限地基边界对结构抗震分析有很大的影响。基于某地下综合体项目进行抗震评估,采用黏弹性人工边界模拟自由场震动响应,克服工程中传统分析里不能模拟场地无限域的缺点。为地下结构的动力时程分析提供可靠数值依据。     

装备维修企业建立标准体系的研究

根据国家标准中企业标准体系的相关要求,对装备维修企业建立标准体系进行了探讨,提出装备维修企业标准体系的结构及内容,以及制定装备维修企业标准的一般程序。