유한상태기계에 기반한 확장된 I-O 모델링 방법론
- 주제(키워드) FSA , Coloured Petri Net , I-O modeling , PLC
- 발행기관 아주대학교
- 지도교수 김기형
- 발행년도 2016
- 학위수여년월 2016. 2
- 학위명 석사
- 학과 및 전공 일반대학원 지식정보공학과
- 실제URI http://www.dcollection.net/handler/ajou/000000021490
- 본문언어 한국어
- 저작권 아주대학교 논문은 저작권에 의해 보호받습니다.
초록/요약
최근 자동차 제조업은 많은 자동화 설비들로 구성되고 자동 생산 시스템에서 PLC (Programmable Logic Controller) 제어 프로그램이 일반적으로 사용되고 있다. 생산 제품의 수명 주기가 길지 않기 때문에 공법과 라인 및 설비 변경이 자주 일어난다. 대부분, 기존 공정을 바탕으로 이루어지고 설비의 위치 및 제어정보를 수정한다. PLC 제어 프로그램 또한 기존 공정을 바탕으로 수정이 된다. 새로운 제어 프로그램을 검증하기 위해서는 실제 생산 시스템을 구축하기 전에 가상의 공간에서 실제 공정과 같이 구성하여 순차적으로 공정이 진행되는 지 확인할 수 있는 방법이 시뮬레이션이다. PLC 제어 코드를 검증하기 위한 시뮬레이션은 논리적인 모델링과 물리적인 모델링이 있다. 물리적인 모델링은 가시적으로 볼 수 있는 3D 그래픽을 의미하고 논리적인 모델링은 PLC를 이용한 프로그램 제어 방법 및 설비 제어 등을 Petri Net과 같은 Generic 모델링 방법으로 상태를 정의한다. 본 연구는 논리적인 모델링 방법으로, 시퀀싱과 병목현상 처리가 유용한 Timed-FSA를 기반으로 하고 있다. 기존에 연구되었던 I-O 모델링과 I-O 모델링에서 요구되었던 하나의 설비에 다양한 상태의 정의를 통해 사용자의 시간과 공수를 절감하기 위한 기존 모델링에 페트리네트의 컬러드 토큰 (Petri Net Coloured Token) 개념을 추가한 확장된 I-O 모델링 방법을 제안한다. 예제 설비를 통하여 사용자의 모델링 시간을 절감하는 실험과 사용성 평가를 통하여 제안하는 확장된 I-O 모델링을 검증한다.
more목차
제 1 장 서 론 1
제 1 절 연구 배경 1
제 2 절 연구 목적 2
제 2 장 관련 연구 3
제 1 절 FSA 3
제 1 항 FSA 정의 및 특징 3
제 2 절 PLC 5
제 1 항 PLC 정의 및 특징 5
제 3 절 기존 연구 6
제 1 항 Timed-FSA를 이용한 PLC 코드의 이산사건모델링에 대한연구 6
제 2 항 FSA 모델을 이용한 PLC 로직 검증 시뮬레이션에 대한 연구 8
제 3 항 이산사건 시스템 모델링과 구동 PLC 모델링을 결합한 통합 페트리네트 9
제 3 장 제안 모델링 11
제 1 절 기존 및 제안 모델링의 정의 및 특징 11
제 1 항 기존 I-O 모델 11
제 2 항 확장된 I-O 모델 13
제 2 절 I-O 모델과 확장된 I-O 모델 16
제 1 항 확장된 I-O모델링 정의 16
제 2 항 사용자 모델링 방법 비교 19
제 3 항 예제 설비 시나리오 20
제 4 장 실험 및 검증 23
제 1 절 검증 결과 23
제 1 항 사용자의 공수 및 시간 절감 실험 23
제 2 항 사용자의 공수 및 시간 절감 실험 결과 25
제 3 항 사용자 평가 실험 환경 27
제 4 항 사용자 평가 실험 결과 28
제 5 장 결론 및 향후 연구 33
제 1 절 결론 및 향후 연구 33
참고문헌 34
Abstract 36
