- 作 者：乔国培译
- 出 版 社：西安：西北工业大学出版社
- 出版年份：1992
- ISBN：756120406X
- 标注页数：219 页
- PDF页数：229 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源229 ≥219页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 occam的语法和语义 1
1.1 基本概念 1
1.2 生产者-消费者问题 3
1.3 可终止的生产者-消费者问题 7
1.4 多路转换器 11
1.5 有界缓存 18
第二章 occam程序的设计 31
2.1 汽油站前院控制系统 31
2.2 工资记录更新和工资单打印系统 35
2.3 结论 38
第三章 过程控制应用 39
3.1 汽油站前院控制系统的模拟 39
3.2 泵进程 43
3.3 控制台进程 47
3.4 键盘输入进程 51
3.5 屏幕输出进程 60
3.6 结论 80
第四章 数据处理应用 82
4.1 共享屏幕、键盘和打印机 82
4.2 利用一组事务处理的文件更新 87
4.3 关系数据库的连接操作 100
4.4 结论 109
第五章 数字电路的建模与模拟 110
5.1 要建模系统的分块结构 111
5.2 整个系统的occam表示 113
5.3 位片的定义 118
5.4 位片控制器 129
5.5 存储器 143
5.6 附属进程 151
5.7 结论 153
第六章 进程网络 154
6.1 电报问题 154
6.2 使用海明码的字符码校验 168
6.3 矩阵乘 177
6.4 结论 192
第七章 transputer与occam 193
7.1 transputer 193
7.2 occam的构局机制 194
7.3 一个介绍性的例子 195
7.4 电报问题 198
7.5 海明校验问题 201
7.6 超立方体 205
7.7 立方体构局 206
7.8 结论 213
附录 214