지연연산을 하는 함수논리프로그램의 병렬수행을 위한 데이타플로우 모델

김용준(Yong Jun Kim),전서현(Suh Hyun Cheon) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2

함수언어와 논리언어의 장점을 결합하여 병렬처리에 적합하고, 강력한 표현력을 제공하는 함수논리언어의 병렬수행을 위한 데이타플로우 모델을 제시하였다. AND-병렬성의 추출을 위하여 RAP(Restrict AND Parallelism)을 사용하였고, OR-병렬성의 추출을 위하여 자원의 유용성을 이용하였다. 또한 RAP을 통해 얻은 종속성을 퇴각검색에 이용하였고 함수는 병렬 감축을 할 수 있도록 설계하였다. 종속성 분석과 서브고울(subgoal)의 실행을 병행하여 CGE(Conditional Graph Expression)와 같은 표현이 갖는 불필요한 수행시간의 지연을 줄였다.

XHTML 코드 생성기의 설계와 구현

계승철(Seung-Chul Kye),전서현(Suh-Hyun Cheon) 한국멀티미디어학회 2001 한국멀티미디어학회 학술발표논문집 Vol.2001 No.2

위치기반 유무선 통합 물류시스템 설계 및 구현

강태원(Tae-Won Kang),전서현(Suh-Hyun Cheon) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.2Ⅲ

군용시스템이었던 GPS가 1984년 민간에게 무료사용이 허용된 이후로 현재 위치추적기술과 이를 이용한 서비스가 많이 소개되고 있다. 하지만 이러한 서비스를 이용하기 위해서는 GPS단말기나 교환기, 수신기 등의 장비를 추가적으로 구매해야 하는 비용부담이 생길 수밖에 없다. 따라서 거의 누구나 소지하고 있는 이동통신기기 또는 PDA를 사용함으로써 비용부담을 덜고 물류서비스의 효율성을 극대화시킬 수 있다. 본 논문에서는 이동통신기기나 PDA의 위치추적기능을 물류서비스에 적용하여 비용절약을 꾀하고 이동근무자나 차량의 위치를 실시간으로 파악하고 업무지사나 고객의 요구에 신속히 대응하는 효율적인 위치기반 물류시스템을 설계하였다.

클러스터링된 웹 정보의 효율적인 인터페이스

유희용(Hee Yong Yoo),전서현(Suh Hyun Cheon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1B

웹 상에 수많은 정보들을 사용자 관심 정도에 따라 상호 연관관계를 구성하여 제한된 컴퓨터 화면에 효율적으로 배치하는 방법에 대한 연구가 많이 진행되고 있다. 이 논문은 웹 상에서 얻어진 정보들간에 연관관계를 형성하기 위해 웹 문서에서 특정 키워드를 추출하고 추출된 키워드에 가중치가 부여되었다고 가정하였다. 이렇게 가중치가 부여된 키워드를 인덱스라 하며 이 인덱스를 가지고 웹 정보들을 클러스테링하여 트리 형식으로 표현한다. 트리 형식의 웹 정보를 사용자에게 효율적으로 보여주기 위해 원을 이용하여 화면에 배치하고 어안 렌즈 알고리즘을 적용한다. 또한 사용자가 웹 브라우져를 이용하여 선택한 정보의 URL로 이동하도록 서비스를 제공한다.

웹 문서 수집을 위한 효율적인 문서 분류

이정훈(Jung Hun Lee),전서현(Suh Hyun Cheon),김선희(Sun Hee Kim) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.2B

최근 다양한 형식의 웹 문서에서 사용자가 원하는 정보만을 검색 하기위해 웹 문서를 주제별로 분류하여 수집하고, 관리하는 것은 필수적인 요소이다. 즉, 정확하고 빠른 정보 검색을 위한 웹 문서 수집은 문서 형식에 따라 분류되어 수집 되어야 한다. 따라서 웹 환경에서 문서를 구성하는 형식을 텍스트나 이미지 데이터로 구분하고 그 형식에 맞는 분류기법을 사용한다면 정확한 정보 검색이 이루어 질수 있다. 본 논문에서는 텍스트와 URL을 이용한 주제 중심의 하이브리드 웹 문서 분류 방법을 제안한다. 텍스트와 URL을 이용한 분류 방법은 텍스트 형식은 주제 중심의 문서 분류방식을 사용하며, 텍스트 정보의 효용성이 낮은 경우 URL의 주제 분포도를 이용하여 분류하며 수집한다. 이를 통해 여러 가지 형식의 웹 문서가 분류 가능하며, 주제에 따른 문서 분류의 정확도가 높아진다.

Rectangle Layout을 이용한 XML 기반 모바일 정보 시각화 시스템

유희용(Hee-yong Yoo),전서현(Suh-hyun Cheon) 한국정보과학회 2006 정보과학회논문지 : 소프트웨어 및 응용 Vol.33 No.9

This paper proposes XML based mobile information visualization system using rectangle layout to show effectively XML based information to user on mobile devices which do not have a rich display feature. We define XML schema that can describes information in graph with cycle as well as information in tree form. It suggests using rectangle layout method that is an improvement of the traditional method of the radial layout because the specificity of the mobile display should be considered when XML information is rendered on the screen. And then, it applies DOI of fisheye view algorithm to information on the rectangle layout to represent all and user interest information. And it also suggests an effective method considering capability of mobile devices to decrease user's confusion and improve awareness of user when a user interest target selected. The proposed information visualization system in the form of focus+context supports an effective interface for information retrieval via mobile devices, such as PDA, cellular phone and smart phone, that usually have less power of CPU than that of PC and the constraints of display and memory. In this paper, it performs experiments and makes an evaluation comparing information visualization method between the traditional radial layout and the proposed rectangle layout. 본 논문은 제한된 디스플레이를 가지는 모바일 디바이스 상에서 XML로 작성된 정보를 사용자에게 효과적으로 보여주는 rectangle layout을 이용한 XML 기반의 모바일 정보 시각화 시스템을 제안한다. 먼저 트리 형태의 정보 뿐만아니라 사이클이 존재하는 그래프 정보까지 기술하도록 XML 스키마를 정의한다. XML로 기술된 정보에 대해 디스플레이 화면상에 배치할 때, 사각형의 형태를 가지는 디스플레이 화면의 특징을 고려하여 기존 radial layout을 개선한 rectangle layout 방식을 적용한다. 그 다음 전체정보와 사용자가 관심을 가지는 정보를 동시에 표현하기 위해 어안 뷰(fisheye view)알고리즘의 DOI를 rectangle layout에 표현된 모든 정보에 적용한다. 또한 사용자가 새로운 관심 대상 정보를 선택하였을 때, 정보들의 화면 재배치에 따른 변화에 사용자 혼란을 줄이고 사용자의 인지력을 향상시키기 위한 방법을 모바일 디바이스의 능력을 고려하여 제안한다. 제안된 focus+context 방식의 정보 시각화 시스템은 데스크 탑에 비해 CPU 계산 능력과 디스플레이 화면, 메모리 제약이 심한 PDA, 셀룰라 폰, 스마트 폰과 같은 모바일 디바이스 상에서 정보 검색에 효과적인 인터페이스를 제공한다. 본 논문에서는 제안한 정보 시각화 시스템을 PDA상에 구현하고 제안된 rectangle layout을 이용한 정보 시각화 방식과 기존 radial layout을 이용한 정보 시각화 방식에 다양한 조건을 적용하여 실험 및 평가를 진행한다.

투기적 병렬 그래프 감축을 위한 대치과정이 지연된 람다 연산식

이용학(Yong-Hack Lee),전서현(Suh-Hyun Cheon) 한국정보과학회 1999 정보과학회논문지 : 시스템 및 이론 Vol.26 No.1

병렬 그래프 감축 모델에 있어서, 투기적 연산(speculative evaluation) 모델은 병렬성을 증가 시키지만 불필요한 연산으로 인해 자원을 낭비할 수 있다. 투기적 태스크가 람다 연산식을 WHNF(Weak Head Normal Form)로 감축할 때, 대치과정은 그래프를 증가시킬 수 있고, 많은 복사과정을 요구할 수 있다. 이러한 투기적 태스크는 나중에 불필요한 연산이 될 수 있고, 이 경우 이러한 투기적 태스크에서 발생한 다른 모든 투기적 태스크들을 종료해야 하는 부담이 있다. 또한 불필요하게 된 복사과정으로 인한 기억 공간을 재사용이 가능한 상태로 만들어 주어야 한다. 본 논문은 WHNF 또는 HNF로 감축할 때 발생할 수 있는 불필요한 대치과정으로 인한 오버헤드를 줄이기 위해 대치과정이 지연된 람다 연산식 형태(DSF : Deferred Substitution Form)를 제안한다. 이 형태는 대치과정을 필수적 태스크(mandatory task)가 수행할 때까지 지연시키기 위한 람다 연산식 형태이다. 대치과정이 지연된 람다 연산식 형태로의 감축을 수행하는 투기적 태스크에서, 대치과정이 존재하지 않기 때문에 그래프의 크기가 증가하지 않고 또한 복사과정을 요구하지 않는다. 따라서 연산식에 대한 대치과정이 지연된 람다 연산식 형태로의 감축이 불필요하게 된 경우 부담이 줄어들게 된다. 아울러 병렬성을 증가시키기 위한 연산 모델을 제안한다. In a parallel graph reduction system, speculative evaluation can increase parallelism but waste the machine resources by evaluating expressions which may eventually be discarded. When a speculative task reduces a lambda expression to WHNF (Weak Head Normal Form), substitution can lead to unbounded growth of the graph size and requires many copy operations. This speculative task may be unnecessary. In that case the performance is affected by the overheads to terminate all tasks to be propagated from the speculative task and to refresh the memory cells to be allocated for copy operation. We propose a lambda form called DSF(Deferred Substitution Form) in which substitution is deferred until a mandatory task will evaluate substitution. In the speculative task to DSF, since there is no substitution, it does not grow the graph and require copy operation. Therefore the overhead can be decreased when the expression reduced to DSF is eventually unnecessary. In addition, we propose an evaluation model for DSF to increase the parallelism.

데이터플로우 그래프 표현 방식을 이용한 함수 논리 언어의 실행

김용준 ( Kim Yong Jun ),전서현 ( Cheon Suh Hyun ) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.9

In this paper, we describe a dataflow model for efficient execution of a functional logic language and a method of translation a functional logic language into a dataflow graph. To explore parallelism and intelligent backtracking, we us model in which clause and function are represented as independent dataflow graph. The node denotes basic actions to be performed when the clause and function are executed. The dataflow mechanism allows an operation to be executed as soon as all its operands are available. Since the operations can never be executed earlier, a dataflow model is an excellent base for increasing execution speed. We did decrease a delay time with concurrent execution of dependency analysis and subgoal.

웹 환경에서의 Push와 COM을 이용한 클라이언트간의 정보 공유와 이동

이노경(No-Kyoung Lee),전서현(Suh-Hyun Cheon) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅲ

인터넷의 정보는 하루가 다르게 계속적으로 증가하고 있으며, 인터넷의 정보가 많아지는 만큼 자신이 원하는 정보를 찾기는 더욱 힘들어지고 있고, 사용자가 어떤 사이트를 방문해서 얻은 정보를 그 사이트를 방문한 또 다른 사용자와 함께 정보를 공유하면서 그 사이트 상의 다른 페이지로 이동하고자 할 경우, 지금의 웹 환경에서는 불가능하다. 이 논문에서는 웹 상에서 정보를 공유하면서 다수의 클라이언트가 같은 페이지로 동행할 수 있는 방법을 제안하려고 한다.

웹 문서형식 평가 방법을 이용한 Web Crawller

이정훈(Jung Hun Lee),전서현(Suh Hyun Cheon) 한국멀티미디어학회 2006 한국멀티미디어학회 학술발표논문집 Vol.2006 No.2

최근의 다양한 형식의 웹 문서에서 사용자가 원하는 정보만을 검색 하기위해 웹 문서를 주제 별로 분류하여 수집하고, 관리하는 것은 필수적인 요소이다. 따라서 웹 환경에서 웹 문서 형식을 텍스트나 이미지 형식으로 구분하여 각 형식에 맞는 분류 기법을 적용하여 주제와 일치하는 웹 문서를 빠르게 수집하는 방식이 필요하다. 본 논문에서는 웹 문서 평가 함수를 사용하여 웹 문서에 맞는 분류기법을 적용할 수 있게 하며 정확한 분류를 위해 웹 문서에 연결된 다른 문서에서 필요한 정보를 추출할 수 있는 방식을 제안한다.