機械工業網 - 機械產業的入口網站

:::

歷史雜誌

依專輯名稱關鍵字搜尋或依年份搜尋，年份輸入範例202406

作者:梁高榮利用全跨模與覆點擬陣設計自動化工廠的偵查法則

本文提出擬陣理論來設計自動化工廠的偵查器法則。傳統上，可程式控制器是用來控制自動化工廠的運作。當可程式控制器控制下的工廠出現不正常運作時，經過設計的偵查法則就可用來提供即時的警告訊息。所以如何設計出更好的法則來偵查出可程式控制器掌握下的不正常運作就成為研究上的一大挑戰。本文將可程式控制器與偵查器的數學模式視為擬陣理論裡的對偶關係。特別是可程式控制器的運作可用記號圖表達時，記號圖可視為擬陣理論裡的全跨模。由於全跨模的對偶擬陣為覆點擬陣，所以偵查器運作的數學模式可視為覆點擬陣。由於屬性方程式為隱性的偵查法則，故要實作的偵查法則可由覆點擬陣移除屬性方程式後產生。

作者:梁高榮利用動態擬陣理論設計彈性製造系統的偵查法則

本文提出動態擬陣理論來設計彈性製造系統的偵查法則。在自動化工廠裡，可程式控制器是用來控制製造設備。當可程式控制器的運作不正常時，偵查器是用來提供警告訊息。在重覆性製造系統裡，特定設備間的重覆製程特色可透過生產週期來完整地描述。在每一週期裡，可程式控制器與偵查器可分別用記號圖與偵查法則來表達。而兩者的數學性質更可經由擬陣理論來分析。相對地，彈性製造系統包含相異的製程，而其特色是生產設備的共用與選擇。很自然地，它們的可程式控制器的運作模式並非純記號圖，而是選項裴氏圖。在此新的解法裡，選項裴氏圖可分解成不同時段裡的相異記號圖。因此相對應的分析擬陣並非永久的，而是會時時改變的。總而言之，彈性製造系統的偵查法則就可由動態擬陣來產生。

作者:方本欣、張弘、梁高榮用法則矩陣分解法從選項裴氏圖產生記號圖

本文提出法則矩陣分解法來從可分解選項裴氏圖產生記號圖。通常彈性製造系統的製造設備是透過選項裴氏圖來協調，而若可能，為了增加可靠度，選項裴氏圖的行為最好透過即時偵查法則來監督。今日存在許多已開發的好方法可直接從記號圖設計出偵查法則來。相對於選項裴氏圖，則沒有已知的設計方法。在先前的研究裡，它已證實將選項裴氏圖分解成記號圖的可能性。所以為了能間接地設計彈性製造系統的偵查法則，本文開發出法則矩陣分解法來達成此分解性的需求。為了證實此新設計方法的可行性，本文選取彈性製造系統的選項裴氏圖來示範。

作者:朱明典、梁高榮重覆性製造系統的推拉式指標設計

本文提出兩項推拉式指標設計方法來描述重覆性製造系統裡物流的行為。這兩項設計方法都是建立在控制物流的資訊流基礎上。依據分析結果，發現歐氏記號圖可以用來表達資訊流的行為。因此歐氏記號圖可以用來設計推拉式指標。在此情況下，歐氏記號圖的兩項特性就成為計算推拉式指標的設計原理。其一是迴路分析；另一是暫存點分析。根據此設計原理，本文已開發出套裝軟體來計算歐氏記號圖的推拉式指標。

作者:梁高榮自動化製造系統裡浮標守恆裴氏圖的時域分解

本文提出時域分解法來將自動化製造系統的浮標守恆裴氏圖分解出歐氏記號圖。依據理論分析結果，控制製造設備的資訊流可用浮標守恆裴氏圖來表達。又可設計即時偵查法則以便在偵測到不正常的資訊流行為時來提供警訊。相對於歐氏記號圖可透過擬陣理論來推導出偵查法則，直接從浮標守恆裴氏圖設計出偵查法則是非常困難的。另一個解決此設計問題的方法是在時域裡將浮標守恆裴氏圖分解成歐氏記號圖。在此情況下，偵查法則可由歐氏記號圖推導出並合成之。這種新解法可以大量降低偵查法則的設計複雜度。本文將詳細地說明時域分解法的分解三步驟。特別是透過Prolog語言將此套裝軟體開發出來並使得分解過程可以自動化。

作者:辜婉琪、梁高榮用歐氏記號圖合成浮標守恆裴氏圖

對彈性製造系統來說，這裡提出一種從歐氏記號圖到浮標守恆裴氏圖的合成方法。在此合成方法裡，首先是制定所有彈性製造系統的基本製造程序。其次是針對每一種的基本製造程序，透過階層轉換法設計出其對應的歐氏記號圖。接著將所有的歐氏記號圖合成為浮標守恆裴氏圖。為了控制此彈性製造系統，隨後再將浮標守恆裴氏圖轉成為詮釋型裴氏圖。為了詳細的說明此合成方法，這裡將針對一個自動灌模系統來說明其產生浮標守恆裴氏圖與詮釋型裴氏圖的各個設計步驟。

作者:梁高榮復原可達圖估計自動化製造系統的系統可用率

本文提出復原可達圖來估計自動化製造系統的系統可用率。一般而言，短時間內自動化製造系統的運作可用歐氏記號圖或等效的活可達圖來建模。考量製造出錯現象，這時可加入故障狀態來形成故障可達圖並用馬可夫程序公式來估計自動化製造系統的上機時間。若故障是可修復的，則可以增加箭號來形成更複雜的復原可達圖。由於可以從復原可達圖計算出上機時間與當機時間，自動化製造系統的系統可用率是可以估計的。同理，長時間內自動化製造系統的運作可用浮標守恆裴氏圖來建模，而浮標守恆裴氏圖是由不同的歐氏記號圖組成。對浮標守恆裴氏圖來說，這也可推導出對應的活可達圖、故障可達圖及復原可達圖。所以相同的馬可夫程序公式可應用來估計長時間內自動化製造系統的系統可用率。

作者:陳書皓、梁高榮五層式架構解歐氏記號圖／階梯圖轉換問題

本文提出包含設計-合成-詮釋-文件-物件的五層式架構來解歐氏記號圖到階梯圖的轉換問題。在設計層，先採用階層轉換法設計出原始的歐氏記號圖。在合成層，原始歐氏記號圖組合出浮標守恆裴氏圖。在詮釋層，採用時域分解法從浮標守恆裴氏圖產生更多的歐氏記號圖及一張額外的同步裴氏圖。為了在彈性製造環境裡提供更好的績效，同步裴氏圖的重要角色是從浮標守恆裴氏圖裡挑出最好的歐氏記號圖來控制設備。基本上，產生階梯圖的文件層與物件層與傳統的三層式架構是相同的。此五層式架構的最大優點是比三層式架構提供更多的歐氏記號圖來選擇。