권호 표지

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 18A Issue 3

  1. Cho, Gui-Mok;Hwang, Jin-Sang;Kim, Young-Kuk 81
    https://doi.org/10.3745/KIPSTA.2011.18A.3.081 PDF KSCI
    제품수명주기(Product life cycle) 중 설계단계에서 생성되는 3차원 CAD 데이터를 다양한 단계에서 활용하고자하는 노력이 관련 산업 분야에서 이루어져 왔다. 그러나 3차원 CAD 데이터는 데이터 처리를 위한 많은 컴퓨팅 자원을 요구하고 설계지식이 유출될 수 있는 위험이 있으며, 라이선스 비용이 따르기 때문에 원격지 협업 검토나 마케팅, 전자 기술 매뉴얼과 같은 서비스단계에서 활용하기에 적합하지 않다. 이러한 문제점들을 해결하기 위해 경량화된 가시화 파일형식과 이를 적용한 응용시스템에 대한 다양한 연구가 수행되었으나, 제안된 경량화 파일형식들은 대부분 기업 혹은 기관의 독자적인 형식으로 서로 간에 공유될 수 없으며, 제품의 형상 정보와 함께 제품구조 정보를 표현하는데 한계점을 보이고 있다. 본 연구에서는 이를 해결하기 위하여 웹 기반 3차원 그래픽 표준인 X3D를 활용하여 제품의 형상 정보뿐만 아니라 구조 정보의 표현이 가능한 X3D 기반 데이터 집합인 prod-X3D(Enhanced X3D Dataset for Web-based Visualization of 3D CAD Product Model)를 정의하고, 3차원 CAD 데이터로부터의 변환 기법을 제안한다.
  2. Park, Sang-Oh;Lee, Jae-Kyoung;Kim, Sung-Jo 93
    https://doi.org/10.3745/KIPSTA.2011.18A.3.093 PDF KSCI
    최근 배터리로 동작하는 임베디드 시스템의 사용이 급격히 증가하고 있지만, 현재 배터리 기술의 발전 속도는 임베디드 시스템의 전력 사용량의 증가를 따라가지 못하여, 장시간 사용을 위해서는 배터리의 크기가 커져야 하는 단점이 있다. 내장형 시스템에서 소모하는 전력량은 시스템을 구성하는 하드웨어와 시스템을 구동하는 소프트웨어에 의해 결정된다. 그러나 하드웨어적으로 저전력을 지원하더라도 운영체제 등 소프트웨어 수준에서 이를 활용하지 못하면 절전 효과를 극대화할 수 없다. 따라서 본 논문에서는 모바일 임베디드 시스템 환경에서 멀티미디어 애플리케이션 구동시 BET(Break Even Time)기반 태스크 분할을 이용하여 소비 전력을 감소시키는 스케줄링 기법을 제안한다.
  3. Jung, Yong-Bum;Kim, Jong-Myon 99
    https://doi.org/10.3745/KIPSTA.2011.18A.3.099 PDF KSCI
    프로세서 기술은 공정비용의 증가와 전력 소모 때문에 단순 동작 주파수를 높이는 방법이 아닌 다수의 프로세서를 집적하는 병렬 프로세싱 기술 발전이 이루어지고 있다. 본 논문에서는 멀티미디어에 내재한 무수한 데이터를 효과적으로 처리할 수 있는 SIMD(Single Instruction Multiple Data) 기반 병렬 프로세서를 소개하고, 또한 이러한 SIMD 기반 병렬 프로세서 아키텍처에서 이미지/비디오 픽셀을 효율적으로 처리 가능한 픽셀 서브워드 병렬처리 명령어를 제안한다. 제안하는 픽셀 서브워드 병렬처리 명령어는 48비트 데이터패스 아키텍처에서 4개의 12비트로 분할된 레지스터에 4개의 8비트 픽셀을 저장하고 동시에 처리함으로써 기존의 멀티미디어 전용 명령어에서 발생하는 오버플로우 및 이를 해결하기 위해 사용되는 패킹/언팽킹 수행의 상당한 오버헤드를 줄일 수 있다. 동일한 SIMD 기반 병렬 프로세서 아키텍처에서 모의 실험한 결과, 제안한 픽셀 서브워드 병렬처리 명령어는 baseline 프로그램보다 2.3배의 성능 향상을 보인 반면, 인텔사의 대표적인 멀티미디어 전용 명령어인 MMX 타입 명령어는 baseline 프로그램보다 단지 1.4배의 성능 향상을 보였다. 또한, 제안한 명령어는 baseline 프로그램보다 2.5배의 에너지 효율 향상을 보인 반면, MMX 타입 명령어는 baseline 프로그램보다 단지 1.8배의 에너지 효율 향상을 보였다.
  4. Zheng, Zhiwen;Youn, Jong-Hee M.;Lee, Jong-Won;Paek, Yun-Heung 109
    https://doi.org/10.3745/KIPSTA.2011.18A.3.109 PDF KSCI
    IR(Intermediate Representation) 최적화 과정은 컴파일러 back-end의 중요한 부분으로서 sub-expression elimination, dead code elimination 등 최적화 기법들을 사용한다. 하지만 IR 최적화 단계에서 생기는 에러들을 검출하고 디버깅하는데 많은 어려움이 있다. 그 첫 번째 이유로는 컴파일 된 어셈블리 코드를 해독하여 에러를 체크하기 어렵고 두 번째로는 IR 최적화 단계에서 에러가 생겼는지 결정 짓기 어렵기 때문이다. 이런 이유들로 인하여, 우리는 C 레벨에서 IR 코드변환 무결점 여부를 체크하기 위한 기법들에 관한 연구를 진행하여 왔다. 우리는 MeCC(Memory Comparison-based Clone) 탐색기를 기반으로 하여, 최적화하기 전 IR코드와 최적화 한 후의 IR코드를 각각 C코드로 다시 변환한 뒤, 이 두 개의 C코드를 MeCC의 입력으로 주고, 결과의 일치 여부를 확인하는 방법을 사용한다. 하지만 MeCC가 완벽한 결과를 알려주지 않기 때문에, 우리는 각 IR 최적화 기법마다의 특징에 대한 정보를 사전에 처리해서 그 결과의 정확도를 높였다. 이 논문에서는 dead code elimination, instruction scheduling 및 common sub-expression elimination 등 최적화 기법들을 이용한 변환 코드들을 예시로 실험하여 최종적으로 MeCC에서의 C 레벨 코드의 정확한 에러 체크 동작여부를 보여준다.
  5. Sohn, Surg-Won 115
    https://doi.org/10.3745/KIPSTA.2011.18A.3.115 PDF KSCI
    모든 제약만족 최적화 문제의 해를 구하는 일반화된 알고리즘을 구하는 것은 매우 어렵다. 그러나 결정 변수의 특성에 따라 세분화된 문제는 해를 위한 알고리즘을 구하기에 더 쉽다는 가정을 할 수 있다. 이와 같은 가정 하에 문제를 세분화 시키는 문제분류규칙을 제안하고 세분화된 문제의 특성에 맞는 백트래킹 알고리즘을 개발한다. 백트래킹을 이용한 깊이우선탐색에서 해를 빨리 찾기 위한 방법 중 하나는 탐색되는 노드의 순서를 효과적으로 배열하는 것이다. 정적 특성이 우세한 무선 센서 네트워크의 클러스터 헤드 위치문제와 동적 및 정적 특성의 혼합특성을 갖는 RFID 리더 간섭 최소화 문제를 선택하여 최적의 변수 순서화 알고리즘을 개발하고 기존의 방법과 비교하였다. 결과적으로 문제를 세분화시킴으로써 체계적인 탐색을 위한 백트래킹의 구조화를 실현하였다. 또한 개발된 백트래킹 알고리즘의 성능이 우수함을 보였다.