《新一代计算机文集》

新一代计算机的研究：我们的工作与初步结果慈云桂 刘桂仲 孙成政 张晨曦 李良良 王志英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