1994年第5卷第4期文章目次

微信服务号

微信订阅号

1994年第5卷第4期文章目次

全选

导出

显示方式：

简洁模式

摘要模式

1 对MINIX操作系统的若干改造和扩充

黄祥喜

1994, 5(4):1-8.

[摘要](4100) [HTML](0) [PDF 379.06 K](4914)

摘要:
本文论述了我们对美国知名学者Ａ．Ｓ．ＴＡＮＥＮＢＡＵＭ１９８６年编制的分时多任务多用户操作系统ＭＩＮＩＸ所做的若干重要改造和扩充，包括对３．５寸高密盘的支持，ＡＴ机扩展内存的利用，进程对换和假脱机系统的实现．

2 数据模型的智能化扩充研究──面向对象的知识数据库模型

姚卿达 , 董祖明

1994, 5(4):9-18.

[摘要](3646) [HTML](0) [PDF 542.28 K](4823)

摘要:
数据模型的智能化扩充旨在从数据模型着手，提高数据库系统的性能与功能，使其可存贮和处理复杂对象和知识，增强结构和行为的建模能力、语义构造能力，能演绎推理．本文承接此思路，基于面向对象方法，吸收语义数据模型和人工智能中的演绎推理机制，提出一个面向对象的知识数据库模型．讨论其基本概念与性质、查询语言、与传统模型的比较和实验系统ＯＣＥＡＮＳ的体系结构及实现方案．

3 PCF的信息系统模型

王美清

1994, 5(4):19-27.

[摘要](4069) [HTML](0) [PDF 548.42 K](4237)

摘要:
带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．

4 MKR──一种有效的增量式概念获取系统

阮俊杰

1994, 5(4):28-34.

[摘要](4074) [HTML](0) [PDF 450.11 K](4720)

摘要:
本文对示例式学习的ＩＤ５Ｒ算法进行了深入的研究并作了进一步的改进，提高了其计算效率．并提出一种适合于增量式学习的抗干扰机制，拓广了算法的适用范围．

5 Neocognitron学习算法分析

洪家荣 , 李星原

1994, 5(4):35-39.

[摘要](4092) [HTML](0) [PDF 437.19 K](4539)

摘要:
现有的对Ｎｅｏｃｏｇｎｉｔｒｏｎ的分析都采用代数法，因而无法研究它的动态特性．本文把Ｎｅｏｃｏｇｎｉｔｒｏｎ及其学习算法推广到连续时域，借助微分方程来研究Ｎｅｏｃｏｇｎｉｔｒｏｎ．文中给出了无教师学习算法一般情况下，学习过程中Ｕｓ层神经元输出变化规律的微分方程，指出其增加的条件，并推出权ａ、ｂ初始值选择的一个必要条件；进一步得出无教师算法代表稳定后和有教师学习情况下Ｕｓ变化的一种等效显式函数，指出此时学习过程是Ｕｓ层神经元输出向一个系数的逼近过程，且有教师学习过程的最后状态与可变权初值和学习率无关．并讨论了影响Ｕｓ终值和逼近速度的因素．

6 受限外部信息源计算的P─NP性质

吕义忠 , 刘建斌

1994, 5(4):40-48.

[摘要](3787) [HTML](0) [PDF 324.70 K](4355)

摘要:
本文对Ｏｒａｃｌｅ图灵机在接受计算中的查询次数加以限制，并且得到结果：存在无穷多个非多项式等价的递归集Ａ，Ｂ，Ａ′，Ｂ″，Ａ″，Ｂ″，Ａ，Ｂ，它们满足性质：Ｐ（Ａ，ｑ）＝Ｐ（Ａ，ｑ＋１），Ｐ（Ｂ，ｑ）≠Ｐ（Ｂ，ｑ＋１），ｐ（Ａ′，ｑ）＝Ｐ（Ａ′），Ｐ（Ｂ′，ｑ）≠Ｐ（Ｂ′）．ＮＰ（Ａ″，ｑ）＝ＮＰ（Ａ″，ｑ＋１），ＮＰ（Ｂ″，ｑ）≠ＮＰ（Ｂ″，ｑ＋１），ＮＰ（Ａ，ｑ）＝ＮＰ（Ａ），ＮＰ（Ｂ，ｑ）≠ＮＰ（Ｂ）．

7 用Boltzmann网络解任务安排问题

张德富 , 顾卫刚

1994, 5(4):49-52.

[摘要](3622) [HTML](0) [PDF 819.98 K](4338)

摘要:
本文提出了一种解任务安排问题的Ｂｏｌｔｚｍａｎｎ网络算法，已在Ｔｒａｎｓｐｕｔｅｒ多处理机系统上并行模拟实现，该算法具有优化程度高，运算速度快等特点．

8 关于p－m度的分裂

郑锡忠

1994, 5(4):53-59.

[摘要](3548) [HTML](0) [PDF 233.43 K](4635)

摘要:
本文讨论多项式时间多一可化归度（ｐ－ｍ度）的分裂间题．主要结果是：存在非零的ｐ－ｍ度ａ，对任何自然数ｎ≥１当ａ分裂成ｎ＋１个度ａ₀，ａ₁，…，ａ_n的并时，其中至少有ｎ对（ａ_i，ａ_j）（ｉ≠ｊ；ｉ，ｊ≤ｎ）不是极小对．从而推广了Ａｍｂｏｓ－Ｓｐｉｅｓ中关于存在非零ｐ—ｍ度ａ不能分裂成一个极小对的结果．

9 一类排污问题在树图上的线性算法

朱大铭 , 马绍汉

1994, 5(4):60-64.

[摘要](3376) [HTML](0) [PDF 391.82 K](4197)

摘要:
ＭＥＧＩＤＤＯ等人证明了图搜索问题的ＮＰ完全性并给出一个树图上的算法，可在Ｏ（ｎ）时间内求解树的搜索数，在Ｏ（ｎｌｏｇ（ｎ））时间内求解树搜索方案．本文通过引入搜索方案边序表示法给出一个线性算法，可在Ｏ（ｎ）时间内同时求得树的搜索数和搜索方案．

当期目录

年第期

文章目录

过刊浏览

联系方式

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

微信服务号

微信订阅号

1994年第5卷第4期文章目次

当期目录

年份

刊期