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

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

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个方面来衡量高铁开通对县域经济产生的影响.研究结果表明:高速铁路开通对湖南高速铁路通过的核心县城市人口密度、经济密度与市场内部潜力产生显著提升作用,但在短期内会削弱核心县城市第三产业增长,削减了第三产业结构升级动力;高速铁路开通通过吸引农村或小城镇人口提高城市的经济集聚水平;高速铁路对促进边缘区域县城市第三产业发展贡献大,有助于区域经济协调发展.应重视核心、外围、边缘区域县城产业结构转型,尽快发挥高速铁路开通带来的经济效应.     

城市轨道交通网络拥堵易发点的识别及评价

在城市轨道交通物理拓扑层、设施能力层与客流分布层网络模型基础上,构建了多属性网络.阐述了网络拥堵易发点的网络拓扑、网络运输能力及网络客流等特征指标,并采用基于AHP-熵权法的组合权重法对拥堵易发点进行拥堵风险的辨识和评估,探究了网络拓扑结构、运输能力和客流需求之间的关联性.在北京轨道交通的实例中,识别的拥堵易发点多为衔接郊区线与市区线的换乘站.这验证了识别和评价方法的有效性和实用性.     

快速路隧道路段车道缩减情形下通行能力评估及应用研究

快速路系统是城市路网主骨架的重要构成部分,其主通道作用能否充分发挥,常受制于瓶颈路段通行能力.在快速路隧道路段车道缩减情形下,分析隧道路段的道路条件,从交通检测大数据提取交通流时空分布特征,选用Greenshelds交通流模型,分车道标定模型.对比隧道路段与紧邻的普通路段各车道通行能力差别,评估隧道路段车道期望通行能力、运行通行能力;比较渐变缩窄与信号控制两种模式缩减车道的通行能力差异,提出兼顾通行量最大化与路权公平的信号控制改善方案.验证了:车道通行能力自内向外衰减;运行通行能力比设计通行能力低;提出的信号控制改善方案可提高通行能力3.4％.     

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

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

全球FPSO船型开发领域核心技术的演化分析

以国内外专利数据为分析对象,采用专利计量分析的技术方法深入研究浮式生产储油卸油装置(FPSO)开发技术的演化态势,对FPSO船型开发领域的核心专利进行分析,总结出FPSO船型开发的发展路线.结果表明:当前FPSO船型开发领域的主要研究方向是旧船改造、新概念FPSO和通用FPSO.旧船改造的技术点主要聚焦于超大型船舶设计;新概念FPSO的技术点主要集中于浮体形状设计、上部甲板大型化和刚性立管作业问题;通用FPSO的技术点主要侧重于标准化船壳设计、模块化FPSO设计和FPSO一体化建造,未来企业可考虑在模块化FPSO的上甲板承载与布局、管线布置、生活区布置、减摇和抑制垂荡问题上进行专利布局研究.     

高速铁路动态定价与票额分配协同优化研究

目前我国高速铁路票价制定还比较缺乏灵活的市场化机制,严重影响铁路运输企业收益和服务水平的提高。基于高速铁路旅客出行规律和收益管理策略,研究高速铁路动态定价与票额分配协同优化方法。在分析旅客出行价格需求弹性的基础上,构建基于Logit模型的客流弹性函数,考虑临近发车客票不涨价和运输能力等约束,建立以期望客票总收入最大化为目标的优化模型,设计一种基于超分方程的分步算法,求解不同时段下不同列车的最优票价与票额分配方案。以京沪高速铁路为例进行计算和分析,与固定费率票价相比,动态票价策略能保证服务水平,系统总客流需求下降0.73%,企业客票总收益提高4.95%。