政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/53450
English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 109952/140891 (78%)
Visitors : 46243921      Online Users : 1152
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
    •  Adv. Search
    Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer Goto mobile version


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


    Title: 單邊控制策略之擴充與可控性
    Other Titles: Extension and Controllability of One-Sided Control Policy
    Authors: 趙玉
    Contributors: 國立政治大學資訊管理學系
    行政院國家科學委員會
    Keywords: 單邊控制
    Date: 2009
    Issue Date: 2012-08-30 15:49:40 (UTC+8)
    Abstract: 傳統僵局預防方法受增加太多控制器之苦。提議的李和周把虹吸管分成一初步和依靠的； 後 者能更進一步被透過強烈和弱的依靠的虹吸管。他們顯著降低控制器的數量借由初步虹吸管添 加控制器。不過，計算Petri 網的初等虹吸管需要昂貴列舉所有虹吸管。更進一步，可以達 到的狀態的數量是比最佳少得多的。在一論文內，我們提議一邊理論給一著名的S3PR 三倍的 狀態的數量。這個提議把它延長到更錯綜複雜的資源分發系統(例如ES3PR， S2LSPR 和S3PMR 那樣的系統)。在另一篇文章，我們消除透過發現新關於初步虹吸管的理論列舉全部虹吸管的 問題︰ (1) 任何身體弱依靠的虹吸管已經被控制並且不需要控制器。(2) 任何n(n>3)依靠的 虹吸管已經被控制並且不需要控制器。這工作提議把它延長到更錯綜複雜的資源分發系統。 更進一步，我們提議延長上述一邊的理論在保留多項式複雜性的優勢沒有完全的虹吸管列舉時是 更許可的(即可達到更多的狀態數量)。
    Traditional deadlock prevention approaches suffer from adding too many monitors. Li and Zhou proposed to divide siphons in a Petri net into elementary and dependent ones; the latter can further be distinguished by strongly and weakly dependent siphons. They add monitors to elementary siphons only significantly reducing the number of monitors. However, the computation of elementary siphons in a Petri net is expensive since the complete siphon enumeration is needed. Further, the number of reachable states is much fewer than the optimal. In an earlier paper, we proposed one-sided theory to triple the number of states for a well-known S3PR. This proposal extends it to more complicated resource allocated systems such as ES3PR, S2LSPR, and S3PMR. In another paper, we eliminated the problem of enumerating all siphons by discovering new theory about elementary siphons: (1) any weakly dependent siphon is already controlled and needs no monitor. (2) any n-dependent siphon (n>3) is already controlled and needs no monitor. This work proposes to extend it to more complicated resource allocated systems. Further, we propose to extend the above one-sided theory to be more permissive while retaining the advantage of polynomial complexity with no complete siphon enumeration.
    Relation: 基礎研究
    學術補助
    研究期間:9808~ 9907
    研究經費:240仟元
    Data Type: report
    Appears in Collections:[Department of MIS] NSC Projects

    Files in This Item:

    File SizeFormat
    982221E002.pdf545KbAdobe PDF2544View/Open


    All items in 政大典藏 are protected by copyright, with all rights reserved.


    社群 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.
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback