归约机相关论文
本文以五代机的实现为主要目标,主要对它的知识处理方面的几个问题提出了知识表示的丛形结构,推理的概率多叉树,丛形结构的推理匹......
一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献[2]......
自1972年第一台微处理器诞生以来,每片芯片内的功能元件数目,单片存贮器容量,性能价格比和可靠性都得到了迅速增加和提高,这些都为......
本文介绍了并行图归约(PGR)机中智能存储系统的设计方案。智能存储系统不仅能响应高级访存命令,依存储信息自动实现操作变换;而且......
ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归约语义的，引用透明的，能表达无限数据结构，高阶纯粹的函数式语言。它的实现是......
期刊
