布爾網(wǎng)絡(luò)的同步化理論及應(yīng)用

　　長時(shí)間以來人們在處理布爾網(wǎng)絡(luò)方面一直缺乏一個(gè)有效的分析和計(jì)算工具。自從2000年初程代展等人將半張量積引入到布爾網(wǎng)絡(luò)研究之后，人們對布爾網(wǎng)絡(luò)的認(rèn)識得到了有意義的深入和進(jìn)步。然而，布爾網(wǎng)絡(luò)理論還需要豐富和擴(kuò)展，有些問題還沒有得到有效解決，例如耦合布爾網(wǎng)絡(luò)的同步化問題。因?yàn)樵诂F(xiàn)有的文獻(xiàn)中，關(guān)于帶外部輸入的主-從布爾網(wǎng)絡(luò)同步化，還沒有給出一般性的判別條件，也沒有提供一般性控制器的設(shè)計(jì)方法。另外，需要指出的是，雖然半張量積在處理邏輯動(dòng)態(tài)方面具有無可比擬的優(yōu)勢，但是它的超指數(shù)復(fù)雜度是其致命缺點(diǎn)。因此，在布爾網(wǎng)絡(luò)代數(shù)框架下如何盡可能的減少計(jì)算復(fù)雜度是一個(gè)非常有意義的課題。作者在本著作中圍繞這一課題將近期所做的一些工作呈現(xiàn)給大家，以期待更多的有志之士加入到這一新興方向的研究中來。

暫缺《布爾網(wǎng)絡(luò)的同步化理論及應(yīng)用》作者簡介