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