一类命题知识库的更新算法

本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状。近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法，一类是基于模型的方法，但所有这些方法在通常上都是难解的。本文结合实际应用，提出了一种特殊情况下的更新方法，并给 相应的多项式时间算法。     

消除子句冗余的算法及复杂性

本文讨论了知识子句表示的冗余消除，着重讨论了子句中冗余文字的消除的民政部压缩是消除子句文字冗余的一种重要类型除对这种类型的问题的可判定性以及复杂性结果进行讨论外，本文还给出了压缩问题的一个子问题的多项式算法。     

诱导推理及其应用

诱导推理方法是三种基本的逻辑推理方法之一—其余的方法为演绎和归纳。本文概述了诱导推理方法的研究及其在其它问题领域中的应用，并论述了该方法与其它方法相结合的研究。     

一类诱导问题的多项式时间算法

在实际生活中经常会遇到利用已知的一些事实来解释观察到的现象问题，其推理方法可分为演绎、诱导和归纳。在已知的事实中往往会有矛盾的知识存在，利用这些含有矛盾的已知事实来解释数据的问题，在诱导推理中称之为矛盾诱导问题。Ｂｙａｌｎｄｅｒ在其文章中已经证明了该类问题为ＮＰ完全的。本文提出一类２ＳＡＴ诱导问题，证明该类问题属于Ｐ类，并对其进行扩展，得出了关于矛盾诱导问题的最大Ｐ问题及最小ＮＰ完全问题。     

图上STEINER树问题及其近似算法

1.图上STEINER树问题是NP-完全的 著名的网络上Steiner问题是:对给定图G=(V,E),其中V=PUS,在边集E(G)上定义权函数f:E(G)→Z~ ,构成网络N(G,f)。要求在网络N(G,f)上寻找一棵子树T=(Y,u),使得P(?)Y,且     

基于DECnet开发的VAX小型机双机系统

本文介绍了基于ＤＥＣｎｅｔ，在ＶＡＸ／ＶＭＳ下开发的为保证系统安全可靠运行的一种冗余结构的ＶＡＸ双机备用系统，此系统由双机互栽软件实现，不需专用硬件设备，可实现双机手动、自动切换，可靠性强。     

基因组重组排序算法综述

随着快速测序技术的发展，对大规模DNA分子的研究与其中的基因相对次序有关。基因组重组是计算生物学的一个重要研究领域，是基因组在基因水平比较分析的基础。其研究目标是找最短的重组操作序列，将一种基因组转变为另一种基因组。基于分子生物学的实验证明，这种序列有助于估计不同基因组间的进化事件。基因组进化过程虽然非常复杂，但可用3种基本的重组操作模拟，即反转（reversal）、移位（transloeation）和转位（transposition）。本文讨论了这些操作相关的重组算法以及各种排序距离的计算方法。     

基于Internet的路由策略研究综述

Routing protocol is one of the kernel technologies of the Internet. The swift and violent development of the Internet enables the study of routing protocols to be an important research direction of computer science. This papershows opening problems in the traditional best-effort model used on Internet that cannot guarantee the quality of ser-vice of the field business and gives some studvinlr directions.     

基因组Translocation排序问题的改进多项式算法

该文给出基因组Transhocation排序问题的一个改进多项式算法，原算法所有存储空间O（n)，时间复杂度为O(n^3)，文中改进算法仍采用O(n)存储空间，时间复杂度为O(n^2logn),具体地，将计算Translocation距离的时间复杂度由O(n^3)改进为O(n^2),将计算Translocation序列的时间复杂度由O(n^3)改进为O(n^2logn).