利用矩陣半張量積,論文將邏輯動態(tài)系統(tǒng)表示為代數(shù)狀態(tài)空間動力系統(tǒng).并在這個框架下,討論并解決或部分解決了切換布爾網(wǎng)絡(luò)的能控能觀性,混合值邏輯系統(tǒng)的干擾解耦,以及基于混合值邏輯的隊列控制問題.論文第一章,作為預(yù)備知識介紹了布爾網(wǎng)絡(luò),隊列控制,半張量積的背景知識和研究現(xiàn)狀.第二章介紹了布爾網(wǎng)絡(luò)的模型,半張量積定義和性質(zhì)以及將邏輯運算形式的布爾網(wǎng)絡(luò)動態(tài)方程代數(shù)化的方法.第三章研究了切換布爾網(wǎng)絡(luò)的能控性和能觀性.利用矩陣的半張量積,切換布爾控制網(wǎng)絡(luò)的動態(tài)方程可轉(zhuǎn)換為代數(shù)形式.隨后提出了MIS (model-input-state)矩陣并研究了其相關(guān)性質(zhì).MIS矩陣包含了模型、輸入、狀態(tài)映射的完整信息.然后是切換布爾網(wǎng)絡(luò)能控性的充要條件.能控條件下,我們給出了點到點之間的控制和切換律設(shè)計算法.關(guān)于切換系統(tǒng)的能觀性,我們先給出了一個充分條件.然后,在能控性假設(shè)下,我們也給出了能觀性的充要條件.在此章最后一節(jié)我們研究了高階切換布爾網(wǎng)絡(luò)的能控性.我們給出了它的兩種代數(shù)形式.基于第二種代數(shù)形式得到了能控性的充要條件.第四章,我們研究混合值邏輯網(wǎng)絡(luò)的干擾解耦問題.利用質(zhì)因子分解定理,我們得到唯一的混合值邏輯...

【文章頁數(shù)】：119 頁

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

【部分圖文】：

統(tǒng)計資料科研情況(1)

科技成果獎勵情況表合計特等一等二等三等未評級合計國家自然科學(xué)獎國家發(fā)明獎國家科技進步獎國家星火獎國務(wù)院各部門科技進步獎省、市、自治區(qū)科技進步獎4500l0377055l211127121511學(xué)術(shù)論文科研成果鑒定統(tǒng)計表計量單位數(shù)量1計量單位數(shù)量出版科技著作科技專著大專院校教科書科....

統(tǒng)計資料科研情況(2)

科技成果獎勵情況表合計特等一等二等三等未評級合計國家自然科學(xué)獎國家發(fā)明獎國家科技進步獎國家星火獎國務(wù)院各部門科技進步獎省、市、自治區(qū)科技進步獎4500l0377055l211127121511學(xué)術(shù)論文科研成果鑒定統(tǒng)計表計量單位數(shù)量1計量單位數(shù)量出版科技著作科技專著大專院校教科書科....

統(tǒng)計資料科研情況(3)

科技成果獎勵情況表合計特等一等二等三等未評級合計國家自然科學(xué)獎國家發(fā)明獎國家科技進步獎國家星火獎國務(wù)院各部門科技進步獎省、市、自治區(qū)科技進步獎4500l0377055l211127121511學(xué)術(shù)論文科研成果鑒定統(tǒng)計表計量單位數(shù)量1計量單位數(shù)量出版科技著作科技專著大專院校教科書科....

統(tǒng)計資料科研情況(4)

科技成果獎勵情況表合計特等一等二等三等未評級合計國家自然科學(xué)獎國家發(fā)明獎國家科技進步獎國家星火獎國務(wù)院各部門科技進步獎省、市、自治區(qū)科技進步獎4500l0377055l211127121511學(xué)術(shù)論文科研成果鑒定統(tǒng)計表計量單位數(shù)量1計量單位數(shù)量出版科技著作科技專著大專院校教科書科....

本文編號：3891171