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

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

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

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

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

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

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

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

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