최근 멀티미디어 정보의 양이 매우 빠른 속도로 증가함에 따라 멀티미디어 데이터에 대한 다양한 검색은 매우 중요한 이슈가 되고 있다. 멀티미디어 데이터를 효율적으로 처리하기 위해서는 멀티미디어 데이터가 가지고 있는 의미 내용을 추출할 수 있는 의미 기반 검색 기법이 필요하다. 기존 연구되어온 멀티미디어 데이터의 검색은 주석 기반 검색, 특징 기반 검색, 주석과 특징 기반 검색의 통합 검색시스템이 있다. 이러한 시스템들은 검색 데이터의 생성을 위해 주석자의 많은 노력과 시간을 요구하고 특징 추출을 위한 복잡한 계산을 요구하며, 생성된 데이터는 변화되지 않는 정적인 검색을 수행하는 단점이 있다. 또한, 인간에게 좀 더 친숙하고 의미적인 형태의 검색 방법을 제공하지 못하고 있는 실정이다. 본 논문에서는 MPEG-7을 이용하여 멀티미디어 데이터를 구조적으로 표현하고 효율적으로 추출하기 위한 의미적 메타데이터 기반의 멀티미디어 주석 및 검색시스템(S-MARS)을 구현 제안한다. 본 시스템은 멀티미디어 데이터에 대한 주석이나 검색, 브라우징을 위한 그래픽 인터페이스를 제공하며 멀티미디어 정보를 표현하기 위해 의미적 메타데이터 모델을 기반으로 구현하였다. 멀티미디어 데이터에 대한 의미적 메타데이터 모델은 MPEG-7 표준에 정의되어 있는 멀티미디어 묘사 스키마를 기반으로 XML 스키마를 이용하여 작성하였다. 결론적으로, 제시한 멀티미디어 데이터에 대한 의미적 메타데이터를 XML 형태로 표현하고, XML을 지원하는 데이터베이스 시스템을 이용하여 표준적인 데이터의 상호 교환이 용이하게 이루어질 수 있으며, 의미적 메타데이터를 활용하여 삽입 기반 검색 알고리즘 방법을 제공함으로써 검색에 대한 정확성과 사용자의 검색 만족도를 극대화 시킬 수 있다. 마그마 저장소로의 유입과 마그마 저장소 아래에서 공급되는 모마그마의 성분변화에 의해서 미량원소 함량이 급격하게 변한 것으로 해석된다./^4He$ 비와 $^4He/^{20}Ne$ 비는 $0.0143{\times}10^{-6}{\sim}0.407{\times}10^{-6}$ 범위와 $6.49{\sim}584{\times}10^{-6}$ 범위를 각각 보여주어 대기와 지각성분의 혼합선상에 도시된다. 이는 온천수내 헬륨가스의 대부분이 지각기원임을 의미한다. 죽림온천(JR1)의 경우 맨틀기원의 헬륨가스의 혼합율이 다른 온천에 비해 다소 높은 비율을 보여준다. 이들 동위원소비와 온천수의 pH와는 대체적으로 정의 상관관계가 확인되었다. 아울러 $^{40}Ar/^{36}Ar$비가 $292.3{\times}10^{-6}{\sim}304.1{\times}10^{-6}$ 범위로 대기기원임을 지시한다. Gram 양성, Gram 음성 균주는 Escherichia coli KCCM 11591를 제외하고는 0.8 - 0.95 cm로 항균력이 강했으며, Gram negitive의 Pseudomonas aeruginosa KCTC 1750 에서는 43% 발효주에는 0.95 cm, 45% 고은 발효주에는 0.95 cm의 항균성을 나타냈으며 관능평가에서도 가장 높게 났다. 관능평가에서는 45% 고온 발효주가 가장 높게 나타났으며, 항산화성 실험에 나타난 저온 45%의 갈색도의 측정과는 항산화성에서는 좀 다른 결과를 나타낸다. 그러나 항균성이 가장 높게 나타난 43-45%와 관능평가에서 가장 높게 나타난 45% 고온 발효주를 볼 때 본 연구에서는 고온 발효주 45%가

일반적으로 XML 데이터는 트리 형태의 계층적인 구조를 가지고 있으며, XML 데이터의 저장 및 검색도 이러한 특성을 반영한다. 따라서 XML 데이터를 데이터베이스화 할 때에 XML 엘리먼트 간의 이러한 계층 관계를 반영하여 XML 데이터를 구조화하여 저장하고, 사용자의 검색을 지원하기 위해서는 질의에 명세 된 엘리먼트 구조 간의 계층 관계를 계산하여 처리하는 방법이 필요하다. 구조적 조인(structural joins) 연산은 이 문제의 한 해결책으로서 노드 번호 매기기 방식(node numbering scheme)에 기반한 XML 데이터베이스에 대하여 효율적인 계층 관계 연산 기법을 제시하고 있다. 하지만 계층 관계가 복잡하게 중첩되어 있는 트리 구조의 XML 질의를 처리하려면 여전히 다수의 구조적 조인을 수행해야 하기 때문에 질의 처리 비용이 많이 드는 또 다른 문제를 갖게 된다. 이에 본 논문에서는 선행 연구에서 제안된 트리 구조의 XML 질의 처리시에 필요한 다수의 중첩된 구조적 조인들의 수행비용을 효과적으로 줄이기 위한 사전 처리 방법으로서 동등 클래스 개념을 적용한 정규 표현식(regular expression)으로 된 경로 질의(path query)의 길이를 단축하는 경로식 단축 알고리즘을 소개하며 특히 분기 노드(branch node)가 포함된 경로식 단축 알고리즘을 제안한다. 제안한 알고리즘이 XML 경로식 질의 처리 시간을 평균적으로 1/3로 단축할 수 있음을 실험을 통해서 확인한다.

스트림 데이터는 끊임없이 고속으로 생성되는 데이터로써 최근 이러한 데이터를 분석하여 부가가치를 얻고자 하는 노력이 활발히 진행 중 이다. 본 연구에서는 스트림 데이터의 다차원적 분석을 위해 큐브를 고속으로 계산하는 방법을 제안한다. 스트림 데이터는 비즈니스 데이터와는 달리 정렬되지 않은 채로 도착하며, 데이터의 끝에 도달하지 않은 상태에서는 집계 결과를 낼 수 없어서, 고속으로 집계하는 과정에서 저장 공간의 낭비를 심하게 초래한다. 또한 큐브에 속한 집계 테이블들을 모두 생성하는 것은 시간/공간 측면에서 비효율적이라는 점이 지적되고 있다. 이러한 문제를 해결하기 위해 본 연구에서는 기존 연구들과 마찬가지로 큐브에 포함시킬 집계 테이블들을 사용자가 미리 정하도록 하였고, 정렬되지 않은 스트림 데이터를 고속으로 집계하는 과정에서 배열과 AVL 트리들로 구성된 자료구조를 집계 테이블의 임시 저장소로 사용하였다. 제안한 알고리즘은 생성하려는 큐브가 메모리에 상주할 수 없을 정도로 큰 경우에도 집계 연산을 수행할 수 있다. 이론적 분석과 성능 평가를 통해 제안한 큐브 계산 알고리즘이 실용적임을 입증하였다.

XML 데이터 검객을 위한 표준 질의 언어로서 XQuery와 XPath가 W3C에 의해 표준으로 제정되었다. XQuery와 XPath를 보편적으로 사용함에 따라, 최근 연구는 방대한 XML 데이터베이스에서 XPath 경고 표현식에 대한 효율적인 질의 처리를 위한 데이터 구조 및 알고리즘 개발에 초점을 두고 있다. 최근에, XPath 경로 표현식을 처리할 때 XML 엘리먼트 사이의 구조적 관계(조상-자손, 부모-자식)를 결정하는 구조적 조인의 개념은 중요한 XPath 프로세싱 기법중의 하나가 되었다. 그러나 XPath 질의 처리에서 자주 발생하는 구조적 조인들은 높은 비용을 요구한다. 본 논문에서, 우리는 XPath 질의들을 효율적으로 처리하기 위해 제안한 구조적 인덱스(SI) 기반의 새로운 구조적 조인 알고리즘(SISJ)을 제안한다. 실험 결과에서는 이전의 알고리즘보다 근소하게 더 효율적인 성능을 보여 준다. 그러나 재귀성이 높은 문서에 대해서는 제안기법의 가지치기 특성으로 인해 약 30% 이상의 성능향상을 보였다.

최근 멀티미디어 콘텐츠의 영향력이 점차 커지면서, 자신이 소유한 모바일 디바이스를 통해 멀티미디어 서비스를 제공받고자 하는 사용자의 요구가 증가되고 있다. 본 논문에서는 향후 홈 네트워크 시스템에 제공될 모바일 멀티미디어 서비스를 위한 데이타베이스 설계기법을 제안한다. 이를 위해 먼저, 서비스 운용 시 요구되는 에트리뷰트들을 추출하여 릴레이션을 구축하고 데이타베이스를 디자인한다. 특히, 데이터베이스 운영 시 발생할 수 있는 중복이나 갱신이상 현상을 막기 위하여, 릴레이션에 존재하는 다치 종속성(MVD, Multi Valued Dependency)을 밝혀내고 정규화(Normal Form) 이론에 기반 한 데이타베이스를 디자인을 제안한다. 실험에서는 다양한 정규형을 만족하는 분할된 릴레이션의 질의 수행결과를 통해, 데이타 중복현상과 갱신이상의 발생을 비교, 분석함으로써, 제안한 방법이 효율적임을 입증한다.

GML은 OGC(OpenGIS Consortium)에서 공간지리정보의 저장 및 전송을 위한 인코딩 표준으로 제안한 마크업 언어이다. 일반적인 공간 네트워크 데이터베이스에서 GML 지원을 위한 연구는 GML 문서의 파싱, GML 문서의 저장, GML 문서의 질의어로 분류된다. 이러한 3가지 주제 가운데 GML 문서 저장에 관한 연구는 효율적인 GML 문서 검색을 위해 필수적인 연구이다. 그러나 기존 XML 문서의 저장 스키마를 다루는 연구는 다수인 데 반해, GML 문서의 저장 스키마에 관한 연구는 거의 전무한 형편이다. 또한 기존 XML 문서 저장 스키마는 공간지리정보 저장에 적합하지 않다. 따라서 본 논문에서는 기존의 XML저장방식의 단점인 많은 중복데이터 저장, 엘리먼트를 얻기 위해 여러 테이블을 탐색해야 하는 단점을 보완하는 GML 문서의 효율적 저장을 위한 3가지의 저장 스키마를 제안한다. 아울러 제안하는 저장 스키마에 적합한 GML 지원 하부 저장 관리자를 선계 및 구현한다.

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

요구사항이 빈번히 변경되는 동적 비즈니스 시스템 프로젝트를 확정가로 개발할 경우, 개발과정에서 발생하는 요구사항의 변경에 따른 추가 소요 비용으로 인해 확정가 범위 이내로 개발을 완료하는 것은 거의 불가능하다. 확정가 범위 이내에서 성공적으로 프로젝트를 완료하기 위해서는 요구사항 변경 규모와 이에 기반하여 개발이 되지 않아도 되는 옵션 요구사항의 비율을 관리하여야 한다. 이에 대해 Bhagwat는 요구사항 변경이 구축단계에서만 발생한다고 한정하였다. 또한, 소프트웨어 개발비용, 구축단계 소요 비용과 요구사항 변경에 소요되는 추가 비용이 동일하다고 가정함으로써 요구사항 변경 비율과 옵션 요구사항의 비율 유도의 모순을 보였다. 본 논문은 요구사항 변경은 정련단계와 구축단계에서 발생한다고 가정하였다. 또한, 소프트웨어 개발비용, 구축단계 소요 비용과 요구사항 변경 비용간에는 차이가 발생한다고 가정하였다. 그 결과 확정가 대비 요구사항 변경에 따른 추가 소요 비용과 개발이 되지 않아도 되는 옵션 요구사항의 비율도 보다 현실성을 반영하는 결과를 얻을 수 있었다.

오늘날 차량네트워크(CAN)는 전기적 강인, 저가격과 접근지연 때문에 분산 임베디드 시스템에서 널리 사용되는 버스형 필드이다. 그러나 버스토폴로지에서 발생하는 의존적인 제한 때문에 차량네트워크가 어플리케이션상에서 안전적으로 사용되는지는 논쟁되어왔다. 그래서 차량네트워크(CAN) 디자인 단계 동안 데이터 버스의 부하와 최대 지연, 경쟁 우선순위와 같은 네트워크의 성능을 분석하는 것이 중요하게 되었다. 이 논문은 차량네트워크의 성능을 평가하기 위해 사용된 시뮬레이션 알고리즘과 고장 기법 기술을 적용을 소개한다. 이는 차량네트워크의 어떤 산만한 구현의 줄임과 시스템의 신뢰성을 향상 시켜 줄 것이다.

URC(Ubiquitous Robotic Companion)이라는 개념은 로봇은 다양한 서비스를 어느 곳에서나 어느 때나 사용자가 제공 받을 수 있도록 네트워크 기반으로한 로봇 시스템을 일컫는다. 이는 로봇에 네트워크를 활용하여 로봇이 제공할 수 있는 응용서비스를 확장하고 로봇이 모든 기능을 자체적으로 가짐으로써 안게 되는 기술적, 비용적 문제를 네트워크를 통해 기능을 분담하는 것이다. URC 소프트웨어 컴포넌트는 크게 HRI, 로봇액션 등으로 구분되는데 본 논문에서는 URC 컴포넌트의 시험평가를 위하여 품질모델 분석과 컴포넌트 시험 성능 평가 기준서를 설계한다. 또한 품질 프로세스 정의, 테스트케이스 설계 및 URC 컴포넌트 테스팅과 평가 사례를 제안한다.

소스 코드 재사용은 다른 개발자에 의해 만들어진 코드를 정확하게 이해하거나 검색하기 어렵다는 점에서 몇 가지 제한점을 갖는다. 이러한 문제점을 해결하기 위해서 소스코드 자체보다는 분석 및 설계 정보를 재사용하는 것이 가능해야 한다. 이에 본 논문은 객체 모델 및 패턴을 재사용하기 위해 필요한 analogical 매칭 기법을 제안한다. 그리고_ 객체 모델과 디자인 패턴을 재사용 컴포넌트로서 저장할 수 있도록 표현하는 방법을 제안한다. 즉, 재사용 라이브러리에 저장된 유사 컴포넌트를 검색하는 analogical 매칭 함수와 매칭을 지원할 수 있는 라이브러리 구조 및 재사용 컴포넌트의 라이브러리내 표현 방법에 대해 기술하였다.

잘못된 메모리 접근으로부터 발생되는 오류는 C언어로 작성된 프로그램에서 가장 빈번하게 발생하는 오류이다. 이러한 오류를 자동으로 검출하기 위한 기존의 상용화 도구 및 연구결과는 수행시간에 테스트 대상 프로그램에 가해지는 부가적인 오버헤드가 매우 크거나 검출할 수 있는 메모리 접근오류의 종류가 제한적이다. 본 논문에서는 기존연구의 한계점을 개선한 새로운 메모리 접근오류 검출기법을 제안하고 실험을 통해 기존연구와의 비교분석을 수행하였다. 본 논문은 C언어 기반 프로그램의 소스코드 분석기법에 기반하고 있으며, 테스트 대상 프로그램에 할당된 동적 메모리 블록의 주소 범위에 대해 컬러링 기법을 적용한다. 본 논문에서 제안하는 오류검출기법은 기존의 바이너리 코드 분석기법에 비해 다양한 형태의 메모리 접근오류를 검출할 수 있으며, 테스트 대상 프로그램의 수행시간에 요구되는 메타데이터의 유지 및 갱신연산에 따른 공간 및 성능오버헤드가 기존의 소스코드 분석기법에 비해 개선되었다. 또한 본 논문에서 제안하는 기법은 테스트 대상 프로그램과 공유 라이브러리간의 호환성 문제를 일으키지 않으며, 메모리 할당함수의 내부 메커니즘을 변경하지 않는 특징을 갖고 있다.

정보시스템 운영리스크를 최소화하고, 장애시간 동안의 영업기회 손실비용 규모를 줄이기 위해서는 장애의 예방과 사전준비가 필요하다. 그런데 장애가 발생할 경우, 대부분의 기업에서는 장애발생 직후에 대응과 복구 조치를 취하고 있다. 프로그램 개발자나 시스템운영자들은 과거의 경험과 직관에 의존하여 장애를 관리하고 있을 뿐, 장애를 체계적으로 관리하고 사전에 예방하는 사례를 찾아보기가 힘든 실정이다. 본 논문은 정보시스템 운영리스크의 관점에서, 디스크 장애예방을 위한 피해저감모델의 개발에 초점을 맞추었다. 연구모델은 디스크장치에서 정보시스템 운영리스크가 발생하는 위험원인, 그리고 이러한 원인들을 사전에 점검하는 점검주기, 점검에 필요한 운영규정으로 구성된다. 또한 정보시스템 부문의 하드웨어 장애요인 중에서 가장 크게 나타나고 있는 디스크 장애에 대하여 피해저감모델을 적용함으로써 활용 가능성을 보여 준다.

고객관리에 중요한 정보로 활용되는 웹로그 분석과 의사결정을 지원하기 위한 데이터웨어하우스를 결합하여 데이터웹하우스가 등장하였다. 그러나 시스템에 분산되어 저장된 정보를 통합하는 데이터웹하우스는 다양하고 이질적인 정보를 포함하므로 관리적 측면에서 복잡한 작업을 필요로 한다. 본 연구는 데이터웹하우스 환경에서 데이터를 효과적으로 관리하고 통합하기 위한 메타데이터 스키마를 제안한다. 제안된 스키마는 데이터웹하우스 개발을 지원하고 기업의 정보 자산에 대한 통합 관리를 가능케 한다. 또한 데이터웹하우스의 웹로그 추출을 위한 ETL 메타데이터를 사용하여 웹로그 데이터 처리시간을 향상시킬 수 있다.