抽象算子逻辑及其自然演绎系统

研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.     

多数据库挖掘的研究

多数据库技术的进步导致大量的多数据库系统的开发，为了决策的目的，许多跨国（省）公司急需挖掘他们那些分布在子公司的数据库，不过，现有的多数据库挖掘依然沿用单个数据库挖掘技术，即，首先将相关的数据库中的数据并入一个集合，然后挖掘这个集合，这会破坏一些有用的模型，像‘一个公司的70%子公司认为一个45-65的已婚顾客通常至少有3部车’，这种模型是有助于该公司的总体规划，另一方面，多数据库挖掘和单个数据库挖掘之间存在本质的不同，例如，多数据库挖掘考虑总公司和子公司的多层次应用，在这个报告中，设计了一个多数据库挖掘过程及可能遇到的问题，同时了简要地论证了多数据库挖掘的重要性，多数据库挖掘和单个数据库挖掘之间的不同之处，以及现有的多数据库挖掘技术的缺陷。     

双向双阈值控制策略

本文提出了一种既能保证推理的有效性,又能提高推理效率的双向双闽值控制策略。已在航空物探专家系统中投入使用。     

用于地质填图的专家系统—AMARA

本文系统地介绍了一个用于地质填图的专家系统—AMARA。该系统的目的是在地质岩性填图方面为航空物探解释人员提供咨询。系统能够识别异常和区分引起异常的地质体的岩性。系统采用了正反向混合双阈值不精确推理策略,而且把知识处理与数值处理有机地结合起来。这些新技术不仅保证了推理效果,而且提高了推理效率。     

基于遗传算法的联结规则挖掘策略

传统的联结规则挖掘算法依赖于一个不现实的假设：用户可以指定最小支持度．如果用户不了解他们的数据库，指定的最小支持度是肯定不适合的．在此设计了一个基于遗传算法的挖掘策略。它具有两个显然的优点：①高性能且自动化的规则挖掘；②不要求用户指定最小支持度。     

多数据库挖掘中独立于应用的数据库分类研究

目前的数据挖掘技术大多只针对单一数据库进行挖掘．当数据库有多个时，需要用到多数据库挖掘技术．应用聚类思想，提出一种独立于应用的数据库分类方法，并给出了相关的算法，最后用实验证明了该方法的正确性和有效性。