以自動機為基礎的緊急應變步驟-搜尋及驗證

Translated title of the thesis: Automata Based Emergency Response Procedures - Synthesis and Verification
  • 王 駿融

Student thesis: Master's Thesis

Abstract

周嚴的工廠異常狀態管理(Abnormal Situation Management)可被認為是包含了操作過程中所有失誤之即時辨識與減輕。一般而言,系統整體的診斷解析度是可以藉由增設感測器來提升,但若不希望增加設備投資的預算,則可藉由執行額外的診斷測試步驟來分辨出失誤根源。而在另一方面,失誤診斷後所執行的應變步驟也是相當重要的,包括如何使系統在安全的容?範圍內且產量可接受的情況下繼續維持生產,或是直接緊急停?。過去文獻通常僅針對失誤診斷或是操作步驟等單一議題作局部性探討,並無涵?整個異常狀態管理範圍的通盤研究,因此本研究希望能針對此一缺點發展出建造批次製程中所有設備元件的自動機模型,並標準化緊急應變步驟的搜尋方法,包含診斷測試與應變操作的規劃,最後也利用ASPEN Plus Dynamics執行動態模擬研究來驗證可行性與正確性。
Date of Award2015 Aug 3
Original languageChinese
SupervisorChuei-Tin Chang (Supervisor)

Cite this

'