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

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

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

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

迈腾B8电动后视镜控制系统的检测方法

鉴于现代轿电动后视镜控制系统功能繁多、结构复杂,故障排除难度较大。以迈腾B8电动后视镜控制系统为研究对象,通过分析其线路图工作原理,进而重点分析了后视镜转换开关EX11信号的检测信号和后视镜左右调节电动机V17控制电路的工作过程、常见故障与检测方法。结果表明:通过该检测方法能够有效地排查出该控制系统常见故障,并能够为其他车型控制系统提供规律性参考。     

基于江海联运的长江港口投资战略研究

为做好投资决策，以浙江省海港集团布局长江沿线港口为例，研判市场环境，构建评价指标体系，采用聚类分析模型寻找投资价值洼地，最终确定集团投资战略。研究结果不仅可为浙江省海港集团投资长江沿线港口提供决策支撑，也可为同类项目投资提供参考。     

基于改进TOPSIS的城市客运综合交通枢纽评价

城市客运综合交通枢纽规划方案的优劣对城市综合交通系统的建设发展具有重大影响。为了提高城市客运综合交通枢纽规划方案评价的客观性和准确性,结合城市客运综合交通枢纽客流衔接换乘的系统分析,从多维角度出发构建了城市客运综合交通枢纽规划方案评价的多层次指标体系,在遵循方案评价基本原理及城市客运综合交通枢纽特点的基础上,提出了基于改进逼近理想点排序法的评价方法,用于城市客运综合交通枢纽方案的评价,建立城市客运综合交通枢纽综合评价模型。     

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

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

建筑工程施工安全氛围的因子结构模型——基于长沙建筑市场的调查

建筑工程施工安全氛围是建筑安全事故有效的事前预测因素,而施工安全氛围因子结构的不一致一直是建筑安全管理专家争论的焦点.以长沙为采样地区,结合专家访谈设计了建筑工程施工安全氛围的测量问卷,综合运用探索性因子分析和验证性因子分析识别并验证了建筑工程施工安全氛围的因子结构模型,基于该因子结构模型评价了长沙地区的建筑工程施工安全氛围,并结合以往研究成果对该因子结构模型进行讨论.研究结果表明:建筑工程施工安全氛围可用三因子结构模型测度,三因子为项目安全管理承诺、工人安全响应和领班安全承诺;测评发现工人安全响应分值最高,且项目安全管理承诺分值高于领班安全承诺.     

基于改进多元统计控制图的接触网状态综合评价方法

为充分利用接触网的多维状态信息,实现接触网状态的准确判断,基于统计分析思想,以可靠度为依据对接触网的状态进行细分.以接触网寿命周期内各状态分布的置信度为依据,确定多元统计控制图中不同状态的控制限.将多元统计控制图由传统的二元判断拓展为多元判断,分析利用接触网参数建立多元统计控制图的3种方法.研究结果表明:多元统计控制图可将接触网的多维状态参数转化为一个统计量,状态判断更加简单直观,且对接触网参数的波动更灵敏,能更直观的显示出接触网状态变化的趋势.