切換布爾控制網(wǎng)絡(luò)的能觀性與可重構(gòu)性
發(fā)布時間:2021-03-05 03:18
近年來,隨著生物基因研究的發(fā)展,布爾控制網(wǎng)絡(luò)衍生出多種類型,其中切換布爾控制網(wǎng)絡(luò)在理論和應(yīng)用方面發(fā)揮著非常重要的作用.本文涉及了三種切換布爾控制網(wǎng)絡(luò),主要的研究內(nèi)容如下:第一種:傳統(tǒng)切換布爾控制網(wǎng)絡(luò),主要研究其能觀性問題.提出了四種能觀性的定義,為了描述由不同輸入序列、切換信號和初始狀態(tài)驅(qū)動的輸出,定義了觀測數(shù)據(jù)矩陣并得到了四個充分必要條件來判別相應(yīng)的能觀性,然后討論了這四種能觀性之間的關(guān)系.第二種:輸出含同步切換信號的切換布爾控制網(wǎng)絡(luò),主要研究其可重構(gòu)性問題.可重構(gòu)性是依據(jù)有限時間內(nèi)收集的數(shù)據(jù)能否確定系統(tǒng)當(dāng)前狀態(tài)的能力.首次定義了該網(wǎng)絡(luò)的四種可重構(gòu)性,并提供了兩種判別方法.一種是周期判別法,需要比較具有相同周期的周期性模型輸入狀態(tài)軌跡,另一種是矩陣判別法,該方法構(gòu)造了一個可描述所有初始狀態(tài)及其由不同模型輸入序列驅(qū)動的相應(yīng)輸出的矩陣,從而比較其內(nèi)部數(shù)據(jù).第三種:輸出含不同步切換信號的切換布爾控制網(wǎng)絡(luò),進一步探討了可重構(gòu)性問題.提出了該網(wǎng)絡(luò)下七種可重構(gòu)性,其中切換信號和輸入序列的存在性和任意性不一致.定義了可以描述所有無法區(qū)分狀態(tài)對的加權(quán)對圖,結(jié)合該圖和自動機理論給出了判定可重構(gòu)性的方法...
【文章來源】:山東大學(xué)山東省 211工程院校 985工程院校 教育部直屬院校
【文章頁數(shù)】:75 頁
【學(xué)位級別】:碩士
【部分圖文】:
圖1:例3.2中的切換布爾控制網(wǎng)絡(luò)??本小節(jié)最后給出一個例子來簡要說明周期判定法的使用過程.??
出含同步切換信號的切換布爾控制網(wǎng)絡(luò)??Li?=?58[3?4?3?5?6?5?8?8?4?7?1?2?5?5?8?8],??L2?=?<58[2?7?3?5?5?5?8?7?3?7?3?5?5?5?8?8],??Hx?=?52[2?1112?2?12],??H2?=?S2[2?2?2?1?1?2?1?1],??在本例的圖中,黑色圓圈中的數(shù)字代表狀態(tài).實線上的權(quán)重代表模型輸??入,每個虛線對應(yīng)在某個切換信號下的輸出.所以,此系統(tǒng)可以表示為圖1,則??所有周期狀態(tài)模型輸入軌線可以表示為圖2?.正如我們所見,狀態(tài)5和狀態(tài)6??組成的輸出的圈與狀態(tài)7和狀態(tài)8組成的輸出的圈一樣,所以由定理3.6知,??此系統(tǒng)不是R-2可重構(gòu)的.同樣地,不存在滿足推論3.3所描述的模型輸入軌??線,所以此系統(tǒng)也不是R-1可重構(gòu)的.但是狀態(tài)3和狀態(tài)4誘導(dǎo)出的輸出的??圈不同,所以此系統(tǒng)是R-3可重構(gòu)的和R-4可重構(gòu)的.??2?,?(14).(2.2)?i?1?(14)?.?1??2?(^2)?(1,1},(2,1),(2?2)?2?(。玻?1??2?.?(U)?(L2);(2?1),(2,2)?5?2?I?j?(L1),(L2)?(2J)5(2.2)?j?2??5?1??(1,2),{2,1),(2:2)?(14)?2?1?C2'1)?(U),(L2),(2,2)??圖2:例3.2中的所有周期狀態(tài)模型輸入軌線??§3.5可重構(gòu)性的矩陣判別法??本節(jié)討論輸出含同步切換信號的切換布爾控制網(wǎng)絡(luò)(2.12)的可重構(gòu)性的??矩陣判別法,該方法的思想是構(gòu)造一個能夠描述出當(dāng)前時刻狀態(tài)和對應(yīng)的輸??出的矩陣.??-23?—??
?山東大學(xué)碩士學(xué)位論文???1?1?2?1?3?4??1?2?2?1?3?4??Hr?=?,?R〇?=?,Xi?=?,?Ri?=?.??2?3?2?2?3?3??1?4?11?4?4??由第5步得:??11?2?1??11?2?1??q〇?=?,yi?=?^i=?,??2?2?2?2??11?11??(2.3)?(1,4)??(2.3)?(1,4)??(2.3)?(2,3)??_(1,4)(1:4)_??這表明,氏的所有列都是對不可分列.所以此系統(tǒng)四種可重構(gòu)性都滿足.??1?-?????—1:2??1??1?<?-?=???魯。1.2??圖3:例3.6中的布爾控制網(wǎng)絡(luò)??文獻[16]通過圖3來判定此系統(tǒng)是可重構(gòu)的.事實上,如果把本文中的??切換信號去掉,那么R-2可重構(gòu)性則直接可以退化為文獻[16]中的定義4?.??-31-??
本文編號:3064481
【文章來源】:山東大學(xué)山東省 211工程院校 985工程院校 教育部直屬院校
【文章頁數(shù)】:75 頁
【學(xué)位級別】:碩士
【部分圖文】:
圖1:例3.2中的切換布爾控制網(wǎng)絡(luò)??本小節(jié)最后給出一個例子來簡要說明周期判定法的使用過程.??
出含同步切換信號的切換布爾控制網(wǎng)絡(luò)??Li?=?58[3?4?3?5?6?5?8?8?4?7?1?2?5?5?8?8],??L2?=?<58[2?7?3?5?5?5?8?7?3?7?3?5?5?5?8?8],??Hx?=?52[2?1112?2?12],??H2?=?S2[2?2?2?1?1?2?1?1],??在本例的圖中,黑色圓圈中的數(shù)字代表狀態(tài).實線上的權(quán)重代表模型輸??入,每個虛線對應(yīng)在某個切換信號下的輸出.所以,此系統(tǒng)可以表示為圖1,則??所有周期狀態(tài)模型輸入軌線可以表示為圖2?.正如我們所見,狀態(tài)5和狀態(tài)6??組成的輸出的圈與狀態(tài)7和狀態(tài)8組成的輸出的圈一樣,所以由定理3.6知,??此系統(tǒng)不是R-2可重構(gòu)的.同樣地,不存在滿足推論3.3所描述的模型輸入軌??線,所以此系統(tǒng)也不是R-1可重構(gòu)的.但是狀態(tài)3和狀態(tài)4誘導(dǎo)出的輸出的??圈不同,所以此系統(tǒng)是R-3可重構(gòu)的和R-4可重構(gòu)的.??2?,?(14).(2.2)?i?1?(14)?.?1??2?(^2)?(1,1},(2,1),(2?2)?2?(。玻?1??2?.?(U)?(L2);(2?1),(2,2)?5?2?I?j?(L1),(L2)?(2J)5(2.2)?j?2??5?1??(1,2),{2,1),(2:2)?(14)?2?1?C2'1)?(U),(L2),(2,2)??圖2:例3.2中的所有周期狀態(tài)模型輸入軌線??§3.5可重構(gòu)性的矩陣判別法??本節(jié)討論輸出含同步切換信號的切換布爾控制網(wǎng)絡(luò)(2.12)的可重構(gòu)性的??矩陣判別法,該方法的思想是構(gòu)造一個能夠描述出當(dāng)前時刻狀態(tài)和對應(yīng)的輸??出的矩陣.??-23?—??
?山東大學(xué)碩士學(xué)位論文???1?1?2?1?3?4??1?2?2?1?3?4??Hr?=?,?R〇?=?,Xi?=?,?Ri?=?.??2?3?2?2?3?3??1?4?11?4?4??由第5步得:??11?2?1??11?2?1??q〇?=?,yi?=?^i=?,??2?2?2?2??11?11??(2.3)?(1,4)??(2.3)?(1,4)??(2.3)?(2,3)??_(1,4)(1:4)_??這表明,氏的所有列都是對不可分列.所以此系統(tǒng)四種可重構(gòu)性都滿足.??1?-?????—1:2??1??1?<?-?=???魯。1.2??圖3:例3.6中的布爾控制網(wǎng)絡(luò)??文獻[16]通過圖3來判定此系統(tǒng)是可重構(gòu)的.事實上,如果把本文中的??切換信號去掉,那么R-2可重構(gòu)性則直接可以退化為文獻[16]中的定義4?.??-31-??
本文編號:3064481
本文鏈接:http://sikaile.net/shoufeilunwen/benkebiyelunwen/3064481.html
最近更新
教材專著