基于知识的成卷方法及在MATBAS系统中的实现

本文以 MATBAS(高等数学试题库及计算机辅助命题和评估软件系统)为背号,论述了基于知识的成卷方法。在分析各类考试特点与规律的基础上,提出三类考试模型。在成卷推理中综合使用可信度推理、启发式推理、规划及约束方法。为了使系统控制更灵活,能够生成若干风格不同的等价试卷,还提出了知识层次划分的思想,引入“元知识”的概念,把知识处理结构设计为耦合式的知识库系统。该成卷方法不仅适用于高等数学命题,也适应于别的课程考试。     

为计算机综合自动化制造系统建立智能化的全局数据模型

计算机综合自动化制造系统(简称CIMS)的关键技术之一是数据管理.本文就数据管理的首要问题——为全局数据建立模型进行了较深入的论述.本文首先剖析各种数据(包括复杂的工程数据和抽象数据)类型及其特性;进而从全系统的角度提出对数据模型的要求,指出传统的层次、网状以及关系模型是不能作为CIMS的全局数据模型的;在此基础上提出将面向对象的方法与语义联系模型相结合、构成面向对象的语义联系模型,作为CIMS智能化的全局数据模型.     

分布式数据库应用系统安全管理实现方法的研究

为了实现分布式数据库应用系统的安全管理,提出了在基于角色的存取控制模型（ＲＢＡＣ２）上实现安全管理中授权管理的一种方法,其基本思想是分别建立用户安全信息空间（Ｕ－ＳＩＰ）和数据库管理系统的安全信息空间（Ｄ—ＳＩＰ）,给出实现从Ｕ—ＳＩＰ到Ｄ—ＳＩＰ的映射规则和方法．此外,还提出了客户／服务器环境下实现安全管理系统的系统结构．该方法具有适应性强、使用方便、易于维护等特点．     

基于客户机／服务器结构的应用软件集成工具及在CIMS中的应用

介绍一种以工作站和微机组成的网络环境，在ＯＲＡＣＬＥ（６．０）上实现基于客户机／服务器结构的应用软件集成工具的设计目标、系统结构、数据访问与通讯，该工具已全部实现，并在ＣＩＭＳ计算机辅助质量信息系统实际应用中获得了很好的效果，实现了不同应用系统之间的数据享和应用集成。     

语义数据字典的设计与实现

由于缺乏丰富的语义处理能力,传统的数据库管理系统对日益扩大的数据库领域(如CIMS等)越来越不能相适应,开发一种具有处理复杂数据类型、动态模式定义、支持版本控制的DBMS势在必行。而支持DBMS进行管理的核心是字典系统。本文以SAM*模型为基础,探讨了适合于SAM*DBMS的字典系统的设计与实现技术,提出了以字典作为关系映射的思想。     

网络模型结构优化工具——OPTI系统

OPTI系统(Optimization System of Network Data Model structure)以人机交互的启发过程,经循环和逐步求精,为数据库设计者构造了满足一组目标变量的网络数据模型,且自动生成对模型描述的DDL和DMCL源程序.该套工具包括:(1)输入与编辑;(2)逻辑及物理模型性能计算、分析和评价;(3)模型调整和修改;(4)文挡管理和输出;(5)模式生成.本文着重介绍系统采用的结构设计方法、优化算法、性能评价和实现概貌.实践表明,本文提出的方法有效且实用,在应用系统开发中取得较明显效果,它能减轻设计者的烦琐劳动,缩短开发周期,并能创建具有较高性能/价格比的数据库.     

CIM—OSA DM：CIMS环境下面向对象的语义关联数据模型

本文提出一种智能化的数据模型,用以为结构化数据、非结构化数据、复杂的数据类型及抽象的概念和规则统一建模,以支持CIMS信息的集成。在扼要综述此模型的基本概念和特色的基础上,结合CIMS部份子系统,给出用此模型建模的实例。     

面向对象软件重用开发环境

简要介绍基于可重用库的０－０开发方法，提出由重用工具集，重用信息接口和可重用库组成的０－０软件重用开发环境的设计目标、系统结构及特点，阐述重用处理过程中采用的主要策略、系统控制和管理的实现方法。