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

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

基于行驶工况的零部件耐久性测试工况构建

针对汽车零部件耐久性测试工况获取过程复杂的问题,提出了通过实际行驶工况解析出零部件耐久性测试工况的方法.基于西安市某线路纯电动公交车实际运行数据构建得出行驶工况,根据车辆实际参数建立整车仿真模型,仿真并计算得到基于实际行驶工况的电机输出轴应力载荷工况.由线性疲劳累计损伤理论和电机输出轴材料S-N曲线得出电机输出轴损伤值计算方法,并通过四峰谷值雨流计数法统计出不同应力载荷工况下的电机输出轴受到的损伤值,从而得出对应的循环寿命,选择寿命最短的行驶工况对应的电机转速工况和转矩工况作为电机输出轴耐久性测试工况.     

轨道车辆车体涂装国产机器人生产线设计

机器人涂装替代人工喷涂,可改善作业环境,降低操作者劳动强度,提高车体油漆涂装质量.文章通过对轨道车辆车体涂装和机器人涂装的特点分析,设计适用于轨道车辆车体涂装的国产机器人生产线方案,为车体涂装国产机器人生产线的设计和应用提供指导意义.     

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

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

FPSO内孤立波载荷实验观测及理论预报模型研究

利用大型密度分层水槽开展了下凹型内孤立波作用在FPSO上的载荷特性系列实验;并依据实验工况,考虑KdV、eKdV和MCC内孤立波理论的适用性条件,数值研究了FPSO内孤立波载荷成分构成;基于实验结果和载荷成分构成,建立了FPSO内孤立波载荷的理论预报模型.研究表明:FPSO内孤立波水平载荷由粘性力和Froude-Krylov力组成,而垂向载荷主要为垂向Froude-Krylov力;Froude-Krylov力可通过动压力沿FPSO浮体湿表面积分得到,粘性力则通过经实验回归的摩擦系数Cf、形状修正因数K乘以内孤立波诱导水质点切向速度沿FPSO浮体湿表面积分得到.系列实验结果得出:摩擦系数Cf和形状修正因数K与雷诺数Re、KC数和流体层深度比h1/h有关;摩擦系数与Re呈自然对数关系;而形状修正因数K与KC数呈幂函数关系.理论预报模型预报的水平载荷、垂向载荷结果均与系列实验和数值结果吻合较好,并且发现随着内孤立波振幅的增加,载荷幅值近乎线性增加,而且上层流体深度对水平力幅值有明显的影响.     

Ti含量及冷却速度对Al-Mn-Ti合金组织的影响

采用高频感应炉对Al-Mn-Ti合金进行制备和研究,探究Ti含量及冷却速度对Al-Mn-Ti合金组织的影响.研究结果表明:未加Ti时,Al-Mn-Ti的合金组织由Al基体和T相准晶组成;加入Ti元素后,合金组织中出现花瓣状准晶Al_(72)Mn_(10)Ti_(18),随Ti含量的增加,花瓣状准晶增多,形状无明显变化;当Ti含量增加到7%时,组织中的Al基体消失,由T相准晶和花瓣状准晶Al_(72)Mn_(10)Ti_(18)组成.随冷却速度增加,过冷度增大,花瓣状准晶Al_(72)Mn_(10)Ti_(18)进一步生长形成树枝状的二次枝晶.     

基于主客观综合定权法的单值中智TODIM决策方法

定权问题是多属性决策问题中的核心内容,传统定权方法大多仅单方面从主观或客观角度确定权重,合理的属性权重应综合考虑专家偏好与决策数据.因此,文中以单值中智集为研究对象,设计基于熵权法和DEMATEL法的主客观综合定权法,充分考虑决策者的有限理性特点,提出基于单值中智集的TODIM决策方法.首先,分析现有记分函数的缺陷,提出一种新的记分函数,实现单值中智数的大小比较;其次,提出主客观综合定权方法,其中,运用熵权法确定客观权重,根据DEMETAL方法获得主观权重,根据线性加权法确定各属性的综合权重;再次,将TODIM方法拓展到单值中智集理论,构建了基于单值中智集的TODIM方法模型;最后,以决策者投资中小企业为决策背景进行案例分析,验证文中方法的可行性和合理性.