• 1994年第5卷第4期文章目次
    全 选
    显示方式: |
    • 对MINIX操作系统的若干改造和扩充

      1994, 5(4):1-8.

      摘要 (4037) HTML (0) PDF 379.06 K (4395) 评论 (0) 收藏

      摘要:本文论述了我们对美国知名学者A.S.TANENBAUM1986年编制的分时多任务多用户操作系统MINIX所做的若干重要改造和扩充,包括对3.5寸高密盘的支持,AT机扩展内存的利用,进程对换和假脱机系统的实现.

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

      1994, 5(4):9-18.

      摘要 (3596) HTML (0) PDF 542.28 K (4315) 评论 (0) 收藏

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

    • PCF的信息系统模型

      1994, 5(4):19-27.

      摘要 (4004) HTML (0) PDF 548.42 K (3719) 评论 (0) 收藏

      摘要:带类型的λ-演算是一个逻辑系统,它可以作为程序语言的基础.Plotkin所引进的PCF就是这样一类程序语言.Plotkin构造了PCF的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合.本文利用Scott引进的信息系统概念构造PCF的另一种模型,并证明与这个模型对应的指称语义与操作语义是完全配合的.

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

      1994, 5(4):28-34.

      摘要 (4008) HTML (0) PDF 450.11 K (4151) 评论 (0) 收藏

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

    • Neocognitron学习算法分析

      1994, 5(4):35-39.

      摘要 (4011) HTML (0) PDF 437.19 K (4064) 评论 (0) 收藏

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

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

      1994, 5(4):40-48.

      摘要 (3721) HTML (0) PDF 324.70 K (3839) 评论 (0) 收藏

      摘要:本文对Oracle图灵机在接受计算中的查询次数加以限制,并且得到结果:存在无穷多个非多项式等价的递归集A,B,A′,B″,A″,B″,A,B,它们满足性质:P(A,q)=P(A,q+1),P(B,q)≠P(B,q+1),p(A′,q)=P(A′),P(B′,q)≠P(B′).NP(A″,q)=NP(A″,q+1),NP(B″,q)≠NP(B″,q+1),NP(A,q)=NP(A),NP(B,q)≠NP(B).

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

      1994, 5(4):49-52.

      摘要 (3572) HTML (0) PDF 819.98 K (3826) 评论 (0) 收藏

      摘要:本文提出了一种解任务安排问题的Boltzmann网络算法,已在Transputer多处理机系统上并行模拟实现,该算法具有优化程度高,运算速度快等特点.

    • 关于p-m度的分裂

      1994, 5(4):53-59.

      摘要 (3503) HTML (0) PDF 233.43 K (4077) 评论 (0) 收藏

      摘要:本文讨论多项式时间多一可化归度(p-m度)的分裂间题.主要结果是:存在非零的p-m度a,对任何自然数n≥1当a分裂成n+1个度a0,a1,…,an的并时,其中至少有n对(ai,aj)(i≠j;i,j≤n)不是极小对.从而推广了Ambos-Spies中关于存在非零p—m度a不能分裂成一个极小对的结果.

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

      1994, 5(4):60-64.

      摘要 (3336) HTML (0) PDF 391.82 K (3701) 评论 (0) 收藏

      摘要:MEGIDDO等人证明了图搜索问题的NP完全性并给出一个树图上的算法,可在O(n)时间内求解树的搜索数,在O(nlog(n))时间内求解树搜索方案.本文通过引入搜索方案边序表示法给出一个线性算法,可在O(n)时间内同时求得树的搜索数和搜索方案.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号