| 학회 | 한국화학공학회 |
| 학술대회 | 1999년 봄 (04/23 ~ 04/24, 성균관대학교) |
| 권호 | 5권 1호, p.569 |
| 발표분야 | 화학공정안전 |
| 제목 | SMV를 이용한 회분공정 생산일정의 안전성 평가 |
| 초록 | 본 연구에서는 SMV를 통하여 다양한 형태의 생산일정 검색을 수행할 수 있는 알고리듬을 개발하였다. SMV에서 생산일정을 표현하는 방법에 대한 연구를 수행하고 이에따라 다양한 형태의 공정 및 생산품의 특성을 표현하였다. 이러한 알고리듬을 이용하여 주어진 공정을 중심으로 SMV상에서 표현을 하고 적절한 질의를 CTL(Computational Tree Logic)로 나타냄으로써 오류를 효과적으로 찾아낼 수 있는가를 검토하였다 |
| 저자 | 이한용, 김진경, 윤형준, 문일 |
| 소속 | 연세대 |
| 키워드 | Symbolic Model Verifer; Batch Process Schedules; Safety |
| 원문파일 | 초록 보기 |
