新一代计算机文集PDF电子书下载

新一代计算机的研究：我们的工作与初步结果&慈云桂 刘桂仲 孙成政 张晨曦 李良良 王志英 1

并行推理机系统HMPIS的群落结构&刘志勇 高庆狮 9

并行图归约计算与并行图归约计算机的研究&王鼎兴 房家国 郑纬民 郭毅可 杜晓黎 15

智能机漫谈&徐家福 孙钟秀 35

智能化软件工程支撑环境&杨芙清 方裕 陈良华 37

软件自动化初探&戴敏 袁峰 陈小群 陈道蓄 徐家福 45

智能操作系统初探&谢立 谭耀铭 孙钟秀 49

未来计算机：新一代、二代、…n代&谢志良 54

计算机科学的基础理论&史忠植 62

算子Fuzzy逻辑和λ归结方法&刘叙华 肖红 68

向着建立第二代专家系统—工具系统ZDEST-2介绍&童学军 何志钧 俞瑞钊 72

大型知识库管理系统QKBMS/75&周立柱 杨德元 80

基于元知识的知识程序开发环境—MIKE&孙怀民 王康 87

基于性质论的概念学习&韩建超 史忠植 93

论专家系统中不精确推理的单位元&张成奇 100

ESDEN专家系统开发环境及实现&许志平 史忠植 106

分布式专家系统&陆汝钤 114

ALFALFA：第二代专家系统的一个雏形&洪家荣 卡尔·尤瑞克 125

KMIX通用知识库系统的体系结构&杨涛 何志钧 俞瑞钊 132

基于OR树林的逻辑程序并行执行模型—PSOF模型&孙成政 慈云桂 139

实验性并行推理系统NDPIS&徐家福 章萃 赵沁平 周文达 145

一个层次型数据流计算机HDDS中的数据定向机构&吴刚 陈仁甫 149

数据流与控制流相结合的计算模型与体系结构&刘桂仲 慈云桂 153

Warren抽象机的改进与扩展&沈滨 谢志良 163

面向AI问题求解的计算机体系&童頫 170

知识库机KBM的体系设计&史忠植 175

树状结构数据库机模型&胡铭曾 孟力明等 178

一个基于规则的新一代计算机逻辑设计支撑系统的设计与实现&刘明业 郭书明 杨淮 贾良玉等 181

FP语言的实现技术和支持函数式语言的并行模型&孙永强 杨澜 郑坚平 张天宁 186

顺序PROLOG执行机构（SPE）&邢东生 邢汉承 190

编译型PROLOG系统中的反编译算法及其实现&李良良 慈云桂 197

多机环境下的PROLOG并行解释系统&沈一栋 程代杰 童頫 202

并行PROLOG系统模型&张伟 何志均 俞瑞钊 207

智能机核心语言的设计要求—LogC语言和环境研制的体会&冯玉琳 218

Lisp-ELP：设计、实现和应用&张运桢 李智勇 222