| 학회 | 한국화학공학회 |
| 학술대회 | 1999년 봄 (04/23 ~ 04/24, 성균관대학교) |
| 권호 | 5권 1호, p.437 |
| 발표분야 | 화학공정안전 |
| 제목 | 시간논리를 이용한 화학공장의 운전절차 합성 알고리즘 |
| 초록 | 본 연구에서는 조작과 연관되어 있는 상황 의존적(context dependent) 정보를 자동 인 식하기 위해 필요한 공정 지식의 분류와 공정의 기능적·구조적인 세분화 및 조작의 표현방법을 개발하였다. 또한 제한조건 전파(constraint propagation)를 이용한 공정상태의 변화모사 방법 및 공정에 존재하는 제한조건을 시간논리(temporal logic)로 표현하여 조작 선택과 순서 결정의 지침(guideline)으로 삼는 방법을 제시하고자 한다. 즉 물질의 혼합, 접촉 등에 의한 위험을 규정한 전역적 제한조건(global constraint)과 장치의 운전 준비조건의 미비에 의한 위험을 규정한 지역적 제한조건(local constraint) 뿐 아니라 임의의 운전상황에만적용되는 위험을 규정한 시간적 제한조건(temporal constraint)은 고려할 수 있는 방법을 개발하였다. |
| 저자 | 허보경, 황규석 |
| 소속 | 부산대 |
| 키워드 | Operating Procedure Synthesis; Tempoal Logic |
| 원문파일 | 초록 보기 |
