摘要:本文从作者多年开发UNIX中文信息处理系统的实践出发,系统地介绍了UNIX中文处理的基本原理和主要工作,比较了系统实现各种的方案,并且介绍了实现时采用的主要技术。

摘要:本文对示例或学习的理论进行了初步的研究。首先,扩充了解的规则空间,由范式解扩充到任意公式解。然后,得到了如下结果:(1)讨论了随着例子集合的变化,相应规则解集合的变化情况;(2)正例集与反例集相交时,规则解不存在;(3)若正例集与反例集之并等于全部例子构成的空间,则规则解唯一;(4)在有解情况下,必然存在两个基础解,在半序关系“”下,这两个解分别为最小元,最大元。(5)规则集合关于运算∧,∨作成一个有界分配格。两个基础解是此格的上,下界。(6)对应于GS算法的GS定理。

摘要:逐步描述、变换及证明的软件开发过程包含两个转换,一是从非形式的用户需求到形式描述,一是从形式描述到算法实现。开发过程中的关键是如何做出设计决定。为了更好地维护、重用软件以及程序证明,不仅仅要对软件的形式描述及实现做文档记录,也要记下开发过程中所做的每一步决定。我 们用两个例子来说明如上这种逐步求精的方法以及设计决定在其中所起的作用,并且我们实现了一个包括SPEC、OOMM、PROT、VERI几个子系统组成的环境来支持上述过程。

摘要:ω—语言是由有穷字母表∑上的某些无穷串组成的集合。被所谓的ω—有穷自动机接受的ω—语言称为ω—正则语言。在[4]中作者曾从集合的角度给出—ω—语言为ω—正则语言的几个充分条件。在本文作者仍从集合的角度给出一个ω—语言为ω—正则语言的充分条件,即若—ω—凸语言L满足L=adh(pref(L))=pref(L)tail(L),则L是—ω—正则语言。从而,确定了ω—正则语言类的一个子类。

摘要:本文描述微机网上的分布式专家联合系统UNION的实现方法和技术。UNION是继1985年陆汝钤提出分布或专家系统的概念及其设计思想之后于 次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Support1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。

摘要:部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于Prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于Prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制GKD－Prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯Prolog的部分计算、逻辑程序的循环检测以及全Prolog的内部谓词处理。

摘要:本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。