권호 표지

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 15A Issue 2

  1. Kim, Jeong-Beom 69
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.069 PDF KSCI
    본 논문은 MOS 전류모드 논리회로 (MOS current-mode logic circuit)의 누설전류를 감소시키기 위해 슬립 트랜지스터 (sleep-transistor) 트랜지스터를 이용하여 저 전력 MOS 전류모드 논리회로를 구현하는 새로운 구조를 제안하였다. 슬립 트랜지스터는 누설전류를 최소화하기 위해 고 문턱전압 PMOS 트랜지스터 (high-threshold voltage PMOS transistor)를 사용하였다. $16\;{\times}\;16$ 비트 병렬 곱셈기를 제안한 구조에 적용하여 제안한 구조의 타당성을 입증하였다. 이 회로는 기존 MOS 전류모드 논리회로 구조에 비해 대기전력소모가 1/50으로 감소하였다. 이 회로는 삼성 $0.35\;{\mu}m$ 표준 CMOS 공정을 이용하여 설계하였으며, HSPICE를 이용하여 검증하였다.
  2. Lee, Jeong-Won;Ryu, Dong-Sung;Park, Soo-Hyun;Cho, Hwan-Gue 75
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.075 PDF KSCI
    기존의 만화 제작 시스템은 대부분의 작업을 수작업으로 하기 때문에 많은 시간과 인력이 필요하였고, 만화 내용을 창작하는 데에도 한계가 있었다. 이와 같은 문제점을 해결하기 위해 이전 연구를 통하여 영화나 드라마와 같은 기존의 영상 스트림을 입력으로 하여 흑백 만화를 제작 할 수 있는 시스템(CORVIS)을 개발하게 되었다. 비디오 영상을 흑백 만화로 표현하기 위해서는 한 컷의 이미지에 개체의 시각적인 요소와 청각적인 요소, 그리고 극의 분위기를 표현해야 하는데, 이를 위해 필요한 표현법을 만화적 효과라고 하며, 스타일 폰트는 의성어와 의태어를 표현하기 위해 사용되는 만화적 효과이다. 하지만 지금까지 흑백 만화에 관한 연구에서 스타일 폰트는 큰 관심을 받지 못하였다. 본 논문에서는 CORVIS에 스타일 폰트 기능을 구현하기 위해 흑백 만화에서 사용되는 다양한 종류의 스타일 폰트를 살펴보고 이를 바탕으로 스타일 폰트의 기본적인 구조와 다양한 효과들을 분석한 후, 새로운 모델을 제시하였다. 또한, 정의된 모델을 기반으로 전처리된 정보만을 가지고 다양한 효과를 표현할 수 있는 방법론과 구현법에 대해 제안한다.
  3. Park, Mi-Young;Chung, Sang-Hwa 87
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.087 PDF KSCI
    메시지전달 프로그램에서 발생하는 메시지경합은 프로그램의 비결정적 수행결과를 초래하므로 효과적인 디버깅을 위하여 탐지되어야 한다. 메시지경합을 탐지하는 기존의 도구는 임의의 메시지를 수신하는 모든 사건에서 경합이 발생한다고 보고한다. 그러나 메시지들이 전송되는 논리적인 통신채널이 서로 다르면 임의의 메시지를 수신하는 사건에서 경합이 발생하지 않을 수도 있으므로, 기존 도구의 부정확한 탐지정보는 프로그래머의 디버깅 작업을 더욱 어렵게 한다. 본 논문에서는 메시지 송수신 사건간의 병행성과 메시지들의 논리적 통신채널을 검사하여 보다 정확하게 메시지경합을 탐지하는 도구인 MPIRace-Check를 제안하다. 본 도구는 vector timestamp를 이용하여 프로그램 수행 중에 메시지를 전송하는 송수신 사건들간의 병행성을 검사하고, 메시지 부가정보를 이용하여 메시지들의 논리적인 통신채널이 동일한지를 검사하여 메시지경합을 탐지한다. 실험에서는 MPI_RTED와 벤치마크 프로그램을 이용하여 본 도구가 프로그램 수행 중에 효율적으로 모든 경합을 정확하게 탐지함을 보인다. 따라서 본 도구는 메시지경합을 정확하게 탐지하여 프로그래머의 디버깅 부담을 줄이고 신뢰성이 있는 병렬 프로그램의 개발을 가능하게 한다.
  4. Kim, Jong-Seok;Lee, Hyeong-Ok 95
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.095 PDF KSCI
    본 논문에서는 Folded 하이퍼-스타 연결망을 기반으로 하는 새로운 상호연결망, 계층적 Folded 하이퍼-스타 연결망 HFH($C_n,\;C_n$)을 제안한다. 그리고 본 논문에서 제안한 HFH($C_n,\;C_n$)가 Folded 하이퍼-스타 연결망과 기존에 제안된 계층적 연결망인 HCN(m,m), HFN(m,m)보다 망비용(지름${\times}$분지수) 측면에서 우수한 연결망임을 보인다. 또한 HFH($C_n,\;C_n$)의 여러 가지 망 성질(연결도, 라우팅 알고리즘, 지름, 방송)을 분석한다.
  5. Jeong, Chang-Won;Lee, Geon-Yeob;Joo, Su-Chong 101
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.101 PDF KSCI
    유비쿼터스 컴퓨팅은 컴퓨터 시스템의 물리적인 공간을 확장시켰으며, 보다 동적인 분산 시스템으로 이끌었다. 이러한 환경에서는 다양한 디바이스와 자원 그리고 사용자 요구사항에 대한 새로운 QoS 파라미터가 요구되고 있다. 본 논문에서는 유비쿼터스 컴퓨팅 환경에 적합한 정적 QoS 파라미터와 동적 QoS 파라미터를 정의한 새로운 하이브리드 QoS 관리 모델을 제안하였다. 제안한 시스템 구성은 분산된 형태로 종단간 QoS 제어 및 관리할 수 있도록 클라이언트 측에는 QoS 제어 관리를 위한 모듈(QoS CMM), 서버 측에 QoS 관리 모듈(QoS MM), 그리고 중앙형 QoS 제어 및 관리를 위한 자원 QoS 관리 모듈(RQoS MM)을 구성하였다. 정적 QoS 파라미터는 자원 QoS 관리 모듈에서 처리하며, 동적 QoS 파라미터에 대한 전체적인 QoS 제어는 QoS CMM에 의해 다자간 통신의 경우에 서버 측의 부담을 최소화 시킬 수 있도록 하였다. 끝으로, 그래픽 사용자 인터페이스를 통해 위치 기반 애플리케이션으로 클라이언트 단말형태인 데스크탑 PC, 노트북, PDA에 따른 멀티미디어 서비스 수행 결과 화면을 보였다.
  6. Lim, Sung-Chae 111
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.111 PDF KSCI
    이동 통신 시스템의 발전과 함께 여러 대의 이동 기기에서 동작하는 분산 응용의 필요성이 점차 커지고 있다. 모바일 기기의 고장이나 통신망 단절이 기존 고정 통신망에 비해 자주 발생하는 환경을 고려할 때 모바일 응용을 위한 복구 기법이 매우 중요하며, 중단된 응용의 재시작을위해 체크포인팅이 널리 사용되고 있다. 본 논문에서도 이런 분산 응용의 복구를 위한 효율적 체크포인팅 기법을 제안한다. 제안된 기법에서는 MSS(Mobile Support Station)에서 동작하는 체크포인팅 에이전트라는 소프트웨어 에이전트를 사용한다. 이 에이전트는 R-distance(rollback-distance) 개념을 지원하며, 이를 통해 복귀되는 지역 체크포인트의 최대 개수를 한정할 수 있다. 제안된 방식은 기존의 문제점이었던 도미노 현상이나 체크포인트 유지에 필요한 추가 비용을 크게 줄이면서도 매우 유연한 방식의 체크포인트 생성을 지원할 수 있다.
  7. Chang, Jung-Hwan 119
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.119 PDF KSCI
    본 논문에서는 피라미드 그래프 내에 내재된 사이클 특성을 분석한다. 높이 N의 피라미드 그래프에 연속적인 사이클 확장 연산을 적용함으로써 길이 3이상 ($4^N-1$)/3 까지에 해당하는 모든 길이의 다양한 사이클들을 생성할 수 있음을 증명한다. 이는 피라미드 그래프가 범사이클 특성을 보유하고 있음을 의미한다.
  8. Kim, Young-Bum;Kim, Yu-Seop 125
    https://doi.org/10.3745/KIPSTA.2008.15-A.2.125 PDF KSCI
    본 논문에서는 난이도를 고려하여 선택형 문항을 자동으로 생성하는 방법을 고안하였으며, 학습자 수준에 적합하도록 동적인 형태로 다양한 문항 제시를 할 수 있는 시스템을 구현하였다. 선택형 문제를 통한 평가에서는 적절한 규모의 문제 은행이 필요하다. 이와 같은 요구를 만족시키기 위해서는 보다 쉽고 빠른 방식으로 다양하고 많은 문제 및 문항을 생성할 수 있는 시스템이 필요한데, 본 논문에서는 문제 및 문항의 생성을 위하여 워드넷이라는 언어 자원을 이용한 자동 생성 방법을 고안하였다. 자동 생성을 위해서는 주어진 문장에서 형태소 분석을 통해 키워드를 추출하고, 각 키워드마다 워드넷의 계층적 특성에 따라 유사한 의미를 가진 후보 단어를 제시한다. 의미 유사 후보 단어를 제시할 때, 기존의 한국어 워드넷의 스키마를 개념간 의미 유사도 행렬을 구할 수 있는 형태의 스키마로 변경한다. 단어의 의미 유사도는 동의어를 의미하는 수준 0에서 거의 유사도가 없다고 볼 수 있는 수준 9까지 다양하게 제시될 수 있으며, 생성될 문항에 어느 정도의 유사도를 가진 어휘를 포함시키느냐에 따라서 출제자의 의도에 따른 난이도의 조정이 가능하다. 후보 어휘들의 의미 유사도 측정을 위해서, 본 논문에서는 두 가지 방법을 사용하여 구현하였다. 첫째는 단순히 두 어휘의 워드넷 상에서의 거리만을 고려한 것이고 둘째는 두 어휘가 포함되어 있는 트리 구조의 크기까지 추가적으로 고려한 것이다. 이러한 방법을 통하여 실제 출제자가 기존에 출제된 문제를 토대로 더 다양한 내용과 난이도를 가진 문제 또는 문항을 더 쉽게 출제할 수 있는 시스템을 개발할 수 있었다.