《1983年世界计算机会议论文集》

目录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概述：推断式DBMS264

数据库的语法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