Microsoft Access和Authorware Professional连接的设计与实现

随着多媒体技术的发展及其应用的深化，不同多媒体著作工具间的通信、连接越来越具有实际意义。本文以《港口介绍多媒体系统》为例，介绍了Ｍｉｃｒｏｓｏｆｔ Ａｃｃｅｓｓ Ｖ２．０与Ａｕｔｈｏｒｗａｒｅ ＰｒｏｆｅｓｓｏｎａｌＶ２．０连接的设计思想及实现技术。     

命题知识库更新的算法及其复杂性

本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状．近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法；一类是基于模型的方法，但所有这些方法在通常情况下都是难解的．本文讨论基于公式的Ｇｉｎｓｂｅｒｇ更新方法，并给出在公式个数远小于变元个数情况下的一个多项式时间算法．     

知识库更新的研究

一、研究现状 在知识库管理中,当人们获取了新的领域知识时,就需对原有知识库进行更新.对知识库的更新,从理论上讲,主要有以下三种基本操作~[4]     

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

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

一类树型知识库的更新算法

知识库的更新意即向知识库中添加新知识,同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题的结构出发,给出了一种当知识库对应的约束图为树时的多项式时间更新算法.在树型约束图中,算法通过一个自底向上的过程,得到更新后的知识库.