政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/53441

English | 正體中文 | 简体中文 | Post-Print筆數 : 27 | Items with full text/Total items : 113313/144292 (79%)
Visitors : 50948867 Online Users : 1005

RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.

Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer

政大典藏 > College of Commerce > Department of MIS > NSC Projects > Item 140.119/53441

Please use this identifier to cite or link to this item: https://nccur.lib.nccu.edu.tw/handle/140.119/53441

Title:	一個架構在有效基本虹吸計算的簡單僵局防止策略
Other Titles:	A Simple Deadlock Prevention Policy Based on Efficient Computation of Elementary Siphons
Authors:	趙玉
Contributors:	國立政治大學資訊管理學系行政院國家科學委員會
Keywords:	虹吸計算
Date:	2007
Issue Date:	2012-08-30 15:49:26 (UTC+8)
Abstract:	基本虹吸的計算對僵局控制是必要昂貴的，這是因為需要完全列舉Petri網內虹吸和SMS(嚴格最小虹吸管)的數量迅速而成指數隨著網的大小增長。我們透過提供一個反例，發現周et al的一種多項式技術找到基本虹吸的宣稱是錯誤的，並且能根據強連結的資源子網(附屬SCRC) ，為一S3PR子類別計算基本虹吸管而不需知SMS的數量。我們提議把它擴充到任意的S3PR 和 S3PCR(用同步資源的簡單的順序過程的系統) , S3PNR(有非釋放資源的簡單的順序過程的系統) , S3PWR(有加權的資源的簡單的順序過程的系統) , S3PGR2(簡單的順序過程的系統用一般的資源要求) 或者S4PR(一種一般化的Petri 網的種類) ,並且(協調選擇的系統與一般的資源一起處理)的S2CPGR . 我們接著將研究基本虹吸管尋找的最佳化.被提議的技術將能以多項式時間和空間計算基本虹吸管；不過使用周等的傳統的僵局?防，需要列舉呈指數成長的依賴虹吸管。我們因此提出一個簡單的僵局預防政策而無需列舉依賴虹吸管。
Relation:	基礎研究學術補助研究期間:9608~ 9707 研究經費:323仟元
Data Type:	report
Appears in Collections:	[Department of MIS] NSC Projects

Files in This Item:

File	Size	Format
962221E007.pdf	325Kb	Adobe PDF2	1047	View/Open

社群 sharing

著作權政策宣告 Copyright Announcement

1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。
NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.

Loading...