권호 표지

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 19A Issue 1

  1. Kwak, Dong-Gyu;Choi, Jae-Young 1
    https://doi.org/10.3745/KIPSTA.2012.19A.1.001 PDF KSCI
    지능형 네트워크 로봇은 다양한 환경에서 네트워크 시스템과 연계하여 인간과 상호작용을 하며, 상황에 따라 주어진 역할을 수행한다. 유비쿼터스 환경에서 동작하는 네트워크 기반의 URC 로봇은 분산 컴퓨팅 환경에서 클라이언트 로봇의 기능을 서버로 분산시킴으로써 클라이언트 로봇을 경량화하는 장점을 갖는다. URC 로봇 환경 중에서 SOMAR는 서버-클라이언트 환경에서 서비스 지향기법으로 로봇 소프트웨어를 개발하기 위해 제안되었다. 본 논문에서는 URC 로봇 환경에서 사용 가능한 SOMAR 로봇 클라이언트를 소개하고 그 구현을 보인다. SOMAR 로봇 클라이언트는 디바이스 서비스 계층과 로봇 서비스 계층을 갖는다. 이 중 디바이스 서비스는 디바이스를 제어하는 서비스이고, 로봇 서비스는 다수의 디바이스 서비스를 결합하여 생성된 로봇이 제공하는 서비스를 추상화시킨 것이다. 또한 본 논문에서는 디바이스와 로봇 서비스의 결합 관계를 표현하기 위해 RSEL (Robot Service Executing Language)을 이용하였다. 서비스 결합을 기술한 RSEL 문서는 변환기를 통해 클라이언트 시스템 언어로 변환하고 컴파일링하여 로봇 클라이언트 시스템에 업로드한다. SOMAR 클라이언트 시스템은 호스트/타겟 구조를 갖는 내장형 시스템에 적용하기가 용이하며, RSEL 처리 엔진에 대한 부담을 줄여서 로봇 클라이언트를 경량화시켰다.
  2. Kim, Ja-Mee;Shim, Jae-Kwoun;Kim, Ji-Min;Lee, Won-Gyu;Park, Doo-Soon 9
    https://doi.org/10.3745/KIPSTA.2012.19A.1.009 PDF KSCI
    정보교과에서 정보의 표현과 자료구조에 대한 이해는 컴퓨터과학의 기본원리에 대한 기초단계교육이라 할 수 있다. 그러나 자료구조가 정보교과에서 갖고 있는 교육적 함의나 학생들에게 성찰을 제공하기 위해 어떤 형태로 구성되어야 하는지에 대한 연구는 이루어지지 않았다. 따라서 본 논문은 2007 개정 교육과정을 기초로 제작되어, 2010년부터 사용되고 있는 정보교과서 '정보의 표현과 관리'영역의 탐구적 경향을 분석하였다. Romey 분석법으로 분석한 결과, 본문 분석, 학습자료 분석, 학습활동 분석, 장이나 절에 대한 분석에서 탐구적 경향을 보인 교과서는 1개로 나타났다. 교과서가 지식을 전달하는 데 집중하면, 학생들을 학습에서 소외시킬 수 있다. 특히 정보교과의 경우, IT를 활용한 문제해결에 기저가 되는 교과이므로 학습에서 소외된 학생들은 다양한 문제해결의 과정에서 박탈될 수 있음을 고려해야 한다는 시사점을 제공하였다.
  3. Kim, Yong-Joo;Youn, Jong-Hee;Cho, Doo-San;Paek, Yun-Heung 17
    https://doi.org/10.3745/KIPSTA.2012.19A.1.017 PDF KSCI
    모바일 시장 및 소형 전자기기 시장의 발달에 따라 고성능 프로세서에 대한 요구 또한 커지게 되었다. 재구성형 프로세서(CGRA)는 고성능과 저전력 소모를 동시에 만족시키는 프로세서로 ASIC의 고성능 저전력을 대체하면서도 하드웨어를 쉽게 재디자인 할 수 있도록 구성된 프로세서이다. 어플리케이션의 구조에 따라 CGRA의 전체수행시간이 프로세서 자체의 수행시간보다 데이터의 전송시간에 종속되는 경우가 있다. 이 논문에서는 데이터 전송시간에 따라 수행에 사용되는 자원을 최적화 함으로써 전력소모를 줄이는 매핑 알고리즘을 제안하였다. 제안된 알고리즘을 사용한 경우, 기존의 방식보다 최대 73%, 평균 56.4%의 전력소모를 줄일 수 있었다.
  4. Kim, Kyung-Joon;Chung, Ki-Hyun;Choi, Kyung-Hee 23
    https://doi.org/10.3745/KIPSTA.2012.19A.1.023 PDF KSCI
    본 연구에서는 오토마타 이론을 적용하여 Simulink 모델의 각종 정보를 보여주고 시뮬레이션 결과를 출력하는 모듈 구조를 제안하고, 이를 구현하였다. 이 모듈은 사용자로부터 명령을 받아서 Simulink 모델의 각종 내부 정보와 시뮬레이션 결과를 보여주는 기능을 제공하는 메인 프로그램과 Simulink 모델의 시뮬레이션을 제어하기 위한 별도의 스레드, 그리고 실제로 시뮬레이션을 수행하는 Simulink 모델의 세 가지 독립적인 시스템으로 이루어져 있다. 오토마타를 이용하여 각 시스템과 전체 모듈을 설계 및 검증하고, C# 과 MATLAB을 통해 이를 구현한다. 그리고 구현된 모듈의 동작을 실제 모델을 통한 실험으로 검증하였다.
  5. Baek, Sung-Hoon 35
    https://doi.org/10.3745/KIPSTA.2012.19A.1.035 PDF KSCI
    기존의 운영체제에서 하드디스크의 성능을 향상시키기 위해서 사용해왔던 기술들이 SSD(Solid State Drive)에는 부정적 효과를 나타내는 경우가 많다. HDD의 기계적인 요소 때문에 접근 시간과 블록 주소의 순서가 성능에 매우 중요한 요인으로 작용하였지만, SSD는 불록 주소의 순서에 영향을 받지 않는 우수한 랜덤 읽기 성능을 제공한다. 실제 개인용 PC에서 SSD를 사용할 때에 선반입을 끄도록 권고되고 있다. 하지만 이 논문은 SSD의 내부 구조와 낸드 플래시 메모리의 특징을 고려한 선반입 및 메모리관리 정책를 결합한 방법을 제시한다. SSD에는 다수개의 낸드 플래시 메모리로 구성되어 있어 칩을 동시에 구동시키는 것이 중요하며, 낸드 플래시 메모리의 기본 입출력 단위가 계속 증가하는 방향으로 발전하고 있어서 SSD 내부의 동작 단위가 운영체제의 블록 크기보다 훨씬 커지게 되었다. 이 논문은 이러한 SSD의 특징과 경향을 수용하여, 제안하는 선반입 기법은 SSD의 동작 단위로 수행되며, 제안하는 메모리 관리 기법은 그 선반입 기법의 단점을 보완하여, 캐시 히트율과 선반입 히트율의 합이 최대가 되도록, 선반입되었지만 사용되지 않는 데이터를 적응적으로 퇴출한다. 본 기술은 리눅스 커널 모듈로 개발하였으며 실제 SSD를 사용하여 성능 평가를 실시하였다. 주어진 실험에서 제안하는 선반입 기법이 약 26%까지 성능을 향상시켰다.
  6. Youn, Jong-Hee M.;Paek, Yun-Heung;Ko, Kwang-Man 45
    https://doi.org/10.3745/KIPSTA.2012.19A.1.045 PDF KSCI
    최근 내장형 프로세서가 다양한 휴대 기기에서 사용이 급격히 증가됨에 따라, 빠른 수행 속도와 저전력을 지원하는 내장형 프로세서를 제작하기 위해 대상 응용 프로그램에 최적환 된 설계가 요구되고 있다. 이를 위해, 프로세서들은 다중 출력 명령어형태의, 특별한 명령어들을 추가하고 있다. 여기서 다중 출력 명령어란 다수의 결과값을 병렬적으로 출력하는 명령어를 말한다. 하지만, 이러한 다중 출력 명령어들은 기존 컴파일러에서 생성하지 못하는 문제점이 있다. 그래서, 이를 위한 컴파일 알고리즘이 개발되었지만, 이 알고리즘에서는 register pressure를 고려하지 않아서 최적의 성능을 발휘할 수가 없었다. 본 논문에서는 register pressure를 고려하는 알고리즘을 새롭게 제안하고, 그 결과 기존 알고리즘에 비해서 평균 3%의 코드 사이즈 감소와 2.7% 수행 시간 향상을 더 이룰 수 있었다.
  7. Choi, Byoung-Kyu;Lee, Dong-Bok;Kim, Byung-Kon;Heu, Shin 51
    https://doi.org/10.3745/KIPSTA.2012.19A.1.051 PDF KSCI
    일반적으로 스마트카드라고 불리는 IC(Integrated Circuit)카드는 작은 크기의 마이크로칩(MPU)과 메모리, EEPROM, 카드 운영체제(COS) 및 보안 알고리즘을 내장하고 있다. 이러한 IC카드는 금융(카드,은행,증권 등), 교통, 통신, 의료, 전자여권, 멥버쉽 회원관리 등 거의 모든 산업분야에서 이용되고 있다. 최근 방송통신융합 및 TV의 스마트기기화 추세에 따라 TV전자상거래(T-커머스)가 방송산업의 신성장 동력이 되면서 T-커머스 지불결제 방법으로 IC카드를 이용하는 등 응용분야가 증가하고 있다. 예를 들어, T-커머스에서 IC신용카드(또는 IC현금카드)를 이용하여 결제를 하거나, IC현금카드를 이용하여 ATM과 같은 방식으로 TV뱅킹 서비스를 제공한다. 하지만 아직까지 대부분의 T-커머스 신용카드 결제 서비스는 리모콘을 이용한 카드정보 입력 방식을 이용하고 있기 때문에 고객 편의성이 크게 떨어지고, 카드정보 저장 및 노출 등 보안성에 있어서 취약성을 가지고 있다. 이러한 문제점을 해결하고자, 본 논문에서는 IC신용카드 결제 표준기술인 EMV기술을 이용한 TV전자 지불 결제시스템 구현을 위한 결제처리 모듈을 개발하였다.
  8. Lee, Seo-Young;Kim, Nam-Yun;Lee, Bong-Gyou 61
    https://doi.org/10.3745/KIPSTA.2012.19A.1.061 PDF KSCI
    스마트폰이나 태블릿 PC와 같은 스마트 디바이스의 확산은 방송과 통신의 융합을 질적으로 변화시켜 다양한 미디어를 창출하고 있다. 스마트 디바이스는 개인용 기기이기 때문에 사용자 프로파일(연령, 성별, 직업 등)과 위치를 바탕으로 고객 맞춤식 환경을 제공할 수 있고, 네트워크 기능을 가지고 있기 때문에 양방향 소통이 가능한 미디어 플랫폼이라고 할 수 있다. 본 논문에서는 스마트 디바이스를 활용하여 개인화된 메시지를 전달할 수 있는 메시지 신디케이션(PMS: Personalized Message Syndication)을 제안하고 비즈니스 측면과 기술적인 측면을 분석한다. 본 논문에서 제안한 PMS는 스마트 미디어로서 소비자에게 맞춤식 정보를 제공하고 생산자에게는 소비자의 공감과 참여를 유도할 수 있는 마케팅 도구를 제공하고 있다.
  9. Kwon, Kee-Hang;Ha, Hong-Pyo 69
    https://doi.org/10.3745/KIPSTA.2012.19A.1.069 PDF KSCI
    고전 논리나 선형 논리에 기반한 논리 프로그래밍에서는 순차적 작업이나 순차적 순환 작업을 표현하는 구문이 결여되어 있다. 최근 순차적 작업을 표현하는 구문 - $G_1{\cap}G_2$ 이 제시되었는데 이는 Japaridze의 game 모델에 기반을 두고 있다. 본 논문에서는 ${\cap}_x^LG$의 형태를 갖고 있는 순차적 순환 작업을 제안하고 있다. 여기서 $x$는 변수이고, $L$은 리스트이고, $G$는 목표작업을 의미한다. 기호 ${\cap}_x^L$는 순차적 유한 정량자라고 불린다. 위 구문을 다음과 같은 작업을 의미한다: $x$에 $L$의 원소들의 값을 차례로 대입하여 순차적으로 반복 수행하시오.