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

:::

歷史雜誌

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

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

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

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

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

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

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