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

更多科學出版社服務，請掃碼獲取。