嵌入式控制系統(tǒng)的設(shè)計

《智能科學(xué)技術(shù)著作叢書》序
前言
第1章 基本知識
1.1 引言
1.2 嵌入式控制系統(tǒng)的發(fā)展史
1.2.1 嵌入式控制系統(tǒng)的誕生歷程
1.2.2 嵌入式處理器的發(fā)展歷程
1.3 嵌入式控制系統(tǒng)的基本組成
1.3.1 嵌入式系統(tǒng)的結(jié)構(gòu)
1.3.2 嵌入式控制系統(tǒng)的硬件組成
1.3.3 嵌入式控制系統(tǒng)的結(jié)構(gòu)形式
1.4 嵌入式實時操作系統(tǒng)
1.4.1 實時操作系統(tǒng)
l.4.2 常用的嵌入式操作系統(tǒng)
1.5 嵌入式控制系統(tǒng)的特點、組織與結(jié)構(gòu)
1.5.1 嵌入式系統(tǒng)的特點
1.5.2 分布式嵌入式系統(tǒng)
1.5.3 嵌入式系統(tǒng)的特定化
1.6 嵌入式Internet技術(shù)
1.6.1 Internct技術(shù)
1.6.2 嵌入式Internet的實現(xiàn)方案
1.7 嵌入式控制系統(tǒng)設(shè)計方法論
1.7.1 傳統(tǒng)的嵌入式控制系統(tǒng)設(shè)計方法論
1.7.2 形式語言的引入
參考文獻(xiàn)
第2章 簡易目標(biāo)模擬控制系統(tǒng)的設(shè)計
2.1 整體設(shè)計
2.1.1 設(shè)計目的
2.1.2 技術(shù)指標(biāo)
2.1.3 控制系統(tǒng)的組成
2.1.4 轉(zhuǎn)矩計算
2.1.5 控制系統(tǒng)硬件框圖
2.1.6 步進(jìn)電機(jī)及其驅(qū)動器的選擇
2.2.系統(tǒng)硬件設(shè)計
2.2.1 控制器的選擇
2.2.2 C8051F005芯片
2.2.3 系統(tǒng)框架
2.2.4 C8051F005核心板
2.2.5 PS/2鍵盤接收模塊
2.2.6 LCD顯示模塊
2.2.7 步進(jìn)電機(jī)的控制
2.2.8 硬件電路
2.3 系統(tǒng)軟件設(shè)計
2.3.1 軟件功能
2.3.2 PS/2鍵盤接收與鍵值處理
2.3.3 LCD顯示模塊
2.3.4 控制算法
2.3.5 調(diào)試中遇到的問題
2.4 本章小結(jié)
參考文獻(xiàn)
第3章 角度伺服控制系統(tǒng)的設(shè)計
3.1 整體設(shè)計
3.1.1 設(shè)計目的及控制原理
3.1.2 電機(jī)及其驅(qū)動器的選擇
3.1.3 角度傳感器
3.2 系統(tǒng)硬件設(shè)計
3.2.1 微控制器的選擇
3.2.2 TMS320F2812芯片
3.2.3 基于TMS320F2812的硬件框架
3.3 系統(tǒng)軟件設(shè)計
3.3.1 控制軟件的功能
3.3.2 控制策略
3.3.3 軟件的詳細(xì)設(shè)計
3.3.4 軟件開發(fā)工具及程序調(diào)試
3.3.5 調(diào)試中遇到的問題
3.4 本章小結(jié)
參考文獻(xiàn)
第4章 異纖分揀機(jī)圖像數(shù)據(jù)傳輸系統(tǒng)的設(shè)計
4.1 發(fā)展現(xiàn)狀
4.1.1 棉花分揀技術(shù)的發(fā)展現(xiàn)狀
4.1.2 異纖分揀機(jī)的發(fā)展現(xiàn)狀
4.2 整體設(shè)計
4.2.1 Camera Link
4.2.2 CPLD模塊
4.2.3 DSP系統(tǒng)
4.2.4 實時參數(shù)的計算
4.3 ARM9系統(tǒng)設(shè)計
4.3.1 整體框架
4.3.2 S3C2440最小系統(tǒng)設(shè)計基礎(chǔ)
4.3.3 S3C2440最小系統(tǒng)硬件設(shè)計
4.3.4 S3C2440的調(diào)試環(huán)境
4.3.5 S3C244交叉編譯環(huán)境的建立
4.3.6 S3C2440的Bootloader
4.3.7 S3C2440的嵌入式Linux
4.3.8 Linux2.6內(nèi)核的vivi分區(qū)及內(nèi)核MTD分區(qū)
4.3.9 嵌入式文件系統(tǒng)
4.3.10 LED驅(qū)動程序的編寫
4.3.11 雙端口SRAM的硬件設(shè)計
4.3.12 雙端口SRAM的驅(qū)動程序設(shè)計
4.3.13 SPI驅(qū)動程序設(shè)計
4.3.14 S3C2440擴(kuò)展千兆網(wǎng)口的硬件設(shè)計
4.3.15 $3C2440擴(kuò)展千兆網(wǎng)口的驅(qū)動設(shè)計
4.3.16 S3C2440擴(kuò)展千兆網(wǎng)口的應(yīng)用程序設(shè)計
4.3.17 系統(tǒng)調(diào)試
4.3.18 核心控制板實物及調(diào)試結(jié)果
4.4 本章小結(jié)
參考文獻(xiàn)
第5章 嵌入式控制系統(tǒng)的形式化設(shè)計
5.1 基于形式語言的嵌入式控制系統(tǒng)設(shè)計方法論
5.2 基于Petri網(wǎng)的嵌入式控制系統(tǒng)建模
5.2.1 Petri網(wǎng)簡介
5.2.2 Petri網(wǎng)的性質(zhì)
5.2.3 基于Petri網(wǎng)的建模方法
5.2.4 基于資源的時間Petri網(wǎng)
5.2.5 擴(kuò)展的RBTPN模型
5.2.6 層次的RBTPN模型
5.3 基于UMLHCPN的分布式嵌入式系統(tǒng)建模
5.3.1 UML基本知識
5.3.2 建模方法論
5.4 本章小結(jié)
參考文獻(xiàn)