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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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]。此外,货车质量和体积较大,且较多应用于长途运输,运输过程中会经历包括高温、严寒、山区等多种复杂气候场景,这些都将对货车自动驾驶技术在车辆制动效能、能耗以及多场景应用等方面提出更有针对性规范的要求。本文针对货车的应用场景特点,为其自动驾驶技术应用标准化提出了建议。     

河钢塞钢对中国港口开拓海外市场的启示

面对机遇与风险并存的局面,中国港口企业如何学习河钢塞钢管理团队的成功经验,在"走出去"的过程中,用最短时间实现最大化发展近几年,随着"一带一路"倡议转入实体层面的推动,中国港口企业纷纷走出国门,积极开拓海外市场,投资项目的数量和规模不断扩大,取得了不错的成绩。     

基于能量重心定位的水下防护薄板结构撞击识别方法

为弥补传统能量重心定位方法的不足,综合考虑薄板结构上孔的非对称分布,创造性地提出一种基于加权能量重心定位的撞击识别方法.通过有限元模拟验证该方法的有效性和准确性,结果表明,该方法能快速而准确地对非对称、非连续薄板结构的撞击位置和撞击应力进行识别判定.研究成果可为结构撞击识别方法的改进优化提供理论支持,为工程中复杂结构的撞击监测和识别提供技术支撑.     

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

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

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

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

感应充电路面技术研究现状与展望

以感应充电技术(Inductive Power Transfer,IPT)为主要特征的充电路面(Electrified Road,e-Road)近年来发展迅速，其可为行进中的电动汽车进行动态无线充电，有效解决电动汽车充电时间过长、续航里程不足等问题，是支撑未来公路交通电气化发展的重要储备技术。详细介绍了IPT系统的工作原理和性能特点，并总结了已有e-Road试验段的充电性能参数和技术就绪度水平。在此基础上，进一步从基础设施角度剖析了e-Road目前存在的主要工程问题及相关研究进展，内容包括：①深入分析了IPT系统工作时因高频磁场通过介电性路面材料所引起的电磁损耗对IPT系统充电效率的影响，并提出了可能的解决方法；②针对充电模块与普通沥青路面存在的力学兼容性问题，从结构受力原理、材料损伤特性等方面总结了e-Road复合结构产生力学损伤加剧效应的原因，并提出了耐久性优化措施；③针对e-Road环境可持续方面存在的不确定性，评估并对比了e-Road与传统道路的全生命周期环境效益，指出了e-Road环境性能研究对电动汽车全生命周期综合效益估算的重要性。此外，还从政策支持、安全性、价格因素等角度对e-Road进行了综合可行性评估，并对充电路面基础设施的未来发展进行了智能化展望，提出了e-Road与其他新型智能道路技术进行有机融合的可能途径。     

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

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