본 논문에서는 주기억장치 데이타베이스의 특성을 반영하여 시간제약조건을 처리할 수 있는 실시간 주기억장치 데이타베이스시스템을 위한 질의 처리기를 설계하고 구현한다. 제안된 질의 처리기는 메타 데이타베이스를 이용하여 시간제약을 갖는 실시간 데이타를 유지 관리한다. 응용 프로그램의 작성을 위해서 CLI를 지원하고 있으며, 이를 확장한 확장 CLI와 저장 CLI를 지원하여 확장 CLI를 이용하여 실시간 트랜잭션의 정보를 CLI를 사용으로 표현할 수 있도록 하였고, 빈번하게 수행되는 트랜잭션을 지원하기 위해 저장 CLI를 지원한다. 제안된 질의 처리기는 주기억장치 실시간 데이타베이스 관리시스템의 질의처리기로 구현하였으며, 성능평가를 통해서 시스템의 질의처리 능력과 실시간 데이타의 효율적인 관리를 통해서 종료시한을 만족하는 실시간 트랜잭션의 비율이 증가됨을 보였다.

본 논문에서는 객체 지향 분산 가상 컴퓨팅 환경인 DOVE에 대하여 기술한다. DOVE는 독립적인 분산 객체들이 메소드 호출을 통하여 서로 상호 작용하는 분산 객체 모델을 기반으로 설계되었으며, 다수의 이기종 머신들로 구성된 분산 환경을 하나의 논리적인 단일 가상 컴퓨터로 사용자에게 제공함으로써 원격지에 있는 분산 객체들이 하나의 가상 컴퓨터에 존재하는 것처럼 사용할 수 있도록 한다. 또한, 병렬성, 이기종 환경, 객체 그룹, 단일한 네임 서비스, 그리고 오류 허용 등의 지원을 통하여 병렬 프로그램 개발을 위한 투명성 있고 사용이 용이한 프로그래밍 환경을 제공한다. 병렬성은 다양한 메소드 호출, 객체 그룹을 통한 다중 메소드 호출, 다중 쓰레드 구조 그리고 여러 동기화 구조를 사용함으로써 효과적으로 지원되며, 자동화된 데이타 변환 코드 생성, IDL 컴파일러를 통한 stub와 skeleton 객체 생성 그리고 객체 관리자를 통한 객체 라이프 관리와 네임 서비스를 통하여 이기종 간 호환성 문제를 해결하였으며 투명성 있고 사용이 용이한 프로그래밍 환경을 제공한다. 자치성 있는 분산 객체와 다중 레이어 구조 그리고 분산화된 네임 서비스와 객체 관리 구조를 사용함으로써 확장성과 보수성이 향상되었으며, 비동기방식의 사건 및 예외 처리 통한 오류 탐지 및 확인 기능을 제공한다.

병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구 명세로부터 테스트 케이스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 본 연구에서는 통신 소프트웨어 개발분야에서 광범위하게 사용되는 메시지 순차도(MSC)로 작성된 명세로부터 병렬 프로그램의 모듈 테스팅을 위한 테스트 케이스를 자동으로 생성하는 방법을 제안하고 생성된 테스트 케이스를 이용하여 실제 테스팅을 수행할 수 있는 환경을 개발하였다. 명세로부터 테스트 케이스를 자동으로 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후 관계를 파악해야 하는데 이를 위해서 본 연구에서는 논리시간벡터를 MSC 명세에 적용하기 위한 방법을 제안하여 이벤트간의 선후 관계인 이벤트 시퀀스를 추출하고 이를 테스트 케이스로 사용한다. 생성된 테스트 케이스는 TTCN 형태로 기술되고 이는 다시 CHILL 소스 코드 형태로 변환되어 테스트 대상이 되는 모듈과 상호 동작하면서 테스팅 대상 모듈의 동작이 기술된 요구 명세의 내용과 합치하는 지를 검사한다. 본 연구에서 개발한 테스팅 방법은 통신소프트웨어 개발 과정에서 산출된 MSC 명세로부터 테스트 케이스를 추출함으로써 테스팅을 위해 별도의 명세를 작성할 필요가 없다. 또한, 논리 시간 벡터를 적용하여 이벤트 시퀀스를 자동 생성할 뿐만 아니라 생성된 이벤트 시퀀스는 시스템 전체의 이벤트 시퀀스로써 독자적인 테스팅 방법으로 사용될 수 있다. TNF-$\alpha$ and NO. These findings suggest that compounds 6 and 11 are modulating various elements of the host immune response.%로서, carbofuran 단독투여와 carbofuran과 PB 또는 3-MC 투여사이에 대사산물의 종류는 같았으나 생성율에는 큰 차이가 있었다. 이와 같은 결과는 쥐에 carbofuran 투여 후 PB나 3-MC를 투여함으로써 carbofuran의 대사가 빠르게 이루어지고, 주 대사산물 중3-hydroxycarbofuran보다 독성 이 낮은 3-ketocarbofuran으로의 대사가 빠르게 이루어지기 때문에 carbofuran의 독성이 경감되어 쥐가 생존할 수 있는 것으로 판단된다.시장젓갈${\lrcorner}$에는 글루타민산, leucine, alanine, lysine의 4종류, ${\ulcorner}$반찬젓갈${\lrcorner}$에는 글루타민산, leucine, alanine의 3종류, ${\ulcorner}$일본병조림젓갈${\lrcorner}$은 글루타민산이 현저하게 많다.회하였다.ollowed fro all Sullungtang samples from Hanwoo. The results showed that the overall quality of Sullungtang significantly decreased

클라이언트/서버 응용은 크게 데이타베이스 서버와 응용 및 프리젠테이션 로직을 포함한 클라이언트로 구성된다. 이러한 클라이언트/서버 응용은 최근의 웹의 성장과 함께 자바 언어를 많이 이용하는데 특히 클라이언트 쪽의 GUI 구현과 JDBC를 이용한 클라이언트/서버 응용에 많이 쓰인다. JDBC를 이용하여 클라이언트/서버 응용을 개발할 경우 먼저 응용의 바탕이 되는 데이타베이스의 설계, JDBC 접속을 위한 코딩, 데이타베이스로부터 선택된 데이타들을 보여주기 위한 리포트 양식 등의 설계가 필요하다. 본 논문에서는 이러한 JDBC를 이용한 클라이언트/서버 응용 개발에 필요한 컴포넌트들을 자바빈즈로설계 및 구현하고 이를 이용한 개발 환경을 제시한다. 구현된 환경을 이용하면 클라이언트/서버 응용의 개발에 있어서 소스 코드 편집을 최소화하고 자바빈즈 컴포넌트들의 선택 및 이들의 속성 편집만으로 쉽게 구현할 수 있다.

본 논문에서는 ForTIA라 불리는 LOTOS 지원도구의 개발을 소개한다. ISO 표준 정형 명세 언어인 LOTOS는 사용자의 요구사항이나 시스템 모형을 추상화하여 정형적으로 작성할 수 있도록 함으로써 구현에 이르기 전에 명세 상에서 시스템을 확인 및 검증할 수 있게 한다. ForTIA는 LOTOS 정형기법이 산업계에 적용될 수 있도록 확인 위주의 경량 정형기법 기능을 제공한다. ForTIA의 핵심적인 기능은 명세 시뮬레이션과 C++ 코드 생성이다. 시뮬레이션은 편리하고 직관적인 상호작용을 위한 트리 기반의 시각적 명세확인 메카니즘을 제공하고 C++코드생성은 LOTOS로부터 완전한 C++ 코드를 생성하여 시스템의 실제 구현에 이용될 수 있도록 한다.

실시간 내장 시스템은 운용 환경과 용도에 따라 멀티태스킹 커널이 지원해야 할 하드웨어 플랫폼과 자원 관리 정책이 다양하게 달라진다. 실시간 내장 시스템에 요구되는 크기와 성능 상의 제약 조건들을 엄격하게 만족해야 하는 멀티태스킹 커널을 새로운 시스템 서비스나 하드웨어에 맞게 개조하는 것은 쉽지 않다. 본 논문은 마이크로 프로세서 기반의 실시간 내장 멀티태스킹 커널의 구현에 재사용 가능한 객체지향 커널 프레임워크의 프로토타입을 객체 합성과 클래스 상속 메커니즘에 의거한 프레임워크 설계 패턴들을 적용하여 개발한 사례를 설명한다. 본 커널 프레임워크는 필요한 커널을 프레임워크의 개조와 확장을 통하여 효율적이고 일관성있게 생성할 수 있도록 하드웨어 환경과 시스템 자원 관리 정책에 의존적인 부분들이 프레임워크의 가변 부위(hot spot)로 분리된 추상 클래스들로 설계되어 있어서 높은 이식성과 개조성이 요구되는 마이크로 프로세서 기반 실시간 내장형 멀티태스킹 커널의 구현에 효과적으로 사용될 수 있다.

내장 소프트웨어는 외부 입력과 시스템의 현재 상태를 함께 고려하여 출력을 결정하는 특성을 가지고 있기 때문에, 하나의 모듈을 테스트하기 위해서는 해당 모듈에 대한 단위 테스트 기법 이외에, 추가적으로 그 모듈에 도달하기 위한 다양한 시퀀스를 생성하는 방법이 필요하다. 본 논문에서는 내장 소프트웨어의 모듈 테스트를 위한 명세 기반의 테스트 방법을 제안하고 이를 지원하는 자동화 도구인 MSCTest를 구현하였다. 각 모듈의 기능은 결정표 (decision table)를 이용하여 명세하고, 시스템에 발생가능한 시나리오는 데이타 표현을 첨가한 MSC (Message Sequence Charts)로 기술하여 테스트 시퀀스를 생성한다. MSCTest는 MSC 그래픽 편집기, 테스트 시퀀스와 데이타 생성기, 그리고 생성된 테스트데이타를 수행시키는 테스트 드라이버 생성기로 구성되어 있다. MSCTest를 이용하여 웹 비디오폰이나 디지털 TV 등에서 편리한 사용자 인터페이스를 제공하기 위해 사용되는 EsWin (Embedded System Windows) 소프트웨어를 효과적으로 테스트할 수 있었다.

최근 차량 수의 급격한 증가로 인하여 도로에서 운행되고 있는 차량의 수는 도로가 수용할수 있는 한계치를 넘어서고 있다. 이러한 교통 과밀 지역의 교통 흐름을 분산시키기 위해 교통감시카메라의 영상에서 혼잡도를 산출하거나, 이동물체의 속도나 개수를 분석하는 방법들이 제시되었다. 그러나, 현재까지의 연구들은 교통 혼잡도를 측정하기 위해 배경 영상을 사용하기 때문에 적당한 배경 영상을 미리 준비하여야 한다. 본 논문에서는 배경 영상을 사용하지 않고 교통 혼잡도를 측정하는 알고리즘을 제안한다. 차량의 에지 정보를 얻기 위해 도로 영상에 DCT를 수행하고 그 결과를 이용하여 교통 혼잡도를 측정하는 방법을 제시한다.

본 논문은 원격 공동 실험을 위한 플랫폼인 PCS(Platform for Collaborative System) 개발에 관한 연구이다. PCS는 특정 응용 분야를 목적으로 하지 않고, 모든 분야의 공동 실험 시스템을 개발할 수 있는 범용의 공동 실험 플랫폼이다. PCS는 공동 실험에 필요한 객체인 통신, 세션, 사용자, 어플리케이션, 미디어, 메시지 객체와 이들에 대한 관리 메커니즘 함수를 가진 관리 객체로 구성된다. 관리 객체는 공동 실험 객체와 이들을 관리하는 오퍼레이션으로 구성되며, 관리 객체 사이의 상호작용을 통하여 제어정보 및 데이타를 처리한다. 또한, PCS는 공동 실험을 위한 어플리케이션 공유 기술을 통하여 단일 사용자 어플리케이션을 다중 사용자 어플리케이션으로 활용할 수 있도록 하고, 공유 어플리케이션을 통한 원격기기 제어 기능을 제공한다. PCS 플랫폼은 원격 공동 실험을 위한 환경을 제공하며, 여러 공동 실험 시스템의 하부 구조로 사용될 수 있다.

공간 계획 시스템(Spatial Layout Planning System)은 사용자의 요구에 따라 사각의 자원을 일정 공간 안에 할당하고 사용자의 만족도를 최대화함으로써 공간 효율성을 최적화하는 시스템이다. 공간 계획 문제는 방대한 범위의 공간을 탐색해야 하므로 시간과 공간적 측면에서 높은 복잡도(Complexity)를 갖는 문제이다. 또한 특정 영역의 수정 요구나 재설계 요구와 같은 사용자의 동적인 요구 사항들을 수용할 수도 있어야 한다. 본 논문에서는 CSP(Constraint Satisfaction Problems) 해결 기법 기반의 자원 할당법을 이용함으로써 효과적으로 공간 계획 문제를 해결할 수 있도록 하였으며 사용자의 요구에 따라 변화되는 제약조건은 지능형 사용자 인터페이스 모델을 통해 좀 더 향상된 결과가 도출될 수 있도록 설계 및 구현하였다. 또한, 2차원 도면에서의 수정 요구에 대한 편이성과 시각적 검증을 위해 웹 환경 하에서의 VRML(Virtual Reality Modeling Language)을 이용한 3차원 도면을 보여준다.

번호 이동성은 사용자가 전화 번호의 변경 없이 통신 사업자, 지역, 서비스 종류를 바꿀 수 있는 능력을 제공하는 지능망 서비스이다. 번호 이동성은 통신 시장의 경쟁을 활성화 시키기 위해 반드시 필요한 서비스로, 최근 많은 나라에서 통신 사업자간에 규율을 정하고 번호 이동성 서비스를 도입하기 위한 작업을 추진 중에 있다. 번호 이동성 서비스를 제공하기 위해서는 통신 사업자들이 모든 고객의 정보를 각각 관리해야 하므로, 공통된 고객 정보를 관리하기 위한 단일화된 방법이 필요하다. 이러한 기능을 담당하는 것이 NPAC이다. 한편, 최근 CORBA는 분산 시스템 관리를 위한 주요 기술로 대두되고 있으며, CORBA를 지능망에 적용하기 위해 지능망, TMN, CORBA의 통합에 관한 연구가 진행되고 있다. 이러한 연구의 일환으로, 본 논문에서는 번호 이동성 서비스 관리에 TMN과 CORBA를 적용하기 위한 연구를 소개한다. 우선 CORBA 기반의 번호 이동성 서비스 관리 구조를 기술하고, CORBA를 이용하여 NPAC을 구현하는 방안에 대해 설명한다.

본 논문에서는 인터넷 네트워크 구조 및 트래픽 특성을 고려하여 수정 계층적 네트워크 모델을 설계하고, 이를 기반으로 확장성, 데이타 손실율, 전송지연특성 그리고 자원효율성 등을 향상시킨 EDCBT(Enhanced Dispersed Core-Based Tree) 멀티캐스트 라우팅 프로토콜을 제시한다. EDCBT는 양방향성 분산공유트리방식으로, 기존의 방식들과는 달리 도메인 내부의 트리관리와 도메인간 트리관리 모두를 통합처리할 수 있는 구조로 설계되어 있다. 도메인 내부에서는 코어 라우터를 중심으로 CBT 형태의 멀티캐스트 트리를 구성하고, 이렇게 형성된 각 도메인간의 트리구성은 경계라우터들간의 상호작용을 통해 이루어지게 된다. EDCBT의 주요 특징으로서 지역망간 트리전환이라는 새로운 개념을 도입하였는데, 이를 통해 통신의 품질과 네트워크 이용율을 획기적으로 향상시킬 수 있다. 최종적으로 제안 프로토콜의 성능평가 및 코어 라우터의 위치에 따른 효과등을 종단간 전송지연 및 데이타 손실율, 망처리율과 같은 대표적인 평가기준에 따라 네트워크 모의실험용 소프트웨어인 MIL3사의 OPNet을 이용하여 검증한다.

병렬 컴퓨터의 메시지 전달에서 응용에 관계없이 일반적으로 우수한 경로 지정 및 스위칭 정책은 존재하지 않으므로, 사용자가 응용에 따라서 정책을 변경할 수 있게 하는 것이 바람직하다. 본 논문에서는 마이크로프로세서 구조에 기초한 경로 지정 엔진과는 달리, 성능의 감소 없이 융통성 있는 경로 지정과 스위칭 기능을 수행할 수 있는 조견표(look-up table) 경로 지정 엔진의 구현에 대하여 기술한다. 제안된 경로 지정 엔진은 조견표의 내용을 바꿈으로써 웜홀(wormhole), 가상 컷스루우(virtual cut-through) 및 패킷 스위칭(packet switching) 등은 물론, 다양한 경로 지정 알고리즘의 혼성(hybride)스위칭을 구현할 수 있다. 경로 지정 엔진의 조견표는 파이프라인 구조로 되어 있어, 하나의 플릿(flit) 정도의 저 지연을 가지므로, 단일 경로 지정 및 스위칭 정책을 하드와이어(hardwired)로 구현한 경우 보다 큰 성능의 감소 없이 다중의 경로 지정 동작을 중첩할 수 있다. 제안된 4개의 파이프 라인단은 해저드(hazard)를 일으키지 않으므로, 고 비용의 포워딩(forwarding) 회로가 필요 없다. 경로 지정 엔진은 시간공유의 컷스루우 버스나 크로스바(crossbar) 스위치를 갖는 단일 경로로 되어 있는 4개의 물리적 경로를수용할 수 있다. 제안된 경로 지정 엔진은 Xilinx 4000XL 시리즈 FPGA를 사용하여 구현되었다.

과금 관리를 포함한 대부분의 망관리 기술들은 단일 서비스망을 중심으로 연구 개발되어 왔으며, 국내외적으로 ATM 기반의 이종 서비스망환경에서의 과금 관리는 현재 많은 연구 기관들에 의해 개발 중에 있다. 본 논문에서는 광대역 통신망의 복수 서비스를 통합?지원하는 액세스망에서의 실시간 과금 관리 시스템을 설계하고 구현한다. 과금 관리 시스템은 ATM 크로스커넥팅 기능을 수행하는 액세스노드상에서 과금 정보를 측정하고 기록하는 에이전트와 워크스테이션 상에서 과금 정보를 수집하고 처리하는 매니져 구조로 설계.구현되었다. 에이전트의 관리정보는 OSI 시스템 관리 서비스와 CMIP 프로토콜을 사용하는 TMN 표준 Q3 인터페이스를 통해 매니져로 전달된다. 이후 과금정보는 매니져에 의해 과금 레코드로 변환되어 해당 서비스 제공자에게 제공되고 웹을 통해 실시간으로 열람할 수 있다.

관계형 데이타베이스 시스템의 각 테이블은 레코드의 집합이며 각 레코드는 일련의 속성들의 집합으로 이루어진다. 속성에 대한 상이값수란 레코드의 속성에 대해 실제로 데이타베이스 내에 사용되고 있는 서로 다른 속성값의 개수를 나타내며 질의 최적화나 통계적 질의의 지원에 유용하게 사용된다. 한편 기존 관계형 데이타베이스 시스템과는 달리 객체-관계 데이타베이스 시스템은 테이블간의 계승 관계를 지원하므로 상위 테이블에서 정의된 속성을 하위 테이블에서 계승받게 된다. 따라서 상이값수 또한 단일 테이블에 관한 정보뿐만 아니라 하위 테이블의 속성 정보를 모두 반영하는 계층 상이값수가 필요하다. 본 논문은 기존 상이값수 측정 방법을 그대로 사용하되 계층 상이값수를 계산하는 방법으로써 속성값 구간 배열을 이용하는 기법을 제안한다. 이 기법은 해당 테이블과 하위 테이블에 대하여 각각 속성값 구간 배열을 구성하고 그것을 합병함으로써 계층 상이값수를 계산한다. 제안하는 기법은 작은 양의 저장 공간만을 사용하여 계층 상이값수를 정확히 구할 수 있게 하며 계층 내의 각 테이블에 대한 갱신 연산이 불균등하게 이루어지는 환경에서 더욱 효과적으로 이용될 수 있다.