在有限信息集上的智能检索接口的实现方法

探讨了有限信息集和智能检索的特点，并对智能检索中常用的技术和适用这些技术的信息表达方法，结合所开发的项目进行了介绍。这些技术是：交叉树索引、分解匹配综合。一般信息管理系统都只使用有限信息集，为之开发较友好的具有智能的人机接口是可行的。这也是当今信息系统发展的主流。因此，本文探讨的问题具有一定的普遍意义。

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较.

智能MMIS的一些实现方法

本文探讨智能多媒体管理信息系统及其检索接口的特点，并对智能多媒体管理信息系统中常用的技术和适用这些技术的信息表达方法，结合所开发的项目进行了介绍。这些技术是多媒体描述的集成和同步以及基于实例推理的学习。一般信息管理系统都只使用有限信息集，为之开发较友好的具有智能的人机接口是可行的。这也是当今信息系统发展的主流。因此，本文探讨的问题具有一定的普遍意义。

J2ME在嵌入式系统中的应用开发

该文针对当前流行的嵌入式系统应用开发作了介绍，对J2ME的体系结构进行了详细的分析和说明。结合一个例子着重分析了基于J2ME的嵌入式系统应用开发的过程和步骤。