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

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

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)进一步生长形成树枝状的二次枝晶.     

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

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

多模式交通环境下上海居民职住选择行为

随着城市尺度不断扩张,由职住分离带来的长距离、长时间通勤交通问题日益严重。为研究多模式交通环境上海居民职住位置选择行为及其影响因素,基于网络问卷调查数据、上海市路网数据及房价数据,构建方式选择与目的地选择联合模型,按照选择次序,分析各出行方式的服务水平和房价等变量对居住地和工作地的选择影响。结果表明,居民倾向于选择通勤距离近、交通可达性良好、房价低和人文生活环境较好的小区工作生活,同时年长者和低收入群体对通勤距离和房价更敏感。     

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

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

高速铁路对湖南省县域经济集散效应分析

为研究高速铁路对湖南省县域经济集散效应,选取2008～2017年湖南省124个区县的数据,采用双重差分(Difference in Difference,DID)模型,从经济密度、人口密度、第三产业区位熵、市场内部潜力4个方面来衡量高铁开通对县域经济产生的影响.研究结果表明:高速铁路开通对湖南高速铁路通过的核心县城市人口密度、经济密度与市场内部潜力产生显著提升作用,但在短期内会削弱核心县城市第三产业增长,削减了第三产业结构升级动力;高速铁路开通通过吸引农村或小城镇人口提高城市的经济集聚水平;高速铁路对促进边缘区域县城市第三产业发展贡献大,有助于区域经济协调发展.应重视核心、外围、边缘区域县城产业结构转型,尽快发挥高速铁路开通带来的经济效应.     

深海变径声阵缆布放回收装置研究

本文提出了基于深海工作站运搭载的变径缆海底布放回收方式，介绍了变径缆海底布放回收装置的主要工作原理和结构组成，完成了布放回收装置主要部套件的设计计算以及和电液控制系统的设计及计算。     

准比例谐振控制算法在三相逆变电源中的应用研究

非线性负载会在三相车载逆变电源系统中引入谐波,损伤用电设备。为了降低逆变电源输出电压谐波含量,文章研究了基于准比例谐振控制算法的谐波抑制方法 ,主要抑制电源输出的5次和7次谐波。通过仿真模型和实物试验,测试了传统瞬时控制方法和准比例谐振控制方法的差别。结果表明,准比例谐振控制方法既能消除输出电压中的特定次谐波,又可满足系统动态响应性能和稳态精度要求,具有良好的谐波抑制效果。     

双电机混动车辆串并联模式切换过程设计与实现

针对双电机混动车辆在车辆运行过程中串并联驱动模式的切换需求,通过分析双电机混联构型结构特点,提出一种通过发动机、发电机和驱动电机协调控制实现无动力中断的切换控制方法.将串联到并联切换过程分为发动机工作点转移、离合器结合、动力源切换三个阶段,将并联到串联切换过程划分为动力源切换、离合器打开、发动机工作点转移三个阶段,能够实现串并联驱动模式的顺利切换,同时上述切换阶段划分也能较好的支持串并联切换过程中的切换意图改变操作.最后进行了控制策略的实车验证,切换过程中冲击度小于8.结果 表明,所提出的串并联切换控制方法能够完全支持车辆运行过程中的串并联切换.