1994, 5(4):1-8.
摘要:本文论述了我们对美国知名学者A.S.TANENBAUM1986年编制的分时多任务多用户操作系统MINIX所做的若干重要改造和扩充,包括对3.5寸高密盘的支持,AT机扩展内存的利用,进程对换和假脱机系统的实现.
1994, 5(4):9-18.
摘要:数据模型的智能化扩充旨在从数据模型着手,提高数据库系统的性能与功能,使其可存贮和处理复杂对象和知识,增强结构和行为的建模能力、语义构造能力,能演绎推理.本文承接此思路,基于面向对象方法,吸收语义数据模型和人工智能中的演绎推理机制,提出一个面向对象的知识数据库模型.讨论其基本概念与性质、查询语言、与传统模型的比较和实验系统OCEANS的体系结构及实现方案.
1994, 5(4):19-27.
摘要:带类型的λ-演算是一个逻辑系统,它可以作为程序语言的基础.Plotkin所引进的PCF就是这样一类程序语言.Plotkin构造了PCF的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合.本文利用Scott引进的信息系统概念构造PCF的另一种模型,并证明与这个模型对应的指称语义与操作语义是完全配合的.
1994, 5(4):28-34.
摘要:本文对示例式学习的ID5R算法进行了深入的研究并作了进一步的改进,提高了其计算效率.并提出一种适合于增量式学习的抗干扰机制,拓广了算法的适用范围.
1994, 5(4):35-39.
摘要:现有的对Neocognitron的分析都采用代数法,因而无法研究它的动态特性.本文把Neocognitron及其学习算法推广到连续时域,借助微分方程来研究Neocognitron.文中给出了无教师学习算法一般情况下,学习过程中Us层神经元输出变化规律的微分方程,指出其增加的条件,并推出权a、b初始值选择的一个必要条件;进一步得出无教师算法代表稳定后和有教师学习情况下Us变化的一种等效显式函数,指出此时学习过程是Us层神经元输出向一个系数的逼近过程,且有教师学习过程的最后状态与可变权初值和学习率无关.并讨论了影响Us终值和逼近速度的因素.
1994, 5(4):40-48.
摘要:本文对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).
1994, 5(4):49-52.
摘要:本文提出了一种解任务安排问题的Boltzmann网络算法,已在Transputer多处理机系统上并行模拟实现,该算法具有优化程度高,运算速度快等特点.
1994, 5(4):60-64.
摘要:MEGIDDO等人证明了图搜索问题的NP完全性并给出一个树图上的算法,可在O(n)时间内求解树的搜索数,在O(nlog(n))时间内求解树搜索方案.本文通过引入搜索方案边序表示法给出一个线性算法,可在O(n)时间内同时求得树的搜索数和搜索方案.