(3.227.0.150) 您好!臺灣時間:2021/05/06 11:53
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:葉純妤
研究生(外文):Chun-YuYeh
論文名稱:利用時間自動機合成操作步驟之案例探討
論文名稱(外文):Case Studies of Generating Operating Procedures Based on Timed Automata
指導教授:張珏庭
指導教授(外文):Chuei-Tin Chang
學位類別:碩士
校院名稱:國立成功大學
系所名稱:化學工程學系
學門:工程學門
學類:化學工程學類
論文種類:學術論文
論文出版年:2020
畢業學年度:108
語文別:中文
論文頁數:239
中文關鍵詞:時間自動機批次反應製程反應蒸餾塔開俥操作串聯蒸餾塔開俥操作動態模擬
外文關鍵詞:timed automatabatch reactorreactive distillationstartup operationdistillation sequencedynamic simulation
相關次數:
  • 被引用被引用:0
  • 點閱點閱:18
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
在化學製程設計的工作中,過去習慣依賴人為經驗來制定操作步驟,為了減少在制定過程中失誤之發生,同時顧及操作的效率、安全性與成本,本研究將利用UPPAAL自動機軟體為系統中的元件建造模型,運用專業知識與操作經驗設計控制規範,經自動機網路同步運行後產生操作步驟,並進行動態模擬。本研究透過以下三個案例展現此方法的應用過程,過去曾以非時間自動機模型合成批次反應器的操作步驟,但缺乏時間變數的利用,本研究遂改以時間自動機建模,以增加模型的彈性;也曾有合成單一蒸餾塔的開俥步驟,本研究以此案例為基礎,延伸出串聯蒸餾塔系統,以及改良反應蒸餾塔案例的開俥步驟。具體的工作有(1)建造完整的自動機網路,包括一般元件的非時間自動機模型、程序單元的時間自動機模型與控制規範自動機模型;(2)劃分操作階段並產生各階段的路徑圖;(3)將路徑圖整合成順序功能圖(SFC)形式;(4)利用ASPEN Plus Dynamics進行模擬驗證操作步驟的可行性,並進行經濟評估,找出具優勢之選擇。
In designing the chemical processes, the operating procedures have often been generated manually according to experiences. To reduce the manual errors in performing this task and, at the same time, take into account of operational efficiency, safety, and cost, a different approach is adopted in the present study. The system components and control specifications are first modelled with automata on the basis of engineering knowledge and operation experience. The operating procedures are generated by synchronizing of all automata mentioned above with the software UPPAAL and then validated in dynamic simulation studies using ASPEN PLUS DYNAMICS.
The proposed method is illustrated with three examples. In the past, the operating procedures for a batch reactor system have been synthesized based on untimed automata. In the present work, the timed automata are used to model the same process so as to enhance model flexibility. The operating procedures for the startup operations of a single distillation column have also been synthesized in the past. The present study has extended this work to two distillation columns connected in series, and improved the automata for modeling the reactive distillation system. The specific works presented in this theses include: (1) building a complete network of automata models, which include the untimed automata for the simple components, the timed automata model for the processing units and control specifications; (2) dividing operations procedures into several stages and generating the embedded traces of each stage; (3) summarizing all traces with a sequential function chart (SFC); (4) verifying the corresponding procedures with Aspen Plus Dynamics.
中文摘要 I
Extend Abstract II
致謝 IX
目錄 X
圖目錄 XII
表目錄 XVII
第一章 緒論 1
1.1 研究動機 1
1.2 文獻回顧 1
1.3 研究目的 4
1.4 章節與組織 4
第二章 變數離散化步驟 6
2.1 案例說明-批次反應器 6
2.2 預模擬步驟 7
2.2.1 檔案設定 7
2.2.2 探勘模擬步驟 8
2.3 狀態變數離散化 15
2.4 離散化動態模擬數據 20
第三章 件系統模型 34
3.1 分層結構 34
3.2 非時間自動機模型 35
3.3 PID控制器/驅動器 36
3.4 程序組態 41
3.5 感測器 44
3.6 時間自動機模型 45
3.6.1 建模方式說明 45
3.6.2 程序單元模型 46
3.7 程序階層 58
3.8 系統模型 59
第四章 建立操作步驟 61
4.1 操作步驟階段劃分 61
4.2 操作階段的控制規範 63
4.2.1 第一階段 63
4.2.2 第二階段 66
4.2.3 第三階段 70
4.2.4 第四階段 74
4.2.5 第五階段 78
4.3 路徑整合與驗證 83
4.3.1 路徑圖 84
4.3.2 模擬驗證與評估 97
4.4 搜尋新操作步驟 107
4.4.1 元件選擇 107
4.4.2 自動機模型 108
4.4.3 路徑合成 111
4.4.4 結果討論與比較 120
第五章 案例探討 124
5.1 反應蒸餾塔之開車步驟 124
5.1.1 系統描述 124
5.1.2 模擬驗證與評估 128
5.2 串聯蒸餾塔之開俥步驟 171
5.2.1 系統描述 171
5.2.2 模擬驗證與評估 176
第六章 結論與展望 236
6.1 研究結論 236
6.2 未來展望 237
參考文獻 238
Aylett, R., Petley, G., Chung, P., Soutter, J., & Rushton, A. (1997). Planning and chemical plant operating procedure synthesis: a case study. In European Conference on Planning (pp. 39-51). Springer, Berlin, Heidelberg.

Chen, T. Y., & Chang, C. T. (2019). Design approach to synthesize, validate, and evaluate operating procedures based on untimed automata and dynamic simulation. Industrial & Engineering Chemistry Research, 58(19), 8172-8183.

Ferrarini, L., Piroddi, L.(2003). Modular design and implementation of a logic control system for a batch process. Comput. Chem. Eng., vol. 27, 983-996

Fusillo, R. H., & Powers, G. J. (1987). A synthesis method for chemical plant operating procedures. Computers & Chemical Engineering, 11(4), 369-382

Kim, J., & Moon, I. (2000). Synthesis of safe operating procedure for multi-purpose batch processes using SMV. Computers & Chemical Engineering, 24(2-7), 385-392.

Kim, J., & Moon, I. (2010). Model checking for automatic verification of control logics in chemical processes. Industrial & Engineering Chemistry Research, 50(2), 905-915.

Lai, J. W., Chou, H. H., & Chang, C. T. (2006). Petri‐net based integer programs for synthesizing optimal material‐transfer procedures in pipeline networks. Journal of the Chinese Institute of Engineers, 29(2), 337-346.

Lakshmanan, R., & Stephanopoulos, G. (1988). Synthesis of operating procedures for complete chemical plants—I. Hierarchical, structured modelling for nonlinear planning. Computers & Chemical Engineering, 12(9-10), 985-1002.

Lakshmanan, R., & Stephanopoulos, G. (1988). Synthesis of operating procedures for complete chemical plants—II. A nonlinear planning methodology. Computers & Chemical Engineering, 12(9-10), 1003-1021.

Lakshmanan, R., & Stephanopoulos, G. (1990). Synthesis of operating procedures for complete chemical plants—III. Planning in the presence of qualitative, mixing constraints. Computers & Chemical Engineering, 14(3), 301-317.

Lee, Y. H., Chang, C. T., Wong, D. S. H., & Jang, S. S. (2011). Petri-net based scheduling strategy for semiconductor manufacturing processes. Chemical Engineering Research and Design, 89(3), 291-300.

O’Shima, E. (1978). Safety supervision of valve operations. Journal of Chemical Engineering of Japan, 11(5), 390-395.

Wang, Y. F., Chou, H. H., & Chang, C. T. (2005). Generation of batch operating procedures for multiple material-transfer tasks with petri nets. Computers & chemical engineering, 29(8), 1822-1836.

Yang, Y. H. A perti-net based optimization strategy for generating the batch operation procedures. Master. Thesis, Cheng Kung University, 2008.

Yeh, M. L., & Chang, C. T. (2012). An automata based method for online synthesis of emergency response procedures in batch processes. Computers & Chemical Engineering, 38, 151-170.

Zhang, C. R., Yeh, C. Y., & Chang, C. T. (2020). Synthesis, Validation, and Evaluation of Operating Procedures Based on Automata and Dynamic Simulation. Industrial & Engineering Chemistry Research, 59, 18, 8769–8782.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔