標題: | 派翠網理論在資訊流動系統上的應用 |
作者: | 談肖虎 Tan, Xiao-Hu 柯志昇 羅德和 Ke, Zhi-Sheng Luo, De-Huo 資訊科學與工程研究所 |
關鍵字: | 派翠網;理論;資訊;流動;系統;應用;非同步;共時;電腦;資訊科學;COMPUTER;INFORMATION |
公開日期: | 1980 |
摘要: | 近年來, 派翠網已逐漸成為各種非同步共時計算系統的一種模擬工具, 諸如: 操作系 統、計算機硬體、通訊協定與速度無關之電路設計和正規語言等等。在此篇論文中, 我們將詳細介紹派翠網理論及其模擬功能。線性控制理論, 不變量及可到達性樹是目 前派翠網做系統分析的三大主要方法。我們將一一加以介紹並做比較, 同時本人亦提 出二個新的研究方向。一是解決部分生存問題的邏輯方法, 另一是將派翠網分析成標 誌圖形的方法。 最後, 我們將介紹資訊流動系統設計工具中的指揮程式。它是資訊流動系統初步模型 做系統模擬時的驅動器。 |
URI: | http://140.113.39.130/cdrfb3/record/nctu/#NT694241032 http://hdl.handle.net/11536/51344 |
顯示於類別: | 畢業論文 |