• 한국멀티미디어학회논문지
• /
• 제1권2호
• /
• pp.224-238
• /
• 1998

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 개념적으로 또는 상세하게 설계할 수 있는 강력한 도구 일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 그러나 EMFG의 다소 복잡한 표현으로 인해 수학적인 해석이 불가능하여 시스템의 설계나 해석에 어려움이 있다. 따라서 본 연구에서는 수학적인 해석이 가능하도록 EMFG의 표현을 재정의하였고, 표현 불가능한 부분이 가능하도록 트랜지션에 출력 역 아크를 도입하였다. 또한 EMFG의 회로변환에서 잘못 변환되는 부분들을 해결하였으며, 수식을 사용한 회로변환 방법을 제안하였다. 마지막으로 기존의 EMFG와 재정의된 EMFG를 비교하였고, 재정의된 EMFG로써 0101 감지기 회로를 설계하고 대응하는 회로로 변환하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.821-826
• /
• 2001

설계 단계부터 많은 경험을 필요로 하고, 설계된 회로의 분석이나 검증이 어려운 시퀀스 제어의 릴레이 회로를 EMFG로 변환하는데 있어 릴레이 회로의 특성을 정확하게 반영하기 위해 EMFG에 조건 아크를 도입하였으며 이에 따라 릴레이 회로의 EMFG 변환 규칙을 추가하였다. 또한 타이머 릴레이에 대한 EMFG 변환을 위해 시간 트랜지션을 사용하였다. 교통 신호등시스템을 이용한 응용 예를 통해 릴레이 회로를 EMFG로 변환하므로써 설계된 회로의 분석 및 해석이 용이해지고 설계오류에 대한 검증에 상당한 효과가 있음을 보인다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(하)
• /
• pp.565-569
• /
• 2002

본 논문에서는 방향그래프의 특정한 두 정점 사이의 최단 시간 및 최단 경로를 구하는 과정을 EMFG를 이용하여 수학적으로 해석하였다. 특정한 두 정점 사이의 최단 시간 및 최단 경로를 구하기 위해 방향그래프를 EMFG로 변환하는 방법과 접속행렬을 이용한 EMFG의 수학적 해석[10]을 적용한 최단 경로 알고리듬을 제안한다. 제안된 알고리듬을 시스템에 적용하여 알고리듬이 올바르게 동작하는 것을 확인하였으며, 방향그래프를 EMFG로 변환하여 해석하면 최단 시간 및 최단 경로를 파악하는 시스템의 분석 및 설계가 용이하여 시스템의 성능향상에 도움이 될 것으로 기대된다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(상)
• /
• pp.33-37
• /
• 2002

기존 EMFG의 동작해석 알고리즘에서 마크벡터는 정확한 시간 간격이 아닌 각 스텝의 변화를 나타내는 것이었다. 그래서 시간 트랜지션이 있는 EMFG의 경우에는 정해진 지연시간 이외의 필요 없는 시간이 발생하였다. 본 연구에서는 이를 개선하여 초기완료비벡터를 적용하였고, 시간 트랜지션을 가진 EMFG에 대하여 시간의 흐름에 따른 점화가능벡터와 예상완료비를 산출하고, 현완료비에 따라 달라지는 경과완료비를 수학적으로 판단할 수 있도록 개선된 알고리즘을 제안하였다. 제안된 알고리즘을 무인 운전 시스템에 적용하여 시간 흐름에 따른 마크벡터의 변화를 입증하였다. 설계된 EMFG를 개선된 알고리즘에 따라 해석하게 되면, 시스템의 분석 및 설계가 용이하여, 시스템의 성능향상에 도움을 줄 것으로 기대된다.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.371-378
• /
• 2002

EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.

• 정보처리학회논문지D
• /
• 제10D권7호
• /
• pp.1189-1196
• /
• 2003

IT 산업의 발달로 인해 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조와 다양한 병행 처리 구조론 개념적인 설계가 가능한 EMFG(Extended Mark Row Graph)로 먼저 표현한 후 워크플로우를 모델링한다. 모델링된 EMFG를 시뮬레이션하여 워크플로우의 완료 가능 여부를 알 수 있는 수행완료 가능성 검증 방법과 수행완료 후에 나타날 수 있는 논리적 오류 검증 방범을 제안한다. 제안한 워크플로우의 EMFG 모델링 및 분석 방법을 사용하면 시각적이고 정형적인 설계가 가능하고 직관적인 수학적 해석이 가능하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.815-818
• /
• 2003

EMFG는 동시성과 병렬성의 표현이 뛰어난 그래프 이론으로서 마크의 변화를 통해 모델링된 시스템의 동작을 확인할 수 있으나, 박스의 마크 변화를 시각적으로 관측하기가 어렵다. 따라서 본 연구에서는 EMFG 구성을 관리하게 하고, 마크 변화를 시각적으로 쉽게 관측할 수 있을 뿐 아니라 EMFG의 동작도 시뮬레이션 할 수 있는 EMFG 시뮬레이터를 설계하고 구현한다. 그리고 EMFG 시뮬레이터와 기존의 Petri Net 시뮬레이터를 비교한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.529-532
• /
• 2004

인터넷 보급이 확산되고, 인터넷의 생활화가 가속화되면서 사용자들의 요구를 만족시키기 위해 웹사이트는 점점 더 복잡해지고 있다. 이런 복잡한 구조의 웹사이트를 료현하는 방법으로 EMFG를 이용한 웹사이트의 표현이 연구되어지고 있다. 본 논문에서는 EMFG(Extended Mark 딘ow Graph)를 이용한 웹사이트의 표현에서 나타날 수 있는 반복적인 구조를 간략화하여 웰페이지의 흐름을 직관적으로 파악할 수 있는 방법을 제시한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.179-184
• /
• 1999

디지털 시스템을 설계하고 분석할 때, 번지버스와 데이터버스 및 각종 제어 신호들을 타이밍도로 표현하는 경우가 많다. 그러나 디지털 시스템의 동작이 타이밍도로 표현되는 경우, 그 표현이 복잡할 뿐 아니라 동작 분석이 용이하지 못하다. 본 연구에서는 시스템의 타이밍도를 확장된 마크흐름선도(EMFG; Extended Mark flow Graph)로 표현하는 방법을 제안하였다. 시스템의 동작이 EMFG로 표현되는 경우, 각종 신호들에 따라 변화하는 시스템의 상태가 도식적으로 표현되므로 시스템의 동작 분석이 용이해질 뿐 아니라 시스템의 설계에도 유용하게 이용 될 수 있다. 적용 예로 NEC사의 $\mu$PD70320 CPU의 메모리 읽기 사이클 및 MCM60256A의 메모리 동작을 EMFG로 표현하였다.

• 한국정보처리학회논문지
• /
• 제5권7호
• /
• pp.1896-1907
• /
• 1998

확장된 마크흐름선도(EMFG: Extednded Mark Flow Graph)는 기존의 MFG를 개선한 그래프로서, 회로변수식에 의해 실제회로로 쉽게 구현가능하므로 이산제어시스템의 모델링과 설계 및 구현의 강력한 도구로 사용될 수 있다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션들이 점화완료하였을 때 각 박스들의 마크수 변화를 부울함수식과 벡터를 사용하여 표현하였다. 또한 시스템의 상태변화를 쉽게 판단할 수 있게 하는 EMFG의 동작알고리듬을 제안하였으며, 제안된 알고리듬은 3-비트 증가계수기를 설계한 EMFG와 시간트랜지션이 포함된 가상의 EMFG에서 잘 수행되었다. EMFG의 동작이 부울함수로 해석가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화된 시스템의 분석과 설계가 가능하다.