• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.385-389
• /
• 2007

전통적인 디지털 박물관 시스템은 전시를 조직화하는 단순한 기능에 촛점을 두고 있으며 설계 패턴은 전시 항목들에 기반을 두고 있다. 이것의 생명주기는 직선적이고 피드백과 재사용성이 부족하여 생명 주기에서 지식 처리를 다루는 것에 대해서는 관심을 가지지 않고 있다. 하지만 현대 디지털 박물관은 급진적으로 증가하는 정보를 다루어야 하고, 디지털 감상, E-학습과 관련 연구를 위해 통합된 기능을 제공해야 한다. 이러한 요구사항들은 디지털 박물관에서 객체들이 고수준으로 추상화되고, 생명주기도 반복적이며 재사용이 가능하도록 요구하고 있다. 그러므로 체계적으로 통합된 지식처리 과정들이 디지털 박물관에서 정보시스템을 다루기 위해서 절대적으로 필요하게 되었다. 본 논문에서는 현대 디지털 박물관 시스템에서 새로운 생명주기를 제안한다. 지식 흐름(knowledge flow)은 디지털 박물관 생명주기에 걸쳐서 모든 정보 흐름으로부터 고수준으로 추상화된 객체이다. 지식 흐름을 따라가게 되면 이 특별한 생명주기는 정의된 시금석으로서 다차원의 분수 모델(Fountain Model)과 비슷하며, 이 생명주기에서 지식처리 과정은 각 차원에서 다른 강조점을 지닌 계층으로 잘 나누어진다. 또한 분산된 지식 처리 절차를 체계적이고 재사용할 수 있도록 통합하기 위한 지식 기반 소프트웨어 공학 접근방법을 제공한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.166-169
• /
• 2002

본 논문은 명령형 언어 While의 요약해석을 모델검사기 SMV에서 구현하고 정보흐름 안전성을 검사하는 CTL 논리식을 적용하는 방법을 설명한다. 주어진 While 프로그램의 요약 프로그램을 SMV 프로그램으로 변환하는 방법과 정보흐름 안전성 검사를 위한 CTL 논리식의 유도과정을 보여준다. 요약해석 기를 직접 구현하는 것보다 모델 검사를 이용하는 것이 다양한 안전성 검사를 수행하기에 더욱 적합하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.746-749
• /
• 2008

인터넷의 활용이 증가됨에 따라 사용자들은 수많은 정보를 주고받게 되었고 이러한 시대의 흐름에 부응하여 네트워크의 대한 지적인 관심도 높아지게 되었다. 그러나 기존의 네트워크 학습체계는 이론적인 개념위주의 평면적인 형태였고 네트워크 자체의 추상적이고 학습 원리와 개념을 경험하기 힘든학습의 특성 때문에 전체적인 학습의 흐름과 기능을 이루는 동작에 초점을 맞추기보다는 각 단위별단편적인 개념위주 내용만 제시하여 전체적인 흐름을 파악하고 학습할 수 있기에는 미흡하였다. 이러한 관점에서 학습 내용이 어려운 네트워크의 동작 원리를 시각적으로 쉽게 이해할 수 있는 학습 도구를 제공하여 학습의 이해와 성취도를 높이는 방법이 필요하다. 따라서 본 논문에서는 학습자가 입체적으로 원리를 파악할 수 있도록 쉽고 흥미로운 학습을 유도할 수 있는 학습 시나리오를 구성하여 학습내용 간 연계성이 있도록 하고 그래픽과 이미지적인 효과를 극대화 할 수 있는 애니메이션을 기반으로 하여 보다 효과적으로 인터넷 동작원리를 학습할 수 있는 학습시스템을 설계 및 구현하였다.

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

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

• 한국정보과학회논문지:정보통신
• /
• 제31권1호
• /
• pp.91-100
• /
• 2004

본 논문은 제한된 메모리를 가진 모바일 수신자를 고려한 무선 상태 적응적인 TCP 흐름 제어방법을 제안한다. 수신자에 의한 TCP 흐름 제어는 수신자에서 Advertised 윈도우를 조정함으로써 수행된다 제안된 방법은 수신자가 사용 가능한 무선 대역폭과 패킷 전송 지연 시간을 동적으로 측정하며, 측정된 정보를 기반으로 Advertised 윈도우를 적절히 조정한다. 무선 상태를 반영한 Advertised 윈도우의 조정으로 인해 송신자의 전송 성능 향상과 종단간 패킷 전송 지연 시간을 줄일 수 있다. 제안된 방법은 수신자에서의 TCP 변경만으로 구현될 수 있고 송신자나 중간 라우터의 변경을 필요로 하지 않는다. 제안된 방법의 구현과 CDMA2000 1x 환경에서의 실험을 통해 수신자 버퍼 크기가 2896 Bytes일 경우, 흐름 제어를 사용할 때가 기존 방식보다 전송률을 약 5배 향상시킬 수 있음을 보인다. 또한, 수신자 버퍼 크기가 64 KBytes일 경우 흐름 제어를 사용할 때가 기존 방식보다 때보다 종단간 패킷 왕복 시간은 반 이하로 줄일 수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.838-840
• /
• 2004

능동 네트워크 (active network) 는 각 네트워크 요소들이 단순한 데이터 전달 뿐 아니라 데이터를 다루는 프로그램을 탑재/수행함으로써 네트워크 상에서 부가적인 작업을 가능하게 한다 본 논문에서는 자료 흐름 모델에 기반 한 능동 네트워크 언어를 제안하고 Java 환경에서 수행을 가능하게 하는 변환기와 보조 API를 제안하였다.

• 한국정보처리학회논문지
• /
• 제4권8호
• /
• pp.1975-1986
• /
• 1997

프로토콜이 방대화되고 복잡해짐에 따라 기존의 제어흐름 중심의 테스트는 프로토콜이 갖는 자료흐름, 전이조건, 지연 등의 복합요소를 테스트하는데 문제점을 갖는다. 따라서 본 연구에서는 자료흐름을 제어흐름에 통합하여 테스트 스위트를 생성함으로써 제어흐름 분석시 발생하는 비결정성 문제를 해결하고, 도달가능 트리를 이용하여 실행 불가능 경로를 제거한 후 실행가능 경로에 대한 테스트 스위트만을 생성하는 기법을 제안하고 이를 설계 및 구현하였다. 설계 및 구현된 도구는 기존 방법과 비교하여 UIO 길이를 줄이며 오류 가능성이 높은 특성 경로에 대한 부분적인 테스트가 필요한 경우에 효율적으로 사용할 수 있다. 또한 구현된 자동 테스트 스위트 생성도구의 활용으로 프로토콜 구현의 생산성을 높일 수 있으며 프로토콜 테스팅 환경의 기반을 제공한다.

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2017년 정기학술대회
• /
• pp.366-368
• /
• 2017

본 연구는 국내 산사태 발생 데이터를 기반으로 시뮬레이션 모델을 머신러닝 기법을 통해 학습시켜 산사태의 토석류 흐름을 구현하는 알고리즘에 대한 연구이다. 전통적인 프로그래밍을 통한 산사태 시뮬레이션 모델 개발을 해당 시스템에 더 많은 고도의 물리학 법칙을 통합 적용시켜 토석류의 흐름을 공학적으로 재현해내는데 중점을 두고 개발이 진행되지만, 본 연구에서 다루는 머신러닝 기법을 통한 산사태 시뮬레이션 모델 개발의 경우 시스템에 입력되는 데이터를 기반으로한 학습을 통하여 토석류 흐름에 영향을 미치는 변수와 파라메터를 산출하고 정의는데 중점을 두고 개발이 진행된다. 본 연구에서 산사태 시뮬레이션 모델 개발에 활용하는 머신러닝 알고리즘은 강화학습 알고리즘으로 기존 산사태 발생 지점을 기반으로 에이전트를 설정해 시간에 따라 시뮬레이션의 각 스텝에서 토석류의 흐름 즉 액션을 환경에 따른 가중치를 기준으로 산정하게 된다. 여기서 환경에 따른 가중치는 시뮬레이션 모델에 정의된 메서드에 따라 산정된다. 시간이 목표값에 도달하여 결과가 출력되면 출력된 결과와 해당 산사태 발생 지점의 실제 산사태 피해 지역 데이터 즉 시뮬레이션 결과 이상치와의 비교를 통하여 시뮬레이션을 평가하게 된다. 이러한 평가는 시뮬레이션 데이터와 실제 데이터간의 유사도 비교를 통해 손실률을 도출하게 되고 이러한 손실률을 경사하강법등의 최적화 알고리즘을 통해 최소화 하여 입력된 데이터를 기반으로한 최적의 토석류 흐름 구현 알고리즘을 도출한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권11호
• /
• pp.876-880
• /
• 2009

프로그램에 대한 자료흐름분석(data flow analysis)를 수행하기 위해서는 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 본 논문에서는 동기(synchronous)식 절차(imperative)형 언어 중 하나인 Esterel로 작성된 프로그램에 대해서 단순하면서 입력 프로그램의 구조와 흡사한 형태로 표현되는 근사-제어흐름그래프(over-approximated CFG) 생성방법을 제안한다. 제안된 방법을 이용하면 병렬 제어흐름을 표현하는 부분에서 실행 불가능한 경우까지 포함할 수 있다. 그렇지만, 생성방법이 직관적이고, 실제 수행경로를 모두 포함하기 때문에 다른 분석을 수행하는데 매우 적차하다.

• 정보화사회
• /
• 통권9호
• /
• pp.40-42
• /
• 1988