1 |
1
복수의 집합(I, O, S)과 복수의 함수(ta, δext, δint, λ)를 이용하여 모델링하는 지능형 공장의 이산사건 모델링 방법에 있어서,상기 복수의 집합(I, O, S)외에 공간 집합(C)을 더 포함하여 모델링 하되, 상기 공간 집합은, 시작위치와 종료위치 사이의 평면좌표를 설정된 간격에 따라 구한 좌표들의 집합이며,상기 복수의 집합(I, O, S) 중,논리적 상태 집합(S)에 물리적 상태 개념을 적용한 상태 집합(Q)을 적용하되,상기 상태 집합(Q)은 아래의 수학식 1로 정의되는 것을 특징으로 하는 지능형 공장의 이산사건 모델링 방법
|
2 |
2
삭제
|
3 |
3
삭제
|
4 |
4
제1항에 있어서,상기 복수의 함수(ta, δext, δint, λ)들 중,내부 상태 천이함수(δint)의 범위는 상기 상태 집합(Q)을 범위로 하는 함수이며, 아래의 수학식 2로 표시되는 것을 특징으로 하는 지능형 공장의 이산사건 모델링 방법
|
5 |
5
지능형 공장에 적용되는 장치들을 이산사건 시스템 명세(DEVS, Discrete Event System Specification) 형식론(formalism)에 따라 모델링한 결과물인 지능형 공장의 이산사건 모델이 저장된 컴퓨터로 판독가능한 저장매체에 있어서,상기 지능형 공장의 이산사건 모델은 입력 집합(I), 출력 집합(O), 상태 집합(S), 공간 집합(C)과 복수의 함수(ta, δext, δint, λ)를 이용하여 모델링된 것이며, 상기 공간 집합(C)은, 시작위치와 종료위치 사이의 평면좌표를 설정된 간격에 따라 구한 좌표이며,상기 복수의 집합(I, O, S) 중,논리적 상태 집합(S)에 물리적 상태 개념을 적용한 상태 집합(Q)을 적용하되,상기 상태 집합(Q)은 아래의 수학식 1로 정의되는 것을 특징으로 하는 지능형 공장의 이산사건 모델이 저장된 컴퓨터로 판독가능한 저장매체
|
6 |
6
삭제
|
7 |
7
삭제
|
8 |
8
제5항에 있어서,상기 복수의 함수(ta, δext, δint, λ)들 중,내부 상태 천이함수(δint)의 범위는 상기 상태 집합(Q)을 범위로 하는 함수이며, 아래의 수학식 2로 표시되는 것을 특징으로 하는 지능형 공장의 이산사건 모델이 저장된 컴퓨터로 판독가능한 저장매체
|