随着多核处理器的酱及，使用并发成为构建高性能应用程序的关键。Java5以及6在开发并发程序中取得了显著的进步，提高了Java虚拟机的性能以及并发类的可伸缩性，并加入了丰富的新并发构建块。在本书中，这些便利工具的创造者不仅解释了它们究竟如何工作、如何使用，还阐释了创造它们的原因，及其背后的设计模式。本书既能够成为读者的理论支持，又可以作为构建可靠的、可伸缩的、可维护的并发程序的技术支持。本书并不仅仅提供并发API的清单及其机制，还提供了设计原则、模式和思想模型，使我们能够更好地构建正确的、性能良好的并发程序。本书适合于具有一定Java编程经验的程序员、希望了解JavaSE5以及6在线程技术上的改进和新特性的程序员，以及Java和并发编程的爱好者

第一节 数控机床的产生与发展 第二节 数控机床的特点及适用范围 第三节 数控机床的组成和工作原理 第四节 数控机床的分类

通过本章节的理论教学:了解数控技术的发展过程及其发展趋势 掌握数控机床的组成、工作原理、分类及特点:数控机床的适用范 围:了解常用数控系统

引言 数控技术的发展 数控机床的工作原理及基本组成 数控机床的分类 数控机床的特点和应用范围 典型数控系统简介

– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

一、剩余类环 二、多项式剩余类环 三、基于多项式的有限域 四、循环群 五、有限域GF(q)的乘法结构 六、有限域GF(q)的加法结构 七、有限域GF(q)的代数结构 八、小结

一、在扩展域描述和构成循环码 二、二进制BCH码 三、多元BCH码 四、RS码——基本概念 五、BCH码的一般译码方法

– 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码 – 用语法制导定义和翻译方案来说明源语言的各种 构造怎样被翻译成中间形式

一、历史和特点 1.1 历史 1.2 特点 二、定义和代数结构 三、Tanner图 四、构造 五、译码 六、随机LDPC码