臺灣博碩士論文加值系統

在管線網路中的物料輸送工作是在幾乎所有批次工廠中都會存在的操作。傳統上批次操作步驟是以人工方式依過去經驗合成的，但這樣的作法不但缺乏效率，也容易出錯。本研究根據Lai et al.(2007) 提出的初步構想，改善以派屈網為基礎的整數規劃模式(Integer Program, IP)，來自動找出最佳操作策略。具體而言，此模式包含了利用狀態方程式建構的路徑模組、設備模組、程序模組，及其他額外整數限制式，且其中變數與限制式數量較原始模式減少許多，因此可以顯著提昇求解效率。而在本論文中我們也以實際的案例，來展現此方法的優點。最後，我們也嘗試修改傳統排程模式來發展出考慮操作時間的操作步驟。

Transferring process material from one unit to another via a pipeline network is a basic operation performed routinely in almost every batch chemical plant. Traditionally, the task of conjecturing the needed operation steps is carried out manually on an ad hoc basis. This approach is often time-consuming when applied to an industrial process and, furthermore, the resulting recipe may be error-prone. This work is based on the method of Petri-Net based integer program proposed by Lai et al.(2007) and improve the performance to a new level. Specifically, this approach includes the path modules, the equipment modules and the process modules which are described by the state equation. Other integer constraints are also incorporated to build this approach. In addition, the number of variables and constrains are less than original model, thus, the performance efficiency can be improved. There are several realistic examples are provided to demonstrate the strength and effectiveness of the proposed approach.
Finally, our research modify traditional schedule model to develop time-based mathematical programs.

第一章 緒論.............................................................................................1
1.1研究動機.........................................................................................................1
1.2文獻回顧.........................................................................................................1
1.3研究目的.........................................................................................................3
1.4組織與章節.....................................................................................................3
第二章 派屈網模式的建構.....................................................................5
2.1 派屈網之基本建構元素................................................................................5
2.2渡閘激發規則.................................................................................................8
2.3狀態方程式.....................................................................................................9
2.4考慮時間的派屈網模式................................................................................11
2.5 運送物料操作步驟的派屈網模式...............................................................14
2.5.1管線片段................................................................................................14
2.5.2 運送路徑模式.......................................................................................15
2.5.3不考慮時間的系統操作模式................................................................19
2.5.4考慮時間的系統操作模式....................................................................22
第三章 不考慮時間情況下物料輸送之最佳操作步驟...........................25
3.1 管線網路的狀態方程式................................................................................25
3.2 運送路徑的限制式........................................................................................29
3.3 設備操作的限制式........................................................................................31
3.4 工作排程限制式............................................................................................33
3.5 目標函數........................................................................................................36
3.6 測試例題........................................................................................................37
3.7 結語................................................................................................................50
第四章 考慮時間之數學規劃模式.......................................................51
4.1 操作排程的限制式........................................................................................51
4.2目標函數.........................................................................................................60
4.3測試例題.........................................................................................................60
第五章 案例演練...................................................................................65
5.1 大型管線網路中多項物料輸送、混合與清洗之操作步驟........................65
5.2 啤酒過濾程序之操作步驟............................................................................97
5.2.1 程序模型.............................................................................................101
5.2.2 不考慮實際時間之邏輯限制式.........................................................105
5.2.3 不考慮時間之操作步驟的合成.........................................................109
第六章 結論與展望.........................................................................................119
參考文獻....................................................................................................................121
附錄A:例題3-5之程式碼........................................................................................125
附錄B: Lai et al.(2007)之模式..................................................................................129
附錄C: 例題5-1之流程圖.......................................................................................133
附錄D: 啤酒工廠例題1-2之流程圖......................................................................137

Årzén, K.-E., and Johnsson, C., “Object-oriented SFC and ISA-S88.01 recipes,” ISA Transactions, Vol. 35, pp. 237-244, 1996.
Chou, H. H., and Chang, C. T., “A Petri-net based strategy to synthesize the operating procedures for cleaning pipeline networks,” Industrial and Engineering Chemistry Research, Vol. 44, pp. 114-123, 2005.
David, R., and Alla, H., “Petri nets for modeling of dynamic system - a survey,” Automatica, Vol. 30, pp. 175-202, 1994.
Ferrarini, L., and Piroddi, L., “Modular design and implementation of a logic control system for a batch process,” Computers and Chemical Engineering, Vol. 27, pp. 983-996, 2003.
Foulkes, N. R., Walton, M. J., Andow, P. K., and Galluzzo, M., “Computer-aided synthesis of complex pump and valve operations,” Computers and Chemical Engineering, Vol. 12, pp. 1035-1044, 1998.
Gabbar, H. A., Aoyama, A., and Naka, Y., “Automated solution for control recipe generation of chemical batch plants,” Computers and Chemical Engineering, Vol. 29, pp. 949-964, 2005.

Gu, T., and Bahri, P. A., “A survey of Petri net applications in batch processes,” Computers in Industry, Vol. 47, pp. 99-111, 2002.
ISA, S88.01 Batch Control, Part 1: Models and Terminology, ISA, Research Triangle Park, NC, USA, 1995.
Karassik, I. J., and McGuire, J.T., Centrifugal Pumps, 2nd ed., Chapman & Hall: New York, USA, pp. 885-887, 1998.
Kim, J., and Moon, I., “Synthesis of safe operating procedure for multi-purpose batch processes using SMV,” Computers and Chemical Engineering, Vol. 24, pp. 385-392, 2000.
Lai, Y. H., Process Control of Brewery Plant by EVALPSN, MS Thesis, NTUST, Taipei, 2005.
Lai, J. W., Chang, C. T., and Hwang, S. H., “Petri-Net based binary integer programs for automatic synthesis of batch operating procedures,” Ind. Eng. Chem. Res, Vol.46, pp. 2797-2813, 2007.
Li, H. S., Lu, M. L., and Naka, Y., “A two-tier methodology for synthesis of operating procedures,” Computers and Chemical Engineering, Vol. 21, pp. s899-s903, 1997.
Takashi, I., Susumu, H., Tomoyuki, Y., and Katsuaki, O., “Integration between scheduling and design of batch systems based on petri net models,” IEICE TRANS.FUNDAMENTALS, Vol.E88-A, pp. 2989-2997, 2005
O’Shima, E., “Safety supervision of valve operation,” Journal of Chemical Engineering of Japan, Vol. 11, pp. 390-395, 1978.
Peterson, J. L., Petri Net Theory and the Modeling of Systems, Pentice-Hall, Englewood Cliffs, NJ, USA, 1981.
Raman, R., and Grossmann, I. E., “Relation between MILP modeling and logical inference for chemical process synthesis,” Computers and Chemical Engineering, Vol. 15, pp. 73-84, 1991.
Rivas, J. R., and Rudd, D. F., “Synthesis of failure-safe operation,” AIchE Journal, Vol. 20, pp. 320-325, 1974
Uthgenannt, J. A., “Path and equipment allocation for multiple, concurrent processes on networked process plant units,” Computers and Chemical Engineering, Vol. 20, pp. 1081-1087, 1996.
Wang, Y. F., and Chang, C. T., “A Petri-net based deductive reasoning strategy for fault identification in batch processes,” Industrial and Engineering Chemistry Research, Vol. 43, pp. 2704-2720, 2004.
Wang, Y. F., Chou, H, H., and Chang, C. T., “Generation of batch operating procedures for multiple material-transfer tasks with Petri net,” Computers and Chemical Engineering, Vol. 29, pp. 1822-1836, 2005.