有限自動(dòng)機(jī)是具有有限內(nèi)存的離散和數(shù)字系統(tǒng)的數(shù)學(xué)抽象建模.異步時(shí)序機(jī)屬于一類(lèi)特殊的有限自動(dòng)機(jī),是分析和設(shè)計(jì)數(shù)字電路和高速CPU的重要工具.隨著科學(xué)技術(shù)的發(fā)展,自動(dòng)機(jī)理論倍受科研人員的關(guān)注.借助于半張量積工具,可以將有限自動(dòng)機(jī)和異步時(shí)序機(jī)等價(jià)地轉(zhuǎn)化為一種代數(shù)形式.在此理論基礎(chǔ)之上,本文研究了三種組合異步時(shí)序機(jī)(級(jí)聯(lián)異步時(shí)序機(jī)、切換異步時(shí)序機(jī)和并聯(lián)異步時(shí)序機(jī))的模型匹配問(wèn)題和一般異步時(shí)序機(jī)的靜態(tài)矯正控制問(wèn)題.論文主要包括以下七章.第一章介紹了有限自動(dòng)機(jī)和異步時(shí)序機(jī)的研究背景與研究現(xiàn)狀.第二章介紹了有限自動(dòng)機(jī)、異步時(shí)序機(jī)、矩陣半張量積的相關(guān)預(yù)備知識(shí).第三章研究了級(jí)聯(lián)異步時(shí)序機(jī)的模型匹配問(wèn)題.一個(gè)級(jí)聯(lián)異步時(shí)序機(jī)是由多個(gè)輸入/狀態(tài)異步時(shí)序機(jī)以級(jí)聯(lián)方式連接構(gòu)成.首先,利用半張量積給出了級(jí)聯(lián)異步機(jī)的代數(shù)表示形式.根據(jù)該代數(shù)表達(dá)分析了系統(tǒng)的能達(dá)性.然后,結(jié)合控制器的動(dòng)態(tài)分析了整個(gè)閉環(huán)系統(tǒng)的動(dòng)態(tài)規(guī)律,獲得了模型匹配控制器存在的充分必要條件,并給出了控制器的設(shè)計(jì)算法.最后用一個(gè)例子驗(yàn)證了本章的結(jié)果.第四章研究了切換異步時(shí)序機(jī)的模型匹配問(wèn)題.一個(gè)切換異步時(shí)序機(jī)也是由多個(gè)輸入/狀態(tài)異步時(shí)序機(jī)構(gòu)成,但每個(gè)時(shí)刻僅有...

【文章頁(yè)數(shù)】：122 頁(yè)

【學(xué)位級(jí)別】：博士

【部分圖文】：

圖１．１：異步時(shí)序機(jī)（異步時(shí)序電路）基本模型．??

這使得其具備運(yùn)行更快、規(guī)模更小等優(yōu)勢(shì)間．特別是在電子電路的研宄中，異步??自動(dòng)機(jī)模擬的異步時(shí)序電路相比于同步自動(dòng)機(jī)模擬的同步時(shí)序電路，具備更低功耗更低??延遲的特點(diǎn)［７］．?—個(gè)異步時(shí)序機(jī)（異步時(shí)序電路）基本模型如圖１．１所示．在組合電路當(dāng)??中，信號(hào)通過(guò)連線(xiàn)和邏輯單元時(shí)，都有一....

圖２．１：有限自動(dòng)機(jī)Ｓ的狀態(tài)轉(zhuǎn)移圖．??

其中Ｕ⑴ｅ?Ｌ「，：Ｔ⑴ｅ?Ｘ和ｙ⑴ｅ?Ｙ分別為自動(dòng)機(jī)在ｆ時(shí)刻的輸入字符，狀態(tài)字符和輸??出字符．??例２．１．１．觀察有限自動(dòng)機(jī)Ｉ：?＝?（［／，Ｘ，Ｖ＞０，／，／ｉ）如圖２．１．輸入字母表［／＝?｛０，１｝，狀??態(tài)字母表久＝?｛：ｒ０，?ＸＷ３｝．輸出字母表Ｆ?＝?｛ｙｌ５....

本文編號(hào)：3901888