Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/53441
DC Field | Value | Language |
---|---|---|
dc.contributor | 國立政治大學資訊管理學系 | en_US |
dc.contributor | 行政院國家科學委員會 | en_US |
dc.creator | 趙玉 | zh_TW |
dc.date | 2007 | en_US |
dc.date.accessioned | 2012-08-30T07:49:26Z | - |
dc.date.available | 2012-08-30T07:49:26Z | - |
dc.date.issued | 2012-08-30T07:49:26Z | - |
dc.identifier.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 |
item.grantfulltext | open | - |
item.languageiso639-1 | en_US | - |
item.openairetype | report | - |
item.fulltext | With Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_93fc | - |
item.cerifentitytype | Publications | - |
Appears in Collections: | 國科會研究計畫 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
962221E007.pdf | 325.96 kB | Adobe PDF2 | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.