長(zhǎng)時(shí)間以來(lái)人們?cè)谔幚聿紶柧W(wǎng)絡(luò)方面一直缺乏一個(gè)有效的分析和計(jì)算工具。自從2000年初程代展等人將半張量積引入到布爾網(wǎng)絡(luò)研究之后,人們對(duì)布爾網(wǎng)絡(luò)的認(rèn)識(shí)得到了有意義的深入和進(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)方面具有無(wú)可比擬的優(yōu)勢(shì),但是它的超指數(shù)復(fù)雜度是其致命缺點(diǎn)。因此,在布爾網(wǎng)絡(luò)代數(shù)框架下如何盡可能的減少計(jì)算復(fù)雜度是一個(gè)非常有意義的課題。作者在本著作中圍繞這一課題將近期所做的一些工作呈現(xiàn)給大家，以期待更多的有志之士加入到這一新興方向的研究中來(lái)。

更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。