利用非時間自動機模式產生並驗證可執行之操作步驟

Translated title of the thesis: Generation and Verification of Executable Operating Procedures Based on Untimed Automata
  • 陳 泰宇

Student thesis: Master's Thesis

Abstract

在化工製程中的操作步驟大多是以人工方式執行，但這樣的方式容易產生缺失。為了確保實際操作效率與安全，我們在本研究中利用非時間自動機模式產生並驗證可執行之操作步驟。具體而言，首先，(1)將系統中所有設備元件的自動機模型建構出來，其次(2)確定每個操作階段的所需要的操作性質，例如進料、卸料、狀態改變及穩定運行，再來(3)訂定每個階段所需的控制規範，以避免物理上不允?系統行為，並建構出相應的自動機，(4)將前述模型做平行組合，(5)將所有階段的可視事件串合併成一個完整的順序?能圖（SFC）。最後，利用商用軟體ASPEN Plus Dynamics執行動態模擬來驗證並評估所得測試步驟的可行性及經濟性。
Date of Award2018 Aug 8
Original languageChinese
SupervisorChuei-Tin Chang (Supervisor)

Cite this

'