지금까지 명확하게 정의된 경계를 갖는 공간 및 시공간 객체 모델 개발에 관한 많은 연구가 수행되어 왔다. 그러나, 이들 모델은 지리 분석과 이미지 해석에 관한 많은 응용에서 식별되는 불확실한 경계를 갖는 공간 및 시공간 객체에 직접적으로 적용될 수 없다. 따라서, 이 논문에서는 불확실한 공간 및 시공간 객체에 적용할 수 있는 불확실한 시공간 데이터 모델을 제안하고, 이 모델을 기반으로 불확실한 시공간 객체간의 위상 관계에 관한 연산자를 정의하고, 연산 알고리즘을 설계하였다. 제안된 모델은 기존 모델과의 호환성을 위해 개방형 GIS 명세서를 기반으로 하는 시공간 데이터 모델을 확장하여 설계하였다. 불확실한 시공간 객체는 시간에 따라 위치와 모양이 불연속적으로 변하는 객체와 시간에 따라 위치와 모양이 연속적으로 변하는 객체로 정의하였으며, 확장된 9-IM을 사용하여 이들 객체간의 위상 관계를 정의하였다. 제안된 모델은 천연자원 관리시스템, 날씨 정보 관리 시스템, 지리 정보 관리 정보 시스템 등에 효율적으로 적용될 수 있을 것으로 기대된다.

무선인터넷 기술의 발달과 응용의 확산으로 인하여 위치정보(Location Information)를 이용한 서비스 형태는 아주 다양하여 지고 있으며, LBS(Location-Based Services)라는 형태로 국내외 시장에서 급속히 학장하고 있다. 이러한 서비스의 기본정보인 위치정보는 고부가가치의 정보로 인정되고 있으며 또한 이러한 위치를 기반으로 한 서비스는 기존의 GIS(Geographic Information System)를 일반사람들에게 생활 속의 정보로 밀접하게 홀용할 수 있게 되었다. 즉, LBS로 인하여 GIS는 새로운 패러다임의 전환을 맞이하게 되었으며 대용량 이동체 데이터베이스 (MODB : Moving Object Database) 는 LBS를 위한 핵심 플랫폼 기능으로 인식되고 있다, 이러한 대용량 이동체 데이터베이스와 이동통신망과의 위치획득 인터페이스를 통한 위치정보 획득 기능은 아주 중요한 요소가 되며, 향후 위치를 기반으로 한 다양한 서비스가 제공될 경우, 이동성을 가지는 수많은 고객의 위치정보를 획득함으?? 심각한 시스템의 부하는 미리 예측할 수가 있다. 즉, 대용량의 이동체의 위치정보를 획득함에 있어서, 심각한 통신부하로 인한 LBS 플랫폼의 성능 저하가 발생 할 수가 있다. 따라서, MODB에서는 위치획득 기능은 안정적인 LBS플랫폼이 이동통신망으로부터 대용량의 위치정보를 획득함에 있어서, 이동체의 과거 이동 패턴을 이용하여 불필요한 위치정보 획득 회수를 줄임으로써 시스템 부하를 줄이고자 한다. 본 논문에서는 이러한 이동체의 이동 패턴을 이용하여 다양한 위치획득 모델을 설계하였으며, 시뮬레이션 환경에서 위치획득 모델을 구현함으로써 성능을 평가하였다.A가 다른 처리보다 높았다.구된다.을 나타냈다. 정소, 난소 및 자궁의 조직검사에서는 모든 투여구간에 커다란 변화는 없었다.이라는 중요성에 비추어, 사회문화주의 이론의 제안을 통해 아동의 수학 학습에서의 교사의 적극적인 역할의 가능성을 제시하고 있다. 삼림경관를 나타내었다. 각 화분대 및 아분대 우점수목의 기후환경에 대응하는 생태적 특징으로 작성한 가상 기온변화곡선의 내용은 다음과 같다: 화분대 I은 Butula우점기로서 약 57,000년 BP까지 형성되었으며, 상대적 한냉기로 간주된다. 화분대 II는 EMW우점시기로서 $57,000{\sim}43$,000년 BP에 형성되었으며, Alt Wurm에서 mittel W${\"{u}}$rm으로 전환되는 Interstadial로 간주된다. 화분대 III은 43,000~15,000년 BP간의 가장 오랜 시기를 포함하며, mittel Wurm${\sim}$Jung Wurm기에 해당한다. 한냉기인 화분대 III시기 중에는 Betula, Pinus, Picea 등의 목본류가 교대로 우점하는데, YY1에서 Quercus 와 Picea의 화분조성 변화로 볼 때 아분대 IIId시기가 가장 한냉하였을 것으로 추정된다. 화분아분대 IVa는 하부 화분대와 상부 화분대간의 전환기층으로서 피나무(Tilia)속 우점기로 나타나며, Holocene에 해당하는 화분대 IVb와 V는 약 7,000년 BP부터 현재까지 식생변화로 각각 Quercus와 Pinus가 우점하는 시기로 한국 동해안의 曺(1979)의 화분대 I과 II에 각각 대비된다. Bartlein et al.(1986)의 diagram을 통해 볼 때, 영양지역의

전통적인 동물 계통수(系統樹)는 초기발생 혈질에 기초하여 몸 구조가 단순한 것에서 복잡한 것으로 동물문(animal phylum)들을 배열하는 것이다. 현재 활발하게 연구 진행되는 분자수준에서의 분자계통 분류학(Molecular Systematics) 연구들이 이런 경향을 재평가하고 새로운 계통과 진화의 의미를 제시하고 있다. 본 논문에서는 한 염기서열로부터 획득할 수 있는 특성 값들을 추출하여 트레이닝 데이터를 생성하고, 생성된 데이터를 기반으로 데이터마이닝 기법중의 하나인 분류기법(classification) 을 사용하여 계통수를 생성하였다. 실험용 데이터는 미토콘드리아 염기서열을 사용하였으며 생물학분야에서 사용하는 분석 프로그램인 MEGA 프로그램을 사용하여 이를 증명하였다. 비록 마이닝을 수행한 결과는 생물학적 실험을 거쳐 정확성을 검증 받아야 하지만 인터넷상에 떠다니는 무수한 유전체들에 대한 유효한 분류기준을 제시할 수 있고 계통수 제작을 위한 실험에 소요되는 많은 시간과 노력들을 줄일 수 있다.

데이터베이스 벤치마크는 많은 양의 데이터에 대한 효과적 생성을 요구한다. 본 논문은 개발된 데이터 생성기의 시스템 구성도, 데이터 생성 동작, 특성을 기술한다. 본 데이터 생성기 특성은 대용량 데이터 생성 지원, 칼럼 단위 데이터 생성, 다양항 데이터 분포 지원 및 검증, 실데이터 생성 등이다. 또한 타 데이터 생성기들과 기능 관점에서 비교하였다. 마지막으로 대용량 데이터 생성시의 입출력 병목현상 해결을 위해 RAID 시스템과 비 RAID 시스템간의 성능을 실험적으로 비교하였으며, 실험 결과에 근거하여 시스템 구성 가이드를 제시한다.

데이터웨어하우스내에서 실체뷰의 개수가 많을수록 사용자의 질의요구를 실체뷰내에서 처리할 수 있는 확률이 높아지므로 신속한 응담이 가능하다. 그러나, 실체뷰가 많아지면 전체적인 실체뷰 갱신시간이 길어진다. 실체뷰 갱신작업 동안에는 데이터웨어하우스로의 접근이 통제되기 때문에 사용자의 질의요구를 처리할 수 없다. 따라서, 실체뷰의 갱신시간을 단축시킬 수 있는 알고리즘을 제안한다. 실험결과, 삽입/삭제 구분을 위한 오버헤드를 감안하더라도 제안한 알고리즘의 성능이 기존 기법에 비하여 우수함을 알 수 있었다.

데이터베이스 질의 최적화기는 가장 효율적인 실행계획을 구하기 위해서 질의의 선택율을 추정한다. 일반적으로 애트리뷰트들은 서로 독립적이지 않기 때문에 여러 개의 애트리뷰트를 가지는 질의에 대해서는 다차원 선택을 추정 기법이 필요하다. 대부분의 상용 데이터베이스에서는 히스토그램이 계산 오버헤드가 많지 않고 작은 에러율로 데이터 분포를 를 근사 시킬 수 있기 때문에 실용적으로 많이 사용되고 있다. 그러나 여러 개의 애트리뷰트를 가진 다차원 지?l의 경우에서는 차원이 높아 질수록 에러율을 낮추기 위해 많은 저장 공간을 필요로 하기 때문에 히스토크램 방법이 적합하지 않다. 이 논문에서는 다차원 선택을 추정을 위한 새로운 기법을 제안한다. 다차원 공간에서 크기가 작은 히스토그램 버켓을 많이 만들고 이 버켓의 정보를 DCT로 압축하여 선택을 추정에 사용함으로써 에러율을 작게 하고 저장 공간의 사용량도 줄인다. 폭 넓은 실험 결과는 본 논문에서 제시한 방법들의 타당성과 이점을 확인시켜 준다.

온라인 확장 기법은 비공유 데이터베이스 클러스터에서 온라인 상태에서 새로운 노드를 추가하고 데이터 재조직을 수행함으로써 작업 부하를 분산시키거나 전체 트랜잭션 처리량을 늘리기 위한 기법이다. 그러나, 기존의 온라인 확장 기법에서는 과부하 상태의 노드에 데이터 전송과 일관성 유지에 대한 추가적인 부하가 발생됨으로써, 전체 시스템의 응답속도가 느려지고 노드의 결함 발생 가능성을 감소시키는 문제점이 있다. 본 논문에서는 비공유 데이터베이스 클러스터에서 높은 가용성을 위한 데이터 확장 기법으 제안한다. 제안딘 온라인 확장 기법은 확장 연산 수행 중에 발생되는 노드의 추가적 부하를 병렬 데이터 전송과정과 복제본의 완성 과정을 통해 분산시키고, 확장 중에 발생한 결함에 대해서 효율적인 회복을 수행함으로써 데이터베이스 클러스터의 가용성을 향상시킨다. 즉, 원본 노드의 데이터를 각 복제분이 저장된 노드들에서 동시에 전송함으로써 데이터 전송을 병렬화하고, 전송 영역을 서로 분배하여 원본 노드의 데이터을 각 복제본이 저장된 노드들에서 동시에 전송함으로써 데이터 전송을 병렬화사고, 전송영역ㅇ 버로 분배하여 원본 노드의 부하와 다른 트랜잭선에 대한 간섭을 줄인다. 또한, 온라인 확장 기법에서의 노드 결함에 대해 빠른 회복을 수행한다. 본 논문에서는 성능평가를 통해 제안 기법이 기존 기법에 비해 노드의 부하를 감소시켜 결함 발생 가능성을 낮추고, 온라인 확장 연산에 대한 회복 처리 시간을 단축하여 데이터베이스 클러스터의 가용성을 향상시킴을 보인다.

기존 디스크 기반 데이터베이스 관리 디스트를 주저장 장치로 활용하는 특징적 환경 때문에 주기억 상주 데이터베이스 관리 시스템의 메모리 관리, 인덱스 관리, 자료저장 관리 기능 등에 대한 설계 및 구현 기술이 기본적으로 다르다. 본 논문에서는 현재 상용 시스템으로 사용되고 있는 $ALTIBASE^{TM}$ 주기억 상주 DBMS 의 설계 및 구현 내용을 기술한다. 특히 자료저장 관리기의 세부 구성요소에 대한 구조적 특징가 주요 기능인 트랜잭션 처리 기법과 회복 관리 기법에 대하여 기존 DBMS 의 기능가 비교 설명하며, 고가용성을 위한 데이터베이스 이중화 기능 및 이중화 작업 시 발생하는 트랜잭션 충돌 해결 방법에 대하여 설명한다. 또한 $ALTIBASE^{TM}$ 시스템의 성능을 측정하기 위하여 다양한 환경에서 실험된 TPS 결과를 보인다.

데이타 방송 환경에서 서버는 방송 채널을 통하여 데이타베이스 내의 데이타들을 주기적으로 방송한다. 그리고 각 클라이언트가 어떤 데이타를 액세스하기 위해서는 방송 채널을 감시하여 해당 데이타가 방송되기를 기다려야 한다. 클라이언트 데이타 캐슁은 클라이언트가 액세스하려는 데이타가 방송되기를 기다리는 시간을 줄이기 위한 매우 효과적인 기술이다. 본 논문에서는 이 대기 시간을 줄이기 위하여 LRU-CFP로 명명된 새로운 클라이언트 캐쉬 관리 기법을 제안하고, 모의 실험을 통하여 새로이 제시된 기법의 성능을 평가한다. 성능 평가 결과에 의하면 LRU-CFP 기법은 LRU, GRAY, 그리고 CF 기법보다 평균 응답시간에 있어서 더 우수한 성능을 보인다.

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

컴포넌트 기반 소프트웨어를 개발하기 위해서는 검증되고 표준화된 소프트웨어 컴포넌트가 요구된다. 본 논문에서는 재사용가능한 프로세스 패턴을 기반으로 하여 컴포넌트 품질 보증 프로세스를 구축하는 접근방법을 제시하고 있다. 프로세스 패턴을 기술하기 위한 메타 모형과 컴포넌트 품질 보증을 위한 프로세스 패턴들을 정의하여, 컴포넌트 개발 상황에 맞게 품질보증 프로세스를 구축할 수 있도록 하였다. 또한 이 접근방법을 실제 프로젝트에 적용한 사례를 보여주고 그 장단점을 토의하였다.

CORBA를 사용하는 실시간 시스템의 안정성을 높이기 위한 방법은 관점에 따라 여러 가지가 있다. 그 중에서 본 논문은 CORBA 표준을 구현한 시스템이 실시간 정보를 처리할 경우 발생하는 객체 장애 시에 지속적인 서비스를 가능케 하는 방법을 제시한다. 즉, 3 tier 소프트웨어 아키텍쳐 환경에서 발생하는 객체 장애에 효율적으로 대처하는 방법을 고찰한다. 객체 장애를 고려하여 안정성을 높이는 방법으로서 객체를 복제(replication)하는 방법이 가능하다. 본 논문에서는 이와 함께 Fault Tolerant CORBA(FT-CORBA) 의 장애 복구까지 시스템을 지속적으로 운영하기 위한 방법을 고찰함으로써 궁극적으로 시스템의 안정성을 향상하고 이에 따라 서비스의 연속성을 유지시킬 수 있는 방법을 제시한다.

프로그램 슬라이싱은 프로그램의 특정 지점에 나타난 변수의 값에 영향을 미치는 문장들을 프로그램으로부터 추출하는 방법이다. 프로그램 슬라이싱은 프로그램 디버깅, 프로그램 테스팅, 프로그램 통합, 병렬 프로그램 실행, 소프트웨어 메트릭스, 역공학, 유지보수 등 여러 응용 분야에 적용할 수 있다. 본 논문에서는 포인터 변수, 포인터 변수가 참조하는 객체, 배열, 구조체가 같은 복잡한 자료구조가 나타나는 프로그램에서 정확한 슬라이스를 추가하기 위한 알고리즘을 제안한다. 복잡한 자료구조가 나타나는 프로그램 상에서 객체의 보다 더 정확한 정적 분석 정보를 생성하기 위해 객체 참조상태 그래프를 제안하고, 그 효율성을 보였다.

현대 사회의 급변하는 기업환경에 대처하기 위해서 기업들은 기존의 애플리케이션 사이에 중간 매개체인 미들웨어를 설치하여 애플리케이션 통합을 이룰 수 있는 EAI를 도입하고 있다. 그러나 이러한 미들웨어 기반의 EAI는 미들웨어의 종속적인 부가 코딩을 필요로 한다는 문제점이 있다. 본 논문에서는 스테이트 차트와 XML 기술을 이용하여 다양한 미들웨어 시스템 상의 애플리케이션을 효율적으로 통합할 수 있는 이중(duplicate) 어댑터 기반의 미들웨어 독립적 위크플로우 관리 시스템을 제안한다.

지니는 자바 기줄의 특성을 가장 잘 살린 홈네트워크 미들웨어이다. 하지만 지니를 기반으로 홈네트워크 서비스를 제대로 지원하기 위해서, 지니 시스템은 어려운 일련의 작업과 복잡한 관리를 필요로 한다. 본 논문에서 개발한 서비스 고리 시스템은 자동화 모듈을 포함하고 있는 서비스 제공자 컴포넌트와 룩업 서비스 컴포넌트이다. 본 자동화 모듈은 지니 시스템에서 필요한 라이브러리, 실행하고 있는 컴퓨터의 환경정보, 지니 서비스를 위한 클래스 파일 시스템 구성 정보의 탐색과 설정을 자동화하였다. 본 시스템은 지니 홈네트워크 실행환경의 자동화, 서비스 관리 구조의 단순화 및 서비스 실행의 시각화를 통해 서비스 관리자나 서비스 제공자에세 효율적인 서비스 관리 환경을 제공한다 .

백분위수는 시뮬레이션 결과의 전체적인 성향을 파악하는데 아주 유용한 측정 기법 중의 하나이다. 그러나, 시뮬레이션으로 수집된 데이터들에 대한 평균이나 표준편차와는 달리 백분위수를 추정하기 위해서는 모든 관측된 데이터들을 저장해야 만 한다, 왜냐하면 백분위수의 추정을 위해서는 관측된 모든 데이를 분류하여 오른차순으로 정렬하는 등 여러 단계의 처리과정이 필요하기 때문이다. 따라서, 백분위수 추정을 위해서는 관측된 모든 데이터를 저장하기 위한 대용량의 저장장치와 정렬을 위한 계산시간 (O($nlog_{2}n$))이 요구된다. 이러한 문제점을 해결하기 위한 여러 백분위수 추정 기법들이 제안되었으나 고정된 샘플 크기의 시뮬레이선(fixed sample size simulation) 을 수행할 경우에만 적용 가능하다. [11, 12, 21]. 본 논문에서는 3가지 백분위수 추정 기법(linear PE, batching PE, spectral $P^2$ PE) 을 순차적인 안정상태 시뮬레이션(sequential steady-state simulation) 에 적용하여 연구하였다. 또한, 3가지의 백분위수 추정 기법들에 대해 coverage 분석을 수행한 결과를 제시하였다.

M-Commerce 에서 안전한 서비스를 제공하기 위해서는 보안 기능을 갖춘 결제 솔루션이 필수적이다. M-Commerce 를 이용하기 위한 사용자의 이동 단말기는 핸드폰, PDA, 스마트폰 등으로 다양화 되어가고 있으며, 이 중에서도 PDA의 인터페이스와 이동 접속은 기존 핸드폰의 유선 인터넷의 정보 의조도가 높은 단점을 극복할 수 있다. 본 논문에서는 타원곡선 암호를 이용하여 PDA 기반의 신용카드 결제 시스템을 설계하였다. 제안된 시스템의 SECURE CARD 모듈은 PDA 단말기 자체에 개인정보, 배송정보, 카드정보를 암호화하여 안전하게 저장함으로써 단말기의 정보입력시에 필요한 불편함을 제거하였다. 또한 프로토콜은 M-Commerce 에서 인증, 기밀성, 부인봉쇄 서비스 등의 보안기능을 제공하도록 설계되었다.

본 논문은 계기 영상을 캡처하고, 숫자를 자동인식하며 데이터를 PCS 데이터 망을 통하여 무선으로 전송하는 원격 영상 검침 시스템을 구현한다. 기존의 가스/수도 미터기를 그대로 사용하면서 소형, 저가의 흑백 CMOS 카메라를 미터기 계기판 전면에 밀착하여 설치하고 NTSC 카메라 영상을 얻는다. 원격 데이터 전송을 위해 상업적인 PCS 망에서 제공되는 SMS를 이용한다. 계기 영상의 캡처를 위해 DVR 및 숫자 인식 알고리즘을 개발하였다. 이외에 SMS 및 계기 선택기의 하드웨어 및 소프트웨어를 개발하였다.

지난 몇 년간 우리나라 온라인게임 사업은 급속도로 팽창하여 엔터테인먼트 산업의 새로운 강자로 등장하였다. 2002년에 이미 온라인 게임 플레이어 수가 2,600만 명을 상회하는 수준에 이르렀고, 앞으로 IT 기술의 꾸준한 발전과 창의적인 게임컨텐츠개발 등으로 온라인 게임의 성장은 더우구 가속화 될 것으로 예측되고 있기 때문에 온라인 게임 시장은 큰 규모의 산업으로 성장할 것으로 기대된다. 본 논문은 이처럼 급성장하며 또한 치열한 경쟁이 예상되는 온라인 게임의 성공요인에 대한 탐색적 연구를 주된 목적으로 설정하고 있다. 특정 게임에 대한 높은 고객충성도를 가지게 하는 요인들을 탐색하기 위하여 최근 주목받고 있는 개념인 플로우, 구전, 도전과 보상, 사회적 규범 그리고 최근 많은 주목을 받고 있는 게임동호회나 길드 등의 온라인 커뮤니티가 온라인 게임 충성도의 유지에 어떻게 기여하는 가에 대해 분석해 보았다. 이를 위해 온라인 설문조사를 실시하였고 LISREL 모형을 구축하며 몇 가지 탐색적 가설을 검증하였으며, 설문결과로부터 도출된 통계 분석결과와 함께 성공적인 온라인게임 개발에 도움을 줄 수 있는 가이드 라인도 제시하고자 한다.

본 논문에서는 전자상거래 시스템에서의 보안 문제를 해결하기 위해 신용카드 조회 시스템을 설계하고 구현하였다. 전자 상거래시 PC에서 신용카드 조회기를 사용하면 키보드 입력 없이 신용카드 조회기에서 신용카드를 읽어 신용카드 결재를 수행한다. 새로운 신용카드 조회 시스템은 신용카드 조회기 내부의 칩에서 공유키 기반으로 신용카드 정보를 즉시 암호화하여 호스트 시스템에 보냄으로써 키보드 해킹 위험에서 안전하다는 장점이 있다. 신용카드 조회 시스템의 암호화/복호화를 위해 quotient ring 에 기반한 행렬 연산을 사용하였으며, 암호화의 안전성을 위해 모든 암호 대상 데이터에 대해 서로 다른 암호 행렬을 생성하는 방법을 제시하고, 서로 다른 암호 행렬을 구성하기 위해 요구되는 암호키의 크기 및 행렬의 크기를 산출하였다. 신용카드 결재를 위하여는 소량(0.1KB) 의 데이터가 요구되므로, 암호키의 크기가 128bits만 되어도 역행렬을 고려한 $2{\times}2$ 행렬의 경우 좋은 성능을 보이는 것으로 분석되었다. 신용카드 조회 시스템을 인증용으로 사용하기 위하여는 0.5KB 이상의 데이터가 필요하므로, 암호키의 크기가 256bits 이상에서 $2{\times}2$ 행렬의 경우 좋은 성능을 보이는 것으로 분석되었다. 신용카드 조회 시스템을 인증용으로 사용하기 위하여는 0.5KB 이상의 데이터가 필요하므로, 암호키의 크기가 256bits 이상에서 $2{\times}2$ 행렬의 경우 좋은 성능을 보이는 것으로 분석되었다. 신용카드 조회 시스템을 인증용으로 사용하기 위하여는 0.5KB 이상의 데이터가 필요하므로, 암호키의 크기가 256bits 이상에서 $2{\times}2$ 행렬이나 $3{\times}3$ 행렬을 사용하면서 역행렬을 고려하는 것이 좋은 것으로 분석되었다.