1990年第1卷第3期文章目次

微信服务号

微信订阅号

1990年第1卷第3期文章目次

全选

导出

显示方式：

简洁模式

摘要模式

1 UNIX中文信息处理系统实现的方案和技术

孙玉方

1990, 1(3):1-9.

[摘要](3970) [HTML](0) [PDF 556.02 K](5066)

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

2 示例式学习某些理论的研究

李红斌 , 王开铸 , 郭克俭

1990, 1(3):10-14.

[摘要](3753) [HTML](0) [PDF 687.26 K](4590)

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

3 基于设计决定的逐步求精方法及环境

缪旭 , 唐稚松

1990, 1(3):15-25.

[摘要](3782) [HTML](0) [PDF 712.83 K](4593)

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

4 一类ω—正则语言

苏锦祥

1990, 1(3):29-32.

[摘要](4402) [HTML](0) [PDF 224.55 K](4604)

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

5 微机网上的分布式专家联合系统UNION(下)

赵致琢 , 庄庆雨 , 曹华 , 陆汝钤

1990, 1(3):33-44.

[摘要](3747) [HTML](0) [PDF 627.09 K](4524)

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

6 Prology程序部分计算的研究与实现

邓铁清 , 胡运发

1990, 1(3):45-58.

[摘要](3560) [HTML](0) [PDF 717.51 K](4767)

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

7 具有代数算子的λ演算系统的模型构造

陆汝占 , 张政 , 孙永强

1990, 1(3):59-64.

[摘要](4184) [HTML](0) [PDF 323.06 K](4786)

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

当期目录

年第期

文章目录

过刊浏览

联系方式

《软件学报》
主办单位：中国科学院软件研究所
中国计算机学会
邮编：100190
电话：010-62562563
电子邮箱：jos@iscas.ac.cn
网址：https://www.jos.org.cn
刊号：ISSN 1000-9825
CN 11-2560/TP
国内定价：70元

微信服务号

微信订阅号

1990年第1卷第3期文章目次

当期目录

年份

刊期