摘要:本文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质。

摘要:本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式OS,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。

摘要:本文介绍手写印刷体汉字识别方法2-D EAG。主要的工作为:提出了二维扩展属性文法模式识别方法,可实现自底向上归约和自顶向下推导双向信息传递和控制;提出了一种直接利用二维信息进行识别的方式,可避免特征线性化造成的信息丢失;提出了多义文法、共生文法和结构推断三种在文法之间建立联系,利用结构类比区分极相似字的 识别算法;提出了多冗余归约机制,双边缘弹性跟踪笔段抽取算法,多冗余有引导部件抽取算法。用2-D EAG方法对100字种实际手写汉字进行了识别实验,在识别大畸变汉字(包括部分连笔字)方面得到了很好的结果。

摘要:如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上使用GKD-Prolog作为工具实现的一个知识库推理和维护系统。

摘要:提高实体Boolean运算的可靠性是几何造型中最基本也是最迫切的工作。通过对国内外几何造型系统在实体Boolean运算可靠性方面的测试,我们发现,实体Boolean运算不可靠是一个普遍现象,运算失败的根本原因在于数值计算存在误差。数值计算误差决定了我们不能精确地确定集合成员分类。集合成员分类的结果与选定的计算容差有关,具 有相对性。从而相关分类之间会发生冲突。一旦分类之间发生冲突,Boolean运算就不能得到正确的结果。我们提出了一个相当可靠的Boolean运算算法。该算法采用推理的方法在进行Boolean运算之前解决由数值计算误差所引起的相关分类之间冲突。这些算法已在Apollo和SUN工作站上实现,并取代了GEMS 2.0造型系统,构成了一个新的造型系统GEMS 2.1。经测试和比较,这个系统的可靠性比SDRC公司的Geomod 3.9和Intergraph公司的I/EMS高得多。

摘要:把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文也讨论了这种转换中所面临的几个问题。

摘要:Petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着Petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。GPNT(Graphic Petri Net Tools)是西北大学计算机科学系研制的一个具有图形功能的Petri网工具软件,用于支持P/T网的设计、动态模拟及特性分析等。本文概要地介绍了该系统的功能并讨论了系统设计与实现中的若干技术问题。

摘要:本文介绍了作者于1987年元月在维也纳技术大学应用信息研究所,用VAX/750机及UNIX操作系统实现的分布式数据库管理系统POREL的进程通讯系统CS。

摘要:本文提出了一种公式索引分组字典排序法,其期望时间复杂性为O(n)。该算法基本上不象传统的排序方法那样进行元素间的比较,主要是用数学公式计算,直接得到排序结果。