摘要:本文在分析概率逻辑神经元（ＰＬＮ）网络原型存在不足的基础上，提出ＰＬＮ元件的一个改进模型，并指出原来的ＰＬＮ网络模型、Ｈｏｐｆｉｅｌｄ学习律以及Ｂｏｌｔｚｍａｎ机的演化律等都是ＰＬＮ网络改进模型的特例．文中还给出ＰＬＮ网络改进模型在联想记忆应用中的模拟实验结果，说明改进模型无论在鲁棒性和收敛速度上比原型都有很大改进．

摘要:本文首先把迷宫排序问题推广为ｍ×ｎ迷宫（ｍ＞１，ｎ＞１）的排序问题，证明了ｍ×ｎ迷宫的任一初始状态能经过有限步移动转变成目标状态的充要条件，然后给出了一个ｍ×ｎ迷宫排序的算法，该算法的时间复杂度是Ｏ（ｍｎ（ｍ＋ｎ）），空间复杂度是Ｏ（ｍｎ）．最后还指出了它的时间复杂度的一个下界．这样，关于迷宫排序问题就基本上得到了圆满地解决．

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

摘要:本文首先根据三角模概念，定义了一类新的更具普遍意义的广义ＡＮＤ／ＯＲ图．根据新定义的启发式函数ｈ（ｎ，ｘ）以及广义ＡＮＤ／ＯＲ图的最佳解树之所有子树亦是最佳子解树的原理，提出了广义ＡＮＤ／ＯＲ图的自底向上的启发式搜索算法ＢＨＡＯ．文中证明了算法ＢＨＡＯ的可采纳性．本文还提出了两类新的启发式函数的单调限制概念，并据此研究了算法ＢＨＡＯ的单调限制性质，研究了两个ＢＨＡＯ算法间的比较性质．

摘要:数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件．本文对ＣＤｓ和ＦＤｓ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤｓ和ＦＤｓ不具有共同的ｋ元完备公理系统这一结论．

摘要:数据流计算机作为新一代并行机迅速发展起来，但由于数据流模型本身的局限性，使得商用数据流机器的制造还难于普及．本文通过分析运算的操作字符与非操作字符，改进传统模型的点火规则、引入变量并拓广变量的概念，定义了粗粒度数据流模型ＣＤＦＭ（ＣｏａｒｓｅｇｒａｎｕｌａｒｉｔｙＤａｔａＦｌｏｗＭｏｄｅｌ）．

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

摘要:本文讨论某些递归函数类的分层问题．首先给出的是原始的Ｇｏｒｚｅｇｏｒｃｚｙｋ分层的一种较为简单的等价定义．然后，作为对Ａｃｋｅｒｍａｎｎ函数的一种推广，定义了一个递归函数序列｛Ａ_ｎ｝_ｎ∈ω．并以此作为分层函数列定义了一种新的递归分层｛Ｚ_ｎ｝_ｎ∈ω（即Ｚ—分层），这种分层涉及了比原始递归函数类更大的一个违归函数类．实际上，原始递归函数类仅是Ｚ—分层的第一层Ｚ_０．而且这种分层的任意的第ｎ＋１层都含