摘要:本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念,CCS执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。

摘要:本文形式地定义了问题的有序分解,并采用导通率和导通分支系数衡量子目标之间的交互作用,为实际中如何选定子目标提供了一种定量的标准,进一步,本文还论述了如何建立中转站网络,它是一种网络结构的有序分解,且更具有应用潜力。最后本文还给出了一个利用这种网络的搜索算法T_w。

摘要:自然语言处理系统的运行速度对于系统本身的开发是至关重要的。这类系统的核心之一是句法分析子系统,本文讨论句法分析的一般性的顺序控制算法,包括简单回溯算法、彻底回溯及其剪裁的算法,以及算法的实现方法,实验和分析表明,这些算法的效率是相当令人满意的。

摘要:方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。

摘要:本文介绍了一个基于位向量存储结构的统计与科学数据库管理系统原型(称为VSS-DB),提出了适于位向量文件的数据压缩方法,讨论了基于位向量文件的统计与科学数据库的物理组织、查询处理与优化和查询处理的时间复杂性模型,我们在VAX780计算机上实现了这个原型系统。

摘要:作为软件工程研究的领域之一,软件再工程(Re-Engineering)在最近几年引起了人们广泛的关注,软件再工程的关键是:从现有原代码所提供的信息中去获得和恢复丢失的系统设计和规格说明信息的能力。本文介绍了SAIS,一个基于规则的软件结构分析集成系统,它被设计用于提供对软件维护和软件逆向工程活动的部分支撑。文章简要描述了SAIS的设计、实现、应用和特点。

摘要:Jackson系统开发方法(JSD)是八十年代初提出的一种很有名的操作式软件开发方法。为了支持开发者将其应用到软件开发实践中,我们设计了一种基于JSD方法的图形化的操作式规格说明语言NUJSDL,并开发了其支撑系统NUJSDS,NUJSDL语言具有易理解、可分析和可维护等特性,它提供了多种机制分别刻划JSD开发过程中各阶段的结果,并且用它书写的规格说明还可以作为待开发系统的一个原型。NUJSDS是编辑工具分析工具规格说明生成工具和转换工具集成起来的交互式可扩充的系统,它支持规格说明在JSD思想指导下的开发

摘要:本文提出了一个基于软件工程数据库与知识库的软件全程自动/辅助生成系统SA-AGS的基本结构,重点讨论了SAAGS的综合技术和工作过程,略述了SAAGS功能构件及设施的构造方法。

摘要:语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。