권호 표지

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

한국정보처리학회 (Korea Information Processing Society)

  • 격월간
  • /
  • 1598-2831(pISSN)

과학기술표준분류

  • 정보/통신 ＞ 정보이론

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

제9A권3호

  1. 성현경 271
    https://doi.org/10.3745/KIPSTA.2002.9A.3.271 PDF KSCI
    본 논문에서는 Perfect Shuffle 기법과 Kronecker 곱에 의한 다치 신호처리회로의 입출력 상호연결에 대하여 논하였고, 다치 신호처리회로의 입출력 상호연결 방법을 이용하여 유한체 GF$(p^m)$상에서 다치 신호처리가 용이한 다치 Reed-Muller 전개식의 회로설계 방법을 제시하였다. 제시된 다치 신호처리회로의 입출력 상호연결 방법은 모듈구조를 기반으로 하여 행렬변환을 이용하면 회로의 가산게이트와 승산게이트를 줄이는데 매우 효과적임을 보인다. GF$(p^m)$상에서 다치 Reed-Muller 전개식에 대한 다치 신호처리회로의 설계는 GF（3）상의 기본 게이트들을 이용하여 다치 Reed-Muller 전개식의 변환행렬과 역변환행렬을 실행하는 기본 셀을 설계하였고, 다치 신호처리회로의 입출력 상호연결 방법을 이용하여 기본 셀들을 상호연결하여 실현하였다. 제안된 다치 신호처리회로는 회선경로 선택의 규칙성, 간단성, 배열의 모듈성과 병렬동작의 특징을 가지므로 VLSI 화에 적합하다
  2. 김창훈;홍춘표;우종정 281
    https://doi.org/10.3745/KIPSTA.2002.9A.3.281 PDF KSCI
    본 논문에서는 유한 필드 GF$(2^m)$상에서 모듈러 곱셈 $A({\times})B$ mod G,({\times})를 수행하는 LSB 우선 디지트 시리얼 시스톨릭 곱셈기를 구현하였다. 구현된 곱셈기는 디지트의 크기를 L로 설정했을 경우 연속적인 입력 데이터에 대해 [m/L] 클럭 사이클 비율로 곱셈의 결과를 출력한다. 본 연구에서 구현된 곱셈기를 기존의 곱셈기와 비교 분석한 결과, 더 간단한 하드웨어 구조를 가지고, 데이터 처리 지연 시간이 감소되었다. 또한 본 연구에서 제안한 구조는 단방향의 신호 흐름 특성을 가지고 있으며, 매우 규칙적이기 때문에 m과 L에 대해 높은 확장성을 가진다.
  3. 김경배;이용주;박춘서;신범주 287
    https://doi.org/10.3745/KIPSTA.2002.9A.3.287 PDF KSCI
    본 논문에서는 동적 비트맵 할당 기법을 사용하는 새로운 파일 시스템 기법에 대하여 제안한다. 기존의 파일 시스템들이 슈퍼블록, 아이노드, 디렉토리 엔트리와 같은 메타데이터를 위해 고정된 비트맵 구조의 의존하는 반면, 제안된 기법은 파일 시스템의 특성에 따라 비트맵과 할당 영역을 할당한다. 제안된 기법은 기존의 파일 시스템에서 디스크의 이용율이 파일의 크기에 의존하는 문제를 해결하였다. 성능평가를 통해서 동적 비트맵을 이용한 제안된 파일 시스템이 기존의 기법에 비해 효율적으로 디스크를 사용함을 보였다.
  4. 공형윤;최지웅 295
    https://doi.org/10.3745/KIPSTA.2002.9A.3.295 PDF KSCI
    본 논문에서는 3차원 입출력 알고리즘을 랜덤 인터리버와 s-랜덤 인터리버에 적용하였으며, 이를 터보코드 인터리버에 적용하여 성능을 분석하였다. 인터리버의 성능은 인접 데이터간 최소 거리에 의해 결정되어지므로, 인접 데이터간의 최소거리를 증가시키는 방법으로 인터리버의 성능을 향상 시켰다. 3차원 알고리즘을 적용한 인터리버는 3차원 저장공간을 이용해 입력 데이터를 저장하고 랜덤하게 추출하는 방식이다. 이러한 방식은 기존의 랜덤 인터리버와 s-랜덤 인터리버에 비해 인접 데이터간 최소거리와 평균거리를 증가시킨다. 컴퓨터 시뮬레이션을 이용하여 3차원 알고리듬을 적용한 터보코드의 성능을 분석하였으며, 전송 환경을 가우시안 채널로 설정하였다.
  5. 김경아;최은만 301
    https://doi.org/10.3745/KIPSTA.2002.9A.3.301 PDF KSCI
    인터넷이 교육분야에도 활발히 사용되면서 자료검색부터 동영상 강의 나아가 인터넷을 통해 실시간으로 시험을 치르고 있다. 웹을 이용한 원격시험에 출제되는 문제들은 대부분 고정출제나 문제은행방식을 이용한 무작위 출제방식을 사용하고 있다. 본 논문의 문제은행시스템은 마크업 언어를 모르더라도 문제를 제작할 수 있으며, 웹 상에서 시험을 치르고난 후 정답률에 기초하여 난이도를 자동으로 재조정할 수 있다. 또한 학습자는 시험이 끝난뒤 피드백 학습을 할 수 있으며, 학습 후에는 학습자가 스스로 난이도를 조정하여 재시험을 치를 수 있게 하였다. 자동난이도 출제 방식은 출제가 간편해지며 평가의 예상평균점수를 미리 예측하고 시험결과가 계속 문항마다 누적되어 이를 바탕으로 출제되는 문제가 너무 쉽게 또는 너무 어렵게 출제되는 것을 막을 수 있다. 또한 원격시험은 대리시험 등 부정의 소지가 많아 유형이 다른 문제를 출제하게 되는데 여기서 오는 형평성 문제를 극복할 수 있게 된다.
  6. 신광철;한상용 311
    https://doi.org/10.3745/KIPSTA.2002.9A.3.311 PDF KSCI
    LZW 알고리즘은 사전(dictionary) 방식의 압축 알고리즘인 LZ78의 변형된 형태로써 높은 압축률을 제공하기 때문에 많은 상업용 압축 프로그램에서 사용되고 있다. LZW의 핵심은 가장 빈번하게 사용되는 문자열을 사전에 저장하면서, 저장된 것과 동일한 입력 데이터의 문자열을 해당 사전 인덱스로 대체하는 것이다. 본 논문에서는 자주 사용되지 않는 사전의 엔트리를 찾기 위해 카운터를 이용하는 새로운 사전 관리 방법을 제안한다. 또한 하이퍼텍스트 문서를 효율적으로 압축하기 위해 태그와 같은 자주 사용되는 용어들을 코드화하여 사전에 저장한 후 압축을 시도하는 방안을 제안한다. 실험결과 기존의 V.42bis와 UNIX의 compress에 비해 상대적으로 일반문서는 3∼8％, HTML 문서는 23∼24％의 향상된 압축효과를 보여준다.
  7. 김남기;박인용;정혜영;윤현수 317
    https://doi.org/10.3745/KIPSTA.2002.9A.3.317 PDF KSCI
    도시 인구 집중과 이동 인구의 증가로 이동 통신 시스템은 90년대 이후 급격한 발전을 하고 있다. 그러나 현재 널리 사용되고 있는 2세대 이동 통신 시스템은 음성에만 치중하여 개발되었고 시장이 거의 포화상태에 이르렀다. 따라서 앞으로 다가올 UMTS와 같은 제 3세대 이동 통신 시스템에서는 무선 인터넷과 같은 본격적인 데이타 서비스를 위해 패킷 데이타 통신이 매우 중요한 부분으로 떠오르고 있다. 음성 서비스와는 달리 패킷 데이타 특성에 갖는 패킷 데이타 서비스를 제공하기 위해서 UMTS 시스템에서는 전송하기 전에 반드시 데이타를 버퍼에 저장해야 한다. 하지만 지금까지 패킷 데이타 서비스를 위한 버퍼가 어떻게 얼만큼 필요하고 트래픽에 따라 그 상태가 어떻게 변화하는지에 관한 연구는 거의 진행되어 있지 않다. 본 논문에서는 UMTS 시스템에서 BS (Base Station)에 놓이는 버퍼 상태가 어떻게 변화하는지 알아 보기 위해 버퍼 상태 분석을 위한 UMTS 시스템 모델을 구성하고 실험을 통해 그 결과를 관찰 분석한다. 그리고 버퍼 상태를 확률을 통해 수식적으로도 분석한다.
  8. 박종규;민병조;임한나;박장훈;장휘;김학배 327
    https://doi.org/10.3745/KIPSTA.2002.9A.3.327 PDF KSCI
    주로 캐싱서버로 사용되는 기존의 프록시웹캐시는 단순히 웹서버의 컨텐츠를 복사해서 서비스를 제공하는 시스템이다. 이 방법은 실제로 컨텐츠 서비스를 담당하는 웹서버의 성능 향상보다는 컨텐츠 전달 중간단계의 속도 향상에 초점을 맞추고 있다. 그러나, 과다한 동시 접속자로 인하여 웹서버에 과부하가 걸렸을 경우에는 많은 효과를 보지 못하고 있다. 본 논문에서는 웹서버의 성능을 극대화시켜 클라이언트에게 보다 빠른 서비스를 제공하기 위해서 웹가속기(SCALA-AX)를 제안한다. SCALA-AX는 리눅스 커널 모듈로 구현되어, 유저레벨 웹서버 어플리케이션과 함께 작동을 한다. SCALS-AX는 HTTP 요청을 커널쓰레드를 이용하여 처리 하기 때문에 전달 속도 향상뿐만 아니라 캐싱서버 설치로 인한 추가비용도 발생하지 않는다. SCALS-AX의 성능평가 결과, SCALA-AX가 구현된 웹서버는 기존의 웹서버보다 데이터 전달면에서 5배 이상의 속도 향상을 얻었다. 즉, 웹서버의 성능이 크게 향상되었음을 볼 수 있다.
  9. 이형옥;김종석 333
    https://doi.org/10.3745/KIPSTA.2002.9A.3.333 PDF KSCI
    임베딩은 어떤 상호연결망 G를 다른 상호연결망 H에 사상시키는 것으로 연결망 G에서 개발된 알고리즘을 다른 연결망 H에서 시뮬레이션 할 수 있게 한다. 본 논문에서는 먼저 Hierarchical Cubic Network HCN(n, n) and Hierarchical Folded-hypercube Network HFN(n, n) 사이의 임베딩 방법을 제시한다. HCN(n, n)과 HFN(n, n)은 하이퍼큐브에서 제안된 성질을 가지면서 하이퍼큐브의 망비용 (분지수$\times$지름)을 개선한 상호연결망이다. HCN(n, n)은 HFN(n, n)에 연장율 3, 밀집율 2로 임베딩되고 평균연장율이 2 이하임을 보인다. HFN（n, n）은 HCN（n, n）에 연장율 0(n)에 임베딩 되지만, 평균연장율이 2 이하임을 보인다. 마지막으로 HCN（n, n）의 고장허용도에 대해 논하고, HCN（n, n）이 최대 고장 허용도(maximally fault tolerant)를 가짐을 보인다.
  10. 조수현;김영학 341
    https://doi.org/10.3745/KIPSTA.2002.9A.3.341 PDF KSCI
    네트워크 환경이 좋아지고 인터넷 사용이 급증함에 따라 이동 에이전트(Mobile Agent) 기술이 정보검색, 네트워크관리, 전자상거래, 병렬/분산처리 분야에 널리 활용되고 있다. 최근에 다수의 연구자들이 이동 에이전트를 기반으로 한 병렬/분산처리 개념을 연구하고 있다. SPMD(Single Program Multiple Data)는 하나의 프로그램이 병렬환경에 참여하는 모든 컴퓨터에 전송되어 다른 자료를 사용하여 작업을 수행하는 병렬처리 방법이다. 따라서 하나의 프로그램을 모든 컴퓨터에 빠르게 전송하는 것은 전체 수행시간을 줄이기 위한 주요한 요소 중의 하나이다. 본 논문에서는 이동 에이전트 시스템으로 구성된 병렬환경에서 SPMD의 병렬처리를 효율적으로 수행하기 위해, 바이노미얼 트리를 이용하여 하나의 이동 에이전트 코드를 모든 컴퓨터에 빠르게 전송하는 새로운 방법을 제안한다. 제안된 방법은 IBM's Aglets에서 실험적 평가를 통하여 다른 방법과 비교되었으며 다른 방법에 비해서 상당히 좋은 성능을 보였다. 또한 본 문에서는 바이노미얼 트리에서 에이전트 전송 중에 발생될 수 있는 결함허용에 관한 문제를 다룬다.
  11. 김의석;이정근;이동익 351
    https://doi.org/10.3745/KIPSTA.2002.9A.3.351 PDF KSCI
    신호전이그래프는 비동기식 유한상태기와 더불어 신호수준에서 비동기식 제어회로의 사양을 기술하기 위하여 사용되는 가장 대표적인 사양 기술언어이다. 그러나 신호전이그래프는 설계자에게 친숙한 사양기술언어가 아니며, 결과적으로 비동기식 시스템의 설계자가 목적시스템의 비동기식 제어부를 구성하는 수∼수십개의 비동기식 제어회로에 대한 신호전이그래프를 일일이 고안하고 기술하는 것은 매우 힘들고 시간소모적인 일이다. 본 논문에서는 최근에 제안된 프로세스 중심방식을 이용하여 신호전이그래프를 자동으로 생성하는 방법을 제안하고자 한다. 특히, 제안된 방법은 신호전이그래프의 자동생성 과정에서 신호전이그래프에 기반한 비동기식 논리합성의 고유한 특성들을 주의 깊게 고려하여 준다. 결과적으로 자동 생성된 신호전이그래프로부터 합성된 비동기식 제어회로는 면적, 합성시간, 성능, 구현성의 측면에서 매우 우수하다.
  12. 정미경;황민;이귀상;김영철 363
    https://doi.org/10.3745/KIPSTA.2002.9A.3.363 PDF KSCI
    OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 확장방법(decomposition)을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류로서 각 노드마다 Shannon, positive Davio, 그리고 negative Davio 확장중의 하나를 사용하도록 하며 다른 종류의 DD와 비교해서 작은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방법의 결정에 의해서 OPKFDD의 크기가 좌우되며 최소의 노드 수를 갖는 OPKFDD의 구성은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기의 기준을 노드 수로 하여 기존의 OBDD(Ordered Binary Decision Diagram) 자료구조에서 각 노드의 확장방법을 결정하는 직관적(heuristic)인 방법을 제시하고, 주어진 입력변수 순서에 대해서 각 노드의 확장 방법을 결정하는 알고리즘을 제안하고 실험 결과를 제시한다.
  13. 김희정;여정모;서경룡 371
    https://doi.org/10.3745/KIPSTA.2002.9A.3.371 PDF KSCI
    EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.
  14. 유희진;오주영;이준용;박도순 379
    https://doi.org/10.3745/KIPSTA.2002.9A.3.379 PDF KSCI
    본 논문은 자원제약 조건에서 파이프라인 데이터패스 합성을 위한 스케줄링 방법이며, 우선순위 함수를 사용하여 스케줄할 연산을 선택하는 방법들과는 달리 연산들의 배정가능범위를 점진적으로 축소하여 스케줄한다. 제안방법은 스케줄링 알고리즘과 자원제약 위반을 검출하는 판단알고리즘으로 구성되며, 연산의 배정 가능한 제어단계의 처음 또는 마지막 단계에 임시로 연산을 배정하여 스케줄링 해가 존재하는지를 평가한다. 만약 해를 발견할 수 없다면 이는 자원제약 위반에 의해 연산을 그 제어단계에 배정하는 것이 불가능함을 의미하기 때문에 그 제어단계를 제거하며, 모든 연산에 대하여 배정가능범위 축소가 없을 때까지 이 과정을 반복한다. 벤치마크에 대한 실험결과는 다른 방법들과 비교해서 개선된 스케줄링 결과를 보인다.
  15. 최정현;진희정;김철민;장철훈;조환규 387
    https://doi.org/10.3745/KIPSTA.2002.9A.3.387 PDF KSCI
    최근 활발한 소단위 게놈 프로젝트의 수행으로 많은 생물체의 유전체 전체 서열이 밝혀짐에 따라서 전유전체(whole genome)를 기본 단위로 하여 개별 유전자나 그에 관련된 기능 연구가 매우 활발히 이루어지고 있다. 전유전체의 염기 서열은 수백만 bp(base pairs)에서 수백억 bp(base pairs) 정도의 대용량 텍스트 데이터이기 때문에 단순한 온라인 문자 일치(on-line string matching) 알고리즘으로 분석하는 것은 매우 비효율적이다. 본 논문에서는 대용량의 유전체 서열을 분석하는데 적합한 자료 구조인 스트링 B-트리를 사용하여 유전체 서열의 분석과 가시화를 위한 워크벤치를 개발한 과정을 소개한다. 본 연구에서 개발한 시스템은 크게 질의문 부분과 가시화 부분으로 나뉘어 진다. 질의문 부분에는 유전체 서열에 특정 서열이 나타나는 부분의 위치와 횟수를 알아보거나 k번 나타나는 서열을 조사하는 것과 같은 기본적인 패턴 검색 부분과 k-mer 분석을 위한 질의어가 다양하게 준비되어 있다. 가시화 부분은 전유전체 서열과 주석(annotation)을 보여주거나, 유전체 분석을 용이하도록 여러 가시화 방법, CGR(Chaos Game Representation), k-mer graph, RWP(Random Walk Plot) 등으로 생물학자들이 쉽게 전체 구조와 특성 파악할 수 있도록 도와준다. 본 논문이 제안하는 분석 시스템은 생물체의 진화적 관계를 밝히고, 염색체 내에 아직 알려지지 않은 새로운 유전자나 기능이 밝혀지지 않은 junk DNA들의 기능 등을 연구하는데 사용할 수 있다.