– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

第1节 CPU的内部逻辑结构 第2节 CPU的外部结构 第3节 8086支持的存储器结构 第4节 8086系统配置 第5节 CPU的操作和时序

2.1 关系数据结构及其形式化定义 2.2 关系操作 2.3 关系的完整性 2.4 关系代数 2.5 关系演算(略) 2.6 小结

❖文件 ❖硬链接和软链接 ❖文件类型 ❖文件描述符与索引节点 ❖访问权限和文件模式 ❖文件操作的系统调用

1 μC/OS-Ⅱ简介 2 μC/OS-Ⅱ内核结构 3 μC/OS-Ⅱ任务管理 4 C/OS-Ⅱ时间管理 5 μC/OS-Ⅱ任务通信与同步 6 μC/OS-Ⅱ内存管理 7 μC/OS-Ⅱ移植

内容提要 • ARM体系结构概览 – ARM历史 – ARM体系结构特征 – ARM片上总线AMBA – ARM对调试的支持 – 虚存管理 • ARM编程模型 – ARM微处理器的工作状态 – ARM体系结构的存储器模式 – ARM微处理器的操作模式 – ARM体系结构的寄存器组织 – ARM微处理器的异常状态 • Cortex M处理器

5.1 为什么要拷贝数据 5.2 消除copy 4 5.3 消除 Copy 3 5.4 优化页面重映射 5.4 优化页面重映射 5.6 把避免拷贝技术扩展到文件系统 5.7 扩展到拷贝之外 5.8 扩展到数据操作之外

2.1 指令系统概述与寻址方式 2.2 数据传送指令（29条） 2.3 算术运算指令（24条） 2.4 逻辑运算与循环类指令（24条） 2.5 控制转移类指令（17条） 2.6 位操作指令

11.1 多路选择器 11.2 二进制译码器 11.3 相等检测器和比较器 11.4 优先权编码器 11.5 移位和循环操作 11.6 锁存器 11.7 D触发器 11.8 寄存器 11.9 综合的作用

4.1 JES2的简述 ▪ JES2所支持的系统配置 ▪ JES2的功能 ▪ JES2的客户化 ▪ JES2的交互(JES2的消息诊断，系统控制) 4.2 JES2的初始化和配置 ▪ JES2的初始化 ▪ 控制JES2的处理过程 ▪ SPOOL卷的配置、管理和性能 ▪ 检查点数据集的定义和配置 4.3 JES2的日常操作 4.4 关于JES3