主动的面向对象数据库管理系统中的事件和规则的设计

文中描述了事件－条件－动作（ＥＣＡ）规则的设计以支持ＯＯＤＢＭＳ中的主动能力，并描述了在Ｃ＋＋环境中的具体形式．它支持除了传统的数据库事件外的时序的、显式的、复合的事件．并引入了一组运算符来构造复合事件．还引入了事件接口的概念，这种事件接口被用作说明跨越几个对象或不同类的对象的事件，检测和通知事件的出现．提出了反应对象和可通知对象的概念，将事件和规则都统一为对象．还引入了在规则和对象间的订购机制以监视所选择的对象．     

支持遗忘特征的记忆模型及其在知识管理中的应用

为了在知识管理系统中有效进行知识筛选,本文将遗忘的特性引入知识管理,建立了复合记忆—遗忘 数学模型．探讨了该模型的数学特性,并对其进行了适合计算机模拟的等效简化．探讨了该模型在知识管理系统中 的应用和实现方法,并给出了实例．该模型有助于识别知识管理系统中的老化知识和新知识,优选关键知识,提高 系统效率．     

RKB／PL：C＋＋的持久性扩充

需求工程知识库／ＰＬ——ＲＫＢ／ＰＬ（ｒｅｑｕｉｒｅｍｅｎｔ—ｅｎｇｉｎｅｅｒｉｎｇｋｎｏｗｌｅｄｇｅｂａｓｅ／ＰＬ）是保持Ｃ＋＋原有风格对Ｃ＋＋进行的持久性扩充．为支持对象的持久性,ＲＫＢ／ＰＬ在Ｃ＋＋对象类的基础上扩充了以约束声明加强对象状态的用户监控;引入簇来表达对象类的集合含义;引入集合、簇、簇闭包的遍历机制来支持对象查询．为支持这些语言机制,ＲＫＢ／ＰＬ具有一个由一组ｂｕｉｌｄ—ｉｎ对象类层次、类型信息库及接口函数、系统状态表以及系统服务函数等构成的运行时系统．本文讨论了ＲＫＢ／ＰＬ中这些机制的表示、相应的运行时系统的组成以及它们的主要实现技术．ＲＫＢ／ＰＬ已成功地用于实现“软件需求获取助手ＦＲＡ”系统的需求工程知识库子系统．     

构件类和构件的概念及其定义语言和操作语言

本文针对应用软件的特点，在类和对象概念的基础上，提出构件类和构件的概念，说明构件类和构件与O－O中类和对象概念上的异同．为规范化描述构件类，给出了构件类定义语言和操作语言．     

新的面向对象知识表示方法

针对传统知识表示方法缺乏过程性知识表示能力、不具备动态特征、难以表示装备保障领域知识的问题,在借鉴框架表示法、语义网络表示法的基础上,结合面向对象思想,提出了一种新的知识表示方法——动态对象网络(DON)。DON表示法以类来表示概念,将知识表示为概念以及概念间的关系。给出了概念的详细结构及其演化机制,关系的描述方式,并将守护方法思想引入概念中,在此基础上探讨了DON中的推理机制,为灵活、动态表示装备保障领域知识,实现装备保障信息的共享和融合提供了基础。     

带约束的Eiffel:一种约束引导的强类型面向对象语言

强类型的面向对象语言很适合软件工程的需要。本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明。本文提出的带约束的Eiffel语言结合了Eiffel语言强类型和继承机制与TbingLab Ⅱ的约束引导系统,并且对两者都有改进,因而有益于软件的规格说明和开发。     

多种OOPL的统一框架模型

本文针对已有的面向对象语言，探讨了不同语言编写的混和类及其对象的组装问题，提出了一种具有统一框架的ＯＯＰＬ模型。在该模型中，引入了类构件和消息体的概念；一个类构件由一个类规范和０到多个类实现组成；引入接口相容和接口一致，以方便混和对象之间的消息通信；引入接口继承和实现继承，以刻画混合类构件之间的继承关系；类规范的操作换名接口说明和类实现的接口调整，可以解决类构件间多继承关系引起的名字冲突问题；消息     

面向对象的知识表达模型研究

结合一个具体的实例－－海外学生选颗咨询，着重介绍了如何利用对象的封装技术和消息机制，实现知识库中数据和规则的对象模型表达，扩充了原面向对象技术中的类的定义，引入了持久类，类扩充和集合类的概念，并在文中按照Ｃ＋＋语言规则给出了具体的实现方法。     

模块化Prolog的研究与实现

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。     

电信管理元模型及数据模型的研究

分析了电信管理信息集成化的问题，将元对象机制引入到电信管理中，提出了电信管理元模型和数据模型的概念。在元模型中，完成了对电信管理数据的抽象，定义了元数据类和元关系。在数据模型中划分不同的维度，定义了核心数据类，实现了信息的完备定义。通过建立实际系统数据模型，验证了此建模方法的有效性。     

基于对象模型的自组织专家系统

在研制的一个基于对象模型的自组织专家系统中 ,通过对机器人的行走装置进行模型化 ,建立了对象的模糊知识库 ,并根据控制的目标 ,设计了推理机。系统无需精确的数学模型 ,能根据输入、输出变量 ,自动修改控制规则 ,达到优化控制的目的。     

知识处理中的编译技术

本文重点研究了ＳＫＹ知识处理中的编译技术。首先介绍了ＳＫＹ的知识库解释器的总体结构，然后就ＳＫＹ的面向对象知识表达语言的内部数据结构展开讨论。对符号表的数据结构以及类对象，方法，规则集，事实和数据类型的内部表达都作了重点分析。     

基于Agent的模型表示与模型复合

在分析当前模型表示与模型复合方法的局限性基础上，结合Agent技术，提出了基于Agent的模型表示与模型复合理论。基于Agent的模型表示与复合,通过在传统的模型表示方法中加入知识和智能机制，从而把模型与数据、对象完整地区分开来，使模型本身具备了自适应和学习能力；模型的复合也被转换成一个多Agent之间的协作问题，从而把以前含糊不清和难于统一的模型复合计算转换为一个多Agent协商和协作问题，为当前模型库系统和决策支持系统的建设提供了一个全新的解决方案。     

Support system for finite element analysis

This paper describes work aimed at developing an intelligent support system for finite element modeling and a methodology for managing input data model. Analyzing various statement structures of input data, three structural interface models — the hierarchical browser, the spread sheet and the model generator — are proposed for advanced representation and editing. Two knowledge models composed of macro visual data representation (user oriented model) and micro regularized data representation (processor oriented model) are revealed in conformity with the approach of object-orientation. Moreover, an extended relational schema composed of a composite object (assembly of functional elements) and several abstracted scalar indexes has been implemented for case retrieval.     

Knowledge object modeling

Knowledge objects are an integration of the object-oriented paradigm with logic rules. The proper integration provides a flexible and powerful environment, as rule-based components provide facilities for deductive retrieval and pattern matching, and object-oriented components provide a clear intuitive structure for programs in the form of class hierarchies. Based on the knowledge object concept, this paper presents a factor-centered representation language, Factor++, which models logic rules into the object-oriented paradigm, and a scheduling system, Schedular, using the Factor++ framework The construction of Schedular demonstrates that by using an object-oriented representation of knowledge objects, users can be given explicit control of the object hierarchy to customize the system to their particular needs, which includes letting users select among scheduling and other methods. In Schedular, rules are designed as derivation rules and constraint rules. The purpose of rules is either to restrict object structure and behavior, or to infer new data from the existing data. Rules are arranged in positions so that object methods are automatically firing up if environment changes are detected by these rules     

基于对象模型的自适应模糊专家控制系统

文中介绍了一个基于对象模型的自适应模糊专家控制系统。在该系统里,能动地机器人的行走装置进行模型化,建立了对象的模糊知识库,并根据自适应模糊控制的目标设计了推理机。系统无需铁数学模型,能根据输入、输出变量自动个性控制规则,达到优化控制钵文还介绍了对象模型的模糊知识表示方法和模糊知识库的结构以及对象模型的模糊控制推理。     

面向对象的工程设计专家系统开发工具OOESTOOL

本文介绍了一个用C 语言开发的支持面向对象功能的工程设计专家系统开发工具OOESTOOL。我们以面向对象的软件开发方法分析并设计OOESTOOL的组成和结构,初步建立了面向对象的知识表示机制和面向对象推理系统,并讨论了面向对象的工程数据库的设计与实现。     

面向创新设计的电器设计知识处理方法

本文混合采用规则、框架、过程、语义网络等方法表达电器产品设计中的领域知识;同时以创新设计为目的,提出了电器产品设计对象知识的“框架式”组织和管理模式,并把多种知识表示方法融入到设计对象知识的建模中。     

面向可解释性的物体拓扑结构骨架表征方法

目的 模式识别中，通常使用大量标注数据和有效的机器学习算法训练分类器应对不确定性问题。然而，这一过程缺乏知识表征和可解释性。认知心理学和实验心理学的研究表明，人类往往不使用代价如此巨大的机制，而是使用表征、归纳、推理、解释和约束传播等与符号主义人工智能方法类似的手段来应对物体识别中的不确定性并提供可解释性。因此本文旨在从传统的符号计算出发，利用骨架拓扑结构表征提供一种可解释性的思路。方法 以骨架树为基本手段来形成物体拓扑结构特征和几何特征的形式化表征，并基于泛化框架对少量同类表征进行知识抽取来形成关于物体类别的知识概括显式化表征。结果 在形成物体类别的概括表征实验中，通过路径重建直观展示了同类属物体上得到的最一般表征的几何物理意义。在可解释性验证实验中，通过跨数据的拓扑应用展示了新测试样本相对于概括表征的特定差异，表明该表征具有良好的可解释性。最后在形状补全的不确定性推理实验中，不仅可以得到识别结论，而且清晰展示了识别背后做出的判断依据，进一步验证了该表征的可解释性。结论 实验表明一般化的形式表征能够应对尺寸、颜色和形状等不确定性问题，本文方法避免了基于纹理特征所带来的不确定性，适用于任意基于基元的表征方式，具有更好的鲁棒性、普适性和可解释性，计算代价更小。     

Efficient data structures for model-based 3-D object recognitionand localization from range images

An effective method of surface characterization of 3D objects using surface curvature properties and an efficient approach to recognizing and localizing multiple 3D free-form objects (free-form object recognition and localization) are presented. The approach is surface based and is therefore not sensitive to noise and occlusion, forms hypothesis by local analysis of surface shapes, does not depend on the visibility of complete objects, and uses information from a CAD database in recognition and localization. A knowledge representation scheme for describing free-form surfaces is described. The data structure and procedures are well designed, so that the knowledge leads the system to intelligent behavior. Knowledge about surface shapes is abstracted from CAD models to direct the search in verification of vision hypotheses. The knowledge representation used eases processes of knowledge acquisition, information retrieval, modification of knowledge base, and reasoning for solution