최근 고차원 색인 구조들이 멀티미디어 데이터베이스, 데이터 웨어하우징과 같은 데이터베이스 응용에서 유사성 검색을 위해 요구된다. 본 논문에서는 고차원 특징벡터에 대한 효율적인 저장과 검색을 지원하는 셀-기반 시그니쳐 트리(CS-트리)를 제안한다. 제안하는 CS-트리는 고차원 특징 벡터 공간을 셀로써 분할하여 하나의 특징 벡터를 그에 해당되는 셀의 시그니쳐로 표현한다. 특징 벡터 대신 셀의 시그니쳐를 사용함으로써 트리의 깊이를 줄이고, 그 결과 효율적인 검색 성능을 달성한다. 또한 셀에 기반하여 탐색 공간을 효율적으로 줄이는 유사성 검색 알고리즘을 제시한다. 마지막으로 우수한 고차원 색인 기법으로 알려져 있는 X-트리와 삽입시간, k-최근접 질의에 대한 검색 시간 그리고 부가저장 공간 측면에서 성능 비교를 수행한다. 성능비교 결과 CS-트리가 검색 성능에서 우수함을 보인다.

Web 문서를 기술하기 위해 차세대 표준으로 제안된 XML은 Web 기반의 여러 응용 분야에서 널리 사용되고 있으며, Web 상의 XML 문서들은 서로 하이퍼링크를 통해 연결되어 있다. 현재까지 대부분의 XML 관련 연구들은 XML 문서의 효율적인 저장, 관리 및 검색을 위한 XML 저장 시스템을 대상으로 하고 있으며, XML 링크를 지원하는 질의어의 개발이나 링크를 활용한 XML 검색 시스템의 개발에 대한 연구는 미흡하다. 본 논문에서는, XML 링크 질의 표현을 위한 XML 질의어의 확장과 링크 질의 처리 기법을 제시한다. 링크 질의는 하나의 XML 문서(질의 문서)와 질의 문서 내의 링크로 참조되는 XML 문서(참조 문서)들의 내용을 검색하는 것이다. 참조 문서의 검색을 위해서 현재는, 참조 문서에 대한 질의를 수작업으로 생성, 처리, 그리고 그 결과의 리턴을 반복적으로 수행하는 방법이 사용되고 있다. 본 논문의 링크 질의 처리 목적은 한번의 질의 입력을 통해 추가적인 수작업 없이 참조 문서(들)에 대한 검색 결과까지 얻을 수 있는 기능을 제공하는 것이다. 기존 수작업 기반과 본 논문의 링크 질의 처리의 성능을 비교, 분석한 결과, 참조 문서로의 링크가 많을수록 수작업 기반에 비하여 질의 처리 시간이 줄어들고, 질의 문서가 저장된 사이트에 참조 문서가 많이 있을수록, 질의 처리 시간이 줄어들었다.

뷰는 이질적인 데이터의 통합 및 여과(filtering) 기능을 통해서 사용자가 요구하는 데이터를 제공한다. 뷰는 질의 처리의 성능 향상을 위해 형성뷰(materialized view)로 유지될 수 있다. 형성뷰는 하부 데이터가 변경되었을 경우에 일관성을 유지해야하는데, 그 기법으로는 뷰의 재생성(recomputation)과 변경 내용 중 뷰와 관련이 있는 것만 반영하는 점진적 갱신(incremental refresh)이 있다. XML은 문서의 구조정보를 나타낼 수 있으므로 XML 형성뷰에 대해서는 기존의 관계 형성뷰 등의 관리 기법과는 다른 관리 기법이 요구된다. 본 논문에서는 XML 문서들을 대상으로 생성된 XML 형성뷰를 지원하고, 하부 XML 문서가 변경되었을 경우에 형성뷰에 대해 점진적 갱신을 지원하는 XML 형성뷰 관리 프레임워크를 제안한다.

대화형 환경에서 연관 규칙 탐사 문제는 동일한 데이터베이스에서 다른 최소 지지도로 반복적으로 연관 규칙을 탐사하는 것이다. 이 문제는 반복적으로 연관 규칙을 탐사한다는 사실만 기존의 연관 규칙 탐사와 다를 뿐 기존의 연관 규칙 탐사에서 발생하는 모든 문제를 포함한다. 본 논문은 전 단계에 계산된 후보 항목집합에 대한 정보를 이용함으로써 성능 향상을 가져오는 효율적인 알고리즘을 제안한다. 제안된 알고리즘은 대화형 환경에서 기존의 알고리즘과 수행 시간 측면에서 비교되었다. 성능 비교의 결과로부터 제안하는 알고리즘이 기존의 방법보다 약 10~30% 정도의 상대적 성능 향상 효과가 있음을 알 수 있었다.

공간 조인은 두 개의 데이터 집합으로부터 공간적인 조건을 만족하는 두 객체 쌍의 집합을 구하는 것으로 비용이 매우 큰 연산자이다. 지난 수년동안 공간 조인의 순차 수행 시간은 많이 향상되었지만, 그 응답시간은 사용자의 요구를 만족시키지 못하고 있다. 따라서 최근 병렬 시스템을 이용하여 이러한 문제를 해결하려는 연구가 진행되고 있다. 그렇지만 프로세서의 수가 증가할수록 병렬 처리에 의한 프로세서의 효율성은 급격히 떨어진다. 이것은 병렬 공간 조인을 수행할 경우 순차 공간 조인 보 다 디스크 병목 현상과 메시지 전송 오버헤드가 심하게 발생하기 때문이다. 이 논문에서는 공유 디스크 구조에서 다중 프로세서의 디스크 동시 접근으로 인한 병목 현상을 완화하고, 메시지 전송을 최소화하기 위한 태스크 할당 방법을 제안한다. 제안한 태스크 할당 방법을 두 가지 공간 조인 기법에 각각 적용하여 디스크 접근 횟수와 메시지 전송 횟수의 감소 효과를 실험으로 평가한다. MIMD 구조 및 공유디스크 방식의 병렬 시스템에서의 다양한 실험에서 이 논문에서 제안한 준동적 태스크 할당 방법이 정적 할당과 동적 할당 방법에 비해 우수함을 보였다.

웹의 발전으로 인터넷 상의 정보 양이 증가하면서 XML을 이용하여 이들 정보를 효율적으로 저장하고 검색하기 위한 많은 연구들이 진행되고 있다. 이 논문에서는 XML 문서의 효율적인 관리와 구조 검색을 위해 구조 정보 표현과 검색 메카니즘을 제안한다. 기존의 방법은 특정 엘리먼트의 부모, 자식, 형제 엘리먼트에 대한 다양한 구조 검색을 효율적으로 지원하지 못한다. 이 논문에서는 XML 문서의 구조 정보를 표현하기 위해 엘리먼트에 대한 부모 노드와 현재 노드의 계층 정보, 형제 노드 및 동일한 형제 노드의 순서 정보를 갖는 고정된 크기의 LETID를 제안한다. 또한, 구조 정보를 검색하기 위해 내용 색인, 구조 색인 그리고 애트리뷰트 색인 모델과 구조 정보 검색 알고리즘을 제안한다. 제안한 방법을 이용하여 XML 문서의 구조 정보를 효율적으로 표현 할 수 있을 뿐 아니라 간단한 연산으로 특정 엘리먼트에 직접적인 접근과 다양한 질의 처리가 가능하다.

이동 매제를 통한 진자지도 서비스는 전송 정보의 용량이 크고 출력 장치의 자원을 많이 요구하기 때문에 기존의 지도 데이터베이스를 그대로 사용하여 서비스할 수 없는 문제점이 있다. 또한 무선 서비스 전용 지도 데이터베이스를 별도로 구축하는 것은 막대한 중복 비용이 발생하므로 받아들이기 어렵다. 본 논문에서는 기존의 지도 데이타베이스로부터 무선 서비스에 적합한 지도를 동적으로 생성하는 새로운 기법을 제시한다. 이 기법은 기존 지도의 데이타 크기를 줄이기 위한 generalization과 생성된 지도의 데이타 크기가 임계값을 넘지 않도록 제어하는 filtering을 수행한다. Generalization은 레이어를 통합하는 단계, 세부 객체를 간소화하는 단계, 그리고 사용자 인터페이스를 처리하는 단계로 나누어 처리된다. Filtering은 약도에 포함된 객체를 카운터하는 모듈과 검색 객체와 거리에 따른 중요도로 선택하는 모듈로 데이터 크기를 대역폭 임계값 이내로 처리한다.

공간데이터베이스 시스템에서는 사용자에게 효과적인 공간데이터베이스 접근방법을 제공하기 위하여 공간 뷰를 지원하며 비실체화 방법과 실체화 방법으로 관리한다. 비 실체화 방법은 동일질의에 대한 반복적인 수행으로 서버 병목 현상과 네트워크 부하가 발생하는 문제점이 있고, 실체화 방법은 공간 기본 테이블 변경에 대한 실체화 뷰 관리 방법이 어렵고, 비용이 많이 든다는 문제점이 있다. 본 논문에서는 R-tree 재구성 방법을 이용한 공간 뷰 실체화 관리 기법(SVMT : Spatial View Materialization Technique)을 제안한다. 제안한 SVMT는 공간 뷰 객체 분포율 오차율 이용하여 공간 뷰를 실체화하는 기법으로, 공간 뷰 객체 분포율 오차가 오차 한계 범위내에 존재하면 공간 뷰를 실체화하고 광간 뷰 높이에 해당하는 노드를 공간 뷰에 대한 R-Tree의 루트로 사용하고, 오차 한계 범위를 벗어나면 공간 뷰를 실체화함과 동시에 R-Tree를 재구성하는 방법이다. 이 기법에서 공간 뷰에 대한 정보는 공간 뷰 정보 테이블(SVIT : Spatial View Materialization Technique)를 통하여 관리되며, 이 테이블의 레코드는 공간 뷰에 대한 정보를 저장하고 있다. SVMT는 실체화된 공간 뷰에 대한 질의수행을 통해 공간질의 처리 수행 속도를 빠르게하며, 이를 통하여 반복적인 질의 변환을 통해 발생하는 부가적인 질의 수행 비용을 제거한다. 따라서, 제안하는 기법은 다중 사용자, 동시 작업 환경에서 공간 뷰에 대한 빠른 접근 속도와 빠른 질의 응답을 제공하여 서버의 병목현상과 네트워크 부하를 최소화한다는 장점을 가진다.

많은 소프트웨어 프로젝트는 시험이나 운영단계에서 고장시간이나 고장 수 데이타보다 그룹 고장 데이터(여러 고장 간격에서 또는 가변적인 시간 간격에서의 고장들)가 수집된다. 본 논문은 그룹 고장 데이터에 대해 가변적인 미래의 시간에서 누적 고장 수를 예측할 수 있는 신경망 모델을 제시한다. 2개의 변형된 캐스케이드-상관 학습 알고리즘을 제안하였다. 제안된 신경망 모델들은 다른 잘 알려진 신경망 모델과 통계적 소프트웨어 신뢰도 성장 모델과 비교되었다. 실험결과, 그룹 데이터에 대해 변형된 캐스케이드-상관 학습 알고리즘이 좋은 예측 결과를 나타내었다.

본 논문에서는 비동질 포아송 프로세스(NHPP)에 기초한 소프트웨어 에러 현상에 대한 확률 모형을 고려하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 기존의 모형인 Goel 이 제시한 일반화모형[2]과 Yamada, Ohba-Osaki 모형[11]을 재조명하고 이러한 모형과 연관되고 신뢰도 분포로 많이 사용되는 와이블 분포의 특수형태인 레일리(Rayleigh)분포와 겜벨(Gumbel)분포[5]를 이용한 모형을 제시하고, 또 효율적 모형을 위한 모형선택으로서 편차자승합(SSE)을 이용하여 비교하였다. 모수의 추정을 위해서 최우추정법(MLE)과 일반적인 수치해석적 방법인 이분법을 이용하였다. 수치적인 예에서는 실측자료인 NTDS 자료[4]를 이용하여 모수 및 신뢰도를 추정하였고 편차자승합을 이용한 모형비교의 결과를 나열하였다.

객체지향 모델은 구조적 모델에 비해 모듈성, 재사용성, 유지보수성, 확장성 등의 장점을 제공한다. 이러한 이유로 객체지향 소프트웨어 개발 방법들을 정보 시스템 개발에 광범위하게 적용되고 있다. 그러나 현재의 객체지향 소프트웨어 개발 방법들은 목적 소프트웨어 시스템의 객체지향 모델링을 지원할 뿐, 방법론 그 자체는 구조적 및 절차적 체계를 기반으로 하고 있다. 본 논문에서는 객체지향 소프트웨어 개발 방법론을 객체지향적으로 모델링한 OMOS(Object-oriented software development Method for Object-oriented software System)를 제시한다. OMOS에서는 개발 산출물과 관련된 활동이 객체로써 모델링 되며, 개발 생명주기 프로세스가 객체간의 상호작용으로 모델링 된다. 소프트웨어 개발 방법론의 객체지향적 모델링은 방법론 자체의 재사용성, 유연성, 확장성, 유지보수성의 용이성 등의 장점을 제공한다.

소프트웨어 신뢰도는 소프트웨어 시스템의 매우 중요한 특성으로 테스팅 하는 동안 소프트웨어 신뢰도를 평가하기 위해 테스트 적용범위 정보를 이용하는 방법이 최근 시도되고 있다. 본 논문은 최근 문헌에 나타난 테스트 적용범위를 이용하는 소프트웨어 신뢰도 성장모델들을 검토하여 이들을 2개 부류로 분류한 다음 각각의 문제점을 논의하고 현실적 타당성을 검토한다. 더불어, 새로운 평균치 함수와 적절한 적용범위를 선택하기 위한 절차를 제안한다.

정형적 개발 방법론은 소프트웨어를 정확하고 체계적으로 개발하기 위하여 사용되며 시스템을 정형 명세 언어를 사용하여 맹세하고 이를 구현할 때까지 점진적으로 시스템을 구체화하는 방법으로 개발한다. VDM은 정형 명세 언어의 하나로서 set, sequence, map의 수학적 추상적 자료구조를 사용하여 시스템을 명세하는데 대부분의 프로그래밍 언어는 이런 자료구조를 가지고 있지 않다. 그러므로 이들 자료구조들의 변환이 필요하며 VDM의 수학적 자료구조들은 프로그래밍 언어의 자료구조인 연결 리스트로 변환 할 수 있다. 본 논문에서는 VDM의 set, sequence, map의 자료구조를 프로그래밍 언어의 자료구조인 연결 리스트로 변환하는 방법과 그 변환의 타당성을 수학적으로 증명하였다.

현재 국내에 보급되어 있는 시설 원예를 위한 온실 환경 제어 시스템은 노동 집약적 시설에 타이머를 이용하여 각 장치를 제어하는 on/off 식 제어반으로 구성되어 있다. 이러한 시스템은 하드웨어적인 결함, 야간이나 원격지에 있을 경우에는 오류 발생 등에 대한 온실의 상태 파악이 어렵다. 따라서, 본 논문에서는 기존의 on/off식 제어 방식을 현장에서는 액정 패널로 제어하도록 하였고, 온실의 각 장치를 제어하는 클라이언트 컴퓨터를 통하여 인터넷상에서 원격지의 데이터 획득과 온실의 상황을 모니터링할 수 있는 시스템을 개발하였다. 또한 각 지역별 온실과도 통신이 가능하며 오류 발생시에도 실시간으로 대처하는 경보 메시지 전송, 그리고 효율적인 온실 환경 제어 및 작물 재배 정보들을 관리할 수 있는 Web 서버를 구축하였다.

Mobile agent is one of the promising ways of overcoming network load and latency. It is also a new software paradigm including those concepts of client/server, applet/servelet, and code-on-demand. In this paper, a new mobile agent concept with flexible replay scheme is proposed, which can deal with embarrassing situation when replying results should be accomplished in various distributed applications. For example, they are 1) a burden of bulky result, 2) a need of different replay scheme dependent on work type, 3) connection failure to the target node, and 4) a need of fast migration to next node to keep the itinerary. Regarding the source node, there may be another situation that it wants to be aware of whether its wi가 is completed or not. Three kinds of reply schemes are proposed for dealing flexibly with such situations. They are based on priority reply list where nodes to be replied are stored according to their priorities. An experimental supply chain management model using the proposed reply schemes is designed and implemented. It is one of good distributed applications appropriate for our reply schemes, because it requires different reply schemes according to work types and it is important to gather required information in time.