• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.100-102
• /
• 2002

최근 컴포넌트 기반 개발이 소프트웨어 개발의 새로운 패러다임으로 대두되고 있는 가장 큰 이유는 컴포넌트의 재사용으로 인해 얻을 수 있는 개발 기간의 단축, 유지ㆍ보수의 용이함 등의 장점들 때문이다. 재사용의 개념을 시스템으로 확장하여 생각하면 기존 레거시 시스템을 컴포넌트 기반 시스템으로 바꾸는 것이며 이를 위해서는 레거시 시스템의비즈니스 로직을 추출하여 컴포넌트화 해야 한다. 본 논문에서는 기존 레거시 시스템에서 컴포넌트 기반 시스템으로 변환하기 위해 필요한 비즈니스 로직 추출 방법으로 레거시 시스템 분석을 통해 얻은 시스템 플로우 그래프, 프로그램 호출 그래프, 패러그래프 흐름 그래프 등의 그래프 등을 이용하여 레거시 시스템을 이해하고 추출 정보로써 핵심 변수와 패턴 식별을 이용한 방법을 제안한 후 구현된 비즈니스 로직 추출기를 이용하여 구체적으로 COBOL 소스 코드에서 비즈니스 로직이 추출되는 과정을 설명하겠다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권4호
• /
• pp.290-299
• /
• 2005

컴퓨터와 소프트웨어의 사용이 증가하면서, 프로그램 소스의 도용(표절)이 사회적인 문제로 부각되고 있다. 이런 문제를 해결하고자 프로그램의 문법 구조를 비교하여 표절을 찾아내는 방법론이 제안되었지만, 간단한 프로그램 수정에도 표절을 찾아내지 못하는 한계를 가지고 있다 이 연구에서는, 문법 구조적인 정보 뿐 아니라, 프로그램식 간의 수행시 의존 관계를 드러내는 그래프를 이용한 프로그램 표절 감지 시스템을 제안한다. 이 방법론은 문법 정보 뿐 아니라, 수행시 의존 관계까지 비교 대상에 을림으로써, 수행시 의콘 관계를 변화시키지 못하는 프로그램 수정에 대해서도 프로그램 표절을 판별할 수 있다. 또한, 이 연구에서는 표절 프로그램이란 무엇인가를 엄밀하게 정의하고 이 표절 프로그램의 정의와 연구에서 제안된 표:늰 감별 그래프와의 관계를 보였다. 즉, 두 프로그램이 표절이라는 것은 표절 감별 그래프가 일치한다는 긴과 필요 충분 관계가 있음을 증명하였다. 또한 제안된 표절 감별 방법론을 실제적인 프로그래밍 언어인 IML 에 대해서 구현하였다. 구현된 도구를 통해서 실제 표절된 프로그램들을 감별한 결과, 기존의 방법에서 찾기 어려운 프로그램 표절을 제안된 방법론이 다룰 수 있음을 확인하였다.

• 인터넷정보학회논문지
• /
• 제22권1호
• /
• pp.51-63
• /
• 2021

스토리에서 등장하는 인물들을 식별하고 인물들 간의 관계를 분석하는 것은 스토리 이해를 위해 중요한 과정이다. 본 논문은 그레마스의 행위소 모델(Actantial model)에 기반하여 스토리 속에서 등장하는 인물들 중에서 주체자(Subject,또는 주인공)를 식별하고, 등장인물들간의 상호작용으로 생성되는 관계에 기반한 감정 흐름을 분석하여 조력자(Helper)/반대자(Opponent)의 관계를 자동으로 식별하는 것을 목표로 한다. 본 논문에서 제안하는 방법은 3단계로 구성된다. 먼저, 텍스트 스토리에서 등장하는 객체(인물)를 식별한다. 다음으로, 이들의 상호관계를 통한 관계 정보를 추출하여 관계정보로 표현되는 텍스트에서 감정을 분류한다. 마지막으로, 등장인물들간 감정의 흐름을 방향성 그래프로 도출한다. 그래프에서 차수가 가장 높은 노드 (즉, 가장 많은 관계 정보를 형성하는 노드)는 주체자로 간주하며, 주체자에 긍정적/부정적인 감정을 가장 많이 보내는 노드를 조력자/반대자로 각각 간주한다. 본 연구는 텍스트 스토리로부터 행위소 모델의 세 가지 구성요소들(즉, 주체자, 조력자, 반대자)을 자동으로 추출하는 계산 모델을 제공함으로써 컴퓨터를 이용한 서사 이해에 기여한다.

• 한국ITS학회 논문지
• /
• 제16권6호
• /
• pp.244-257
• /
• 2017

교통혼잡은 운전자의 인지반응시간, 운전미숙, 무리한 차로변경 등 인적요인으로부터 발생된다. 자율주행자동차가 도입되면 이러한 인적요인들이 배제되고 군집주행으로 인해 평균주행속도 상승, 교통흐름 안정화, 도로용량 증대 효과가 예상된다. 본 연구는 자율주행자동차도입으로 인한 교통흐름 변화를 교통량-밀도-속도 산포도 그래프를 통해 분석하고, 도로용량 증대 효과를 도출하였다. 분석 결과, 자율주행자동차의 혼입율이 높아질수록 교통량-밀도-속도의 그래프 곡선이 완화되며, 폭이 줄어들어 교통류가 안정적으로 변화하였다. 또한 자율주행자동차 혼입율 100%에서는 도로용량이 약 120% 증대되는 것으로 분석되었다. 자율주행자동차 도입으로 인한 교통혼잡개선 및 교통수요관리 측면에서 긍정적인 기대효과가 있을 것으로 분석되었다.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.87-96
• /
• 2006

바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자. 직접 지배자. 지배자 경계. ${\phi}$-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2005년도 추계학술대회 학술발표 논문집 제15권 제2호
• /
• pp.199-202
• /
• 2005

최근 디지털 기기들이 융복합화 되며 다양한 기능을 갖춘 제품이 출시되고 있고, 유비쿼터스 환경을 이끌어갈 제품으로 스마트폰이 주목받고 있다. 스마트폰에서 실행되는 다양한 사용자 행동 정보들 중에 중요한 의미를 지닌 행동들을 찾아내고 기록해서 사용자의 중요했던 기억을 찾는데 도움을 줄 수 있다. 스마트폰을 사용하면서 얻어지는 행동 정보들은 양이 방대하여 기존의 시간대별 또는 카테고리식의 나열은 사용자가 필요한 정보를 쉽게 얻기에는 한계가 있다. 따라서 본 연구에서는 키그래프를 사용해 사용자 행동 정보를 분석하고 핵심 이벤트 중심의 사용자 정보 관리 방법을 제안한다. 키그래프는 단순히 행동 정보의 빈도수가 많다고 높은 점수를 부여하는 것이 아니라 빈도수가 낮더라도 중요한 이벤트 정보를 발견할 수 있다. 시나리오를 바탕으로 만들어진 사용자 정보를 분석해서 시간의 흐름에 따른 핵심 이벤트와 그와 관련된 이벤트를 찾아내는 서비스를 생성하고 제안한 시스템의 유용성을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제16권6호
• /
• pp.51-59
• /
• 2011

국내에는 바이너리 코드에 대한 분석 기술이 많이 부족한 상태이다. 일반적으로 컴퓨터에 설치되는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이다. 따라서 위험하거나 알 수 없는 동작이 수행되는 경우가 발생할 수 있다. 따라서 이 논문에서는 바이너리 수준에서 정적으로 프로그램 분석을 수행할 수 있는 프레임워크를 설계 및 구현한다. 이 논문에서는 바이너리 실행 파일로부터 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 제어 흐름 그래프를 작성하여 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악하고 개발된 프레임워크를 통해 바이너리 파일에 대한 분석을 용이하게 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.815-820
• /
• 2000

Variable Reference Graph 는 C 언어로 작성된 프로그램으로부터 상호 절차적인 자료 흐름 분석 정보를 수평적 방향 그래프(directed graph)로 자동 생성해주는 역공학(reverse engineering) 도구들 중 하나이다. 본 논문에서는 판독성 있는 구조적 정보를 제공하기위한 그래픽 표현의 전략을 바탕으로 JAVA 로 구현된 그래픽 사용자 인터페이스(graphic user interface) 및 그래프 레이아웃 알고리즘(graph layout algorithm)을 기술한다. 이 알고리즘은 4 단계로 구성되어 있다: 정보 모형, 레벨 알고리즘, 순서 알고리즘, 위치 알고리즘. 각 단계별에서 수행되는 주요 알고리즘을 살펴 본다. 특히, 이 알고리즘들은 사이클(cycle) 및 비사이클(acyclic) 방향 그래프, 그리고 트리(tree)를 수평적 계층 구조를 생성하는데 사용될 수 있다. 본 논문에서 구현된 Variable Reference Graph 는 소프트웨어 재공학 도구를 개발하는 RESORT(RESearch on object-oriented SOftware Reengineering Technology) 과제에서 개발되었다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.1039-1048
• /
• 2019

프로그램 자동 분석 방법 중 하나인 기호 실행은 지난 몇 해 동안 기술적으로 크게 향상 되었다. 그러나 여전히 기호실행 그 자체만을 이용하여 프로그램을 분석하는 것은 실용적이지 않다. 가장 큰 이유로는 프로그램 분석 중에 발생하는 경로 폭발 문제로 인한 메모리 부족으로, 기호 실행을 이용해 프로그램의 모든 경로의 해를 구할 수 없다. 따라서 분석가는 모든 경로의 해를 구하는 것이 아닌 취약성을 갖는 지점으로 기호 실행 탐색 경로를 구성하는 것이 실용적이다. 본 논문에서는 기호 실행 과정에서 사용될 수 있는 정적분석 기반 바이너리 역방향 제어 흐름 그래프 생성 방법 기술을 제안한다. 역방향 제어 흐름 그래프 생성을 통해 분석가는 바이너리 내의 잠재적인 취약지점을 선정할 수 있고, 해당 지점으로부터 생성된 역추적 경로는 향후 기호 실행을 위해 효율적으로 사용될 수 있다. 우리는 리눅스 바이너리(x86)를 대상으로 실험을 진행하였고, 실제로 잠재적인 취약점 선정 및 역추적 경로 생성이 바이너리의 다양한 상황에서 가능함을 보였다.

• 자원ㆍ환경경제연구
• /
• 제20권3호
• /
• pp.531-565
• /
• 2011

배출권 가격의 다변량 시계열자료를 이용하는 국내외 선행연구들은 모두 공통적으로 내생변수가 네 개 이내이며, 분석기간에서 가격자료에 왜곡이 발생한 2006년 4월~6월까지의 데이터를 포함하고 있다. 본 연구는 유럽 배출권 가격의 시계열자료를 분석하되, 내생변수를 다섯 개 이상으로 확장하였으며, 분석기간도 일간자료의 경우 비교적 신뢰성이 확보된 제2단계 기간의 자료(즉, 2008년 4월 21일~2010년 3월 31일)를 대상으로 하였고, 경제변수들을 내생변수로 포함하는 월간 자료를 추가로 분석하였다. 분석 방법은 그래프 이론과 구조적 벡터오차수정모형(SVECM)을 이용하였다. 본 연구 결과는 다음과 같이 요약된다. 첫째, 일간 자료에서 배출권 가격에 가장 큰 영향을 미치는 변수는 오일가격, 전력가격, 가스가격의 순으로 나타났다. 둘째, 일간 자료에서 배출권 가격이 전력가격에 전가된다는 기존의 이론이 최근 데이터에서도 입증되었다. 셋째, 일간 자료에서 그래프 분석 결과 브렌트유 가격이 인과흐름에서 중요한 중간 매체 역할을 수행하여 배출권 가격${\rightarrow}$브렌트유 가격${\rightarrow}$석탄/가스가격${\rightarrow}$전력가격으로 이어지는 인과흐름이 파악되었으며, 배출권거래소간에는 EEX 선물${\rightarrow}$BlueNext 선물${\rightarrow}$ECX 선물로 이어지는 인과흐름이 발견되었다. 마지막으로 월간 자료에서는 유로 산업생산지수와 영국 재무성증권90일물 금리, 유로 생산자물가지수 등 경제변수들이 배출권 가격에 큰 영향을 미치는 것으로 나타났다. 이것은 배출권 가격의 주요 결정요인으로 경제변수들을 포함시킬 수 있는 가능성을 보여주었다.