學術產出-NSC Projects

Article View/Open

Publication Export

Google ScholarTM

政大圖書館

Citation Infomation

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