范畴论在计算机科学中的若干应用

本文简述了范畴论的特点,研究了它在等式演绎和语义学等方面的应用,并介绍了由范畴的通用构造的性质导出合一算法的思想。     

NDAUTO数据库的设计与实现

NDAUTO 数据库是 NDAUTO 系统的六大组成部分之一,主要提供文件管理,版本控制和文档组织三方面的功能,用于软件开发各个阶段的数据存储和管理。本文论述了 NDA-UTO 数据库的设计背景和实现技术,并提出了进一步完善的几点设想。     

软件复用的机器支撑

本文提出了一个软件复用的机器支撑方法，复用的三个步骤获取，管理和施用均由机器自动或半自动地完成，并且构件块和构造型这两类可复用资源在其中得到有机的结合。     

基于二次开发的动态源级调试技术

本文阐述了采用二次开发策略来实现源级动态调试功能是可行和有效的，着重说明了动态源调试技术中的两个主要技术要点，并且简要介绍了CDBG关系。     

基于二次并发的动态源级调试技术

本文阐述了采用二次开发策略来实现源级动态调试功能是可行和有效的,着重说明了动态源调试技术中的两个主要技术要点,并且简要介绍了CDBG关系。     

一个正文图形编辑程序GED

本文介绍一个新型的编辑程序 GED,其编辑对象(用 NDAUTO 系统的 GSPEC 语言书写的规格说明)由交叉出现的正文和树形结构组成。文中详细描述了 GED 的功能,强调了正文编辑和树形编辑的一致和协调,讨论了实现问题和 GED 的特点.     

机器学习

目前,机器学习研究方兴未艾,同时,对一些基本概念、基本问题的提法尚各执一词。本文首先概述了我们关于机器学习有关问题的基本认识,在此基础上,分析了符号机器学习研究中比较重要的两个领域(归纳学习和基于解释的学习)的研究现状,最后提出了我们的一些想法。关于机器学习的一些看法何谓机器学习?我们认为,机器学习从内在行为看,是从未知到知的过程,是知识增加的过程。从外在表现看,是系统的某些适应性改变,使得系统能完成原来不能完成的任务或把原来能完成的任务做得更好。这是一个问题的两个方面,各有侧重,归纳学习就侧重于概念获取即知识增加的一面,而基于     

软件需求定义语言NDRDL

ＮＤＲＤＬ语言是一种图形化的软件需求定义语言，用于书写软件需求定义，其特点是：形象直观，表达力强，实用性好，可靠性高。本文是该语言的试用文本。