dc.contributor | 國立政治大學資訊管理學系 | en_US |
dc.contributor | 行政院國家科學委員會 | en_US |
dc.creator (作者) | 趙玉 | zh_TW |
dc.date (日期) | 2007 | en_US |
dc.date.accessioned | 30-八月-2012 15:49:26 (UTC+8) | - |
dc.date.available | 30-八月-2012 15:49:26 (UTC+8) | - |
dc.date.issued (上傳時間) | 30-八月-2012 15:49:26 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/53441 | - |
dc.description.abstract (摘要) | 基本虹吸的計算對僵局控制是必要昂貴的, 這是因為需要完全列舉Petri網內虹吸和SMS(嚴格 最小虹吸管)的數量 迅速而成指數隨著網的大小增長。我們透過提供一個反例,發現周et al的 一種多項式技術找到基本虹吸的宣稱是錯誤的,並且能根據強連結的資源子網(附屬SCRC) ,為 一S3PR子類別計算基本虹吸管而不需知SMS的數量。 我們提議把它擴充到任意的S3PR 和 S3PCR(用同步資源的簡單的順序過程的系統) , S3PNR(有非釋放資源的簡單的順序過程的系統) , S3PWR(有加權的資源的簡單的順序過程的系統) , S3PGR2(簡單的順序過程的系統用 一般的資源要求) 或者S4PR(一種一般化的Petri 網的種類) ,並且(協調選擇的系統與一般的資 源一起處理)的S2CPGR . 我們接著將研究基本虹吸管尋找的最佳化.被提議的技術將能以多項式 時間和空間計算基本虹吸管; 不過使用周等的傳統的僵局?防,需要列舉呈指數成長的依賴虹 吸管。我們因此提出一個簡單的僵局預防政策而無需列舉依賴虹吸管。 | en_US |
dc.language.iso | en_US | - |
dc.relation (關聯) | 基礎研究 | en_US |
dc.relation (關聯) | 學術補助 | en_US |
dc.relation (關聯) | 研究期間:9608~ 9707 | en_US |
dc.relation (關聯) | 研究經費:323仟元 | en_US |
dc.subject (關鍵詞) | 虹吸計算 | en_US |
dc.title (題名) | 一個架構在有效基本虹吸計算的簡單僵局防止策略 | zh_TW |
dc.title.alternative (其他題名) | A Simple Deadlock Prevention Policy Based on Efficient Computation of Elementary Siphons | en_US |
dc.type (資料類型) | report | en |