[發明專利]車間制造系統的啟發式二叉決策圖變量序優化表示方法

有效

• 申請號: 201710989077.X
• 申請日: 2017-10-22
• 公開（公告）號: CN107808214B
• 公開（公告）日: 2022-05-27
• 發明（設計）人: 黃波;丁高瞻;蔡志成;張皓明;楊余旺
• 申請（專利權）人: 南京理工大學
• 主分類號: G06Q10/04
• 分類號: G06Q10/04;G06Q50/04
• 代理公司: 南京理工大學專利中心 32203
• 代理人: 朱顯國

1.車間制造系統的啟發式二叉決策圖變量序優化表示方法，其特征在于，包括以下步驟：

步驟1、使用Petri網對車間制造系統進行建模；

步驟2、求取系統Petri網模型中各個庫所之間的關聯度矩陣；

步驟3、基于步驟2求得的庫所之間關聯度矩陣，以資源庫所為中心，對Petri網所有庫所分組；

步驟4、求取資源庫所對應分組的順序；

步驟5、基于步驟3和步驟4，采用啟發式規則生成系統Petri網模型的OBDD變量優化順序；

步驟6、基于步驟5得出的OBDD優化變量序，構建車間制造系統Petri網模型的OBDD；

步驟1使用Petri網子類S³PR網對車間制造系統進行建模，使用Petri網庫所中的托肯數表示資源數，使用Petri網的變遷表示工作部件，使用Petri網中庫所與變遷間的關系弧表示生產系統中的規則；

步驟2具體為：

步驟2-1、設置最大關聯度值MAX_GRADE；

步驟2-2、初始化關聯度矩陣M：把M_i,i置為最大值MAX_GRADE，把其他元素置為0，M_i,j表示庫所p_i和庫所p_j之間的關聯度；

步驟2-3、計算直接連接的兩個庫所的關聯度：當p_i中的托肯能通過發射一個變遷到達庫所p_j，或p_j中的托肯能通過發射一個變遷到達庫所p_i，則庫所p_i和庫所p_j之間的關聯度M_i,j＝MAX_GRADE-1；

步驟2-4、在求取的關聯度矩陣M的基礎上，利用迭代法逐步迭代消除值為0的元素，求取完整的關聯度矩陣：在一輪迭代的過程中，若庫所p_i和庫所p_j之間的關聯度M_i,j＝0，令P為所有庫所的集合，集合A＝{p_k|p_k∈P且M_i,k≠0}，若A為空集，則跳過M_i,j，繼續尋找下一個0元素，否則，令t＝{max(M_j,k+M_i,k-MAX_GRADE)|p_k∈A}，M_i,j＝t，直至關聯度矩陣M中不含有0元素，迭代結束；

步驟4具體為：

步驟4-1、對于空閑庫所集合P_I中任意庫所p_i，以p_i為起點，深度優先遍歷Petri網，并以最終回到庫所p_i為結束，每次的深度優先遍歷會產生一條不同的路徑，把該路徑上所用到的資源庫所依次排序形成一個集合，記為R_i，最終求取的路徑數量等于空閑庫所的數量，然后，把所有的路徑R_i置入路徑集合router中；

步驟4-2、設最終的資源庫所排序的有序集合為R，在路徑集合router中，找到一個含有元素數量最多的路徑R_i，把集合R_i中的元素有序添加進R中，并且從路徑集合router中刪除路徑R_i；

步驟4-3、重復步驟4-2，直至所有資源庫所都包含于有序集合R中或路徑集合router為空，若路徑集合router為空時仍有資源庫所沒有包含于有序集合R，則把剩余的資源庫所依次添加進有序集合R中，有序集合R即為所需求取的資源庫所順序。