| 7 |
논리 검증법을 이용한 보일러 운전 절차의 안전성 검색(96)|Verification of the Safety of Boiler Operating Procedures using a Symbolic Model Verifier
고세준, 문일|Sejune Goh, Il Moon
한국화학공학회 1996년 가을 학술대회 |
| 6 |
ZW 방안의 다품종 회분식 공정의 생산 일정계획을 위한 효율적인 MILP 모델식|An Efficient MILP Model for Scheduling of Multiproduct Batch Processes Under ZW Policy
문성득, 박선원, 이원국|Sungdeuk Moon, Sunwon Park, Won Kook Lee
한국화학공학회 1996년 가을 학술대회 |
| 5 |
핵자기 공명 영상기법과 정전용량 장치에 의한 다상 유체실험|Multiphase Flow Experiments by NMR ImagingTechniques and Capacitance Device
김경회, 에이티와트슨|Kyung-Hoe Kim, A. T. Watson
한국화학공학회 1996년 가을 학술대회 |
| 4 |
보일러 플랜트의 shutdown 운전에 대한 조작절차의 자동합성|Automatic Synthesis of Shutdown Procedures in Boiler Plants
송한영, 허보경, 황규석, 윤인섭*|Han Young Song, Bo Kyeng Hou, Kyu Suk Hwang, En Sup Yoon*
한국화학공학회 1996년 가을 학술대회 |
| 3 |
가스 밸브 기지의 인적오류 분석 및 최소화 방안|Human Errors Analysis and the Minimizied Method in Gas Valve Station
이수경, 정재희, *김래현, **제무성|Su Kyung Lee, Jaehee Jung, Lae Hyun Kim, Moosung Jae
한국화학공학회 1996년 가을 학술대회 |
| 2 |
공정이상발생시 GOAL-TREE를 이용한 대처조작 자동합성|Automatic Synthesis of Operating Sequence for Abnormal state using GOAL-TREE
박경찬, 안대명, 황규석|Kyoung Chan Park, Dae Myung An, Kyu Suk Hwang
한국화학공학회 1996년 가을 학술대회 |
| 1 |
논리 검증법을 이용한 보일러 운전 절차의 안전성 검색(안전)|Verification of the Safety of Boiler Operating Procedures using a Symbolic Model Verifier
고세준, 문일|Sejune Goh, Il Moon
한국화학공학회 1996년 가을 학술대회 |
