• 정보처리학회논문지D
• /
• 제15D권5호
• /
• pp.691-698
• /
• 2008

웹사이트의 구조를 표현하고 설계하는 일반적인 방법으로 스토리보드나 사이트 맵 또는 플로우 차트 등을 사용하거나 또는 이들을 조합하여 사용하는 방법이 있다. 그러나 이들은 웹사이트의 전체 구조를 표현하기 어렵고 웹페이지 간의 세부적인 흐름 관계를 표현하기에 부적절한 면이 있다. 이러한 문제점을 다소 해결하기 위하여 EMFG(Extended Mark Flow Graph)를 이용하여 웹사이트를 표현하고 설계하려는 연구가 진행되었다. 그런데 이러한 기존의 연구는 웹사이트의 정적인 부분들을 대부분 표현하였기 때문에 동적인 웹사이트의 인터페이스를 표현하고 설계하기에는 부족한 점이 있다. 그리고 현재 인터넷의 생활화가 가속화되어 감에 따라 웹사이트의 구조가 더욱 다양하고 복잡하게 되었을 뿐 아니라 인터페이스도 많은 부분에서 동적인 부분을 포함하게 되었다. 따라서 본 연구에서는 EMFG를 사용하여 복잡하고 다양한 웹사이트의 구조뿐만 아니라 동적인 인터페이스 - 예를 들어, 시간에 따라 변하는 페이지 구조 또는 마우스 동작에 따라 변하는 페이지 상태나 구조 등 - 를 표현하는 방법을 제시한다. 본 연구가 웹사이트를 설계하는데 많은 도움이 되고, 웹사이트의 유지보수에도 도움이 될 수 있을 것으로 기대한다.

• 대한수학교육학회지:학교수학
• /
• 제17권1호
• /
• pp.65-78
• /
• 2015

본 연구는 그래프 해석에 대한 유사한 오류를 범하는 초등학교 5학년 수학 영재 학생 4명을 대상으로 CBR을 활용한 그래프 활동이 그래프 능력에 미치는 효과를 분석하였다. 선행연구에 기초하여 CBR을 활용한 그래프 활동 수업 설계를 하였으며 40분 동안 2차시에 걸쳐 영재 교사에 의해 수업이 진행되었다. 자료 분석을 위해 동영상 촬영, 학생과의 인터뷰 등을 수집하여 녹취록을 작성하였고, 2주 후 동일한 문항으로 사후 검사를 실시하여 연구 참여자의 그래프 해석에 대한 오류가 어떤 변화를 거치는지 비교 분석하였다. 본 연구 결과에 따르면 학생들은 그래프의 변화를 이해하고, 변인 간의 관계를 진술하며, 종속 변수 간 관련짓기를 할 수 있었다.

• 농촌계획
• /
• 제6권2호
• /
• pp.12-19
• /
• 2000

Irrigation pipeline networks consist mainly of buried pipes and are therefore relatively free from topographic constraints. Installation of irrigation pipeline systems is increasing since the systems have several advantages compared to open channel systems. To achieve economic design of pipeline networks, the layout should meet several conditions such as shortest path, maximum flow, and least cost. Graph theory is mathematical tool which enable to find out optimum layout for complicated network systems. In this study, applicability of graph theory to figure out optimum layout of irrigation pipeline networks was evaluated.

• 한국컴퓨터정보학회논문지
• /
• 제3권4호
• /
• pp.44-48
• /
• 1998

본 는문에서는 RT콤포넌트를 이용한 맵핑 방법으로 HDL로 기술된 연산자들을 RT콤포넌트에 맞도록 CDFG를 구성한 후 그래프를 최소화하고 cost와 bound를 계산하여 적합한 라이브러리를 선정하여 맵핑할 수 있는 콤포넌트 합성 알고리즘(Component Synthesis Algorithm)을 제안하였다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.117-124
• /
• 2006

UML(Unified Modeling Language)은 객체지향 모델링을 위한 언어이다 UML에 포함되어 있는 AD(Activity Diagram; 활동 다이어그램)는 워크플로우 시스템의 모델링에 적합하지만 수행 과정의 평가가 수학적이지 못하므로 수행 과정을 직관적으로 파악해야 하는 단점이 있다. 그러나 EMFG(Extended Mark Flow Graph)는 이산적인 시스템의 모델링에 적합할 뿐 아니라 수행 과정을 수학적으로 평가할 수 있다. 따라서 본 연구에서는 EMFG를 사용하여 모델링된 AD의 수행 동작을 평가하려고 한다. 우선 AD를 EMFG로 변환하는 방법에 대하여 제안하고, 변환된 EMFG의 수행을 평가함으로써 모델링된 AD의 수행완료 가능성을 평가한다. 그리고 컴퓨터 시뮬레이션을 통하여 이를 입증한다. 제안한 알고리듬은 대규모 워크플로우 시스템을 모델링한 AD의 수행완료 가능성도 쉽게 평가할 수 있는 장점이 있다.

• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.197-206
• /
• 2008

최근 많이 사용되고 있는 자바 바이트코드의 분석과 최적화를 효율적으로 수행하기 위해 CTOC 프레임워크가 구현되었다. CTOC에서는 바이트코드에 대해 분석과 최적화를 수행하기 위해 가장 먼저 eCFG를 생성하였다. 분석하기 어렵다는 바이트코드의 특성 때문에 기존의 바이트 코드를 제어 흐름 분석에 적합하게 확장하여 제어 흐름 그래프를 작성하였다. 이를 확장된 제어 흐름 그래프인 eCFG라 부른다. 또한 정적으로 분석하기 위해 eCFG를 SSA Form으로 변환 하였다. 변환 시 많은 프로그램에서 루프가 발견되었다. 이전 CTOC에서는 루프에 대한 처리를 수행하지 않은 상태에서 직접 SSA Form으로 변환을 수행하였다. 하지만 SSA Form으로 변환하기 이전에 루프에 대한 부분을 처리하면 더욱 효율적인 SSA Form을 생성할 수 있게 된다. 본 논문은 루프에 대한 처리를 효율적으로 하기 위해 eCFG를 SSA Form으로 변환하는 과정 이전에 루프를 발견하고 이와 관련된 루프 트리를 생성하는 과정을 보인다.

• 스마트미디어저널
• /
• 제11권1호
• /
• pp.46-57
• /
• 2022

본 논문에서는 딥러닝을 기반으로 입력영상의 옵티컬 플로우(optical flow)와 그래디언트(gradient)를 이용하여 종단간 행동인식이 가능한 다중영역 기반 방사성 GCN(MRGCN: Multi-region based Radial Graph Convolutional Network) 알고리즘에 대해 기술한다. 이 방법은 데이터 취득이 어렵고 계산이 복잡한 스켈레톤 정보를 사용하지 않기 때문에 카메라만을 주로 사용하는 일반 CCTV 환경에도 활용이 가능하다. MRGCN의 특징은 입력영상의 옵티컬플로우와 그래디언트를 방향성 히스토그램으로 표현한 후 계산량 축소를 위해 6개의 특징 벡터로 변환하여 사용한다는 것과 시공간 영역에서 인체의 움직임과 형상변화를 계층적으로 전파시키기 위해 새롭게 고안한 방사형 구조의 네트워크 모델을 사용한다는 것이다. 또 데이터 입력 영역을 서로 겹치도록 배치하여 각 노드 간에 공간적으로 단절이 없는 정보를 입력으로 사용한 것도 중요한 특징이다. 30가지의 행동에 대해 성능평가 실험을 수행한 결과 스켈레톤 데이터를 입력으로 사용한 기존의 GCN기반 행동인식과 동등한 84.78%의 Top-1 정확도를 얻을 수 있었다. 이 결과로부터 취득이 어려운 스켈레톤 정보를 사용하지 않는 MRGCN이 복잡한 행동인식이 필요한 실제 상황에서 더욱 실용적인 방법임을 알 수 있었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권8호
• /
• pp.317-326
• /
• 2013

본 논문에서는 바이너리 프로그램의 정적인 구조를 표현하는 제어 흐름 그래프를 비교하는 방법을 제안한다. 제어 흐름 그래프를 비교하기 위해서 기본 블록에 포함된 프로그램의 명령어 및 구문 정보를 비교한 후 기본 블록 사이의 유사한 정도를 측정한다. 또한, 에지 확장을 통해 기본 블록들 간의 제어 흐름을 표현하는 그래프 에지의 유사성을 함께 반영한다. 각 기본 블록 사이의 유사도 결과를 기반으로 기본 블록을 서로 매칭하고, 기본 블록 사이의 매칭 정보를 이용해서 전체 제어 흐름 그래프의 유사도를 측정한다. 본 논문에서 제안한 방법은 자바 프로그램으로부터 추출한 제어 흐름 그래프를 대상으로 제어 흐름 구조의 유사성에 따라 두 가지 기준으로 실험을 수행하였다. 그리고, 성능을 평가하기 위해서 기존의 구조적 비교 방법을 함께 실험하였다. 실험 결과로부터 에지 확장 방법은 서로 다른 프로그램에 대해 충분한 변별력을 가지고 있음을 확인할 수 있다. 프로그램 비교에 좀 더 많은 시간이 소요되지만, 구조가 유사한 프로그램에 대한 매칭 능력에서 기존의 구조적 비교 방법에 비해 우수한 결과를 보였다. 제어 흐름 그래프는 프로그램의 분석에 다양하게 활용될 수 있으며, 제어 흐름 그래프의 비교 방법은 프로그램의 유사성 비교를 통한 코드의 최적화, 유사 코드 검출, 코드의 도용 탐지 등 다양한 분야에서 응용될 수 있을 것이라 기대된다.

• 전자공학회논문지C
• /
• 제36C권4호
• /
• pp.17-29
• /
• 1999

본 논문은 데이터 의존적인 CMOS 회로(예: DSP) 의 전력량을 감축하기 위한 상위 수준 합성 기법에 대한 연구이다. 상위수준 합성은 스케줄링, 자원 및 레지스터 할당의 세가지로 나우어서 수행한다. 스케줄링시의 저전력 설계의 목적은 자원할당 시 입력을 재 사용할 수 있는 가능성을 증가시키는 것이다. 스케줄링 후에 자원 및 레지스터 할당 문제는 가중차기 부가된 앙립 그래프로 표현하여 최소비용흐름 알고리즘을 수행함으로써 스위칭 동작횟수가 적은 해를 얻는다. 제안된 알고리즘은 저전력 레지스터 및 자원 할당 문제에 대하여 O({{{{ { n}^{3 } }}}}) (n은 그래프의 노드수) 시간에 최적해를 제공한다. 벤치마크 회로에 대한 실험 결과는 15%의 전력 감축 효과를 나타낸다.

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

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