권호 표지

정보처리학회논문지D (The KIPS Transactions:PartD) (The KIPS Transactions:PartD)

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

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

과학기술표준분류

  • 정보/통신 ＞ 정보이론

Aim & Scope

The KIPS Transactions:PartD publishes original research papers in information processing mainly focusing on all topics related to information systems and knowledge systems including theoretical studies, infrastructure and related technologies. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; database systems, software engineering, e-commerce, data mining, geographic information system, information retrieval, and computer education.

KSCI

제17D권6호

  1. 이지원;노홍찬;박상현 383
    https://doi.org/10.3745/KIPSTD.2010.17D.6.383 PDF KSCI
    최근 플래시 메모리 기반 SSD(Solid State Disks)는 데이터 처리 속도가 빠르고, 외부 충격에 강하며 전력소모가 작다는 우수한 특성과 함께 그 용량의 증가와 가격 하락으로 인하여 차세대 저장 매체로 부각되고 있다. 하지만 SSD는 하드디스크와는 달리 읽기, 쓰기 및 지우기의 단위 및 수행 시간이 다르며 덮어쓰기가 불가능하다는 특징이 있다. 이 때문에 SSD는 기존의 하드디스크 기반 시스템 상에서는 그 동작의 효율성이 떨어지며, 이를 보완하기 위해 플래시 변환 계층이 설계되었다. 본 논문에서는 플래시 변환 계층의 역할 중 하나인 논리 주소 매핑 기법을 개선하여 SSD의 성능을 높일 수 있는 HAMM(Hybrid Address Mapping Method)를 제안한다. HAMM은 기존에 존재하는 슈퍼 블록 매핑 기법과 블록 매핑 기법의 단점을 보완하고 장점을 살릴 수 있도록 설계된 논리 주소 매핑 기법이다. SSD 시뮬레이터를 제작하여 실험하였으며, 실험을 통하여 HAMM은 같은 크기의 쓰기 버퍼 상에서 슈퍼 블록 매핑 기법에 비해 SSD의 저장공간을 효율적으로 사용하는 것으로 나타났으며, 또한 블록 매핑 기법에 비해 매핑 테이블을 구성하는데 적은 양의 메모리를 사용하면서 비슷한 성능을 보이는 것으로 나타났다.
  2. 이동현;노홍찬;박상현 395
    https://doi.org/10.3745/KIPSTD.2010.17D.6.395 PDF KSCI
    Solid-State Disks (SSDs)는 빠른 접근 시간, 적은 전력소모, 전기 충격에의 내성과 같은 장점으로 인해 하드 디스크를 대체 할 것으로 기대되고 있다. 그러나 SSDs는 임의 쓰기(random write)로 인한 수명 단축이란 단점이 있으며 이는 SSDs 컨트롤러의 구조와는 별개로 나타나고 있다. SSDs와 관련한 기존 연구는 컨트롤러의 더 나은 디자인과 쓰기 연산의 감소에 주력하였다. 본 연구는 동시에 쓰여지는 경향이 있는 여러 데이터 페이지를 연속적인 블록에 배치하는 방법을 제시한다. 이 방식은 우선 특정 기한 동안 쓰기 연산에 대한 정보를 수집한 후 상기 쓰기 연산에 대한 정보를 트랜잭션화 하여 frequent itemset을 추출하고 이를 연속적인 블록에 재배치하는 과정으로 이루어진다. 또한 본 연구는 frequent itemset의 page를 재배치할 수 있는 알고리즘을 소개한다. TPC-C 기반 실험에 있어 본 연구가 제안한 재배치를 수행한 결과 저장 기기 접근 횟수를 평균 6 % 감소시킬 수 있었다.
  3. ;여정모 405
    https://doi.org/10.3745/KIPSTD.2010.17D.6.405 PDF KSCI
    다양한 업무요소들의 값의 조합에 따라 대상 값이 결정되는 것을 규칙이라고 한다. 업무를 표현한 기업의 정보시스템은 이러한 수많은 규칙들을 포함하는데, 이러한 규칙들을 구현한 서버 시스템을 규칙기반 시스템이라고 한다. 규칙기반 시스템은 규칙 엔진 기법을 사용하거나 직접 데이터베이스를 사용하여 구현된다. 규칙 엔진 기법은 많은 단점을 가지기 때문에 대부분 관계형 데이터베이스를 사용하여 규칙기반 시스템을 구현한다. 업무의 규모가 커지고 복잡하게 될수록 수많은 다양한 경우의 규칙이 존재하게 되므로 시간과 비용이 크게 증가하고, 대량의 저장공간을 요구하게 될 뿐만 아니라 수행속도의 저하 현상도 많이 발생한다. 따라서 본 연구에서는 이러한 수많은 경우의 규칙들을 동일한 효과를 가지는 간소화된 경우의 규칙들로 변환시킬 수 있는 알고리즘을 제안한다. 본 연구의 알고리즘을 가지고 다양한 업무 규칙 데이터에 적용하여 테스트한 결과 데이터 건수를 간소화시킬 수 있음을 입증하였다. 본 연구의 알고리즘을 사용하여 업무 규칙 데이터를 간소화하게 되면 데이터 베이스를 사용하여 구현된 규칙기반 시스템의 성능을 개선할 수 있다.
  4. 최윤자 415
    https://doi.org/10.3745/KIPSTD.2010.17D.6.415 PDF KSCI
    본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다.
  5. 한상혁;정정수;진성일;김영국 423
    https://doi.org/10.3745/KIPSTD.2010.17D.6.423 PDF KSCI
    소프트웨어가 대형화 및 복잡화되고 품질보증 및 관리에 대한 요구가 한층 커짐에 따라 소프트웨어 테스트 활동이 중요시되고 있다. 소프트웨어 테스트 활동은 시스템에 존재하는 결함 발견과 처리가 주요 목적이지만, 현재 시스템의 위험요소를 관리하기 위한 요구 또한 존재한다. 하지만 일반적인 테스트 자동화 도구에서는 테스트케이스를 이용하여 동일한 순서로 테스트를 수행하며, 이러한 테스트 방식은 빈번하게 변경되는 소프트웨어를 테스트함에 있어 결함을 조기에 발견할 가능성이 낮아지고 처리되는 시간이 늦어지게 된다. 이에 따라 본 논문에서는 과거 테스트 이력을 이용하여 테스트케이스에 동적인 가중치를 부여함으로써 위험도가 높은 테스트케이스를 우선적으로 테스트 하여 결함을 빠르게 발견할 수 있도록 가중치를 이용한 테스트케이스 동적 관리 기법을 설계하였다.
  6. 조은숙;김철진;송치양 431
    https://doi.org/10.3745/KIPSTD.2010.17D.6.431 PDF KSCI
    임베디드 시스템은 하드웨어와 소프트웨어 요소들이 서로 결합된 시스템이기 때문에 설계 시 실시간성(Real-time), 반응성(Reactive), 소규모(Small Size), 경량화(Low Weight), 안전성(Safe), 신뢰성(Reliable), 견고성(Harsh Environment), 저비용(Low Cost) 등의 요소들을 고려하여 설계해야 한다. 그러나 현재 임베디드 시스템 개발에 이러한 요소들을 반영한 설계 기법들이 미비하게 제시되어 있다. 특히 임베디드 시스템 개발에 있어서 프레임워크를 기반으로 임베디드 시스템을 개발하는 형태가 거의 이뤄지고 있지 않다. 이로 인해 현재 개발되어 있는 임베디드 시스템들의 내부 코드들을 살펴보면 시스템 작동과 전혀 상관이 없는 코드들이 무수하게 잔재하고 있으며, 임베디드 시스템 개발에 있어서 재사용성이나 가변성에 대한 고려가 미흡한 실정이다. 따라서 본 연구에서는 임베디드 시스템의 재사용성을 향상시키기 위해 제안했던 재사용 프레임워크 설계에 대한 완전성이나 일관성을 보장하기 위해 Z를 이용하여 프레임워크 설계에 대한 정형 명세 기법을 제시하고자 한다. 또한 Z 언어를 통해 명세한 결과를 Z-Eves Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 보이고자 한다.
  7. 이은서;김중수 443
    https://doi.org/10.3745/KIPSTD.2010.17D.6.443 PDF KSCI
    COTS(Commercial Off The Shelf) 시스템은 점점 더 재사용 개발에 있어서 중요한 일중의 하나로 되어가고 있다. 그것은 개발될 소프트웨어 품질 혹은 프로젝트 일정에 영향을 미칠 수 있는 COTS의 신뢰성을 포함한다. COTS 분석의 결과가 생길 수 있는 위험의 결과와 함께 프로젝트에 문서화되어야 한다. 효율적인 위험관리는 문제에 쉽게 대처할 수 있게 해주며, 그것이 수용할 수 없는 예산이나 일정 지연이 되지 않도록 해준다. 본 연구에서는 COTS 개발 시, 프로세스 이정표와 노력에 관한 위험요소 분석에 대한 기준을 제시한다.
  8. 신세정;이원석 453
    https://doi.org/10.3745/KIPSTD.2010.17D.6.453 PDF KSCI
    국내외 TV방송의 디지털 전환 프로젝트가 본격적으로 진행되고 있다. 디지털 방송 서비스는 다매체, 다채널을 통한 방송 프로그램의 증가와 양방향 TV방송 서비스로 인해 사용자에게 다양한 방송 프로그램의 선택과 개인/커뮤니티별 맞춤형 시청 기회를 제공함으로써 새로운 방송서비스 환경을 필요로 한다. 본 논문에서는 TV-Anytime 영상 메타데이터에 대한 데이터 스트림 마이닝 기법을 이용하여 사용자의 시청 상황을 포함한 시청 패턴을 분석함으로써 개인/커뮤니티 시청 패턴 프로파일 및 시청 선호도 연관규칙 생성 기법을 적용한 개인/커뮤니티 맞춤형 Digital TV 시스템 을 제안한다. 또한, 임베디드 시스템 기반의 사용자 인터페이스를 구현하여 개인/커뮤니티 사용자들에게 적절한 추천 프로그램을 제공하고, 시청 프로그램 정보에 따른 시청 상황을 자동으로 제어하는 기능을 포함한다. 또한, 스마트폰 기반의 채널 추천 시스템을 구현하여 프로파일의 활용도를 증가시켰으며, 실험을 통하여 본 논문에서 제안하는 방법의 효율성을 검증한다.
  9. 신현경 463
    https://doi.org/10.3745/KIPSTD.2010.17D.6.463 PDF KSCI
    본 논문에서는 DCT 데이터에서 영상 데이터로의 해독 및 이진화 과정을 생략하고 컬러 영상의 DCT 관련 원자료를 사용하는 방법에 기반을 둔 매우 빠르고 안정적인 문자열 구간 분리 모형을 제안하였다. DCT 블록에 저장된 DC 및 3개의 주요 AC 변수들을 조합하여 축소된 저해상도 회색 영상을 만들고 횡렬 및 종렬 투영법을 통해 얻어진 픽셀 값의 히스토그램을 분석하여 문자 열 구간 사이에 존재하는 백색의 띠 공간을 찾아내었다. 이 과정 중 탐색되지 않은 문자 열 구간은 마코프 모델을 사용하여 숨겨진 주기를 찾아내어 복원하였다. 본 논문에 실험 결과를 제시하였으며 기존의 방법보다 약 40 - 100배 빠른 방법임을 입증하였다.
  10. 이봉규;여윤기;김기연;이종훈 471
    https://doi.org/10.3745/KIPSTD.2010.17D.6.471 PDF KSCI
    본 연구의 목적은 폭발적으로 성장하고 있는 스마트폰의 사용자 수용에 영향을 미치는 결정요인들을 탐색하는 것이다. 그리고 사용자 수용변수와 각 변수들 간의 영향 정도를 실증연구 방법론을 통해 분석하는 것이다. 연구의 주요 내용을 살펴보면, 본 연구는 DeLone & McLean(2003)의 개선된 IS 성공모델을 기저모델로 선정하여, 독립변수군을 시스템 품질군과 서비스 품질군으로 정의하였다. 그리고 정보기술 및 신규 서비스 수용에 관한 선행연구를 통해 신뢰와 인지적 몰입이라는 매개변수군과 사용자 만족도 및 실제사용이라는 종속변수군을 제시하여 연구모델을 완성하였다. 연구모델의 타당성 및 연구가설의 실증적 검증을 위해서는 200명의 스마트폰 사용자를 대상으로 서베이 조사 방식의 통계적 분석을 실시하였다. 분석 결과, 독립변수인 보안성과 매개변수인 신뢰 간의 가설을 제외한 모든 연구가설이 유의수준 범위에서 채택되어 연구가설의 타당성이 검증되었다.