| 학회 |
한국화학공학회 |
| 학술대회 |
2003년 가을 (10/24 ~ 10/25, 한양대학교) |
| 권호 |
9권 2호, p.3026 |
| 발표분야 |
화학공정안전 |
| 제목 |
SMV를 이용한 불확실성을 가진 생산 일정 계획의 안전성 검색 |
| 초록 |
본 연구에서는 Symbolic Model Verifier(SMV)를 이용하여 처리시간(processing time)이 불확실한 회분 공정에서 다양한 형태의 생산일정 검색을 수행할 수 있는 알고리듬을 개발하였다. 대상 공정은 다품종 회분식 공정(Flowshop Problem)이며 Finite Intermidiate Storage(FIS)방식으로 운영된다. 또한 각 단위 공정의 처리시간이 일정 범위값을 갖는 불확실성을 포함하고 있다. 본 연구에서는 불확실한 처리시간을 이산변수로 표현하여 대상 공정을 SMV모델로 구성하였고 이에 적절한 질의어를 Computational Tree Logic(CTL)로 나타내어 안전성을 검색함으로써 위험성이 있는 생산일정을 판별하였다. 안전성 평가 시 SMV를 이용하면 모듈화 된 SMV를 이용하여 모델을 세우고 위험한 상황을 검증 질의어를 통해 컴퓨터로 자동으로 검색할 수 있다. 이를 통해 회분 공정에서 처리시간의 불확실성을 고려한 생산일정의 안전성 검색을 할 수 있다.
|
| 저자 |
박미진1, 김진경2, 문 일1
|
| 소속 |
1연세대, 2(주)애경 |
| 키워드 |
smv; 불확실성; 생산일정계획; 안전 |
| E-Mail |
|
| 원문파일 |
초록 보기 |
