演绎面向对象数据库语言中的方法研究

方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享，方法的继承和多态是通过类型机制和合一机制来实现的.     

基于特征的立体视觉并行匹配算法的研究

本文提出一适合立体视觉的并行匹配算法。算法以特征匹配为基础。所谓特征意指用各种大小的拉普拉斯——高斯算子检测的零交点。为获得视差的候选区间,算法在整个图象上计算视差直方图,以迭代的方法确定全部视差,并利用表面的局部估计——二次表面片和边界对深度点进行插补,从而得到完整的深度图。     

演绎的面向对象数据库研究

文中从复杂对象逻辑语言，面向对象逻辑基础及面向对象数据库演量询语言等三个方面研究了一些典型的演绎面向对象数据库的成果，对它们进行了分析和比较，并就目前研究中一些重要的尚待解决的问题作了进一步讨论。     

CO—LOGIC：一种支持约束演绎OODB语言的多类型逻辑

近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面,另一些则只支持面向对象方法中一两个基本概     

概念格上规则提取的一般算法与渐进式算法

许多研究表明概念格是数据分析与规则提取的一种有效工具。本文首先提出一种在对象与描述符数目较多、概念聚类具有一定规模条件下,在已建造好的概念格上有效地提取规则的算法。这种方法主要依据格结点的直接泛化来产生相应无冗余规则,然后改进了一种渐进式更新概念格与相应Ｈａｓｓｅ图的算法,并将之应用于渐进式提取规则。目前,这些方法已用于我们所开发的数据库知识发现工具原型系统中。