권호 표지

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

  1. Kim, Gyoung-Bae;Cho, Sook-Kyoung;Bae, Hae-Young 1213
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1213 PDF KSCI
    이동 컴퓨팅 기술이 발전함에 따라 실시간으로 트랜잭션을 처리해야 하는 다양한 이동 애플리케이션에 대한 요구가 증가되고 있다. 원격 데이터에 대한 접근을 해야 하는 이동 환경에서 데이터에 대한 접근지연은 실시간 트랜잭션의 시간적인 제약조건 준수에 대한 가장 심각한 문제가 된다. 이동 실시간 트랜잭션은 트랜잭션의 결과의 정확성뿐만 아니라 트랜잭션의 완료 시간을 보장해야 한다. 본 논문에서는 이동 실시간 트랜잭션들 간의 충돌을 해결하기 위한 낙관적인 동시성제어 기법을 제안한다. 제한된 기법은 이동 환경에서의 핸드오버나 단절에 의해 발생되는 트랜잭션의 연속적인 철회와 지연의 영향을 최소화하였다.
  2. Lee, Eung-Jae;Lee, Yang-Koo;Ryu, Keun-Ho 1221
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1221 PDF KSCI
    모바일 환경에서 정보 제공 및 처리의 대상이 되는 사람, 자동차, 비행기 둥과 같은 이동객체는 시간이 경과함에 따라 끊임없이 자신의 위치를 변경하는 특징을 가지며, 이러한 정보들을 데이터베이스에서 효과적으로 처리하기 위해서는 연속적인 위치 변경을 수용할 수 있는 저장공간과 색인 유지 및 관리 기술이 필요하다. 기존의 색인 기법들은 색인의 유지 성능보다 질의 처리 능력을 향상시키는데 노력을 기울여 왔기 때문에 복잡하게 이동하며 매우 빈번하게 위치 정보를 갱신하는 이동객체 정보를 관리하기 어렵다. 이 논문에서는 질의 처리 성능뿐만 아니라 이동객체의 빈번한 위치 갱신을 효율적으로 처리하기 위해 고정 그리드 방식의 색인과 R-Tree의 장점을 결합한 ACAR-Tree(Adaptive Cell index with Auxiliary R-Tree)를 제안한다. 제안된 ACAR-Tree는 R-Tree에서 색인의 재구성으로 인하여 갱신 성능이 저하되는 단점을 보완하기 위하여 고정 그리드 방법의 셀 기반의 색인 방법을 기초로 한다. 또한 고정 그리드 방법에서의 데이터 분포가 편중되었을 경우의 색인 성능저하 문제를 해결하기 위하여, 셀과 버켓이 1 : 1로 매핑되는 셀에서 오버플로가 발생하였을 경우 해당 버켓이 부가적인 색인 구조인 보조R-Tree로 전환하여 처리한다. 제안된 방법을 다양한 데이터 분포 및 데이터 크기에서 실험한 결과, 기존의 R-Tree 기반의 색인 방법과 비교하여 색인의 크기가 크게 감소하였으며, 질의 및 갱신 성능에 대해서도 뛰어난 성능을 보였다.
  3. Kim, Dong-Ho;Lee, Hye-Jin;Lee, Hyun-Ah;Kim, Jin-Suk 1231
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1231 PDF KSCI
    인터넷 기술의 발달로 물류분야에서는 물류 회사간 인터넷 기반의 가상 비즈니스 활동 또는 서비스 아키텍쳐를 의미하는 e-Logistics라는 새로운 개념에 대한 활발한 연구가 진행되었다. 동적이고 광역화 범위를 대상으로 하는 e-Logistics 환경에서 기존의 차량관제기술은 위치 데이터 통합과 저장 및 공유와 같은 많은 문제점 야기하며, 이를 효과적으로 해결하기 위해서는 이동체 기술 개발이 필요하다. 따라서 이 논문에서는 표준명세와 컴포넌트 기법을 기반으로 차량의 위치데이터에 대한 통합 수집에서 위치정보의 향상된 공유성을 제공하는 이동체 관리 시스템의 세부요소들을 제안하였으며, 차세대 물류차량 관제 시스템의 구축 및 운용에서 비용과 시간 절감의 기대효과를 기대할 수 있다.
  4. Kim, Dong-Ho;Kim, Jin-Suk 1239
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1239 PDF KSCI
    인터넷 기반의 광역화 물류환경인 e-Logistics에서 요구하는 가시성을 충족하기 위해서는 지역별 전자지도 및 차량 위치정보에 대한 공유와 통합이 필수적이다. 기존의 대부분의 차량관제시스템들은 독자적인 체계를 중심으로 구축되었기 때문에 정보의 공유와 통합을 위해서는 막대한 비용이 필요하다. 이를 효과적으로 해결하기 위해서 본 논문에서는 XML 엔코딩 표준인 GML을 이용하여 이동체 위치정보와 지도정보의 프리젠테이션을 위한 컴포넌트 기반의 개방형 시스템을 설계하고 구현하였다. 아울러 e-Logistics 환경의 배송 시나리오를 통한 실험을 통해 확장성 및 상호 운용성에 대한 우수성을 확인하였다.
  5. Min, Kyoung-Wook;Han, Eun-Young;Kim, Gwang-Soo 1247
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1247 PDF KSCI
    개인의 이동성을 중심으로 하는 LBS(Location-Based Services, 위치기반 서비스)는 이동통신 단말기의 진화 및 제반 인프라의 급속한 발전으로 인해 다양한 서비스의 요구가 증대되고 있다. 이러한 LBS를 가능하게 하는 기술은 크게 위치 측위 기술, 플랫폼 기술, 컨텐츠 처리 기술 및 이동체 DBMS 기술 등으로 구분된다. 이 중 플랫폼 기술은 위치제공 게이트웨이 서버와 연동하여, 과금, 인증. 위치 정보 보호, 위치 트리거, 지능형 위치획득 등의 일반적인 기능을 제공하는 역할을 수행한다. 국내 표준 단체에서는 위치 정보의 요청 및 제공을 위한 표준 인터페이스를 제공하고 있으며, 지리 정보의 대표적인 컨소시움인 OGC(Open GIS Consortium)의 OpenLS(Open Location Service)에서는 핵심 LBS를 제공하기 위한 표준 인터페이스를 정의하고 있다. 이 논문에서는 다양한 LBS를 제공하기 위하여 위치제공 게이트웨이 서버 및 컨텐츠 서버와 연동하는 서비스 플랫폼을 구현하였으며, 일반적인 플랫폼의 기능 이외에 다음과 같은 특징을 갖는다. 첫째, 서로 다른 위치제공 게이트웨이 서버에 대하여 동일한 인터페이스를 이용하여 위치 정보를 요청, 제공 할 수 있다. 둘째, OpenLS에서 제공하고 있는 4가지 핵심 컨텐츠 서버와 표준화된 방법으로 연동할 수 있다. 셋째, 기존의 무선 단말의 위치뿐만 아니라 유선 전화의 위치 또한 표준 인터페이스를 이용하여 제공할 수 있다. 넷째, 현재 위치에 대한 정보뿐만 아니라, 이동체 서버와 연동하므로 과거 이동 궤적에 대한 정보를 제공할 수 있다. 이 논문은 표준화된 방법을 이용하여 플랫폼의 구현 방법을 제시함으로써, LBS 시스템의 구축 및 활용에 크게 기여하였다.
  6. Cha, Jeong-Hee;Jang, Hyo-Jong;Park, Yong-Woon;Kim, Gye-Young;Choi, Hyung-Il 1259
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1259 PDF KSCI
    제한된 훈련장안에서 실전에 대비한 훈련이 되려면, 다양한 전투상황이 부여된 현실감 있는 모의훈련이 필수적이다. 본 논문에서는 현실감 있는 모의훈련을 위해 가상영상이 아닌 지상기반 CCD 카메라영상에 지정된 시나리오대로 가상표적을 전시하는 방법을 제안한다. 이를 위해 고해상도 GeoTIFF(Geographic Tag Image File Format) 위성 영상과 DTED(Digital Terrain Elevation Data)를 이용하여 현실감 있는 3차원 모델을 생성(운용자용)하고, 입력된 CCD 영상(운용자, 훈련자용)으로부터 도로를 추출하였다. 위성영상과 지상기반 센서영상은 관측위치, 분해능, 스케일 등에 많은 차이가 있어 특징기반 정합이 어렵다. 따라서 본 논문에서는 영상 워핑함수인 TPS(Thin-Plate Spline) 보간 함수를 일치하는 두개의 제어점 집합에 적용하여 3차원 모델에 표시된 이동경로를 따라 CCD 영상에서도 표적이 전시되는 이동 동기화 방법을 제안하였다. 실험환경은 Pentium4 1.8MHz(RAM 512M)의 PC 2대를 사용하였으며, 실험 영상은 대전지역의 위성영상과 CCD 영상을 이용, 제안한 알고리즘의 유효성을 입증하였다.
  7. Kim, Hee-Cheul;Lee, Sang-Sik;Song, Young-Jae 1269
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1269 PDF KSCI
    본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 또, 랄리 분포를 이용한 랄리 모형을 적용하여 모수 추정방법을 연구하였다. 본 연구에서는 기존의 최우추정법과 잠재변수를 도입하여 깁스 샘플링(Gibbs sampling)을 이용한 베이지안 모수추정 방법을 비교하고 그 특징을 분석하고자 한다. 또, 효율적 모형을 위한 모형선택으로서 잔차제곱합(Sum of the squared errors ; SSE)과 Braun 통계량을 적용하여 모형들에 대한 효율성 입증방법을 설명하였다. 그리고 수치적인 예로서 실제 자료를 이용한 수치 견과를 나열하였다. 이 접근방법을 기초로 하여 수명분포가 중첩(Superposition) 및 혼합(Mixture)인 경우에 대한 접근방법이 연구되었으면 한다.
  8. Cho, Jae-Kyu;Lee, Kil-Sup;Lee, Sung-Jong 1277
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1277 PDF KSCI
    정보화 사회로 발전이 되면서 고품질 소프트웨어에 대한 관심과 요구가 증대되고 있다. 이에 따라 소프트웨어 제품 품질을 평가 및 관리하는 활동이 개발 활동과 함께 중요시되고 있다. 또한, 소프트웨어는 관련되는 이해당사자 마다 품질을 바라보는 다양한 시각이 존재할 수 있으며, 개발의 각 단계에서 중점적으로 관리되어야 할 품질특성이 필요하게 된다. 이러한 다양한 관점과 수명주기의 특성을 고려한 품질특성의 중요도는 품질관리 활동을 보다 효과적으로 수행할 수 있게 해준다. 그러나 소프트웨어 품질의 중요도에 대한 연구는 그 필요성과 효과성이 제대로 부각되지 않아 많은 연구가 진행되지 않았다. 본 논문에서는 소프트웨어 제품 품질의 기준이 되는 ISO/IEC 9126을 기반으로 소프트웨어 수명주기에서 품질특성의 중요도를 결정하는 기법을 제시하고자 한다. 제안된 기법은 소프트웨어와 관련되는 주요 이해당사자들을 대상으로 한 설문조사와 AHP 기법을 이용한 중요도 분석을 통해 이루어진다. 이를 통하여 수명주기에서 중요도 우선순위에 의하여 품질특성을 선별할 수 있으며, 소프트웨어 품질을 정량적으로 측정하고 개발 완료 후의 소프트웨어의 품질을 예상할 수 있게 하여 고품질의 소프트웨어를 획득할 수 있게 한다.
  9. Park, Joong-Yang;Park, Jae-Heung;Kim, Young-Soon 1287
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1287 PDF KSCI
    최근 소프트웨어 신뢰성을 평가하기 위해 신뢰성 측도와 커버리지 간의 관계가 연구되고 있다. 특히 커버리지에 기반한 소프트웨어 신뢰성 성장 모델에서 평균치 함수는 소프트웨어의 신뢰성 성장을 나타내는데 매우 중요한 역할을 한다. 본 논문은 커버리지에 기반한 기존 모형들의 문제점을 평균치 함수와 그 모형이 근거하는 가정을 바탕으로 파악하고, 그 문제점을 해결하기 위한 새로운 평균치 함수를 제안한다. 제안된 새로운 평균치 함수는 불완전 결함 발견과 구문의 반복 실행이 허용되는 일반적인 테스팅 환경에서 도출된 결과이다. 마지막으로 실제 데이터에 제안된 모형을 적용하여 그 성능을 평가한다.
  10. Kwon, Gi-Hwon 1295
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1295 PDF KSCI
    지금까지 제시된 정형 검증 기법들 중에서 모델 체킹이 가장 효과적이라는 평가를 받고 있지만, 모델 체킹이 실제 활용되기 위해서는 상태 폭발 문제를 극복해야 한다. 본 논문에서는 상태 폭발 문제를 방지하기 위해서, 원래 모델 M으로 부터 추상화 모델 M'을 얻는 방법을 제안하였다. 주어진 논리식의 모델 체킹에 필요한 변수만을 추출한 후. 모델의 상태 공간을 이들 변수들에 투영함으로서 추상화 모델 M'을 얻었다. M'은 M보다 크기가 작을 뿐만 아니라 더 적은 행위를 갖고 있기 때문에(M'$\leq$M), 추상화 모델 M'을 이용해서 수행한 도달성 분석 결과는 M 에서도 그대로 유효하다. 따라서 M을 모델 체킹할 때 상태 폭발이 발생하면, 축소된 모델 M'을 이용하여 모델 체킹할 수 있다. 제안된 추상화 기법을 푸쉬 푸쉬 게임 풀이에 적용했고, 모델 체커로는 Cadence SMV와 NuSMV를 사용하였다. 그 결과 상태 폭발 문제로 인해서 풀 수 없었던 게임을 추상화를 이용해서 해결하였다. 그리고 추상화를 적용하기 이전에 비해서 시간 절감 및 메모리 절감 효과가 있었다. Cadence SMV의 경우 평균 87%의 시간 절감 및 79%의 메모리 절감이 있었으며, NuSMV의 경우 83%의 시간 절감 및 56%의 메모리 절감이 있었다.
  11. Park, Ji-Hoon;Lee, Kyung-Hwan 1301
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1301 PDF KSCI
    물리적으로 분산된 개발자들은 분산 페어 프로그래밍 지원 시스템을 활용하여 페어 프로그래밍을 수행할 수 있다. 하지만 원격 화면 공유기능 위주의 기존 CSCW 기반의 분산 페어 프로그래밍 지원 시스템들은 많은 개발자들이 분산 페어 프로그래밍을 수용하기에는 사용의 접근성, 용이성 등의 측면에서 미흡한 점이 많다. 본 논문에서 우리는 소프트웨어 개발자들이 분산 페어 프로그래밍을 수용하기 적합한 형태의 시스템 모델로서 IDE(Integrated Development Environment) 기반의 분산 페어 프로그래밍 시스템을 제안한다. 본 시스템의 GUI와 사용자 시나리오는 분산 페어 프로그래밍이 용이하도록 개발되었으며 디자인 패턴 을 적용하여 확장성이 높도록 시스템을 설계하고 자바언어로 구현하였다. 본 연구결과는 기존의 상업용 IDE에서 분산 페어 프로그래밍 기능과 GUI를 구현하는 개발자들에게 도움이 될 것이다.
  12. Kang, Byung-Mo;Hong, In-Sik 1311
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1311 PDF KSCI
    인구증가와 발전으로 도시 집중화 현상에 따라 수도의 수요증가가 가속화되는 상태이다. 특히 물 부족현상 및 수질악화로 인한 수원확보도 어려워지고 있는 실정이다. 누수로 인한 막대한 손실을 줄이고자 컴퓨터와 인터넷을 이용하여 누수가 발생할 경우, 누수 여부를 판단하고 중앙 모니터링 센터에서 관리할 수 있는 시스템이 필요하다. 본 논문에서는 누수감지관과 TDR을 이용한 원격 상수도관망 누수 감지 시스템을 제안하였다. 유효성을 입증하기 위해 300mm 3-레이어 강관으로 파이로트 시스템을 구축하여 시뮬레이션 하였다.
  13. Park, Yong-Soo;Kim, Jong-Kyung 1319
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1319 PDF KSCI
    본 논문에서는 모델링과 전산코드 실행 등에 시간과 노력이 많이 드는 핵설계 업무를 자동화하기 위하여 $IDP^{TM}$(Innovative Design Processor)를 개발하였다. IDP의 기본 원리는 문서중심 설계와 웹기반 설계이다. 문서중심 설계란 프로그래머가 아닌 일반 설계자가 동적문서(active document)라는 문서를 작성하여 이를 특수한 프로그램이 파싱후 실행하도록 하면 해석결과와 표 및 그림 둥이 담긴 완전한 설계문서를 자동적으로 얻게 됨을 말한다. 동적문서는 일반 HTML 또는 XML 편집기를 이용하여 작성될 수 있고 웹에서 또한 작성이 가능하다. LAMP(Linux/Apache/MySQL/PHP)의 웹기반 설계 환경하에서 설계마법사 형태의 서버 및 클라이언트 프로그램을 통해 설계 초보자도 쉽게 설계를 할 수 있게 되어 있다.
  14. Yeo, Yun-Seok;Park, Jong-Koo 1327
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1327 PDF KSCI
    본 논문의 목적은 기존의 정적인 정보검색의 형태를 탈피하여 동적이면서 사용자 지향적인 범용 3D모델 데이터 렌더링을 인터넷 사용자들에게 제공할 수 있는 환경을 설계 및 구현하는 것이다. 이는 3차원 렌더링 프로그램을 실행하여 사용자가 원하는 정보의 결과를 확인하거나 변경하는 등의 동적 정보를 제공하는 웹 서비스를 구현하는 것이다. 이를 위해 가장 보편적인 3차원 모델 데이터, 3D 스튜디오 맥스의 텍스트 출력물인 ASE 포맷 파일을 파싱하여 렌더링 해주는 3D Viewer 프로그램을 제작하고, 이를 ActiveX 컴포넌트인 OCX로 만들어 웹 페이지 상에서 실행 가능하게 한다. 데이터의 효율적 관리와 사용자와의 상호작용을 위하여 ASE 모델들을 위한 데이터베이스를 구축하여 사용자 상호작용적인 Web 3D 웹 서비스를 실현한다. 이를 통하여 인터넷을 통한 실시간적인 정보 교환이나, 네트워크상의 가상공간 내에서의 공동 업무 작업의 가능성을 내다본다.
  15. Lee, Jung-Soo;Kim, Whoi-Yul 1335
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1335 PDF KSCI
    본 논문에서는 이미지에 watermark를 삽입함으로써 이미지를 전자화폐로 활용할 수 있는 기술을 소개한다. 이미지에 콘텐츠ID를 부여하고 이 콘텐츠ID를 눈에 보이지 않도록 이미지에 삽입한다. 이미지 전자화폐(이후 WaterCash라 명명)를 발급하는 발급서버에서는 이 콘텐츠ID를 데이터베이스에 저장하고 전자화폐로써 관리한다. WaterCash는 익명성을 보장할 수 있고, 또한 WaterCash의 위ㆍ변조를 semi-fragile water-marking 기법을 기반으로 원천적으로 차단할 수 있다. 또한 양도가 가능하고, 워터마킹 기술을 기반으로 하기 때문에 WaterCash의 부정사용을 방지할 수 있다. 사용된 워터마킹 기술은 압축에는 강인하면서 다른 고의적, 비고의적 이미지 처리에는 연약하도록 설계되었다.
  16. Lim, Cheol-Su;Park, Byeong-Sub;Choi, Hyun-Sub 1341
    https://doi.org/10.3745/KIPSTD.2004.11D.6.1341 PDF KSCI
    전자상거래 분야의 국제 표준규격이라 할 수 있는 ebXML은 현재 국내에서 개발된 전자상거래 솔루션들이 국제환경에 적합한 호환성을 제공하는지 여부에 대한 ebXML 솔루션들의 시험 및 인증이 필요한 상황이다. 본 논문에서는 ebXML Message Service v2.0, ebXML Registry Service v2.0과 ebXML CPP/A v2.0 표준 규격을 준수하는 ebXML 적합성 및 상호운용성 테스트 도구를 설계하고 구현하였다. 이에 따라, 본 논문에서 개발한 ebXML 적합성 및 상호운용성 테스트 도구를 통해 국제표준에 맞는 ebXML 전자상거래 솔루션에 대한 검증 및 인증 서비스기반 구축이 가능하다.