권호 표지

The KIPS Transactions:PartA (정보처리학회논문지A)

Korea Information Processing Society

  • Bimonthly
  • /
  • 1598-2831(pISSN)

Domain

  • Information/Communication ＞ Information Processing Theory

Aim & Scope

The KIPS Transactions:PartA publishes original research papers in information processing focusing on computer system and theory. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; computational theory, algorithm theory, formal languages, grid/clustering computing, middleware, multimedia theory (synchronization, indexing, compacting), parallel/distributed processing theory, computational learning theory, computer graphics & CAD, computer networks, computer system applications, real time processing system.

KSCI

Volume 13A Issue 6 Serial No. 103

  1. Lee, Dong-Ju;Woo, Gyun 481
    https://doi.org/10.3745/KIPSTA.2006.13A.6.481 PDF KSCI
    함수형 반응적 프로그래밍(FRP: Functional Reactive Programming)은 하스켈(Haskell)에 내장된 언어로서 두 핵심 고차 타입인 행위(Behavior)와 이벤트(Event)를 기반으로 반응적 시스템을 선언적으로 프로그래밍 한다. 이 논문은 다양한 제약사항을 가진 임비디드 시스템에 FRP를 이용하기 위해 실시간 함수형 반응적 프로그래밍(RT-FRP: Real-time Functional Reactive Programming) 변환기를 설계하고 구현한다. RT-FRP 변환기는 RT-FRP 언어의 기능적 의미론을 기반으로 RT-FRP 프로그램에서 C 프로그램을 생성한다. RT-FRP 변환기의 효과적인 변환을 입증하기 위해, 변환기에서 생성된 테스트 프로그램을 실제 임베디드 시스템, 레고 마인드스톰(LEGO Mindstorm)에 탑재하고 수행하였다. 실험 결과, RT-FRP를 이용할 경우 목적파일의 크기가 조금 증가하였으나 명령형 언어를 이용한 프로그램 보다 간결하게 반응적 시스템 소프트웨어를 프로그래밍 할 수 있었다.
  2. Shin, Hyun-Deok;Ahn, Heui-Hak 489
    https://doi.org/10.3745/KIPSTA.2006.13A.6.489 PDF KSCI
    본 논문에서는 Knoop 등이 2004년에 제안한 추론적 부분 중복 제거 알고리즘을 개선한다. 본 연구에서는 기존 추론적 부분 중복 제거에서 최적화가 적용되지 않는 영역이 발생될 수 있는 문제를 제기하고 이 문제에 대한 해법을 제안한다. 개선된 추론적 부분 중복 제거 알고리즘은 컴파일러의 프로필링 기법을 통해 얻어진 실행 빈도에 대한 정보를 통해 실행 속도 최적화를 수행하며 메모리 최적화도 수행한다.
  3. Park, Sang-Yong;Han, Seung-Wok;Youn, Hee-Yong 495
    https://doi.org/10.3745/KIPSTA.2006.13A.6.495 PDF KSCI
    유비쿼터스 컴퓨팅 환경의 관심과 요구가 고조됨에 따라 다양한 상황에 능동적이고 지능적인 에이전트의 역할이 점차 중요시 되고 있다. 이러한 에이전트는 ACL(Agent Communication Language)을 통신 언어로 사용하여 에이전트간 자율적인 상호 운용성 문제를 해결하기 위해 정보를 교환 한다. 본 논문에서는 소프트웨어 에이전트의 국제표준화 단체인 FIPA(Foundation for Intelligent Physical Agents)의 에이전트 프레임워크와 CORBA 이벤트 서비스 기반으로 자체 개발한 인포메이션 버스 어댑터간의 효율적인 통신을 보장하는 상호 운용성 기법을 제안한다. 비에이전트 플랫폼인 인포메이션 버스 어댑터와 JADE 플랫폼간 통신(메시지 교환)을 보장하기 위한 인터페이스인 EMTI(Efficient Message Transport Interface) 설계 및 구현 방법에 대해 살펴보고, 이기종 플랫폼간 다량의 메시지를 송수신하여 그 안정성과 성능에 대해 평가한다.
  4. Jang, Hyung-Gun;Han, Sae-Young;Park, Sung-Yong 501
    https://doi.org/10.3745/KIPSTA.2006.13A.6.501 PDF KSCI
    자기 조직적 우수 피어 링 검색 기법에서는 기존의 비구조적 피어-투-피어 시스템에서 성능이 우수한 피어들이 자기 조직적으로 우수 피어링을 형성하고, 모든 피어가 키의 광고 및 검색에 이 링을 이용하게 함으로써 검색 성능을 향상 시켰다. 그러나 이 기법에서는 우수 피어의 비율을 고정된 값으로 유지하므로, 본 논문에서는 입자 군집 최적화(PSO)를 이용하여, 동적인 환경의 변화에 적응적으로 우수 피어의 비율을 최적의 값으로 변화시킴으로써, 기존의 자기 조직적 우수 피어 링 검색 기법의 성능을 더욱 향상시켰다. 시뮬레이션을 통하여 고정 우수 피어 링과 자기 조직적 우수 피어 링, 그리고 적응적 우수 피어 비율 조절 기법을 비교하여, 제안하는 기법이 검색 성공률을 월등히 향상시킴을 확인하였다.
  5. Park, Hong-Jin 511
    https://doi.org/10.3745/KIPSTA.2006.13A.6.511 PDF KSCI
    데이터 그리드는 대용량의 데이터 어플리케이션 처리를 위해 지리적으로 분산되어 있는 저장 자원을 제공한다. 대용량을 처리해야 하는 데이터 그리드 환경에서는 기존 웹 캐싱 정책이나 가상 메모리 캐쉬 교체 정책과는 다른 파일 교체 정책이 필요하다. LRU(Least Recently Used)나 LCB-K(Least Cost Beneficial based on K), EBR(Economic-based cache replacement), LVCT(Least Value-based on Caching Time) 같은 기존의 파일 교체 전략은 파일 교체를 위해 추가적인 자원이 필요하거나 미래를 예측해야한다. 본 논문은 이를 해결하기 위해 파일의 크기에 기반하여 파일 교체를 수행하는 SBR-k(Sized-based replacement-k)을 제안한다. 성능평가 결과 제안한 정책이 기존의 정책보다 더 나은 성능을 나타낸다는 것을 확인하였다.
  6. Kim, Tae-Kyu;Kim, Bang-Hyun;Kim, Jong-Hyun 517
    https://doi.org/10.3745/KIPSTA.2006.13A.6.517 PDF KSCI
    클러스터 컴퓨터에 있어서 I/O 중심적인 응용을 효과적으로 처리하기 위해서는 통합 I/O 하부 구조를 지원하는 단일 I/O 공간(SIOS)이 필수적으로 구현되어야 한다. SIOS 서비스는 클러스터 컴퓨터 내의 어느 노드에서든지 자신 혹은 원격 노드에 위치한 주변기기 및 하드 디스크들을 직접 액세스할 수 있도록 전역 I/O 주소 공간을 구축해준다. 본 논문에서는 리눅스 클러스터에서 프리웨어들만을 이용하여 SIOS를 구현하는 방법을 제안하였다. 이 방법은 ENBD를 이용한 디바이스 드라이버 레벨과 S/W RAID 및 NFS를 이용한 파일 시스템 레벨에서 구현되었다. 이 방법의 주요 장점은 프리웨어들만을 이용하기 때문에 구현이 용이하고 비용이 거의 들지 않는다는 것이다. 또한 본 연구에서 사용한 프리웨어들은 공개 소스이기 때문에 다른 플랫폼에서도 약간의 수정을 통하여 적용이 가능하다는 장점이 있다. 이러한 장점을 가지면서도 실험 결과에서 나타난 I/O 처리율은 커널 수준에서 별도로 개발된 디바이스 드라이버를 사용하는 CDD보다 쓰기 동작에서는 최대 5.5배, 읽기 동작에서는 2.3배정도 더 높게 나타났다.
  7. Ahn, Jin-Ho;Bang, Seong-Jun 525
    https://doi.org/10.3745/KIPSTA.2006.13A.6.525 PDF KSCI
    인과적 메시지 로깅을 위한 기존 회복 알고리즘들에 비해, Elnozahy가 제안한 회복 알고리즘은 안전한 저장소 접근횟수를 매우 줄이고, 회복과정을 수행하는 동안 살아있는 프로세스들이 자신의 계산을 계속해서 수행할 수 있도록 한다. 그러나, 인과적 메시지 로깅 기법이 비동기적 검사점 기록 기법과 함께 사용된다면, 동시적 고장들이 발생하는 경우 이 알고리즘 수행 후 전체 시스템 상태가 일관적이지 못하게 될 수 있다. 본 논문에서는 이러한 일관적이지 못한 경우들을 보여주고, 이러한 문제점을 해결하는 인과적 메시지 로깅을 위한 저 비용의 회복 알고리즘을 제안한다. 시스템 일관성을 보장하기 위해, 이 알고리즘은 회복 리더가 모든 살아있는 프로세스들뿐만 아니라 다른 회복 프로세스들로부터 회복정보를 얻을 수 있도록 한다. 또한, 제안된 알고리즘은 Elnozahy 회복 알고리즘에 비해 어떠한 부가적인 메시지도 요구하지 않으며, 메시지 피기백에 의해 발생되는 제안된 알고리즘의 부가적인 비용이 매우 낮다 이를 입증하기 위해, 시뮬레이션 결과는 제안된 알고리즘이 Elnozahy 알고리즘에 비해 회복정보 수집시간을 단지 1.0%$\sim$2.1% 정도로 증가시킴을 보여준다.
  8. Kang, Kyung-Woo;Woo, Gyun 533
    https://doi.org/10.3745/KIPSTA.2006.13A.6.533 PDF KSCI
    본 논문에서는 분산 환경 상에서 CFD(Computational Fluid Dynamics) 분석 프로그램을 편리하게 수행할 수 있도록 하는 그리드 시스템 META(Metacomputing Environment using Test-un of Application)의 설계 및 구현에 관하여 기술한다. 그리드 시스템 META는 CFD 프로그램 개발자들이 네트워크에 분산된 계산 자원들을 단일 시스템처럼 사용할 수 있도록 한다. 그리드 컴퓨팅과 관련하여 연구주제로는 고장허용, 자원 선택, 사용자 인터페이스 설계 등이 있다. 본 논문에서는 MPI(Message Passing Interface)로 작성된 SPMD(Single Program, Multiple Data) 구조의 병렬프로그램을 실행시키기 위한 자동 자원 선택방법을 활용하였다. 본 논문에서 제안한 자원 관리기법은 네트워크상의 전송지연 시간과 시험수행을 통해 얻어진 핵심루프의 경과시간을 이용한다. 전송지연시간은 병렬 프로그램이 복수의 시스템에 분산되어 수행될 때 수행 성능에 큰 영향을 주는 요인이다. CFD 프로그램들의 공통적인 특성 때문에 핵심루프 경과시간은 전체 수행시간을 예측할 수 있는 지표가 된다. 핵심루프는 CFD 프로그램의 전체 수행시간 중 90% 이상을 차지한다.
  9. Kim, Sung-Kwon 541
    https://doi.org/10.3745/KIPSTA.2006.13A.6.541 PDF KSCI
    에지마다 길이와 무게(둘 다 양수, 음수, 0 가능)가 주어진 트리에서, 길이의 합이 주어진 값 이하이면서 무게의 합이 가장 큰 경로를 찾는 O(nlognloglogn) 시간 알고리즘을 제시한다. 이전의 결과 O($nlog^2n$) 보다 향상된 것이다. 여기서, n은 트리가 가지는 노드의 수이다.
  10. Lee, Hee-Kyoung;Jun, Woo-Chun 545
    https://doi.org/10.3745/KIPSTA.2006.13A.6.545 PDF KSCI
    웹의 활용이 보편화 되면서 웹을 통한 자료의 검색이 증가하고 있으나, 웹상의 방대한 자료 중에서 학습자가 꼭 필요한 학습자료를 찾는 것은 쉬운 일이 아니다. 검색엔진을 이용할 경우 원하는 정보를 어느 정도 찾을 수 있으나 검색어 일치방식에 의존하는 현재의 검색엔진의 특성상 결과가 만족스럽지 못한 경우가 많다. 또한 검색 결과 중에서 연관이 없는 정보를 필터링하기 위해 사용자가 많은 시간을 낭비하기도 한다. 본 연구에서는 웹 자원의 의미정보를 구조화하여 정보의 효율적인 검색, 통합, 재사용을 가능하도록 하는 시맨틱 웹(Semantic Web)기술을 활용하여 초등학교 학습자료에 적합한 온톨로지(Ontology)를 제안하고, 의미적 연관관계를 통해 학습내용에 접근할 수 있도록 초등학교의 역사분야 학습 내용에 관한 온톨로지를 구축하였다. 또한 이를 기반으로 학습자료를 검색할 수 있는 시스템을 설계하고 구현하였다. 본 검색시스템의 특징은 다음과 같다. 첫째, 학습자료와 연관된 사용자 질의어를 보다 상세하게 입력받아 검색결과를 얻는다. 둘째, 사용자 질의어를 바탕으로 학습자료 온톨로지에 질의하여 검색어가 포함된 결과 및 검색어와 연관된 정보를 검색결과로 얻는다. 셋째, 질의어와 연관된 내용을 함께 제시함으로써 학습의 효율을 높일 수 있다.
  11. Jou, Wou-Seok;Lee, Kang-Sun;Meng, Je-An 555
    https://doi.org/10.3745/KIPSTA.2006.13A.6.555 PDF KSCI
    초창기 원격교육은 단순히 현장강의를 녹화하는 방식을 사용하였으나 최근의 원격교육은 학습 효율을 극대화할 수 있는 추가적인 기능을 제공하는데 주력하고 있다. 텍스트, 그래픽, 사운드, 애니메이션 등 멀티미디어 정보의 활용은 이러한 추가적인 기능을 부여하는데 필수적인 요소로 간주된다. 본 논문에서는 이러한 멀티미디어 정보 활용은 물론, 특히 실행파일 시연 기능을 수행할 수 있는 인코더/디코더를 설계하고 구현하고자 한다. 이 기능에 의해 교수자로서는 강의도중 필요한 모든 종류의 실행파일 또는 응용 프로그램 데이터 파일을 자유로이 시연할 수 있으며, 학습자 역시 스스로 해당 실행파일을 자유로이 실행해 봄으로써 상대적으로 높은 학습효과를 성취할 수 있다.