政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/111241
English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 109951/140892 (78%)
Visitors : 46197972      Online Users : 625
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/111241


    Title: S3PR的控制器合併理論之加強
    Authors: 趙玉
    Contributors: 資訊管理學系
    Keywords: 派翠網;可達狀態圖;彈性製造系統;Petri子網標記圖（MG）;Petri nets;reachability graph;FMS;Marked Graph
    Date: 2015
    Issue Date: 2017-07-17 16:37:19 (UTC+8)
    Abstract: 最近，創新和有計算效率的方法來設計最大活性結構簡單彈性製造控制系統已有所報導。但是，目前還不清楚是否反復的方法，可以實現最小的顯示器配置。早些時候，我們發現，在α-S3PR（簡單的順序過程與資源的系統。所有依賴虹吸管是是強烈地）所需的監視器的數量降到最低不能低於基本虹吸管數量的。這證實了在[]中兩個控制系統例子是一個最小的顯示器配置，因為他們屬於α-S3PR的，他們在每一個例子中的控制器數量等於基本信標數量。這項工作進一步探索了一條新的理論，使上述結果可以擴展到非-α-S3PR的。我們也提出了一個快速的方法來計算無可達性分析的關鍵活性標記及禁止標記（比上面的方法更快的速度及更少標記）。在此基礎上，我們提出了一個快速的方法來合併多個監視器成一個單一的監視器以實現簡單的配置而無須整數線性規劃（ILP）。然而，就Ezpeleta等的例子而言，我們無法實現如其他方法的5個顯示器，。我們將探索背後的理論，回答下面的問題： 1。理論上和在什麼情況下，我們的合併方法（基於虹吸）不能達到最低限度的配置嗎？ 2。在這種情況下，借用稍微扭曲的虹吸的方法，我們怎麼實現最低限度的配置呢？ 這項工作在保持我們在監控控制該領域的領先地位是非常重要的。 Recently, novel and computationally efficient methods to design maximally permissive liveness enforcing supervisors with simple structures for flexible manufacturing systems have been reported. However, it is unclear whether the iterative approach can achieve the minimal monitor configuration. Earlier we showed that the minimal number of monitors required cannot be less than that of basic siphons in α-S3PR (systems of simple sequential processes with resources) with strongly dependent siphons only. This confirms that two of the three controlled systems in [10] are of a minimal monitor configuration since they belong to α-S3PR and their number in each example equals that of basic siphons. This work further explores a new theory so that the above results can extend to non- α-S3PR. We also propose a fast way to compute critical live and forbidden markings (fewer and faster than the above methods) without reachability analysis. Based on that, we proposed a fast method to merge several monitors into a single one to achieve simple configuration without integer linear programming (ILP). However, for the benchmark by Ezpeleta et al., we were unable to achieve 5 monitors as with other approaches. In the ILP approach, when the number of monitors reaches the lower bound, the ILP can be exited to allow a faster solution. We propose to explore the theory behind to answer the following issues: 1. Is it theoretically true and under what condition, our merging method (siphon-based) cannot achieve minimal configuration? 2. In this case, how do we achieve minimal configuration by twisting the siphon-based approach? This work is important to maintain our leading position in the field of supervisor control.
    Relation: 科技部
    102-2221-E-004-001
    Data Type: report
    Appears in Collections:[Department of MIS] NSC Projects

    Files in This Item:

    File Description SizeFormat
    102-2221-E-004-001.pdf1615KbAdobe PDF2268View/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