机械设计专家系统中的不精确推理模型

在机械设计决策中，不确定性与模糊性往往是同时存在的。本文将Ｄ－Ｓ证据理论推广到模糊集合，并基于此提出一种不精确推理模型用于机械设计的决策之中。     

一种新的处理模糊和不确定性的数学工具简介

粗糙集合理论是一种新的处理模糊和不确定性的数学工具，这种方法可能是人工智能的重要基础。本文，我们介绍了粗糙集合的基本概念，集合的近似相等和近似包含关系，以及粗糙集合理论的主要优点和一种精确性衡量方法。最后，介绍了目前粗糙集合理论的应用和主要的研究方向等。     

用C＋＋实现OODB中对象多版本

作者利用Ｓｙｂａｓｅ作底层的数据存储，在Ｃ＋＋中扩展了永久类，实现了ＯＯＤＢ的一个重要功能，文中讨论的是在此基础上，利用Ｃ＋＋语言重载能力，和关系数据库便于集合操作的特性，扩展我版本类，实现ＯＯＤＢ对象多版本。     

广义证据理论的解释

本文把Ｄｅｍｐｓｔｅｒ使用的随机集合概念推广到了布尔代数上，并用这个推广了的概念讨论了信息源上的不确定性结构与假设空间上的不确定性结构之间的关系。     

DEDS监控理论的最新发展

回顾了ＤＥＤＳ监控理论的模型及其基本问题，介绍了ＤＥＤＳ监控理论的研究现状，并对监控理论的发展方向进行了探讨。     

面向对象数据库的形式化模型

本文用三元组集合来表示面向对象数据库的概念视图，并此为基础给出了ＯＯＤＢ上操作的形式描述。本文所给出的形式模型对副作用作了精确定义。     

基于多色集合理论的机械产品概念设计方法研究

介绍了多色集合理论，指出了多色集合为计算机辅助概念设计、信息建模技术及其相关的推理技术提供了强有力的工具，使机械产品概念设计这一难以形式化的设计过程有了建模的可能。给出了基于多色集合理论和功能方法树的机械产品概念设计的知识表达。建立了贴近度函数。给出一个关于方案功能相对需求功能冗余程度的教学模型，通过给定冗余允许值排除不合理方案。提出了基于多色集合理论的机构产品概念设计的设计步骤和实现流程图，为其它机械产品 的概念设计提供帮助。最后以机床设计为实例作了进一步的说明。     

OODB的查询和优化技术

本文介绍ＯＯＤＢ中一种基于集合代数的代数操作，并讨论查询语言的代数表达式及三种优化技术：基于代数方法，基于拍发代数方法，综合分解方法。     

一种特洛伊木马的检测算法

运用字母集合到数字集合的映射理论、字符串的可计算性理论与数论理论，设计了一种特洛伊木马的检测算法，该算法能够有效地检测出特洛伊木马，同已有的检测算法相比，速度较快，不但适合字母文字的可执行程序检测，也适合可能出现的非字母文字所编写的可执行程序的特洛伊木马检测．     

一种参照模糊集的云模型集合论方法研究

参照模糊集构建云模型的集合论方法能够很好地扩展云模型的应用领域。本文提出了一种参照模糊集的云模型集合论方法。对云模型及其组成元素进行了阐述，提出了云集合元素的I运算和P运算，在此基础上给出了云集合的基础运算方法，研究了云集合的截集和分解定理。本文研究对云模型在集合理论方面的拓展具有较好的参考意义。