[發明專利]含有不可控事件自動制造系統的控制方法

有效

• 申請號: 202110753595.8
• 申請日: 2021-07-02
• 公開（公告）號: CN113359650B
• 公開（公告）日: 2022-04-05
• 發明（設計）人: 冉寧;雷帥帥;郝晉淵;郝真鳴
• 申請（專利權）人: 河北大學
• 主分類號: G05B19/418
• 分類號: G05B19/418
• 代理公司: 石家莊國域專利商標事務所有限公司 13112
• 代理人: 胡素梅

1.一種含有不可控事件自動制造系統的控制方法，其特征是，包括如下步驟：

a、根據自動制造系統的生產關系，構建相應的Petri網模型，記為(N,m₀)，N為Petri網，m₀是初始狀態；

b、根據實際生產關系，列出步驟a中Petri網模型應滿足的約束性條件(w,k)，其中，w是庫所權值，k是非負整數；

c、根據步驟a的模型將步驟b的禁止狀態問題轉換為整數線性規劃問題，對步驟b中約束性條件(w,k)進行轉換，得到轉換后的約束條件(w^*,k)；本步驟具體如下：

c-1、對于任意不可控變遷，都有變遷的權值λ(t)≤0，則將w的值賦予w^*，否則執行步驟c-2；

p為庫所，t^·表示變遷t的后置集，^·t表示變遷t的前置集；

t^·＝{y∈P∪T|(t,y)∈F}，^·t＝{y∈P∪T|(y,t)∈F}；

P為庫所p的集合，T為變遷t的集合，是流關系；

c-2、將Petri網模型中所有庫所的權值之和的最小值作為目標函數；

c-3、構建約束條件：①轉換后庫所權值大于等于轉換前庫所權值，即：w^*(p)≥w(p)；

②對于任意不可控變遷，都有變遷的權值λ(t)≤0；

c-4、根據步驟c-3計算出轉換后的約束條件(w^*,k)；

d、構建控制庫所p_c：

d-1、根據轉換后的約束條件(w^*,k)，求出轉換后每一變遷t的權值λ^*(t)；

d-2、在原Petri網中添加一個控制庫所p_c；

d-3、對于任意變遷t，若轉換后變遷的權值λ^*(t)＞0，則畫一條由控制庫所p_c指向變遷t的弧，并賦值為|λ^*(t)|；對任意變遷t，若轉換后變遷的權值λ^*(t)＜0，則畫一條由變遷t指向控制庫所p_c的弧，并賦值為|λ^*(t)|；

d-4、所添加的控制庫所p_c以及弧，同原Petri網一起構成新的Petri網，記為(N^*,m₀^*)，且控制庫所p_c中的初始標識

2.根據權利要求1所述的含有不可控事件自動制造系統的控制方法，其特征是，每增加一個約束性條件(w,k)，相應地增加一個控制庫所p_c。

3.根據權利要求1所述的含有不可控事件自動制造系統的控制方法，其特征是，步驟b中，約束性條件(w,k)包括：零件等待轉移到已完成加工的零件堆棧區與零件等待轉移到未完成加工的零件堆棧區，兩者所對應的庫所中最多有一個托肯；機器正在工作與正在修理機器，兩者所對應的庫所中最多有一個托肯。

4.根據權利要求1所述的含有不可控事件自動制造系統的控制方法，其特征是，步驟c-4中采用LINGO進行計算轉換后的約束條件(w^*,k)。