摘要：提出一种基于归结的并有关于背景知识及示例的一致特化理论，该理论给出了最大一般特化假设的归结构造方法，可将其作为一种蕴涵意义下的一般理论特化框架．基于该理论，进一步提出ｋ 一般特化概念以解决特化的可计算性问题，并相应地给出特化算法．有关实验表明。

摘要：概化/特化是扩充实体联系模型的主要概念,在数据库设计中它们的形象化描述是重要的。研究指出,数据库设计中用统一建模语言(UML)类图表达概化/特化,不仅是有效的形象化方法,而且有利于自动生成程序代码。

摘要：真空沿面放电过程中涉及的分布种类繁多、解析表达式复杂、或者不具有解析表达式而只有数据图表,其抽样工作复杂,是蒙特卡罗模拟任务设计的核心和难点。为此,设计了通用抽样接口,基于泛化机制给出了面向所有分布类型的统一抽样接口,基于特化机制针对各种分布给出了抽样接口的具体实现和最优化。设计了基于插值方法的直接抽样方法作为通用抽样接口内建的默认抽样方法,它具有最广泛的适用性并在大部分场合下具有最优抽样效率。通用抽样接口实现了三结合点场致电子发射过程中的数量、能量、方向分布以及电介质表面次级电子发射过程中的能量和方向分布的抽样,在保证最优抽样效率的同时降低了抽样工作的复杂性,实现了抽样通用性和抽样效率的统一,简化了模拟任务设计并提高了设计可靠性。

摘要：数据仓库概念设计是数据仓库设计过程中的一项重要工作,且依赖于多维数据模型,但目前还没有一种广泛采用的多维数据模型。ER模型具有语义表述能力强的特点,因此按用户的多维数据分析要求特化ER模型的构件集,得到扩展ER模型,可以用于复杂应用的数据仓库建模。

摘要：在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景。指出:逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,在赞赏ILP优点的同时,也要看到ILP的不足之处。

摘要：在设计边界元法程序中运用了基于ANSI/ISO C++准模板库(STL)的面向对象技术,以向量模板类的特化继承对象为变容量数据容器,实现了可按计算实例的离散结点数量动态存取数据的机制和数据容器的零容量启动,从而避免了运算时系统对静态内存空间的超量占用.