摘要：作为一种非常重要的人工智能系统构造工具,PROLOG是近十年来被研究得最多一门程序设计语言。当今,围绕PROLOG的研究已经经历由解释实现到编译实现。

摘要：ＩＤＢ（智能数据库）思想的提出，预示着人类的信息处理即将步入一个崭新的时代．ＩＤＢ将计算机科学中近年来日趋发展成熟的五大主要技术，ΟΟ（面向对象）技术、ＤＢ（数据库）技术、ＡＩ（人工智能）、Ｈｙｐｅｒｔｅｘｔ／Ｈｙｐｅｒｍｅｄｉａ（超文本／超媒体）和正文数据库与联机信息检索技术，集成为一体．其中ΟΟ、ＡＩ和ＤＢ是ＩＤＢ中的三大支柱技术．本文论述ＭＩＤＳ／ＢＵＡＡ数据模型（Ｄａｔａｍｏｄｅｌｉｎｇ）的哲学，并介绍ＭＩＤＳ／ＢＵＡＡ系统的设计思想、动机、核心数据模型，系统的功能构成和它的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构．

摘要：专利价值指的是在专利购买交易时的交换价值,它可以为专利的拥有者和购买者提供大量关于专利的珍贵信息,为专利的交易提供决策支持.目前的专利价值评估主要是基于训练或引用的方法.前者过于依赖于人工选择的参数,导致专利价值评估结果的可信度较低;后者往往只考虑了直接引用关联,而忽略了间接引用关联和新颖度对专利价值的影响.针对这些问题,提出一种基于潜在引用网络的专利价值评估方法,并设计了相应的算法来评估各个专利的价值.针对基本算法效率较低的问题,提出了专利价值评估改进算法,极大地提高了专利价值评估的效率.最后,由于新专利加入专利集合时各个专利的价值会发生变化,提出了专利价值评估动态更新算法,用于快速地更新各个专利的价值.实验表明,提出的方法是有效的.

摘要：本文首先回顾了ＭＩＤＳ／ＢＵＡＡ总体设计中相关的部分重要内容：ｕｎｉｖＯｂｊｅｃｔ对象定义、持久性规则、库模式和ＭＩＤＳ的功能构成等；然后重点介绍了ＭＩＤＳ／ＢＵＡＡ中两个核心模块：模式管理器ＳＭ和对象管理器ＯＭ的设计思想、基本任务和实现途径；最后给出了ＭＩＤＳ／ＢＵＡＡ类库的层次结构。

摘要：1.引言近二十年内,传统数据库(特别是RDB)技术获得了极大发展和广泛应用。但是,自八十年代以来,随着硬件造价的持续下降,人们对数据库提出了更多和更高的需(要)求。

摘要：面向对象软件开发首要的问题总是标识对象,建立对象间的通讯关系,设计对象时也要分析各子对象间是依据什么关系联系在一起的。因此研究对象系统中各对象间的关系是找出对象分析准则的至关重要的问题。目前,关于对象间关系的名称、定义和用法还很混乱。本文旨在澄清这种混乱,为此提出对象关系的三维模型3DRM(3 Dimmemtion Relations Model),并在3DRM框架之下讨论了对象系统中的各种重要关系,建立了较为清晰的对象关系体系,为面向对象的方法学的研究奠定了基础。

摘要：1.引言尽管OOP风范站在软件开发方法学的高度尽乎从形式上将“程序＝数据结构+算法”这个经典模型予以摒弃,但是数据模型设计仍然是进行任何一个计算机系统(软件、

摘要：念代数ＣＡ（ＣｏｎｃｅｐｔＡｌｇｅｂｒａ）是Ｎｉｌｓｓｏｎ教授以格（ｌａｔｔｉｃｅ）理论为数学背景提出的一个新的代数系统。在ＣＡ中，关系范型、ＯＯ范型、逻辑程序设计和框架知识表示获得了统一的表示──概念项（ｃｏｎｃｅｐｔｔｅｒｍ），项进一步组成句子（ｓｅｎｔｅｎｃｅ）。一个完整的知识库就由这样的项和句子组成。推理操作（ｉｎｆｅｒｅｎｃｅｏｐｅｒａｔｉｏｎ）是一组被称为重写规则（ｒｅｗｒｉｔｉｎｇ）的代数公理（ａｌｇｅｂｒａｉｃａｘｉｏｍｓ）。目前的ＣＡ还只是个代数系统雏形，有很多方面有待扩充。本文对概念代数进行综述，并给出初步的扩充。

摘要：存储管理（特别是辅存管理）是任何一个数据库系统的物理实现层，持久性若不最终落实到辅存上，就是一句空话．本文首先讨论了将程序设计语言和持久对象进行集成的３种途径；然后介绍了ＭＩＤＳ存储管理子系统ＳＭＳ（ＳｔｏｒａｇｅＭａｎａｇｅｍｅｎｔＳｕｂｓｙｓｔｅｍ）的设计：（１）ＳＭＳ的体系结构，（２）ＭＩＤＳ对象的存储结构，（３）对象标识的设计，（４）簇聚与索引，（５）持久性的实现，（６）动态地址转换．