
王勇 姜正濤 等
控制理論通常處理過程的動態行爲,由微分方程來進行刻畫。隨着計算機控制的快速普及,出現了離散事件過程和混雜過程。 離散事件過程可能是展現離散行爲的最簡單的過程。在離散事件系統中,狀態是離散的,而且狀態的轉移僅僅是對離散事件的響應。在離散事件過程和計算過程之間存在微小的差異,即並行與併發,也就是說,對於多數的計算性質,如順序、不確定性、遞歸和抽象等,它們是相同的。 混雜理論是系統理論和計算機科學的結合體。在系統理論中,系統行爲通常由微分方程來刻畫,而在計算機科學中,系統行爲通常由離散的原子動作及其之間的計算邏輯來刻畫。 在本書中,我們在真併發進程代數中引入離散事件系統和混雜系統,介紹了離散事件過程的公理化、分佈式離散事件過程的公理化、混雜進程代數及其在神經網絡建模中的應用以及具有位置的混雜進程代數及其在分佈式/聯邦神經網絡建模中的應用等。
感覺超級難,好有挑戰性,突然非常好奇了。