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

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

现代汽车故障自诊断系统的局限性

介绍了现代汽车故障自诊断的重要作用以及存在的局限性。故障自诊断只提供了故障的性质和范围，还必须利用诊断检测设备进一步检测分析，以确定故障原因，予以排除。     

山东省中小港口现代物流发展模式

<正> (一)山东省中小港口现代物流发展存在的问题和制约因素 从总体来看,山东省中小港口现代物流处在刚起步阶段,发展水平比较低。这一方面是由经济发展水平所决定的,另一更为重要的方面是还存在着许多影响和制约现代物流发展的因素,比大型港口发展现代物流面临更大困难。主要表现在:企业规模小,实力弱,融资困难,在行业竞争中处于弱势;腹地较小,没有稳定的大客户或大客户很少,现代物流发展需求相对不高;硬件设施不完善,如仓储、运输设施薄弱,许多小型港口货物集疏只     

深化国有港口企业改革的探索

<正> 在新世纪、新时期,国际经济竞争更趋激烈,我国已加入世 界贸易组织;我国已确立全面建设小康社会的奋斗目标,国民经 济和社会发展对港口服务需求与时俱增;新一轮港口管理体制     

价格不降创销售四万辆奇迹

记者从北京现代获悉．截止到10月16日，北京现代销售的索纳塔轿车已经突破了4万辆，更令人称道的是、达到这一数字竟然是在价格不降的前提下。4万辆的神奇数字为北京现代的周年厂庆献上丁一份珍贵的厚     

提升核心竞争力是开展港口综合物流的基础

<正> 物流的系统化或称综合物流,是物品从供应地向接收地的实体流动过程,是运输、储存、装卸、包装、流通加工、配送、信息处理等基本功能的有机结合。将社会物流与企业物流有机地结合在一起,从采购物流开始,经过生产物流、再进入销售物流,包括整个物流供应链的管理过程,即通过统筹协调、合理规划来控制整个商     

基于ITS的物流系统

国内ITS和现代物流两个领域的研究人员都分别做出了大量的研究工作,但由于ITS和现代物流每一个领域都横跨多个学科,系统自身的复杂性和集成性很高,受学科领域的限制,物流和ITS这两个领域的研究人员一般只在自己关心的研究领域内进行研究,从目前掌握的大量文献资料来看.还未见有将ITS和现代物流综合考虑,将两者集成在一个统一的系统框架下进行设计、研究的报告或文章.但探索ITS与现代物流的协同研究对ITS产业化,推动现代物流的发展有重要意义. 本文从ITS的概念和相互关系出发,分析了ITS对现代物流的影响,提出了ITS物流系统的概念、支撑技术和总体构架.