1983年世界计算机会议论文集PDF电子书下载

目录 1

微型计算机的应用 1

微处理器是反工业化的动力 1

译序 1

在发展中国家中将微型计算机作为教育工具 7

未来的微处理器发展趋势 12

在一台帮助聋子小孩的个人计算机上进行语言处理 18

用微处理器控制蒸馏塔板效率的设备 22

在微处理器上有效地实现逻辑控制算法 26

自动化标签检查器 35

MIDOC：用于结构文件管理的计算机系统 40

使用微型计算机的人—机语言通信系统 47

个人计算机的局部联网 55

办公室自动化 65

办公室活动的形式和非形式模型 65

采用微处理器作办公室工作站 79

在办公室自动化系统中应用人工智能技术 88

介绍一种办公室自动化的方法 95

多媒体机 101

在家里工作或在办公室里生活 109

决策系统 119

解决大型经济计划问题的人机法 119

D＊2决策法 127

网络和通信 137

ISO参考模型和其它协议体系结构 137

环状网络互连之桥一仿真研究 146

协议工程论 152

一种通信协议验证工具 163

在多网络环境下用于协议研究的一种灵活的体系结构 170

以抽象物体为基础的计算机网络软件设计 178

发展中国家的大型综合计算机网络的系统设计及其设计考虑 185

计算机网络的进展 193

数据库技术和联机检索 205

数据库系统的恢复算法 205

多处理器关系数据库系统的设计 216

理想的数据库体系结构功能 222

数据库系统的通用关系接口 233

如何改善关系DBMS的性能 245

高性能数据库系统设计 253

BDGEN概述：推断式DBMS 264

数据库的语法 275

实体—关系数据库模式的分析和转换 284

软件技术说明，数据库和知识库 291

聚类文件冗余结构的连续检索 296

BD树—有高效动态特性的新N维数据结构 303

布尔信息检索的自动化环境 309

计算机对人类社会的影响 323

大众信息学及其与日常生活的关系 323

在社会关系中观察计算机系统 330

亚洲发展中国家的计算机应用情况 340

基于某种标准的过程控制C·A·D系统 353

计算机辅助设计 353

一个用于计算机辅助机械设计的专家系统 359

软件工程—一个教育上的挑战 367

软件 367

在偏斜数据上关系代数运算的成本：估计和实验 374

暂时逻辑有什么用处？ 383

证明概率机功能的语言和方法 399

实时分布式计算 406

实用实时程序设计 421

迈向推理程序设计的第一步 429