南京航空航天大学教授、博士生导师，主要从事网络/无线传感器、智能监测与控制、形状与振动控制智能结构、环境能量收集等方面研究。曾任加州大学伯克利分校访问教授、中国航空工业测控技术发展中心理事等。 2100433B

本书是作者在多年单片机方面教学科研实践中积累的知识和经验的结晶。在介绍计算机及单片机发展以及计算机基础知识的基础上，重点介绍了MCS-51系列单片机的基本结构、指令系统、汇编语言程序设计、中断系统与定时/计数器、系统的扩展、串行通信和接口技术等。最后，还介绍了单片机的高级编程语言C51以及单片机应用系统的开发流程、技巧及注意事项。 本书中的知识具有3个层次或级别：分别称为基础级、提高级和扩展级，并用符号标记出来。在整体知识体系的框架下划分这三个层次，而不是用独立的章节或整块的篇幅来划分。基础级的内容是单片机学习中必须掌握的基础知识；提高级的内容仍然属于单片机中的内容，是在基础级上的提高；而扩展级的内容大部分不属于单片机的专门知识，是为了理解单片机中的名词术语或者为了更好开发应用单片机而需要学习的内容。读者可根据不同专业需要或不同应用需求，选择阅读这三个层次的知识。此外，全书中还会在正文的某些位置设置特别的扩展及关键问题并回答，以澄清一些容易出错或混淆的知识点。全书每一章节都配有习题。

解析分层亦称解析谱系。按照量词复杂性对解析关系所作的递归论分层。与算术分层类似，任何解析关系可以用算术关系加上有穷个交替出现的二阶函数量词ᗄ′与∃′表示，依照量词个数，可以将该解析关系纳入具体的解析分层Σ¹_n或π¹_n中。形式地，具体的解析分层Σ¹_n，π¹_n，Δ¹_n可递归定义如下：

1.Σ¹₀=π¹₀={R：R为算术关系}。

2.Σ¹_{n 1}={(∃′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π¹_n}.

3.π¹_{n 1}={(ᗄ′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ¹_n}。

4.Δ¹_n=Σ¹_n∩π¹_n.

Σ¹_n，π¹_n与Δ¹_n中的关系分别称为Σ¹_n关系、π¹_n关系与Δ¹_n关系，此外，Δ¹_w定义为：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析关系的集合。此外，对n≥1，Σ¹_n关系可表示成下形范式：

(∃′f₁)(ᗄ′f₂)…(Q_nf_n)(Qx)

R(f₁，…，f_n，f_{n 1}，…，f_{n p}，x，x₁，…，x_q)，

其中若n为偶数，Q¹_n为ᗄ′，Q⁰为∃⁰；若n为奇数，Q¹_n为∃′，Q⁰为ᗄ⁰；而R为递归关系。π¹_n关系也可表示成以ᗄ′开头的类似表达式.解析分层还具有如下封闭性：

1.Σ¹_n，π¹_n，Δ¹_n对合取、析取运算与一阶量词封闭。

2.Δ¹_n对否定运算封闭。

3.R∈Σ¹_n，当且仅当ᒣR∈π¹_n；

R∈π¹_n，当且仅当ᒣR∈Σ¹_n。

4.对n≥1，Σ¹_n对二阶量词∃′封闭，π_n对二阶量词ᗄ′封闭。

关于解析分层的其他性质，参见“解析枚举定理”。此外，与算术分层不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的关系称为超算术关系。

自动数据分层（automated data tiering）是一种软件程序，它根据公司规定的政策移动分层存储（tiered storage）间的数据文件、卷或区块。

自动数据分层（automated data tiering）是一种软件程序，它根据公司规定的政策移动分层存储（tiered storage）间的数据文件、卷或区块。

为了决定数据存储的位置，自动数据分层（automated data tiering）监控数据使用情况。频繁访问的数据会保留在高性能光纤通道（Fibre Channel）或是固态硬盘（solid-state drive）中，而低频访问的数据则被转移到低成本、高容量的本地驱动或是云存储中。

厂商声称，自动数据分层（automated data tiering）带来了多种好处。它能减少存储分层间动态分类和迁移数据时管理存储所需的时间。通过把低频访问数据转移到低成本驱动，组织不仅能省下用于高性能驱动的花费，还能通过减轻负载来提高性能。另外，减少活动文件的数据可以减少日常备份时间。2100433B