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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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.稳健性原则的发展 稳健性原则又称谨慎性原则,是指某些经济业务或会计事项有几种会计处理方法和程序可供选择时,在不影响合理选择的前提下,应充分预计可能的负债、损失和费用,尽量少计或不计可能的资产和收益,以避免会计报表所反映的会计信息引起会计报表使用者的盲目乐观,导致决策失误。 在西方,稳健性原则早在20世纪初就被广泛运用于各个行业,当时只局限于对资产的低估,未涉及其他方面。经济危机之后,由于经历了市场不确定性带来的巨大风险,使每一个投资者和经营者都强烈的意识到稳健经营的重要性,因此稳健性原则     

长江口深水航道追越问题的研究

长江口深水航道自试通航以来，产生了很好的经济效益，但航槽由原来的8.5n mile到目前的28n mile，从船舶操纵的角度讲也带来了一系列的问题，特别是追越方面的问题尤为突出。此文就此作了研究。     

1992年上海海运局国内沿海集装箱运输

1992年五吨集装箱的运量达6万箱和20万吨货，比1991年分别增长11%和17%，集装箱箱体的技术状态也有了明显的好转，但存在的问题仍然不少。     

花瓣孔成型凸模设计与改进

花瓣孔一次性成型凸模设计，提高了生产效率，降低了加工成本。     

Java编程技术中汉字"乱码"问题的分析及解决

在Java语言的程序设计中，经常会碰到汉字的处理及显示出现“乱码”问题。本文通过对Java汉字处理技术的分析，发现了Java语言对汉字处理的不足之处及解决方法，并编程实现，很好地避免了Java应用系统中的“乱码”情况，这对于程序员应用Java开发具有很好的参考意义。     

计量管理工作中存在的问题及对策

计量是国民经济的一项重要基础，为安全提供保证，维护国家和人民的利益。在企业中，计量为企业经营管理提供必需的科学数据和信息，是企业生产技术进步和管理现代化的基础和前提，是企业生产实现长治久安的根本保证。随着我国加入WTO后经济的进一步发展，企业计量工作受到了一系列的影响和挑战，面临的形势不容乐观。计量工作如何适应新时期发展的需要，在企业中更好地发挥潜能，已成为当前亟需解决的重要课题。尤其是工务，作为维护和保养铁路线路的主要部门，计量这项基础工作至关重要，计量的优劣在很大程度上影响和制约着工务系统的…