目前,素數(shù)變量丟番圖逼近問題是數(shù)論領域的一個重要研究內容。本書利用近幾年在圓法和篩法上的突破和創(chuàng)新系統(tǒng)地論述了在素變數(shù)丟番圖逼近方面取得的成果。本書系統(tǒng)地研究了一次、二次、三次以及高次素變數(shù)丟番圖逼近問題。給出了二元一次型素變數(shù)丟番圖逼近的新的例外集結果;在二次上,把華林-哥德巴赫問題上經(jīng)典的華羅庚定理推廣到了素變數(shù)丟番圖上,給出了逼近結果;在三次上,給出了五個素數(shù)和九個素數(shù)立方的丟番圖逼近的結果。本書內容重點突出,論證計算詳盡,可供數(shù)論及數(shù)論應用方面的研究人員參考。
本書主要介紹一種新的矩陣分析工具(矩陣的半張量積)的最新應用研究進展。特別地,本書重點關注在邏輯動態(tài)系統(tǒng)、有限狀態(tài)自動機器以及圖論等領域的應用研究。在邏輯動態(tài)系統(tǒng)領域,本書僅限于介紹邏輯動態(tài)系統(tǒng)分析與綜合的一個關鍵技術:模糊邏輯關系方程的解法,包括對稱值模糊邏輯關系方程和一般模糊邏輯關系方程的解法。在有限狀態(tài)自動機器方面,本書重點介紹自動機的動態(tài)描述、兼容性分析、自動機的化簡以及語言識別等問題的研究。在圖論領域,本書討論了圖的結構分解及其在工業(yè)領域中的應用等。