권호 표지

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 16D Issue 6

  1. Kim, Jong-Sun;Son, Jin-Hyun;Lee, Dong-Ho 825
    https://doi.org/10.3745/KIPSTD.2009.16D.6.825 PDF KSCI
    최근에 낸드 플래시 메모리는 빠른 접근속도, 저 전력 소모, 높은 내구성 등의 특성으로 인하여 차세대 대용량 저장 매체로 각광 받고 있다. 그러나 디스크 기반의 저장 장치와는 달리 비대칭적인 읽기, 쓰기, 소거 연산의 처리 속도를 가지고 있고 제자리 갱신이 불가능한 특성을 가지고 있다. 따라서 디스크 기반 시스템의 버퍼 교체 정책은 플래시 메모리 기반의 시스템에서 좋은 성능을 보이지 않을 수 있다. 이러한 문제를 해결하기 위해 플래시 메모리의 특성을 고려한 새로운 플래시 메모리 기반의 버퍼 교체 정책이 제안되어 왔다. 본 논문에서는 디스크 기반의 저장 장치에서 우수한 성능을 보인 CLOCK-Pro를 낸드 플래시 메모리의 특성을 고려하여 개선한 CLOCK-NAND를 제안한다. CLOCK-NAND는 CLOCK-Pro의 알고리즘에 기반하며, 추가적으로 페이지 접근 정보를 효율적으로 활용하기 위한 새로운 핫 페이지 변경을 한다. 또한, 더티인 핫 페이지에 대해 콜드 변경 지연 정책을 사용하여 쓰기 연산을 지연하며, 이러한 새로운 정책들로 인하여 낸드 플래시 메모리에서 쓰기 연산 횟수를 효율적으로 줄이는 우수한 성능을 보인다.
  2. Chong, Jae-Hyok;Park, Hyoung-Min;Hong, Seok-Jin;Shim, Kyu-Seok 835
    https://doi.org/10.3745/KIPSTD.2009.16D.6.835 PDF KSCI
    일반적으로 데이터베이스 시스템에서의 질의 수행은 대부분의 경우 빠른 응답시간과 더 적은 메모리 사용량을 장점으로 가지는 파이프라이닝 기법으로 이루어진다. 이 때, 질의 수행 계획(QEP)의 각각의 연산 노드들은 Open(), Next(), Close() 함수들을 지원하는 iterator의 인터페이스를 가진다. 그런데, 플래시 메모리 기반의 휴대용 기기들을 위한 임베디드 데이터베이스 시스템에서는 iterator의 Next() 함수뿐만 아니라, 현재 레코드의 이전 레코드를 리턴해주는 Previous()와 같은 함수를 필요로 하는 경우가 많다. 이는 임베디드 환경의 경우 각각의 프로그램이 사용할 수 있는 메모리의 양이 제한적이므로, 사용자가 이전 레코드를 요청하는 경우, 결과 레코드 커서가 현재 레코드를 기준으로 이전 레코드를 다시 가져와야 하기 때문이다. 본 논문에서는 이러한 임베디드 데이터베이스 시스템의 질의 수행 시 각각의 연산 노드들이 Next() 함수뿐만 아니라 Previous() 함수를 블록 단위로 지원할 수 있도록 새롭게 설계 구현하는 과정에서 발생하는 방향 전환 문제를 소개하고 이를 해결하기 위한 블록 단위 스키핑 기법을 제안한다.
  3. Lee, Bum-Suk;Hwang, Byung-Yeon 845
    https://doi.org/10.3745/KIPSTD.2009.16D.6.845 PDF KSCI
    웹2.0 환경의 발달과 함께 XML 데이터의 사용도 증가하였는데, 특히 블로그나 뉴스 피드의 정보 전달을 위한 RSS나 ATOM 포맷의 기반 기술로 사용되면서 그 장점과 가치를 인정받고 있다. XML 데이터의 인덱싱을 위한 여러 기법들 중 빠른 검색성능을 보인 비트맵 클러스터링은 관계형 DBMS를 기반으로 메모리에 인덱스를 유지하는 기법이다. 기존의 비트맵 클러스터링 기법을 이용하여 XML 데이터를 인덱싱할 때 너무 많은 클러스터가 생성되어 오히려 검색 효율과 결과의 품질이 저하되는 문제점이 있었다. 본 논문에서는 이 문제점을 해결하기 위해 사용자가 제시하는 k개의 클러스터를 생성하는 k-비트맵 클러스터링 기법과 대표비트를 생성할 때 배제된 단어를 검색하기 위한 역인덱스를 함께 유지하는 방법을 제안한다. 성능평가를 수행한 결과 제안하는 기법은 생성되는 클러스터의 수를 임의로 설정할 수 있을 뿐만 아니라 단일 단어 검색에서 높은 재현율을 보였고, 2개의 인덱스를 함께 유지할 때에는 질의에 대해 모든 관련된 문서의 반환을 보장하였다.
  4. Kim, Guk-Jin;Park, Gun-Woo;Lee, Sang-Hoon 851
    https://doi.org/10.3745/KIPSTD.2009.16D.6.851 PDF KSCI
    집단 따돌림을 청소년 문제로 국한했던 것과는 달리 오늘날 직장 내 집단 따돌림은 커다란 문제로 대두되고 있다. 국제 노동기구(ILO)의 따돌림 관련 유수의 보고와 국내의 경우를 볼 때 직장 내 따돌림 경험 응답 비율이 9.1%('03)에서 30.7%('08)로 증가하고 있다. 이러한 따돌림은 개인적, 사회적으로 커다란 손실을 초래한다. 제안한 알고리즘은 사용자 프로파일을 통해 현재 Mobbing(집단 따돌림)1) 희생자뿐 만 아니라 잠정적인 Mobbing 희생자의 가능성을 파악하여 효율적인 인원관리가 가능하다. 본 논문에서는 Mobbing 현상에 관련된 사용자 프로파일 즉, 7개의 요소(Factor)와 그 하위에 포함된 50개의 속성(Attribute)들을 선정한다. 다음으로 선정한 속성들에 대해 나와 사용자들 사이에 관계가 있으면 ‘1', 관계가 없으면 ‘0'으로 표현한다. 그리고 나와 사용자들간의 유사도 산정을 위해 각 요소안에 포함된 속성들의 합에 유사도 함수를 적용한다. 다음으로 클레멘타인의 인공신경망 알고리즘을 통해 속성들이 포함된 요소가 취할 최적의 가중치를 산출하고, 이 값들의 총합으로 Mobbing 지수를 산정한다. 마지막으로 online social network 사용자들의 Mobbing 지수를 본 논문에서 설계한 G22) Mobbing 성향 분류 모델(4개의 그룹; Ideal Group of the online social network, Bullies, Aggressive victims, Victims)에 매핑하여 사용자들의 Mobbing 성향을 파악하고 이를 토대로 효율적인 인원관리에 기여할 수 있다.
  5. Joo, Jin-Ung;Kim, Hak-Soo;Hwang, Jin-Ho;Son, Jin-Hyun 859
    https://doi.org/10.3745/KIPSTD.2009.16D.6.859 PDF KSCI
    관계형 데이터베이스 기반의 키워드 검색 기법에 대한 연구에서의 관심에도 불구하고 관계형 데이터 스트림 기반의 연구는 아직 미흡한 수준이다. 오늘날 스트리밍 데이터는 데이터 관리 측면에서 중요한 연구 토픽이기 때문에 관계형 데이터 스트림 기반의 키워드 검색 기법에 대한 연구는 매우 중요하다. 이러한 관점에서 본 논문은 관계형 데이터 스트림 기반의 키워드 검색 기법과 관련된 연구들을 먼저 분석하고 키워드 검색 질의를 처리하는 동안에 발생되는 조인 비용을 최소화하는 기법에 대해 초점을 둔다. 결과적으로 본 논문은 관계형 데이터 스트림에서 사용자를 위해 좀 더 의미 있는 질의 결과를 산출하기 위한 고급 키워드 검색 기법을 제안하고 효율적인 질의 처리를 위한 계층적 클러스터링을 사용한 질의 최적화 기법을 제안한다.
  6. Hong, Jang-Eui;Kim, Doo-Hwan 871
    https://doi.org/10.3745/KIPSTD.2009.16D.6.871 PDF KSCI
    임베디드 소프트웨어의 복잡성 및 대형화로 인하여 기능적 요구사항뿐만 아니라 소모전력 관리와 같은 비기능적 요구사항이 중요시되고 있다. 본 연구에서는 소스 코드 기반의 소모 전력을 분석하는 기존의 접근 방법과 달리 UML 2.0 기반의 모델을 중심으로 하는 임베디드 소프트웨어의 소모전력 분석 기법을 제시한다. 특히 소모 전력 분석을 위해 요구되는 에너지 컴포넌트에 대한 라이브러리 구축에 대하여 제시한다. 제시하는 라이브러리는 모델 기반의 소모전력 분석을 가능하도록 지원할 뿐만 아니라, 임베디드 응용의 변경에 따른 라이브러리 적용이 쉽게 이루어질 수 있다는 장점을 제공한다.
  7. Kim, Da-Jeong;Lee, Eun-Ser 881
    https://doi.org/10.3745/KIPSTD.2009.16D.6.881 PDF KSCI
    본 연구에서는 소프트웨어 기반으로 물품관리를 하기 위한 VMDC(View, Model, Dispatcher, Controller) 아키텍처를 제안한다. 물품을 인력이 아닌 소프트웨어로 관리하기 위하여 여러 아키텍처들이 존재한다. MVC와 기존 아키텍처의 경우, 공통된 객체의 전달로 불필요한 데이터가 이동되는 문제점이 발생한다. 따라서 이와 같은 문제점을 해결하기 위하여 VMDC(View, Model, Dispatcher, Controller) 아키텍처를 제시하고자 한다. VMDC(View, Model, Dispatcher, Controller) 아키텍처의 Dispatcher(사령부)는 각 Controller(컨트롤러)가 필요로 하는 데이터를 파악하고 그것을 기반으로 하여 객체를 재구성함으로서 효율적인 데이터 이동을 하도록 한다. 또한 VMDC(View, Model, Dispatcher, Controller) 아키텍처를 이용하여 개발된 식품관리 프로그램으로 사용사례를 보이고, 효율성을 제시 후 향후 연구방향 또한 제시한다.
  8. Nam, Tae-Woo;Yeom, Keun-Hyuk 889
    https://doi.org/10.3745/KIPSTD.2009.16D.6.889 PDF KSCI
    현재 컨테이너 물동량은 지속적으로 증가하고 있는 추세이며 이에 따라 수송 원가를 절감하기 위해 초대형 컨테이너선들이 늘어나서 컨테이너 운송이 대형화되어지고 있다. 그러나 항만의 자원은 한정되어 있어서 효율적이고 안전하게 운송하기 위해서는 컨테이너에서 수집된 센서 데이터를 기반으로 환경과 상황에 따른 정보들을 활용하여 지능적이고 적응적인 서비스를 제공하는 방법이 필요하게 되었다. 본 논문에서는 이러한 문제를 해결하기 위해서 상황인식 기법을 적용한 컨테이너 상황인식 미들웨어를 제시하였다. 먼저 사용자, 사물과 동작, 서비스를 포함하는 모든 것을 통칭 적으로 컨텍스트라는 범주로 포함시키고 이 정보를 바탕으로 서비스의 제공이 필요한 상황마다 활용하기 위해서는 컨테이너 도메인의 상황적 요소를 분석해서 컨테이너가 처할 수 있는 특정 상황들이 어떠한 요소들의 조합으로 이루어지는지 정의하고 그 요소들 사이에는 어떤 관계성이 있는지에 대한 컨테이너 상황 온톨로지 모델링을 하였다. 온톨로지 모델을 바탕으로 컨테이너 및 환경에 대한 컨텍스트를 온톨로지로 구축하고 추론을 위한 규칙을 기반으로 상황인식적인 서비스를 추론하는 미들웨어의 개발 및 우선순위 등 정책적인 상황 관리를 가능하게 하는 기능을 구현하였다.
  9. Kim, Dae-Yeob;Youn, Cheong 899
    https://doi.org/10.3745/KIPSTD.2009.16D.6.899 PDF KSCI
    소프트웨어 형상관리를 통한 소프트웨어 개발 생산성 및 품질의 향상은 체계적이고 일관성 있는 변경 관리에 기반한다. 변경 관리에 있어 형상항목으로 식별된 산출물은 조직 구성원들에게 그 변경 이력을 제공해야 하며 이를 통해 구성원들은 해당 산출물에 대한 변경을 정확히 추적할 수 있어야 한다. 일반적인 소프트웨어 형상관리 시스템들은 산출물에 대한 추적 정보를 형상관리 시스템 내에서만 제공하고 있으며 개인의 작업공간에서 발생한 개별적인 변경까지 추적하는 기능을 제공하지 못하고 있다. 본 논문은 형상관리 시스템과 개인의 작업공간을 통합함으로써 형상항목뿐만 아니라 개인에 의한 산출물의 변경까지 추적할 수 있도록 하였다. 통합 환경을 통해 형상항목의 수정버전(revision)을 작업공간의 산출물 버전에 태그로 연결시켰으며 두 환경 사이의 연계된 변경 과정에서 추적성 정보의 효율적인 관리를 가능하게 하였다.
  10. Chung, In-Sang 911
    https://doi.org/10.3745/KIPSTD.2009.16D.6.911 PDF KSCI
    항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.
  11. Shin, Seung-Hun;Park, Seung-Kyu;Jung, Ki-Hyun 921
    https://doi.org/10.3745/KIPSTD.2009.16D.6.921 PDF KSCI
    소프트웨어가 이미 배포되어 사용되고 있는 경우, 상황에 따라 소프트웨어에 내재된 취약성은 심각한 사회적, 경제적 영향을 미칠 수 있다. 그러므로 소프트웨어의 취약성은 개발 단계에서부터 충분한 고려가 필요하다. 소프트웨어의 모델 및 시뮬레이션은 소프트웨어의 개발 단계에서 사용될 수 있는 취약성 검사를 위한 테스트 정책의 하나로 고려될 수 있다. 본 논문에서는 해당 방법의 사용 가능성 확인을 위해 톨레미를 이용하여 DNS 시스템의 행동 양식을 모델링하고 이를 시뮬레이션 하였다. 실험 결과에 따르면 기존에 알려진 DNS 서버의 취약성이 효과적으로 검출되고 있음을 확인할 수 있었고, 이는 모델 및 시뮬레이션이 취약성 테스팅에 사용 가능함을 의미한다.
  12. Choi, Hwan-Bok;Lee, Eun-Ser;Kim, Yun-Ho 927
    https://doi.org/10.3745/KIPSTD.2009.16D.6.927 PDF KSCI
    본 논문에서는 UML CASE 도구 프레임워크 구축에 이용할 수 있는 공통성 및 가변성 분석 기법을 제안하고자 한다. 공통성 및 가변성 분석은 동일 도메인에서 어플리케이션 특성에 따라 변할 수 있는 영역과 변하지 않는 영역을 구분함으로써 확장과 재사용성을 향상시킬 수 있는 방법이다. 공통성 및 가변성 분석 기법으로 클래스에 기반한 분류기법을 제안하였으며, 이를 명시적으로 나타낼 수 있는 표기법을 제시하였다. 또한 분석 기법을 바탕으로 프레임워크를 구현하였으며, 결함 제거 효율성을 이용해 분석 기법의 검증을 수행하였다.
  13. Choi, Jae-Hyun;Park, Jae-Won;Lee, Nam-Yong 935
    https://doi.org/10.3745/KIPSTD.2009.16D.6.935 PDF KSCI
    최근 다양한 네트워크 기술들을 통합하고 하나의 단일화된 유비쿼터스 네트워크를 형성하여 사용자에게 효과적으로 서비스를 제공하려는 기술적 시도들이 많이 이루어지고 있다. 특히, OSGi Alliance에서 제안된 OSGi는 자바기술을 기반으로 서비스의 동적 재구성을 지원함으로써 다양한 미들웨어 환경 사이에서 서비스간의 상호연동 및 유비쿼터스 네트워크 구성을 위한 핵심 인프라로서 많이 활용되고 있다. 그러나 현재 OSGi 표준에서는 내부에 등록된 서비스를 외부환경에서 공개(publish)하고 호출 및 연동하기 위한 메커니즘을 정의하고 있지 않아, 분산 환경에서 효율적인 서비스의 동적 재구성 및 협업을 달성하는 데에 다소 어려움이 있다. 따라서 본 논문에서는 OSGi 환경에서 등록된 서비스들의 효율적인 서비스의 공개 및 연동을 위한 JARSIO(JAva Remote Service Invocation for OSGi) 프레임워크를 제안한다. JARSIO는 TCP/IP 통신을 기반으로, OSGi 환경에서 동적으로 재구성되는 다양한 서비스들을 원격지에서 자유롭게 호출 및 연동 가능할 수 있도록 지원한다.
  14. Kim, Ki-Youn;Lee, Duk-Sun;Seol, Jeong-Seon;Lee, Bong-Gyou 945
    https://doi.org/10.3745/KIPSTD.2009.16D.6.945 PDF KSCI
    본 연구의 목적은 첫째, 인터넷전화(Voice over Internet Protocol)의 사용자 수용에 미치는 결정요인을 정의하고, 둘째, 수용 이론들의 통합모형인 UTAUT를 기저모형으로 하여, 성과기대감, 사회적 영향, 노력기대감, 사용촉진조건, 행위의도와 사용행위 등의 잠재변수 간의 복합적인 인과관계를 검증하는 것이다. 셋째, 비용기대감 변수를 새롭게 정의하여 연구가설에 포함하였고, 각 변수들 간의 경로에 영향을 주는 조절변수로서 사용자 연령, 성별, 경험기간의 조절효과를 분석하였다. 또한, VoIP의 실제 사용자 641명을 표본 조사함으로써, 행위의도와 사용행위 변수 간의 개념적 차이를 명확히 구분하여 보다 정확한 분석 결과의 향상을 도모하였다. 사용자 수용에 대한 기존 연구들은 사용행위 변수를 검증할 때, 실제 사용자뿐만 아니라 긍정적인 행위의도를 가진 미래의 잠재적 사용자를 포함시키는 사례가 많았다. 분석 결과, 제시한 모든 연구가설이 채택되었으며, 조절효과에서 연령이 성과기대감, 사회적 영향과 행동의도 간에, 경험기간은 사용촉진조건, 행위의도와 사용행위 간에 정의 관계가 성립하였다.