권호 표지

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

Korea Information Processing Society

  • Bimonthly
  • /
  • 1598-2866(pISSN)

Domain

  • Information/Communication ＞ Information Processing Theory

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

Volume 15D Issue 6

  1. Hwang, Jin-Ho;Lee, Jeong-Wha;Kim, Gun-Woo;Shin, Young-Jae;Son, Jin-Hyun 733
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.733 PDF KSCI
    최근 정보의 디지털화와 휴대용 정보기기의 보편화로 휴대용 정보기기가 업무처리의 중요한 수단이 되었고 처리해야하는 정보의 양 또한 증가하고 있다. 이러한 휴대용 정보기기에서 무수한 디지털 정보를 효과적으로 처리하기 위해 휴대용 정보기기에 적합한 모바일 DBMS의 사용이 요구된다. 또한 휴대용 정보기기에서 데이터 저장장치로서 보편적으로 사용되는 플래시 메모리는 기존의 하드디스크에 비해 저장 비용이 높아 데이터 저장에 있어 공간적 제약을 받으며, 데이터 I/O에 따른 수명을 가짐으로서 사용성에 제약을 받는다. 이러한 이유로 플래시 메모리를 저장매체로 사용하는 DBMS가 보편적으로 사용할 수 있는 압축 데이터 관리 시스템이 연구되고 있다. 하지만 압축 데이터 관리 시스템의 연구는 초기 단계이며 몇 가지 문제점을 가지고 있다. 따라서 본 논문에서는 압축 데이터 관리 시스템의 문제점을 해결하고, 추가적인 관리방식을 제안하여 새로운 압축 데이터 관리 시스템을 제안한다.
  2. Kim, Min-Jung;Shin, Se-Jung;Lee, Won-Suk 741
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.741 PDF KSCI
    지속적으로 확장되는 데이터 스트림에 대한 데이터 마이닝 수행과정에서는 메모리 사용량을 가용한 범위 내로 제한하는 것이 중요한 요소이다. 본 논문에서는 데이터 스트림 환경에서 한정된 메모리 공간을 이용하여 빈발 항목집합을 탐색하는데 효과적인 프라임 패턴 트리(Prime pattern tree: PPT)구조를 제안한다. 프라임 패턴 트리는 기존의 전위 트리 구조와 비교하여 항목집합들을 하나의 노드로 관리함으로써 트리의 크기를 크게 줄일 수 있는 장점이 있다. 또한, 전지 임계값 $S_{\delta}$에 따라 노드를 병합하거나 분리하여 동적으로 트리의 크기와 결과 집합의 정확도를 마이닝 수행 중에 조절 할 수 있다. $S_{\delta}$값이 크면 한 노드에서 관리되는 항목집합의 수가 증가하게 되고, 출현 빈도수를 추정해야 하기 때문에, $S_{\delta}$값이 작을수록 결과집합의 정확도가 높다. 이처럼 PPT에는 트리의 크기와 정확도의 trade-off 가 존재한다. PPT의 이러한 특성에 기반하여, 데이터 스트림에서 갑자기 데이터 집합에 변화가 생겨 빈발항목이 될 가능성이 높은 항목들이 많이 출현하는 경우에도 마이닝을 지속적으로 수행할 수 있도록 지원한다. 본 논문에서는 프라임 패턴 트리를 이전 연구에서 제안한 데이터 스트림에서 최근 빈발 항목 탐색 방법인 estDec 방법에 적용하여 한정된 작은 양의 메모리 공간을 이용하여 온라인 데이터 스트림에서 빈발항목을 탐색하는 방법을 제시한다. 또한, 가용 메모리 범위에서 최적의 메모리를 사용하여 최적의 마이닝 결과를 얻을 수 있도록 하는 메모리 사용량에 대한 적응적 방법을 제시한다. 끝으로, 여러 실험을 통한 효율성 검증을 통해 제안된 방법의 여러 특성을 확인한다.
  3. Kim, Bo-Kyeong;Joo, Young-Do;Lee, Dong-Ho 755
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.755 PDF KSCI
    최근 NAND 플래시 메모리는 하드 디스크에 비해 작고, 속도가 빠르며, 저 전력 소모 등의 장점을 가지고 있어 차세대 저장 매체로 각광받고 있다. 그러나 쓰기-전-소거 구조, 비대칭 연산 속도 및 단위와 같은 독특한 특징으로 인하여, 디스크 기반의 시스템이나 응용을 NAND 플래시 메모리 상에 직접 구현시 심각한 성능저하를 초래할 수 있다. 특히 NAND 플래시 메모리 상에 B-트리를 구현할 경우, 레코드의 잦은 삽입, 삭제 및 재구성에 의한 많은 양의 중첩 쓰기가 발생할 수 있으며, 이로 인하여 급격한 성능 저하가 발생할 수 있다. 이러한 성능 저하를 피하기 위해 ${\mu}$-트리가 제안되었으나, 잦은 노드 분할 및 트리 높이의 빠른 신장 등의 문제점을 가지고 있다. 본 논문에서는 갱신 연산을 위해 특정 단말 노드에 해당하는 로그 노드를 할당하고, 해당 로그 노드에 있는 변경된 데이터를 한 번의 쓰기 연산으로 저장하는 로그 기반의 B-트리(LSB-트리)를 제안한다. LSB-트리는 부모 노드의 변경을 늦추어 추가적인 쓰기 연산의 횟수를 줄일 수 있다는 장점을 가지고 있다. 또한 키 값에 따라 데이터를 순차적으로 삽입할 때, 로그 노드를 새로운 단말 노드로 교환함으로써 추가적인 쓰기 연산의 횟수를 줄일 수 있다. 마지막으로, 다양한 비교 실험을 통하여 ${\mu}$-트리와 비교함으로써 LSB-트리의 우수성을 보인다.
  4. Yoon, Young-Mi;Bien, Sang-Jay;Park, Sang-Hyun 767
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.767 PDF KSCI
    마이크로어레이 기술은 최근 실험적 분자생물학 분야에서 활발히 사용되고 있는 기술이다. 마이크로어레이 데이터는 한 번의 실험으로 수 만개의 유전자에 대한 발현값을 얻을 수 있으므로, 여러 질병의 발현형질을 연구하는데 매우 유용하게 사용된다. 마이크로어레이 데이터의 문제점은 참여하는 유전자의 수에 비해 참여하는 샘플(생물조직샘플)의 수가 매우 적고, 분류분석 기법을 사용하여 얻어진 분류자의 해석이 어렵다는 점이다. 본 연구에서는 위의 문제점을 해결하고자, 샘플 내 순위를 이용하여 동일한 생물학적 목적으로 수행된 공개 마이크로어레이 데이터를 통합하고, 순위 비교를 기반으로 하는 다양한 유전자 개수로 이루어진 암 분류 결정 규칙들로 이루어진 분류자를 제안한다. 본 분류자는 k개의 규칙으로 이루어진 앙상블 방법을 기반으로 하며, 하나의 규칙은 최대N개의 유전자, 관련유전자간의 순위비교 관계식, 판별클래스로 이루어져 있다. 하나의 규칙에 참여하는 유전자의 수를 다양하게 함으로써 좀더 신뢰성 높은 분류자를 생성할 수 있다. 또한 본 분류자는 생물학적 해석이용이하며, 분류자를 구성하는 유전자를 명확히 식별할 수 있고, 총 개수가 많지 않으므로 임상환경에서의 사용가능성도 생각해 볼 수 있다.
  5. Park, Sa-Choun;Kwon, Gi-Hwon 777
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.777 PDF KSCI
    최근 정형 검증 분야에서 상태 폭발 문제를 극복하기 위해 만족가능성(Satisfiability) 처리기를 사용하는 방법이 많이 연구되고 있다. 만족가능성 처리기를 사용하려면 대상을 CNF 식으로 변환해야 하는데, 이진 기수 제약 조건은 시스템을 CNF 식으로 변환하기 위해 많이 사용되는 기법이다. 그러나 이진 기수 제약 조건은 이진 변수들의 집합을 다루기 때문에 이진 변수들의 순서 정보는 변환할 수 없었다. 본 논문에서는 이진 변수의 시퀀스에서 길이가 k인 서브시퀀스 추출 문제에 대한 CNF 변환 방법을 제안한다. 또한 실험을 통해 제안된 방법이 순서정보를 고려치 않고 적용한 변환 방법보다 훨씬 더 좋은 결과를 얻을 수 있었다.
  6. Kim, Jong-Phil;Hong, Jang-Eui 785
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.785 PDF KSCI
    임베디드 소프트웨어의 테스팅에 대한 다양한 기술 발전에도 불구하고 로봇, 위성 등의 응용 시스템에서는 여전히 빈번한 결함이 발생하고 있다. 이러한 결함의 근본적인 원인은 호스트 상의 테스트 과정에서 발견되지 못한 결함이 타겟 시스템으로 탑재되는 소프트웨어와 함께 내장되기 때문이다. 따라서 이러한 결함으로 인하여 발생할 수 있는 문제를 예방하기 위해서는 타겟 시스템이 동작하는 실 운영 환경에서 소프트웨어의 동작을 테스트하는 접근 방법이 필요하다. 본 연구에서는 Aspect 컴포넌트를 통해 임베디드 소프트웨어의 실행 시점에 기능 및 성능 요소들을 테스트하는 On-The-Fly 테스팅 방법을 제안하였다. 제안한 방법은 호스트상의 테스팅에서 예측하지 못했던 입력 조건에 대한 실제적인 테스트가 가능하며 시스템의 실 운영 과정에서 발생할 수 있는 오동작을 예방하는 기능과 테스트 코드에 대한 높은 재사용성을 제공하는 장점이 있다.
  7. Lee, Young-Min;Rhew, Sung-Yul;Kim, Jong-Bae 793
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.793 PDF KSCI
    소프트웨어의 품질, 개발 속도 및 비용 등 기존 소프트웨어 개발의 한계점을 해결하기 위한 새로운 대안으로써 오픈소스 소프트웨어를 활용한 개발 방법이 시도되고 있다. 특히, 중소기업들이 소프트웨어를 개발할 경우 대규모 개발 방법론 적용에 어려움을 겪고 있어 소규모 개발 방법에 대한 요구가 증가하고 있는 상황에서, 오픈소스를 활용한 소프트웨어 개발 방식은 비용을 절감하고 개발 기간을 단축시킬 수 있는 효율적인 방법이 될 수 있다. 이에 따라, 오픈소스 소프트웨어에 대한 다양한 분석들이 이루어졌지만 아직까지 산업현장에서 소프트웨어 개발에 오픈소스를 활용하기 위한 구체적인 절차나 방법이 없다. 본 연구에서는 이러한 문제들을 해결하기 위해 기존 연구에 대한 종합과 개발 프로젝트의 경험을 토대로 하여, 오픈소스의 식별과 선정을 위한 효과적인 절차와 방법을 제시하였다. 오픈소스 소프트웨어 선정을 위해서는 개발될 소프트웨어에 대한 정확한 요구사항을 식별하고, 요구사항과 일치하는 오픈소스를 조사하여 후보 목록을 추출하고, 평가기준을 수립하여, 이에 따라 활용 대상 오픈소스 소프트웨어를 선정하는 방법을 제시하였다. 또한 실제 프로젝트의 적용 실험과 평가를 통해 각 활동의 유효성과 개선점을 도출하였다.
  8. Lee, Kwan-Woo 803
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.803 PDF KSCI
    제품계열아키텍처는 제품에 따라 선택될 수 있는 가변요소를 포함하고 있는 아키텍처이다. 제품계열아키텍처부터 특정 제품을 위한 유효한 아키텍처를 유도하기 위해서는 제품계열아키텍처 내의 가변요소들을 체계적으로 관리해야 한다. 본 논문에서는 특성모델과 제품계열아키텍처 모델간의 명시적인 대응관계를 통해서 제품계열아키텍처의 가변성을 관리한다. 하지만, 이들 모델 간의 대응관계가 올바르지 않거나, 제품계열 아키텍처의 구성요소들 간에 일관성이 없다면, 제품계열아키텍처의 가변성 관리가 올바르게 이루어지지 않게 된다. 따라서 본 논문에서는 먼저, 제품계열아키텍처를 개념, 프로세스, 배치, 모듈의 네 가지 관점의 모델로 정의하고, 특성 모델과 이들 모델 사이의 대응관계를 정형적으로 정의 한다. 이를 바탕으로 제품계열아키텍처의 올바른 가변성 관리를 위해서, 제품계열아키텍처 모델의 일관성, 다른 관점의 아키텍처 모델간의 일관성, 특성모델과 제품계열아키텍처 모델간의 일관성 검사를 위한 규칙을 정의한다. 이러한 일관성 규칙은 제품계열아키텍처로부터 유효한 제품 아키텍처를 유도하기 위한 이론적 기반을 제공한다.
  9. Kim, Chul-Jin;Cho, Eun-Sook 815
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.815 PDF KSCI
    임베디드 시스템은 다양한 분야에 적용되고 있으며 빠르게 변하고 있는 시장의 요구사항을 대응하기 위한 체계를 갖추어야 한다. 만약 이러한 빠른 구축 체계를 갖추지 못한 제품은 단종되고 말것이다. Time-To-Market을 위한 구축 체계는 기존의 제품을 재사용하여 새로운 제품을 생산해 낼 수 있는 재사용 체계 또는 프레임워크 이다. 임베디드 시스템은 하드웨어를 기반으로 하고 있기 때문에 쉽게 변경이 가능하지 않지만 소프트웨어의 부분을 이용하여 유연하게 시스템을 변경할 수 있다. 따라서 본 논문에서는 임베디드 소프트웨어를 변경할 수 있는 재사용 프레임워크의 메타모델을 제안한다. 본 논문의 메타모델에서는 재사용 프레임워크의 기능적인 흐름을 설계하기 위한 동적 메타모델을 제안한다.
  10. Kim, Tae-Woong;Kim, Tae-Gong 825
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.825 PDF KSCI
    리팩토링은 내부적으로는 시스템의 품질을 개선하고, 외부적으로는 시스템의 기능을 유지하는 일종의 소프트웨어를 변경하는 과정이다. 이러한 리팩토링을 적용하여 기존 소스코드를 개선하기 위해서는 개선할 사항이 무엇인지를 아는 것이 우선이다. 이를 위해 Martin Fowler와 Kent Beck은 코드속의 나쁜 냄새(코드스멜)를 식별할 수 있는 방법을 제시 하였다. 또한 코드스멜을 탐지하고 어디에 어떤 리팩토링을 적용할 것인가를 결정하는 문제와 관련된 몇몇 연구가 발표되었다. 그러나 이러한 연구들은 코드스멜에 대한 명확한 표현이 부족하거나 한정된 코드스멜만을 탐지하는 단점이 있다. 그리고 리팩토링을 적용할 경우 행위보존을 위한 선행조건들의 표현방법이 리팩토링 절차에 포함되어 있거나 정형화되지 않아 행위보존의 모호함이 발생되는 단점을 가지고 있다. 이에 본 논문에서는 OCL을 이용하여 코드스멜의 정보를 정확히 명세화하고, OCL 번역기를 통해 코드스멜을 자동으로 탐지하여 리팩토링하는 프레임워크를 제안한다. 또한 적용사례를 통하여 자바소스코드속의 코드스멜을 OCL로 명세화하여 자동탐지하고, 리팩토링을 적용해 봄으로써 활용성과 효용성을 검증해본다.
  11. Seong, Jae-Seok;Kang, Dong-Su;Song, Chee-Yang;Baik, Doo-Kwon 841
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.841 PDF KSCI
    요구사항에 대한 우선순위는 릴리즈 플랜을 위한 핵심적 활동이기 때문에 요구공학에서 특히, 오픈 시장(Open Market)을 고객으로 하는 시장 주도형 제품개발에 있어서 중요하다. 또한, 요구사항 우선순위는 주어진 요구사항 간의 상호의존 관계를 바탕으로 프로세스 모델, 제품 종류 및 우선순위 프로세스에 대한 경험 등을 사전에 고려하여 우선순위화를 위한 방법과 관점 등을 선택하는 활동이 중요하다. 그러나, 기존 연구들은 요구사항간의 상호의존 관계를 정적 관계만 고려하였고, 고려된 관점들이 비용/가치 등으로 한정적이고 체계적인 우선순위 프로세스를 제공치 못하고 있다. 따라서 본 논문에서는 우선순위화를 위한 모델을 설계하고 개발 제품의 목표와 조직에 적합하도록 우선순위 방법과 관점 등을 선택할 수 있는 적응적 요구사항 우선순위 기법 및 프로세스를 제안한다. 특히, 요구사항간의 정적/동적 상호의존 관계 유형을 정의하고, 다양한 관점에 의한 우선순위화를 통해 릴리즈 플랜의 완성도를 높였다. 이로써 상호의존 관계 및 다양한 관점을 고려한 우선순위 모델기반의 체계적인 우선순위 프로세스를 정립하여 유연하고 충족스러운 우선순위화와 릴리즈 플랜을 통하여 합리적으로 의사결정을 도모할 수 있다.
  12. Cho, Dong-Joon;Choi, Hyuk 857
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.857 PDF KSCI
    본 논문은 디지털 영상의 저작권을 보호하기 위한 기술로 양자화 영상 워터마킹을 이용한 제거 가능한 로고 기법을 제안한다. 즉, 디지털 영상에 인지 가능한 로고를 삽입하여 저작권을 보호하며, 로고에 의해 제거된 부분의 정보를 워터마킹으로 영상에 삽입하여 정당한 사용 시에는 로고를 제거하고 원영상을 복원할 수 있다. 제안된 방법을 실제 영상에 적용하여 실험해 본 결과, 워터마크가 삽입된 영상이나 로고를 제거하고 복원된 영상 모두 원영상과 차이를 느낄 수 없는 우수한 화질을 보였으며, 저작권 보호 측면에서도 삽입된 로고에 의한 저작권 인지력이 뛰어나 실용적으로 매우 우수한 방법임을 확인하였다.
  13. Chu, Min-Seok;Ryu, Keun-Ho;Kim, Jun-Woo;Kim, Hung-Tae;Han, Bok-Ghee 861
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.861 PDF KSCI
    컴퓨팅 환경이 발전함에 따라 다양한 물리적 객체와 디지털 정보를 연동하는 자동인식 연구가 활발히 진행 중이다. 이러한 자동인식시스템은 다양한 산업분야에서 활용되고 있음에도 불구하고 보건의료와 관련한 자동인식 기술의 접목은 아직까지 다른 산업기술 전반에 미치지 못하고 있는 실정이다. 이에 따라 의료장비, 혈액, 인체조직 등 보건의료 용품의 자동인식에 관한 여러 연구가 진행 중이다. 이 논문은 인간 유전체 연구의 필수 연구재료인 생물자원을 대상으로 자동인식 기술의 적용 방안을 제안한다. 먼저, 자동인식기술 도입을 위해 사용 환경상의 고려사항을 정의하고, 조사과정 또는 실험을 통하여 적합한 형태의 태그 인터페이스로서 바코드를 선택하였다. 바코드 심볼로지는 2차원 바코드 심볼로지인 Data Matrix를 사용하고, 데이터 스키마는 국제적 범용성 추구를 위하여 UCC/EAN-128 기반으로 설계하였다. 제안된 기술들이 실제 환경에 적용되는지를 보이기 위한 어플리케이션을 개발하고, 이에 대한 실험 및 평가를 다음의 방법으로 수행하였다. 생물자원이 실제 보존되는 영하 $196^{\circ}C$, 영하 $75^{\circ}C$의 초저온 보존환경에서 바코드 인식실험을 한 결과 1.6초 내외의 평균 인식시간을 보이며, 데이터 스키마는 생물자원 활용 분야의 요구사항을 만족하는 것으로 평가되었다. 따라서 제안한 방법으로 생물자원의 정보처리 과정에서 정확성과 데이터 입력의 신속성이 제공될 수 있다.
  14. Noh, Yong-Deok;Jeong, Eun-Sung;Lee, Jeong-Sik;Kim, Kyoung-Hee 873
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.873 PDF KSCI
    로드킬을 방지하기 위하여 주로 사용하는 것이 도로상에 야생동물 출현 경고 표지판을 설치하거나 생태로를 건설하는 것이다. 경고 표지판은 운전자에게만 경고를 보내는 단방향적인 방법으로 과거의 데이터들은 이 방법이 그다지 효과적이지 않음을 보여주고 있다. 생태로는 건설비용이 높아서 충분한 수의 생태로를 건설하기가 어렵다는 단점이 있다. 따라서 여기서는 운전자와 야생동물 모두에게 경고를 보내어 로드킬을 사전에 예방하는 시스템을 설계, 구현하였다. 이 시스템은 센서부, 스피커, 웹서버, 차량내의 네비게이션으로 구성되어 있으며, 소프트웨어는 웹서비스를 이용하고 닷넷 환경하에서 작동하도록 설계하였다.
  15. Lee, Eun-Jung 879
    https://doi.org/10.3745/KIPSTD.2008.15-D.6.879 PDF KSCI
    최근 웹 서비스가 다양한 응용 분야에 도입되면서 모바일 환경에서도 웹서비스 조합 어플리케이션의 개발이 활발하다. 모바일 환경에서 여러 개 서비스를 지원하는 사용자 인터페이스는 각 서비스의 호출과 응답 확인을 위한 여러 개의 뷰가 필요하고 서비스 간의 조합 순서와 흐름을 분석할 필요가 있다. 본 논문에서는 서비스 집합의 명세로부터 프리젠테이션 요소인 뷰를 추출하고 서비스 입출력 데이터의 타입에 기반하여 뷰 및 서비스 흐름 분석 방법을 제안한다. 뷰 및 서비스 흐름 분석으로부터 서비스 호출을 위한 사용자 인터페이스 요소가 자동 생성될 수 있다. 제안된 방법은 서비스 조합을 위한 모바일 사용자 인터페이스를 생성할 수 있다. 마지막으로 본 논문에서는 자체 개발된 XForms 브라우저를 이용하여 제안된 방법에 의해 생성된 XForms 페이지가 REST 기반 서비스 접속을 위한 클라이언트로 동작할 수 있음을 보였다.