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

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

面向问题的交通管理规划研究

在公安部、建设部“畅通工程”的指导和督促下，交通管理规划编制工作目前已在我国(特)大城市全面展开。本文将在实践经验基础上，全新提出面向问题的交通管理规划研究方法，同时归纳交通管理规划的定义，界定交通管理规划在解决城市交通问题中的重要地位。     

一种基于机器码存储的改进遗传算法的应用研究

提出了一种基于机器码存储的改进遗传算法，适于优化大型多变量问题。开发的C 基本位操作算子，使此算法仍可沿用传统二进制遗传算法的交叉变异操作。这一算法在内存和时间上占优势，是一种稳健的、全局搜索能力较强的优化算法，并在建立河北省某地区的年降雨神经网络预测模型的实践中得到了验证。     

民进党缘何迅速由盛而衰

本文是大陆着名台湾问题专家，对民进党政权因系列弊案爆发，导致迅速衰败的缘由作出的系统性分析。文章指出了民进党迅速由盛而衰的四大症结所在，同时也指出目前台湾政局仍有许多不确定因素，大陆追求融合、和解、共赢的政策，仍需要一个很长的过程才能完全奏效。[编者按]     

企业财会工作运用稳健性原则存在的问题及对策

<正> 一、稳健性原则的发展及其主要作用 1.稳健性原则的发展 稳健性原则又称谨慎性原则,是指某些经济业务或会计事项有几种会计处理方法和程序可供选择时,在不影响合理选择的前提下,应充分预计可能的负债、损失和费用,尽量少计或不计可能的资产和收益,以避免会计报表所反映的会计信息引起会计报表使用者的盲目乐观,导致决策失误。 在西方,稳健性原则早在20世纪初就被广泛运用于各个行业,当时只局限于对资产的低估,未涉及其他方面。经济危机之后,由于经历了市场不确定性带来的巨大风险,使每一个投资者和经营者都强烈的意识到稳健经营的重要性,因此稳健性原则     

超高温淬火在摆辗模中的应用

摆辗机是一种新型的采用液压—电机联合驱动 ,使被加热的工件不断产生变形 ,从而获得所需形状和尺寸的锻件热锻设备。该设备广泛应用于汽车半轴锻件 ,也适用于其他行业中的类似锻件 ,与其他热锻设备相比有省力、变形均匀、无冲击、投资少等优点。摆辗模是在高温下无冲击加压 ,以局部变形代替常规锻造中的整体变形 ,强迫加热金属变形的成形模具。其在工作中除承受较大的压力和耐受较长时间的高温外 ,还要受到因反复加热、冷却而引起体积反复变化的交变应力等多种应力的作用 ,极易导致热疲劳龟裂的产生。所以 ,如何提高摆辗模的耐热性能和耐热…     

直流电机换向问题的研究

本文介绍了大型低电压大电流直流电机采用不同电刷牌号、电刷结构以及电刷位移（即增加换向区占中性区比例）对换向影响的试验研究，通过分析，试验、研究，得出从不同角度看换向好坏的有益指导性看法，以及判断换向好坏的标准。     

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

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

麦克拉伦新车MP4—18A问题仍多莱科宁希望在舒马赫退役前夺总冠军

奥地利大奖赛在舒马赫取得胜利后划上了圆满的句号。法拉利凭借这一场关键的胜利。将车队积分赶超上前5站都位于领跑位置的麦克拉伦。在车手积分上莱科宁的领先位置也岌岌可危，稍有不慎就会将被舒马赫超越!