本書主要介紹一種新的矩陣分析工具（矩陣的半張量積）的最新應用研究進展。特別地，本書重點關(guān)注在邏輯動態(tài)系統(tǒng)、有限狀態(tài)自動機器以及圖論等領(lǐng)域的應用研究。在邏輯動態(tài)系統(tǒng)領(lǐng)域，本書僅限于介紹邏輯動態(tài)系統(tǒng)分析與綜合的一個關(guān)鍵技術(shù)：模糊邏輯關(guān)系方程的解法，包括對稱值模糊邏輯關(guān)系方程和一般模糊邏輯關(guān)系方程的解法。在有限狀態(tài)自動機器方面，本書重點介紹自動機的動態(tài)描述、兼容性分析、自動機的化簡以及語言識別等問題的研究。在圖論領(lǐng)域，本書討論了圖的結(jié)構(gòu)分解及其在工業(yè)領(lǐng)域中的應用等。