本書面向嵌入式實(shí)時(shí)系統(tǒng),較系統(tǒng)地論述基本的實(shí)時(shí)調(diào)度算法、調(diào)度性分析方法,說(shuō)明引入形式化方法的必要性,并為實(shí)時(shí)系統(tǒng)設(shè)計(jì)提供一個(gè)清晰的形式化方法基礎(chǔ).其核心是面向?qū)崟r(shí)系統(tǒng)的形 式化分析(formalanalysis)及驗(yàn)證.全書特別列舉了大量關(guān)于安全關(guān)鍵系統(tǒng)的工程實(shí)例,從簡(jiǎn)單系統(tǒng)(如溫度控制系統(tǒng)、面包機(jī)和電飯煲)到

本書是《微型計(jì)算機(jī)原理與接口技術(shù)》（孫力娟等編著，清華大學(xué)出版社出版）一書的配套實(shí)驗(yàn)教材。本教材結(jié)合課程內(nèi)容，針對(duì)匯編語(yǔ)言程序設(shè)計(jì)及接口技術(shù)編排了內(nèi)容豐富的軟硬件實(shí)驗(yàn)項(xiàng)目和指導(dǎo)性的實(shí)驗(yàn)例題，主要內(nèi)容有匯編語(yǔ)言程序設(shè)計(jì)實(shí)驗(yàn)、微型計(jì)算機(jī)教學(xué)實(shí)驗(yàn)系統(tǒng)及系統(tǒng)軟件介紹、微型計(jì)算機(jī)接口實(shí)驗(yàn)。本書的硬件實(shí)驗(yàn)以清華大學(xué)科教儀器廠研發(fā)的

《微機(jī)原理與接口技術(shù)（第2版）》作為高等院校理工科應(yīng)用型本科教材，結(jié)合作者多年的實(shí)踐經(jīng)驗(yàn)及教學(xué)體會(huì)，內(nèi)容緊密聯(lián)系教學(xué)需要，深入淺出，重點(diǎn)突出，語(yǔ)言通俗易懂，圖文并茂。全書共計(jì)12章，包括微型計(jì)算機(jī)概述、8086微處理器、8086指令系統(tǒng)、匯編語(yǔ)言程序設(shè)計(jì)、存儲(chǔ)系統(tǒng)、輸入／輸出技術(shù)、中斷技術(shù)及控制器、并行通信接口、DMA

在今天所處的大時(shí)代背景下，3G/4G/5G移動(dòng)互聯(lián)網(wǎng)、物聯(lián)網(wǎng)、云計(jì)算、大數(shù)據(jù)、工業(yè)4．0等，儼然已陸續(xù)成為信息IT產(chǎn)業(yè)、工業(yè)及其兩化融合的主旋律；而嵌入式系統(tǒng)以其高集成、高可靠、功能強(qiáng)、成本低的優(yōu)點(diǎn)已成為這些產(chǎn)業(yè)應(yīng)用技術(shù)中最核心、最關(guān)鍵的基礎(chǔ)部分。

本書為C語(yǔ)言版，是根據(jù)教育部對(duì)高職高專的培養(yǎng)目標(biāo)及對(duì)單片機(jī)教學(xué)的基本要求，本著“實(shí)用、夠用”的原則，結(jié)合目前單片機(jī)的廣泛應(yīng)用和新技術(shù)發(fā)展編寫的。它以理論為基礎(chǔ)、著眼應(yīng)用，注重實(shí)踐能力的培養(yǎng)。全書以80C51單片機(jī)應(yīng)用系統(tǒng)為主線，全面地介紹了單片機(jī)系統(tǒng)結(jié)構(gòu)的基本原理、指令系統(tǒng)、程序設(shè)計(jì)方法、中斷與定時(shí)器系統(tǒng)、串行通信技術(shù)

單片機(jī)原理實(shí)驗(yàn)指導(dǎo)書

《基于MSP430單片機(jī)原理及應(yīng)用》以理論教學(xué)為引導(dǎo)，以工程實(shí)踐能力培養(yǎng)為主線，主要內(nèi)容包括MSP430x16x單片機(jī)的硬件結(jié)構(gòu)和工作原理、指令系統(tǒng)及其集成軟件開發(fā)環(huán)境、片內(nèi)及片外模塊介紹及其應(yīng)用、硬件實(shí)驗(yàn)板制作步驟以及MSP430單片機(jī)應(yīng)用系統(tǒng)詳細(xì)設(shè)計(jì)�！痘�于MSP430單片機(jī)原理及應(yīng)用》的實(shí)例來(lái)源于作者的教學(xué)實(shí)踐，

本教材內(nèi)容主要包括：認(rèn)識(shí)單片機(jī)及其開發(fā)工具、制作單片機(jī)輸出控制電路、MCS-51單片機(jī)及其指令系統(tǒng)、制作LED數(shù)碼管顯示電路、制作LED點(diǎn)陣顯示電路、外部中斷的應(yīng)用、定時(shí)器/計(jì)數(shù)器的應(yīng)用、A/D轉(zhuǎn)換電路的應(yīng)用和制作單片機(jī)與PC機(jī)串行口收發(fā)電路，每個(gè)內(nèi)容均包括基本知識(shí)和技能實(shí)訓(xùn)兩大部分。

本書以Intel系列微處理器為背景，全面系統(tǒng)地介紹了微型計(jì)算機(jī)原理、接口技術(shù)及應(yīng)用。全書共11章，分別介紹了計(jì)算機(jī)基礎(chǔ)、Intel微處理器、半導(dǎo)體存儲(chǔ)器、并行接口技術(shù)、串行通信技術(shù)、定時(shí)/計(jì)數(shù)技術(shù)、中斷技術(shù)、DMA技術(shù)、總線技術(shù)和人機(jī)接口技術(shù)。

《單片機(jī)及工程應(yīng)用基礎(chǔ)》立足于MCS51經(jīng)典結(jié)構(gòu)，以廣泛應(yīng)用的AT89S52單片機(jī)為應(yīng)用對(duì)象，深入淺出地講述了單片機(jī)原理及應(yīng)用系統(tǒng)設(shè)計(jì)原理.全書采用匯編與C51并行的撰寫方式，方便對(duì)比學(xué)習(xí)，符合工程應(yīng)用需求.同時(shí)，書中深度融合了微機(jī)原理課程中的核心知識(shí)，尤其是在匯編指令的深入剖析、中斷系統(tǒng)的分析和存儲(chǔ)器的擴(kuò)展方法等方面