信息处理手册 上PDF电子书下载

目录 2

序言 2

译者的话 2

第一篇 基础理论 2

第一章 概论 2

1 熵的定义 3

2.2 信息量和熵 3

3 Shannon以后的发展 3

2 Shannon论文的要点 3

1 Shannon以前的萌芽 3

2.1 信息论的发展 3

第二章 信息论 3

2 条件熵 4

3 相互信息量 4

2.3 信息源编码与信道编码 4

1 信息通信系统模型 4

6 信道编码定理 5

5 可靠性函数 5

4 信道容量 5

3 信息源编码（有容许畸变的） 5

2 信息源编码（无容许畸变的） 5

速度-畸变理论 5

2.4 编码理论 6

2.5 多端子信息论 7

1 双向信道 7

2 广播信道及多元接续信道 7

3 Marko等人的多端子信道模型 7

第三章 图论 7

3.1 图论的基本概念 7

2 Euler路径（闭路）与Hamilton路径（闭路） 8

3 连通成分、非可分成分、强连通成分 8

3.2 连通性 8

1 路径、闭路和割集 8

4 树和补树 9

3.3 对偶图与平面图 9

3.4 彩色数与集团数 9

3.5 覆盖与匹配 10

3.6 图处理用的数据结构 10

1 排队模型 11

4.1 排队模型与基本假设 11

第四章 排队论 11

3.7 与图有关问题的复杂度 11

2 到达间隔与服务时间的概率分布 12

4.2 模型的种类与表示 12

1 基本模型 12

2 特殊模型举例 12

4.3 理论构成 12

1 方程式和解 12

2 M/M/S（m） 13

4 M/D/S 13

3 M/G/1 13

1 M/M/S 13

4.4 典型公式 13

2 服务基准 13

5 优先权模型M1，…，Mp/M/S 14

6 循环方式M/M/1 14

第五章 符号逻辑 14

5.1 布尔代数 15

1 半序集 15

2 布尔代数 15

2 真值函数的标准形 16

1 真值函数 16

3 对偶原理 16

5.2 命题逻辑 16

3 逻辑式 18

4 同语反复 18

5 古典逻辑体系 18

6 古典命题计算 19

7 演绎定理 20

8 命题逻辑的无矛盾性与完备性 20

1 谓词 21

2 量词 21

5.3 谓词逻辑 21

9 非古典逻辑 21

3 谓词逻辑式 22

4 一阶谓词逻辑的Prenex normalform 23

5 谓词逻辑 23

6 谓词计算 24

7 谓词逻辑的无矛盾性与完备性 24

2 形式文法 25

1 语言和它的表示 25

第六章 自动机和语言理论 25

6.1 形式文法 25

6.2 有限自动机和正则语言 26

1 有限自动机 26

2 正则表示 28

6.3 上下文无关语言和下推自动机 30

1 下推自动机 30

2 上下文无关文法 31

3 上下文无关语言的性质 31

1 语法分析 32

6.4 上下文无关语言的语法分析 32

2 易于进行语法分析的语言 33

6.5 上下文有关文法和线性限界自动机 34

1 线性限界自动机 34

2 上下文有关语言的性质 35

6.6 图灵机 35

1 图灵机的定义 35

2 可计算性 36

5 通用图灵机 37

3 图灵受理机和短语结构语言 37

4 图灵机的各种变型 37

6 判定问题 38

6.7 语言的性质 38

1 语言的运算和闭包性 38

2 关于语言的判定问题 39

1 算法的优良度 40

2 计算机构模型 40

7.1 算法的优良度和计算机构模型 40

第七章 计算量理论 40

7.2 各种问题的计算量 41

1 问题 41

2 Sch？nhage-Strassen算法 41

3 Strassen算法 42

4 快速傅立叶变换 42

5 Rivest-Tarjan算法 42

（第1个元素的判定） 42

6 Knuth-Morris-Pratt算法 42

2 线性加速定理 43

3 带数的限制 43

7.3 模拟技术方法 43

1 基本概念 43

4 确定性和非确定性 44

5 时间复杂度和空间复杂度 44

7.4 按复杂度的问题分类 44

1 基本概念 44

2 界限的扩大和对应类型的扩大 44

3 P和NP 44

4 NP完全问题 44

1 程序的正确性 45

2 部分正确性的验证 45

8.1 前言 45

8.2 程序的验证理论 45

第八章 程序理论 45

3 停止性的验证 47

4 正确性的验证 47

5 程序验证中的问题 47

8.3 递归程序及其验证 47

1 用最小不动点的方法 48

2 用计算规则的方法 48

1 流程图图式 49

8.4 程序图式 49

3 递归程序的验证 49

2 递归图式 51

8.5 形式语义论 51

1 动作语义论 51

2 表示语义论 52

3 公理语义论 52

8.6 格论的计算论 52

1 数据类型的公理 52

参考文献 53

4 有型λ算法模型 53

3 不动点函数 53

2 数据类型的构成 53

第二篇 程序设计基础 58

第一章 概论 58

1.1 本篇的组成 58

1.2 程序语言——以PASCAL为主 58

1 程序中的标识符 58

2 数据类型 59

3 过程和函数 60

4 表达式 60

1 编辑程序的分类 61

2 QED 61

5 语句 61

1.3 编辑程序 61

3 TECO 62

4 Interlisp的结构编辑程序 63

第二章 静态数据结构及其操作 63

2.1 概要 63

2.2 数组 64

1 数组的内部表示 64

2 对数组的操作 65

2.4 集合 71

1 集合的内部表示 71

2.3 记录 71

2 对记录的操作 71

1 记录的内部表示 71

2 对集合的操作 72

第三章 动态数据结构及其操作 72

3.1 动态数据结构 72

1 概述 72

1 （普通的）链接表及其操作 73

2 动态数据结构的特点 73

3.2 链接表 73

2 其它的链接表 75

3.3 树 75

1 概述 75

2 二叉树的操作 76

3 B-tree 77

3.4 无用单元收集 78

1 复合语句 79

2 条件语句 79

4.1 顺序控制 79

第四章 程序的控制结构 79

3 循环语句 80

4 goto语句 80

5 过程 80

4.2 并行控制 81

1 并行语句 81

2 信号灯 81

第五章 抽象数据类型 82

4 管程和排队变量 82

5.1 数据表示的随意性 82

3 共用变量、region语句、 82

await语句 82

5.2 抽象数据类型 83

5.3 数据抽象化功能 84

参考文献 85

第二章 程序语言的描述 88

2.1 程序语言的形式描述 88

2.2 语法描述 88

第一章 概论 88

第三篇 程序语言的处理 88

1 Backus-Nour范式 89

2 二级文法 89

2.3 语义描述 90

1 公理定义 90

2 通用语言定义 90

第三章 语言处理程序的种类 90

3.1 编译程序 91

3.2 解释程序 91

3.3 预处理程序 92

第四章 编译技术 93

4.1 词法分析 93

3.4 宏处理程序 93

4.2 语法分析 94

1 自顶向下法 94

2 自底向上法 94

3 动态数据 95

1 运行时系统 95

4.4 代码生成 95

2 向前引用 95

2 准静态数据 95

1 静态数据 95

4.3 存储分配 95

3 限制事项的处理 95

3 表达式的处理 96

4 过程调用 96

4.5 编译程序的移植 97

1 交叉编译程序 97

2 解释程序 97

第五章 优化技术 97

5.1 程序的分析 97

1 控制分析 98

2 数据流的分析 98

3 循环不变式的移动 99

2 公共表达式的消除 99

1 常数的计算 99

5.2 优化方法 99

4 循环控制变量的优化 100

5 其它优化方法 100

参考文献 101

第四篇 控制程序的基本内容和功能第一章 概论 104

第二章 中断的管理 104

2.1 中断机构 104

1 中断控制和中断屏蔽 105

2.3 中断的控制 105

2.2 中断的种类 105

2 中断和控制程序 106

第三章 同步管理 106

3.1 并发进程系统 106

3.2 同步问题 106

1 互斥问题 106

1 测试和设置原语 107

4 哲学家的用餐问题 107

3.3 同步原语 107

2 生产者-消费者问题 107

3 读-写问题 107

2 唤醒／阻塞原语 108

3 信号灯系统 108

4 条件临界区 109

5 监程 109

6 路径表达式 109

2 固定分区方式 110

4 浮动的可变分区方式 110

3 可变分区方式 110

4.2 实际存储系统的主存管理 110

1 单一连续分配方式 110

4.1 概述 110

第四章 资源管理 110

4.3 虚拟存储系统 111

1 分页方式 111

2 分段方式 112

4.4 程序运行 112

4.5 虚拟存储系统的主存管理 113

5.2 处理排队模型的理论和结果 114

1 单一服务窗口排队 114

第五章 调度算法 114

5.1 计算机系统和调度 114

2 旋转型辅助存储设备的调度 115

3 排队网络 116

5.3 调度的各种方式 116

1 多道程序的动态调度 116

2 根据作业类的调度 116

3 TSS调度 117

4 系统资源管理 117

6.2 程序的运行环境 118

6.3 程序的连接和运行 118

2 按任务运行 118

1 程序的输入及运行环境的设定 118

6.1 程序和程序库 118

2 程序库 118

1 源程序和目标程序 118

第六章 程序的运行和控制 118

1 程序的连接 119

2 程序的装入 119

3 动态连接 119

1 连接的形态 120

7.1 输入输出控制的机构 120

2 通道程序 120

1 作业间的共用 120

2 任务间的共用 120

6.4 程序共用的控制 120

第七章 输入输出控制和数据管理 120

7.2 输入输出管理程序 121

1 输入输出控制程序的功能分担 121

2 输入输出管理程序的职能 121

3 确认输入输出处理的正确性 121

4 输入输出处理的执行 122

5 差错校正处理 122

9 多处理机系统中输入输出管理程序的职能 123

1 数据组织和存取法的种类 123

7.3 数据组织和存取法 123

6 附加程序 123

8 虚拟存储系统输入输出管理程序的职能 123

7 清理处理 123

2 存取法的功能和目的 124

2 虚拟输入输出 125

1 假脱机控制 125

7.5 排斥控制 125

7.6 伪存取法 125

7.4 输入输出设备和卷宗管理 125

4 文件的打开和关闭 125

3 记录的形式 125

第八章 通信控制 126

8.1 功能和结构 126

8.2 线路控制 126

8.4 终端控制 127

3 解除数据链路 127

2 传送数据 127

1 建立数据链路 127

8.3 传送控制 127

8.5 报文控制 128

1 排队控制 128

2 调度控制 128

8.6 缓冲区管理 128

8.7 故障处理 128

1 偶发差错 128

第九章 保护管理 129

2 处理宏 129

9.1 概述 129

1 保密与安全 129

8.8 通信控制程序 129

1 构造系统的宏 129

3 永久性差错 129

2 可以看作为偶发差错的差错 129

2 保护模式 130

9.2 保护机构 130

1 方式分类 130

2 存取矩阵方式 130

3 权限表方式 131

4 权能表方式 132

5 保护的课题 133

9.3 确认身份 133

1 对系统的入侵 133

2 确认身份的方法 133

第十章 故障对策 133

10.1 概述 133

1 硬件冗余 134

2 设计故障 134

10.3 冗余技术的分类 134

10.2 故障分类 134

1 动作故障 134

2 软件冗余 135

3 时间冗余 135

10.4 故障恢复 135

1 控制程序中的恢复机构 135

2 输入输出中断 135

3 机器检查中断 136

4 程序中断 136

3 故障记录分析 137

6 微诊断 137

5 诊断程序 137

4 联机诊断 137

10.5 维护功能 137

2 热起动 137

1 缩减功能 137

5 故障记录 137

7 诊断处理器 138

参考文献 138

2.1 概述 142

第二章 处理方式 142

第一章 概论 142

第五篇 计算机系统和操作系统 142

2.2 成批处理 143

2.3 远程成批处理 144

2.4 分时处理 144

2.5 实时处理 144

2.6 联机处理 145

1 基本组成 146

2 虚拟存储器和虚拟计算机 146

3.1 概述 146

第三章 计算机系统的组成 146

3.2 大型计算机的界限和分散处理 147

1 LSI技术的进展 147

2 计算机应用领域的扩大 147

3.3 耦合方式 148

1 计算机复合体 148

2 计算机网络 149

3 网络体系结构 149

3.4 按不同目的的系统组成 150

1 以通过功能分配提高吞吐量为目的的系统组成 150

3 以高可靠性为目的的系统组成 151

2 以高性能计算为目的的系统组成 151

第四章 操作系统 152

4.1 操作系统的意义 152

1 概述 152

2 操作系统的目标 152

4.2 操作系统的功能 153

1 资源管理 153

2 过程的动作和操作系统 153

3 系统管理 153

4.3 操作系统的组成 154

1 层次扩充计算机模型 154

2 存储管理 154

3 过程管理 155

4 作业控制和指令系统 155

5 数据管理 156

4 数据库管理系统 157

3 信息的共享和保护 157

6 容错操作系统 157

5 计算机网络和分散处理系统 157

2 信息管理和存储管理的结合 157

1 虚拟系统 157

4.4 操作系统的今后发展方向 157

第五章 操作系统的运用和管理 158

5.1 系统设置的计划和准备 158

1 对引进OS的讨论 158

2 运用的准备 159

5.2 系统生成 159

5.4 系统性能的评价和改进 160

2 省力化 160

1 组织 160

5.3 运用管理的组织和省力化 160

1 系统性能 161

2 评价的项目 161

3 评价的方法 161

第六章 联机系统 161

6.1 联机系统的定义和分类 161

1 联机系统的定义 161

2 联机系统的分类 161

1 文件 162

6.3 联机文件 162

4 网络体系结构 162

3 软件组成 162

1 系统的组成 162

6.2 联机系统的组成 162

2 硬件组成 162

5 保密 163

1 终端 163

6.4 终端和数据通信 163

2 数据通信 163

4 故障恢复 163

3 文件的完整性 163

2 数据库 163

第七章 人-机系统 164

7.1 概述 164

1 人-机系统的定义 164

2 人-机接口 164

3 人-机系统的组成 165

7.2 计算机图象 166

1 概述 166

2 输入输出设备 166

3 软件 167

1 概述 168

7.3 声音输入和应答应用系统 168

4 图象系统的组成 168

2 声音的合成和输出 169

3 声音的输入和识别 169

4 应用系统的特征和组成 169

参考文献 170

第六篇 数据库 174

第一章 概论 174

1.1 前言 174

1.2 数据库的概念 174

2.1 数据模型和现实世界 175

1.3 数据模型和数据库用语言 175

第二章 数据模型 175

2.2 数据模型的分类 176

1 基本结合模型 176

2 多项关系模型 179

3 信息结构模型 180

第三章 数据库的设计 183

3.1 数据库的设计顺序 183

3.2 数据库的逻辑设计 184

1 数据模型和逻辑设计技术 184

3 网状模型的设计 185

2 层次模型的设计 185

4 关系模型的设计 186

5 实体-关系模型的设计 187

3.3 数据库的物理设计 188

第四章 数据库软件 189

4.1 数据库管理系统的变迁 189

4.2 数据描述 190

4.5 主语言与独立语言的联系 191

1 基本操作 191

4.6 数据操作 191

4.4 独立语言接口 191

4.3 主语言接口 191

2 检索条件 192

3 其它功能 192

4.7 数据通信 192

4.8 数据的完整性 192

1 完整控制的必要性 192

2 一致性水平 193

3 闭锁对象的大小 193

4.9 实用程序 193

5.2 混列组成 194

第五章 数据库的构造技术 194

5.1 内部模式技术 194

5.3 多重链接组成 195

5.4 索引的应用 196

1 静态索引 196

2 B树 196

3 倒排索引 198

5.5 元数据管理 198

3 故障恢复 199

2 并行控制 199

1 调用控制 199

5.6 数据控制 199

第六章 数据库的管理 200

6.1 数据库的管理组织及其任务 200

1 数据管理 200

2 DD/DS 200

6.2 数据库的运用管理 201

1 数据库安全性的确立 201

2 数据库的完整性 202

3 数据库的维护和改进 203

2 人与接口 205

1 可变的或柔性的数据结构 205

第七章 将来的动向 205

7.1 数据的定义 205

7.2 对新型DBMS的新要求 205

3 分散系统 206

4 数据库系统的结构 206

参考文献 206

2 系统应该是可靠性高的 210

1.3 软件工程 210

6 其他 210

5 系统应该是容易改变的 210

4 系统应该是使用方便的 210

3 系统应该是高效率的 210

1.2 一般的要求条件 210

能充分发挥效果的 210

1 系统应该是在解决问题中 210

1.1 前言 210

第一章 概论 210

第七篇 系统开发和运用管理 210

3 系统设计 211

2 系统分析 211

4 程序设计 211

5 程序的编制与测试 211

2.2 系统开发的顺序 211

2.1 系统开发 211

第二章 系统开发过程和管理 211

1 准备 211

第三章 系统分析 212

2 调查现状 212

1 限定目标 212

3.2 系统分析的顺序 212

3.1 系统分析的定义 212

2 标准化和文档化 212

1 系统开发的计划与进度管理 212

2.3 系统开发的管理 212

6 运用 212

3 分析、评价 213

4 确定新系统的开发方针 213

3.3 业务分析的方法 213

1 现状调查表 213

2 事务过程分析图 213

5 功能信息关连图 214

3 功能关连图 214

4 信息关连图 214

2 系统的组成 215

2 系统组成的设计 215

4.2 硬件系统的设计 215

3 系统设计的顺序 215

1 概述 215

1 系统设计的地位 215

4.1 概述 215

第四章 系统设计 215

3.4 系统分析的注意事项 215

3 输入输出系统的设计 216

4 处理系统的设计 216

5 存储系统的设计 217

6 通信系统的设计 217

4.3 数据的设计 217

1 概述 217

2 数据结构 217

3 数据的记录方法 218

5 数据设计的顺序 219

6 数据设计中的注意事项 219

4.4 软件系统的设计 219

1 软件系统设计的目的 219

2 软件系统设计的方法 219

4 数据的编码 219

3 软件系统设计的条件 220

5.2 设计技术 221

1 结构化设计 221

5.1 程序设计的目标 221

第五章 程序设计 221

2 容错设计 222

3 程序设计的文档化 223

4 设计审查 224

5.3 程序设计技术 225

1 结构程序设计 225

6.1 测试的概念 226

第六章 程序的测试与维护 226

1 测试的意义 226

2 测试与排（除）错（误） 226

3 编码规约 226

2 自顶向下的程序设计 226

5.4 程序设计上的注意事项 226

3 测试方法 227

6.2 单体测试 227

6.3 联结测试 227

6.4 总体测试 227

1 维护的目的 228

2 维护作业 228

6.6 程序的维护 228

6.5 测试及排错工具 228

第七章 标准化和文档化 229

7.1 标准化的意义 229

1 标准化的对象 229

2 标准化的效果 229

3 标准化中的注意事项 229

7.2 作业标准和文档标准 229

1 对作业标准和文档标准的考虑方法 229

2 标准的制订方法及注意事项 230

8.1 系统开发管理 232

第八章 系统开发管理 232

3 编码相关事项 232

2 编码标准应规定的项目 232

1 编码标准的目标 232

7.3 编码标准 232

8.2 软件开发管理的现状 233

1 有关工程管理技术的问题 233

2 有关制作技术的问题 233

8.3 软件开发管理的实际 233

1 费用估算的顺序 233

2 编制工序计划表的顺序 234

3 工序的管理 235

9.2 运用管理的组织 236

9.1 运用管理的考虑方法 236

第九章 系统的运用管理 236

9.3 运用业务 237

1 计划管理 238

2 实行的管理 238

3 实际管理和故障管理 238

9.4 设备管理 238

1 维修业务 238

2 计算机系统的维修技术 239

3 系统安全与保密 239

2 利用计算机的系统管理 240

1 操作系统的高级化 240

参考文献 240

9.5 运用效率的提高和管理系统 240

的自动化 240

第八篇 系统的评价 244

第一章 概论 244

1.1 系统评价的意义 244

1.2 系统评价的立场 244

1.3 系统评价对象的多样化 244

2.2 解析法与模拟法的比较 245

2.3 系统评价的概要 245

2.1 解析法的基础 245

第二章 解析法 245

2.4 解析模型 246

1 CPU模型 246

2 存储器存取争用模型 247

3 输入输出装置的存取时间模型 247

4 虚拟存储器模型 247

1 系统评价用的理论 248

2.5 今后的动向 248

5 多道程序设计模型 248

6 TSS模型 248

2 系统评价用的分析工具 249

第三章 模拟法 249

3.1 系统评价中的模拟法 249

1 模拟 249

2 模拟的目的 249

3 模拟法的意义 249

4 与其他评价法的比较 250

5 模拟法的注意事项 250

3.2 模拟的方法 250

1 模型的基本概念 250

2 模型化的对象及其表示 251

3 模拟的顺序 252

4 专用模拟程序的利用 252

3.4 计算机系统和信息系统的模拟 253

2 离散型模拟语言 253

1 计算机体系结构 253

2 计算机系统的构成 253

3.3 模拟语言 253

5 仿真 253

1 模拟语言 253

3 联机系统 254

4 计算机网络 254

第四章 监控 254

4.1 监控方法 254

4.2 软件监控程序 255

1 综合性软件监控程序 255

1 利用硬件监控器的测定项目 256

2 硬件监控器的原理与结构 256

3 程序优化 256

4.3 硬件监控器 256

2 单一程序的监控程序 256

4.4 监控的运用 258

第五章 可靠性和操作性的评价 259

5.1 可靠性的尺度 259

1 可靠性的定义 259

2 可靠度函数 259

1 可靠性设计的顺序 260

5.3 可靠性设计 260

2 系统的可靠度 260

1 串行系统和冗余系统 260

3 可用性 260

5.2 系统的可靠度 260

2 提高可靠性的方法 262

3 评价可靠性的方法 262

5.4 操作性的评价 262

第六章 系统性能的综合评价 262

6.1 计算机系统的评价与选择 262

6 存储管理方式 263

11 软件编制方法 263

10 软件描述语言 263

9 多道程序设计方式 263

8 TSS的调度 263

7 磁鼓和磁盘的调度 263

2 机器配置的选择 263

5 程序语言的选择 263

4 作业调度及统计方式 263

3 软件配置 263

1 机型选择 263

6.2 评价选择的形态 263

4 基本检验程序 264

3 核心法 264

5 合成程序 264

1 目录数据 264

2 指令混合法 264

6.3 评价的基准和测定 264

6 监控 265

7 追踪程序 265

6.4 计算机系统的评价指标 265

1 吞吐量 265

2 响应时间和周转时间 265

3 可靠性 265

4 操作方便性 265

5 装置的利用率和瓶颈 265

6 开销 265

6.5 计算机系统的性能优化 266

6.6 系统性能优化过程的自动化 266

参考文献 267

2 研究的历史 270

1 智能机器 270

1 模式识别 270

1.2 模式识别 270

1.1 计算机和智能 270

第一章 概论 270

第九篇 模式识别与人工智能 270

2 模式识别系统 271

3 模式识别理论 271

1.3 人工智能 272

1 人工智能的范围 272

2 问题求解和探试搜索 272

3 知识的表现、利用和学习 272

2.1 文字模式的识别 273

第二章 文字的识别与处理 273

4 知识工程 273

2.2 文字模式的观测与前处理 274

2.3 文字特征的抽取 274

2.4 印刷体文字的识别 275

2.5 手写体文字的识别 276

2.6 文字识别的后处理 277

第三章 图形和物体的识别与处理 278

3.1 数字图象处理 278

3.2 图象处理的目的及应用领域 278

1 图象处理的目的 278

2 应用领域 279

1 图象输入装置 280

2 图象输出装置 280

3.3 硬件与系统 280

3 图象处理用处理机 281

4 图象存储器 281

5 软件 281

3.4 基本方法 281

1 点运算 281

2 几何运算 281

3 二值化 282

4 线条和轮廓的抽出 282

5 二值图象的处理 282

6 图象的增强和复原 283

7 纹理分析 283

1 发声器官 284

2 语音生成的模型 284

3 母音和子音 284

第四章 语音的识别和处理 284

3.5 今后的动向 284

4.1 语音的产生及基本性质 284

4 语音的统计性质 285

4.2 语音的分析 285

1 语音的频率分析 285

4.3 语音识别 286

1 语音输入装置的用途 286

2 语音识别 286

3 语音的零交波分析 286

2 基本频率的分析 286

3 讲话人识别 287

4.4 语音的合成和处理传输 287

1 语音的合成 287

2 语音的处理传送 288

第五章 自然语言处理 288

5.1 概要 288

5.2 语言结构分析 288

1 上下文无关型子句结构文法 288

2 上下文有关型子句结构文法 289

5.4 上下文分析和知识构造 290

1 Winograd方法 290

4 概念相关文法 290

3 语义网络 290

2 Nagao Tsujii方法 290

3 关于语句结构的意义 290

2 单词的分层结构 290

1 语义标记 290

5.3 语义分析 290

3 字典 291

2 连续汉字的分割 291

1 分开书写 291

5.6 关于日语处理的问题 291

4 自然语言的实用系统 291

3 机器翻译 291

2 问答系统 291

1 情报检索系统 291

5.5 自然语言处理的应用系统 291

4 采用符号逻辑式的知识表达 291

4 假名、汉字变换 292

5 日语文章的分析 292

第六章 问题求解和求解问题语言 292

6.1 定义 292

6.2 树搜索 292

6.3 GPS，定理证明 293

6.5 知识库 294

6.4 人工智能用语言 294

1 表达功能的提高 295

2 求解功能的提高 295

第七章 机器人 295

7.1 研究机器人的历史 295

7.2 操作机的控制 296

1 操作机的几何计算 296

2 操作机的运动方程式 296

3 目标轨迹的设计 297

4 伺服程序 297

1 视觉 298

2 触觉和力觉 298

5 其它控制方式 298

7.3 感觉子系统 298

7.4 机器人用高级语言 299

第八章 仿生学 299

8.1 仿生学的思想 299

8.2 神经细胞的信息处理 300

1 神经细胞 300

2 神经细胞模型 300

3 神经纤维的脉冲传导模型 300

3 学习功能 301

2 神经回路的活动模式 301

8.3 神经回路的信息处理 301

1 感觉系统的模型 301

4 联想记忆模型 302

5 感觉神经系统的自组织 302

6 运动程序和神经回路 303

参考文献 303

1.2 舍入误差 310

1.4 加法运算中舍入误差的积累 310

1.3 误差的传播方式 310

1.1 截断误差 310

第一章 概论 310

第十篇 数值分析 310

第二章 联立方程组 311

2.1 小型问题 311

1 标准程序 311

2 最小二乘法 312

2.2 迭代法 312

2.3 共轭梯度法 312

2.4 稀疏矩阵的直接解法 313

1 主元素的选择 313

2 带状矩阵 314

3 从偏微分方程产生的方程组， 315

整形法 315

4 最小二乘法 315

5 存储法，实用化 315

第三章 矩阵的本征值问题 316

3.1 基本概念 316

3.2 实对称矩阵的本征值问题 316

1 Jacobi法 316

2 基于三重对角化的方法 317

3 广义本征值问题 318

3.3 任意矩阵的本征值问题 319

1 一个矩阵的情况 319

2 广义的情况 320

第四章 内插与外插 320

4.1 内插多项式及其变形法 320

4.2 Hermite内插公式 321

4.3 Chebyshev内插公式 321

4.4 分段多项式内插 322

5.2 基本的数值积分公式 323

5.1 引言 323

4.6 外插公式 323

4.5 其它内插公式 323

第五章 数值积分 323

1 Newton-Cotes公式 324

2 Gauss型公式 324

3 Clenshaw-Curtis公式 325

4 二重指数函数型公式 325

5.3 自动积分程序 325

1 非自适应程序 325

2 自适应程序 326

5.4 多元积分 326

5.5 误差分析 326

1 误差的渐近趋势与外插法 326

2 解析函数积分的误差估计 326

5.6 积分公式的选择与注意点 326

第六章 函数逼近 327

4 无限区间（-∞,∞）的积分 327

6.1 概述 327

1 目的 327

2 解析周期函数的积分 327

1 有限区间的积分 327

3 半无限区间（0,∞）的积分 327

2 逼近方法 328

3 多项式的计算 328

6.2 最小二乘逼近与正交多项式 328

1 正交多项式系 328

2 最小二乘逼近 328

6.3 用样条函数逼近 328

6.5 极大极小逼近理论 329

2 唯一性 329

1 一般有理函数 329

2 FFT 329

1 有限Fourier级数 329

6.4 调和分析与Fourier分析 329

3 最佳逼近计算法 330

6.6 首次逼近计算法 330

1 捯项法（telescoping） 330

2 ？eby？ev展开 330

3 ？eby？ev内插 330

6.7 有理函数逼近 330

1 连分式 330

2 立方根 331

1 平方根 331

3 倒数 331

3 Padé展开 331

2 S连分式 331

6.8 计算各种函数的备忘录 331

4 指数函数 332

5 对数函数 332

6 三角函数 332

7 反三角函数 332

8 Gamma函数 332

9 误差函数 332

10 Bessel函数 332

7.1 非线性方程的各种解法 333

1 Newton-Raphson方法 333

6.9 使用微程序的计算法 333

第七章 非线性方程、代数方程 333

2 割线法 334

3 试位法 335

4 二分法 335

5 逐次代入法 335

7.2 连续变形法原理 335

3 联立法 336

2 平野法 336

1 总的注意事项 336

7.3 代数方程 336

4 近似解的误差估计法 337

5 多项式的值的计算法 337

6 降幂法 338

第八章 常微分方程 338

8.1 解法分类 338

1 问题的类型与离散化方法 338

2 Runge-Kutta法 339

3 预测-校正法 339

1 截断误差的估计 341

8.2 误差估计与间距的调节 341

2 局部截断误差的估计与间距的调节 342

3 外插法与间距调节 343

8.3 刚性方程 344

第九章 偏微分方程 345

9.1 概述 345

9.2 差分近似法 345

1 差分近似公式 345

2 边界值问题的解法 345

3 初值问题的解法 347

4 特征曲线法 348

9.3 Ritz法与Galerkin法 348

1 变分问题与边界值问题 348

2 Ritz法 349

3 Galerkin法 349

9.4 有限元法 349

1 有限元与局部化坐标函数 349

2 元素方程 350

3 整体方程 350

4 重心坐标 351

参考文献 351

的指令 353

2 用于存储分配和符号地址定义 353

1.2 产生和发展 356

第一章 概述 356

第十一篇 通用程序语言 356

1.1 定义和种类 356

1.3 发展和标准化 357

第二章 汇编语言 359

2.1 概述 359

2.2 指令的种类 359

1 用于产生对应信息的指令 359

3 对于汇编程序，指定汇编方法用的指令 359

4 宏指令 359

2.3 指令的形式 359

1 指令码的表现 359

2 虚节 360

2.5 宏指令 360

2.4 编码技术 360

1 程序之间的联接 360

2 地址部分的表示 360

2.6 汇编系统 361

第三章 FORTRAN 361

3.1 历史和特征 361

1 历史 361

2 特征 361

3.2 基本元素 361

1 与内容有关的基本元素 361

2 与表现形式有关的基本元素 362

3.3 语句的种类和程序 362

1 语句的种类 362

1 表达式 363

2 赋值语句 363

3.5 运算和赋值 363

3 表达式的估计 363

3.6 控制 363

2 程序 363

3 常数和变量，数组及数组元素 363

2 类型 363

1 数据名和数据类型的种类 363

3.4 数据的种类和说明 363

4 说明 363

1 格式说明 364

3 过程和子程序 364

2 过程的分类 364

1 关于过程的基本概念 364

3.9 函数和子程序 364

2 格式控制 364

2 输入输出排列 364

3.8 输入输出格式 364

3 输入输出语句 364

1 输入输出的基本元素 364

3.7 输入和输出 364

2 有效范围为包含它的能执行的程序之内的控制语句 364

1 有效范围为包含它的程序单位之内的控制语句 364

2 FORTRAN77和目前的JIS 365

工作 365

FORTRAN的主要区别 365

3.10 赋初值 365

1 ANS,ISO FORTRAN的修订 365

3.12 最近的动向 365

3.11 程序单位内和程序单位间的联系 365

第四章 ALGOL 366

4.1 ALGOL 60的历史 366

4.2 ALGOL 60的语法 367

1 程序 367

2 类型，值，变量 367

3 表达式 367

4 语句 367

5 说明和分程序 368

6 过程 369

7 标准过程 369

4.3 ALGOL系统语言的发展 369

1 历史和特点 370

4.4 PASCAL 370

2 PASCAL的数据结构 371

第五章 COBOL 372

5.1 历史和特点 372

1 历史 372

2 标准化 372

3 特点 373

4 书写格式 373

5.2 程序的结构 374

1 结构 374

2 基本元素 374

5.3 数据 374

1 层结构 374

2 数据项 374

3 节 374

2 表操作 375

3 输入输出 375

4 数据通信 375

5.4 功能 375

1 核心 375

5 排序和报告书 376

6 程序控制 376

7 数据库功能 376

第六章 PL/I 377

6.1 历史和特点 377

6.2 基本元素 377

6.3 语句和程序的构成 378

6.4 数据的种类 378

6.6 控制流 379

6.5 运算和赋值 379

6.7 输入输出 380

6.8 输入输出的格式 380

6.9 数据说明 380

6.10 内部函数 381

第七章 RPG 381

7.1 特点和历史 381

7.2 主要功能 382

7.3 目标程序的程序逻辑 382

3 输入规格书 383

2 文件规格书 383

4 运算规格书 383

7.4 RPGⅡ的规格书 383

1 控制卡片／文件规格书 383

5 输出规格书 384

7.5 操作码 384

2 特点 387

2 标准化动向 387

1 BASIC的种类 387

8.2 种类和标准化 387

1 历史 387

8.1 历史和特点 387

第八章 BASIC 387

8.3 基本BASIC 389

1 标准的构造和描述 389

2 程序和语句 389

3 常数 389

4 变量 389

第九章 APL 390

2 实时 390

9.1 特点和历史 390

8.4 扩展BASIC 390

5 表达式 390

1 扩展BASIC的种类 390

9.2 基本事项 391

1 使用的文字 391

6 作业空间和程序库 392

1 函数的种类 392

7 名字 392

9.3 函数和算子 392

5 常数的表示 392

4 数组和变量 392

3 数据的类型 392

2 语句 392

2 标量函数 393

3 1项标量原函数 393

4 2项标量原函数 393

5 1项混合原函数 394

6 2项混合原函数 394

7 算子 394

2 系统函数 395

1 系统之间的通信 395

9.6 系统函数和系统变量 395

3 函数调用 395

2 转移和语句标号 395

1 函数过程 395

9.5 定义的函数 395

2 输出的形式 395

1 输入形态 395

9.4 输入输出的形式 395

3 系统变量 396

9.7 共用变量 396

参考文献 396

2.1 概述 400

第二章 系统描述 400

第一章 概论 400

第十二篇 面向应用的程序语言 400

2.2 系统描述语言的种类 401

1 宏语言 401

2 中级语言 401

3 高级语言 401

2.3 BLISS 402

1 BLISS的特点 402

2 表达式 402

3 数据的存取 402

3 基本函数 403

2 LISP的数据 403

第三章 表处理和字符串处理 403

3.1 表处理 403

1 LISP 403

4 M语言 404

5 M-S变换 404

6 其它表处理语言 405

3.2 字符串处理 405

1 SNOBOL 405

2 SNOBOL-3 405

第四章 人工智能 406

4.1 定义 406

3 SNOBOL-4 406

4 其它字符串处理语言 406

4.2 LISP 407

4.3 Micro-PLANNER 407

4.4 CONNIVER 407

4.9 产生式系统 408

4.8 Actor（PLASMA） 408

4.7 PROLOG 408

4.5 SAIL 408

4.6 QLISP 408

1 走时功能 409

5 构成元素的集合 409

4 描述模型构成元素 409

2 描述系统的状态 409

3 给事件排序 409

5.2 一般的特点 409

5.1 概述 409

第五章 模拟（离散型） 409

4.11 解题系统 409

4.10 KRL 409

6 生成伪随机数 410

7 收集统计值 410

8 制作报表 410

9 排错功能 410

5.3 代表性的语言 410

1 SIMSCRIPT 410

4 GASP 412

3 SIMULA 412

2 GPSS 412

第六章 模拟（连续型） 414

6.1 概述 414

6.2 CSMP体系的语言 414

1 MIDAS 414

2 MIMIC 414

3 DSL/90 414

4 CSMP 414

1 CSSL 415

6.3 CSSL体系的语言 415

5 其它 415

2 SL-1 416

6.4 方块图系统 416

1 DDS Ⅲ 416

2 BCSS 416

6.5 DYNAMO 416

第七章 统计计算 417

7.1 历史和现状 417

7.3 今后的动向 418

3 MINITAB 418

4 特殊目的的程序包 418

2 SPSS 418

1 BMD 418

7.2 有代表性的程序包 418

第八章 数学规划 419

8.1 数学规划 419

8.2 线性规划 419

8.3 网络规划 419

1 最短路径问题 420

2 最大流问题 420

3 最小费用流问题 420

4 分配问题 420

8.4 非线性规划 420

1 函数的极小化 420

2 缩小梯度法 420

8.6 数学规划程序 421

3 0-1规划 421

9.1 引言 421

9.2 语言研制的经过 421

第九章 结构分析 421

1 背包问题 421

8.5 组合规划 421

3 SUMT 421

2 巡回售货员问题 421

9.3 分析方法 422

9.4 程序的特点 422

9.5 ICES的STRUDL 422

9.6 NASTRAN 423

9.7 SAP 424

第十章 计量经济 424

10.1 引言 424

2 DRI的系统 425

3 NBER的系统 425

10.2 有代表性的计量经济模型系统 425

1 WEFA的系统 425

4 IBM的系统 426

5 日经的NEECS TSⅡ 426

6 EMS 426

10.3 经营管理 427

1 经营管理问题用的模拟语言 427

2 经营管理用的特殊程序语言 427

3 报表程序生成程序 427

11.1 概述 428

第十一章 情报检索 428

4 经营管理程序开发用的简易语言 428

11.2 情报检索系统 429

11.3 用于情报检索的软件特点 431

第十二章 数学式处理 431

12.1 变迁 431

12.2 例题 432

12.3 数学式处理语言 432

1 MACSYMA 432

1 应用例 433

12.5 结束语 433

2 课题 433

3 其它 433

12.4 应用 433

2 REDUCE 433

第十三章 图形处理 434

第十四章 数字控制 436

14.1 数字控制的发展 436

1 数字控制及控制带 436

1 自动编程系统 437

2 APT 437

14.2 自动编程语言 437

3 EXAPT 438

4 其它数控语言 438

第十五章 过程控制 438

15.1 过程控制的现状 438

15.2 过程控制用语言 438

15.3 程序包 439

1 概要 439

2 填写空栏方式——BICEPS 439

5 其它语言 440

16.1 矩阵运算用语言 440

第十六章 其它语言 440

AUTRAN 440

4 会话型程序语言——PM/C等 440

3 采用高级语言的方式——DACS 440

16.2 逻辑设计用语言 441

16.3 正文处理 442

16.4 CAI 442

1 概要 442

2 功能 442

3 展望 443

参考文献 443