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

　　長時間以來人們在處理布爾網(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)給大家，以期待更多的有志之士加入到這一新興方向的研究中來。

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