• 1994年第5卷第3期文章目次
    全 选
    显示方式: |
    • PLN网络的改进及其应用

      1994, 5(3):1-11.

      摘要 (3139) HTML (0) PDF 504.21 K (3736) 评论 (0) 收藏

      摘要:本文在分析概率逻辑神经元(PLN)网络原型存在不足的基础上,提出PLN元件的一个改进模型,并指出原来的PLN网络模型、Hopfield学习律以及Boltzman机的演化律等都是PLN网络改进模型的特例.文中还给出PLN网络改进模型在联想记忆应用中的模拟实验结果,说明改进模型无论在鲁棒性和收敛速度上比原型都有很大改进.

    • 关于迷宫排序问题的研究

      1994, 5(3):12-21.

      摘要 (3646) HTML (0) PDF 489.09 K (3330) 评论 (0) 收藏

      摘要:本文首先把迷宫排序问题推广为m×n迷宫(m>1,n>1)的排序问题,证明了m×n迷宫的任一初始状态能经过有限步移动转变成目标状态的充要条件,然后给出了一个m×n迷宫排序的算法,该算法的时间复杂度是O(mn(m+n)),空间复杂度是O(mn).最后还指出了它的时间复杂度的一个下界.这样,关于迷宫排序问题就基本上得到了圆满地解决.

    • 主存数据库系统与技术

      1994, 5(3):22-28.

      摘要 (3368) HTML (0) PDF 564.85 K (3777) 评论 (0) 收藏

      摘要:主存数据库管理系统充分利用当前硬件和先进体系结构所提供的物质条件,如大容量主存,大规模并行计算机体系结构、客户/服务器模型以及网络计算机环境,把所管理的数据全部存于物理内存中以获得非常高的存取速度,这使得MMDB技术和系统可以很好地满足某些在线或实时应用场合的需求.传统数据库中的优化措施是针对磁盘存储特性的,MMDB则采用不同的技术来组织数据和保持数据的可靠性.本文将讨论一些主要的技术以及这些技术在某些已设计或实现的系统中的应用.

    • 广义AND/OR图的自底向上的启发式搜索算法BHAO

      1994, 5(3):29-36.

      摘要 (4243) HTML (0) PDF 505.71 K (3345) 评论 (0) 收藏

      摘要:本文首先根据三角模概念,定义了一类新的更具普遍意义的广义AND/OR图.根据新定义的启发式函数h(n,x)以及广义AND/OR图的最佳解树之所有子树亦是最佳子解树的原理,提出了广义AND/OR图的自底向上的启发式搜索算法BHAO.文中证明了算法BHAO的可采纳性.本文还提出了两类新的启发式函数的单调限制概念,并据此研究了算法BHAO的单调限制性质,研究了两个BHAO算法间的比较性质.

    • 关于传递闭包和函数依赖完备公理系统存在问题研究

      1994, 5(3):37-42.

      摘要 (3677) HTML (0) PDF 472.15 K (3556) 评论 (0) 收藏

      摘要:数据依赖在数据库设计中起着十分重要的作用.自Codd提出函数依赖(FDs)、Fagin引入多值依赖(MVDs)后,近几年来人们又根据设计中的需要引入多种新的依赖,如在工程数据库设计中所引进的传递闭包依赖(CDs)等.对这些依赖一般是按其是否具有完备的公理系统而划分为两大类,因为完备性公理系统往往具有有效的判定算法为先决条件.本文对CDs和FDs的k元完备公理系统存在问题进行了研究,证明了CDs和FDs不具有共同的k元完备公理系统这一结论.

    • 传统数据流模型的分析及改进

      1994, 5(3):43-48.

      摘要 (3744) HTML (0) PDF 381.05 K (3419) 评论 (0) 收藏

      摘要:数据流计算机作为新一代并行机迅速发展起来,但由于数据流模型本身的局限性,使得商用数据流机器的制造还难于普及.本文通过分析运算的操作字符与非操作字符,改进传统模型的点火规则、引入变量并拓广变量的概念,定义了粗粒度数据流模型CDFM(CoarsegranularityDataFlowModel).

    • ELNF演算的解释技术

      1994, 5(3):49-54.

      摘要 (3360) HTML (0) PDF 377.51 K (3471) 评论 (0) 收藏

      摘要:ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数/逻辑演算系统,它构成了作者设计的函数/逻辑语言RFUNLOG的基础.本文介绍ELNF演算的解释实现技术,包括数据结构、系统结构以及各个模块的设计思想.最后给出了在此解释系统下,几个典型程序的运行时间.

    • Grzegorczyk分层的一种延伸

      1994, 5(3):55-64.

      摘要 (3427) HTML (0) PDF 345.23 K (3261) 评论 (0) 收藏

      摘要:本文讨论某些递归函数类的分层问题.首先给出的是原始的Gorzegorczyk分层的一种较为简单的等价定义.然后,作为对Ackermann函数的一种推广,定义了一个递归函数序列{An∈ω.并以此作为分层函数列定义了一种新的递归分层{Zn∈ω(即Z—分层),这种分层涉及了比原始递归函数类更大的一个违归函数类.实际上,原始递归函数类仅是Z—分层的第一层Z.而且这种分层的任意的第n+1层都含

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号