新一代计算机文集2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

新一代计算机文集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