布爾（控制）網(wǎng)絡(luò)是模擬基因調(diào)控網(wǎng)絡(luò)有效的數(shù)學(xué)模型.該模型將細(xì)胞內(nèi)（或特定一個基因組內(nèi)）基因與基因之間的相互作用關(guān)系量化,系統(tǒng)的狀態(tài)和函數(shù)直接反應(yīng)基因表達、復(fù)制、轉(zhuǎn)錄等生命活動,在新的數(shù)學(xué)工具矩陣半張量積的幫助下,取得了許多優(yōu)秀成果.近些年,國內(nèi)外病毒疫情頻發(fā),對全球各個方面造成巨大的沖擊和損失,病毒檢測技術(shù)是戰(zhàn)"疫"中非常重要的一個環(huán)節(jié).鑒于此,總結(jié)近年來矩陣半張量積在布爾（控制）網(wǎng)絡(luò)的能觀性和能檢性方面取得的一些成果,以便更多學(xué)者關(guān)注這類問題和方法.首先回顧能觀性和能檢性的發(fā)展歷程;然后,從理論角度分析并用網(wǎng)絡(luò)圖呈現(xiàn)4種能觀性與3種能檢性之間的關(guān)系,整理在布爾網(wǎng)絡(luò)和布爾控制網(wǎng)絡(luò)中相關(guān)的一些重要成果,包括狀態(tài)反饋、輸出反饋、含干擾、含切換等多種情形;最后通過簡述能觀性和能檢性的應(yīng)用現(xiàn)狀展望其未來發(fā)展. 

【文章來源】：控制與決策. 2020,35(09)北大核心EICSCD

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

【部分圖文】：

能觀性目標(biāo)和能檢性目標(biāo)

集合鎮(zhèn)定可以看作全局鎮(zhèn)定的一般化,有更加廣泛的作用,許多控制問題都可以轉(zhuǎn)化為集合鎮(zhèn)定問題或利用集合鎮(zhèn)定的方法得到解決[69-74].為了能夠估計系統(tǒng)當(dāng)前狀態(tài),能檢性問題需要設(shè)計控制將不能觀的狀態(tài)鎮(zhèn)定到可觀測的狀態(tài)集中,能觀、能檢和能鎮(zhèn)定性三者密不可分.結(jié)合文獻[37,43],給出在布爾控制網(wǎng)絡(luò)中,當(dāng)前關(guān)于能觀性、能重構(gòu)性、能檢性、能鎮(zhèn)定性相關(guān)定義之間的網(wǎng)絡(luò)關(guān)系如圖2所示.圖2中:實線箭頭“→”代表前者能夠推出后者,虛線箭頭“”代表前者需要附帶相應(yīng)的條件才能推出后者.且有

【參考文獻】：
期刊論文
[1]混合值邏輯網(wǎng)絡(luò)的集合穩(wěn)定[J]. 馮俊娥,賈淼.  控制與決策. 2019(02)
[2]Observability of Boolean control networks[J]. Qunxi ZHU,Yang LIU,Jianquan LU,Jinde CAO.  Science China（Information Sciences）. 2018(09)
[3]受限布爾網(wǎng)絡(luò)發(fā)展現(xiàn)狀[J]. 馮俊娥,于永淵,李海濤.  控制與決策. 2018(05)
[4]有序勢博弈及其在智能體無線網(wǎng)絡(luò)中的應(yīng)用[J]. 于永淵,馮俊娥,潘金鳳.  控制與決策. 2017(03)
[5]Semi-tensor product approach to controllability and stabilizability of finite automata[J]. Yongyi Yan,Zengqiang Chen,Zhongxin Liu.  Journal of Systems Engineering and Electronics. 2015(01)



本文編號：3499535