政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/53450
English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  全文笔数/总笔数 : 109952/140891 (78%)
造访人次 : 46242882      在线人数 : 644
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 查询小技巧：
  • 您可在西文检索词汇前后加上"双引号"，以获取较精准的检索结果
  • 若欲以作者姓名搜寻，建议至进阶搜寻限定作者字段，可获得较完整数据
    •  进阶搜寻


    请使用永久网址来引用或连结此文件: https://nccur.lib.nccu.edu.tw/handle/140.119/53450


    题名: 單邊控制策略之擴充與可控性
    其它题名: Extension and Controllability of One-Sided Control Policy
    作者: 趙玉
    贡献者: 國立政治大學資訊管理學系
    行政院國家科學委員會
    关键词: 單邊控制
    日期: 2009
    上传时间: 2012-08-30 15:49:40 (UTC+8)
    摘要: 傳統僵局預防方法受增加太多控制器之苦。提議的李和周把虹吸管分成一初步和依靠的； 後 者能更進一步被透過強烈和弱的依靠的虹吸管。他們顯著降低控制器的數量借由初步虹吸管添 加控制器。不過，計算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.
    關聯: 基礎研究
    學術補助
    研究期間:9808~ 9907
    研究經費:240仟元
    数据类型: report
    显示于类别:[資訊管理學系] 國科會研究計畫

    文件中的档案:

    档案 大小格式浏览次数
    982221E002.pdf545KbAdobe PDF2544检视/开启


    在政大典藏中所有的数据项都受到原著作权保护.


    社群 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 ©   - 回馈