| Summary: | 碩士 === 國立成功大學 === 化學工程學系碩博士班 === 100 === In batch processes, the operation steps mostly are generated manually on an ad-hoc basis, but it is unsystematic and prone to human errors. In order to avoid human errors and to make sure the operational efficiency and safety, it is necessary to develop a feasible approach to generate operation steps in batch processes. In this work, timed automata model coupled with the model-checking tool UPPAAL is carried out to generate cyclic operation steps of normal states in batch processes. Practically, to find the cyclic operation steps of normal states, firstly, (1) timed automata model are constructed for all of the equipments in the corresponding system. Secondly, (2) control rule automata model then is build. In the third step, (3) the aforementioned models are composed in parallel. Forth, (4) a model-checking tool is applied to find the best operational path. As for the last, (5) the resulting operational path is sorted out to get the SFC and Gantt chart. In addition, if the corresponding system is in abnormal condition, an adjustment model can be added in order to make the system returns back into the normal state. In this thesis, practical cases are investigated to show the feasibility of this method.
|
|---|
