單片機原理及應用分層教程

南京航空航天大學教授、博士生導師，主要從事網絡/無線傳感器、智能監(jiān)測與控制、形狀與振動控制智能結構、環(huán)境能量收集等方面研究。曾任加州大學伯克利分校訪問教授、中國航空工業(yè)測控技術發(fā)展中心理事等。 2100433B

本書是作者在多年單片機方面教學科研實踐中積累的知識和經驗的結晶。在介紹計算機及單片機發(fā)展以及計算機基礎知識的基礎上，重點介紹了MCS-51系列單片機的基本結構、指令系統(tǒng)、匯編語言程序設計、中斷系統(tǒng)與定時/計數(shù)器、系統(tǒng)的擴展、串行通信和接口技術等。最后，還介紹了單片機的高級編程語言C51以及單片機應用系統(tǒng)的開發(fā)流程、技巧及注意事項。 本書中的知識具有3個層次或級別：分別稱為基礎級、提高級和擴展級，并用符號標記出來。在整體知識體系的框架下劃分這三個層次，而不是用獨立的章節(jié)或整塊的篇幅來劃分?；A級的內容是單片機學習中必須掌握的基礎知識；提高級的內容仍然屬于單片機中的內容，是在基礎級上的提高；而擴展級的內容大部分不屬于單片機的專門知識，是為了理解單片機中的名詞術語或者為了更好開發(fā)應用單片機而需要學習的內容。讀者可根據不同專業(yè)需要或不同應用需求，選擇閱讀這三個層次的知識。此外，全書中還會在正文的某些位置設置特別的擴展及關鍵問題并回答，以澄清一些容易出錯或混淆的知識點。全書每一章節(jié)都配有習題。

解析分層亦稱解析譜系。按照量詞復雜性對解析關系所作的遞歸論分層。與算術分層類似，任何解析關系可以用算術關系加上有窮個交替出現(xiàn)的二階函數(shù)量詞?′與?′表示，依照量詞個數(shù)，可以將該解析關系納入具體的解析分層Σ¹_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為偶數(shù)，Q¹_n為?′，Q⁰為?⁰；若n為奇數(shù)，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對二階量詞?′封閉。

關于解析分層的其他性質，參見“解析枚舉定理”。此外，與算術分層不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的關系稱為超算術關系。

自動數(shù)據分層（automated data tiering）是一種軟件程序，它根據公司規(guī)定的政策移動分層存儲（tiered storage）間的數(shù)據文件、卷或區(qū)塊。

自動數(shù)據分層（automated data tiering）是一種軟件程序，它根據公司規(guī)定的政策移動分層存儲（tiered storage）間的數(shù)據文件、卷或區(qū)塊。

為了決定數(shù)據存儲的位置，自動數(shù)據分層（automated data tiering）監(jiān)控數(shù)據使用情況。頻繁訪問的數(shù)據會保留在高性能光纖通道（Fibre Channel）或是固態(tài)硬盤（solid-state drive）中，而低頻訪問的數(shù)據則被轉移到低成本、高容量的本地驅動或是云存儲中。

廠商聲稱，自動數(shù)據分層（automated data tiering）帶來了多種好處。它能減少存儲分層間動態(tài)分類和遷移數(shù)據時管理存儲所需的時間。通過把低頻訪問數(shù)據轉移到低成本驅動，組織不僅能省下用于高性能驅動的花費，還能通過減輕負載來提高性能。另外，減少活動文件的數(shù)據可以減少日常備份時間。2100433B