• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.661-664
• /
• 2002

컴포넌트를 개발하는데 있어서 컴포넌트 명세의 정확성과 명세의 검증을 통하여 에러를 찾아 낸다는 것은 컴포넌트의 전체 품질에 매우 중요한 의미를 갖는다. 그러나, 기존의 컴포넌트 명세는 구문적인 측면은 잘 정의하고 있지만, 의미적인 측면은 자연어를 사용하여 모순과 모호성이 흔히 발생한다. 컴포넌트 명세에 있어서 정형적 문법을 사용할 경우 이러한 모호성을 제거함으로써 명세 오류들을 매우 효과적으로 줄여준다. 본 논문에서는 컴포넌트의 품질을 높일 수 있도록 분석력과 논리성이 검증된 정형 명세 언어 Z의 스키마 확장을 이용하여 컴포넌트를 명세하므로써 컴포넌트 구현 및 사용상의 오류를 분석할 수 있는 방법을 제안한다.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.41-44
• /
• 2003

In this paper, we propose design of PCI Express Physical Layer for IP. The proposed design is compatible with PCI Express Base specification Revision 1.0a. and supports only single Lane. The best feature of this design is that Physical Layer includes Power Management block. Therefor, the entire design of PCI Express component is simplified. In the near future, as optimizing this design and extending Lane, we will redesign Physical Layer.

• Journal of the Korean Statistical Society
• /
• v.29 no.2
• /
• pp.231-245
• /
• 2000

This paper considers a linear regression model with space and time data in where the disturbances follow spatially correlated error components. We provide the best linear unbiased predictor for the one way error components. We provide the best linear unbiased predictor for the one way error component model with spatial autocorrelation. Further, we derive two diagnostic test statistics for the assessment of model specification due to spatial dependence and random effects as an application of the Lagrange Multiplier principle.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.142-144
• /
• 2000

최근의 내장형 시스템은 점점 대형화되고 복잡성이 증가하고 있다. 또한 시스템의 생명주기는 매우 빠른 속도로 단축되고 있는 추세이다. 이에 따라 발생될 수 있는 에러율이 증가하고 있으며 이를 해결하기 위해 많은 비용과 시간에 소비될 수 있다. 따라서, 시스템 설계단계부터 신뢰성과 안정성을 보장하며 신속하게 명세를 표현할 수 있는 정형 명세 기법이 필요하다. 본 논문은 신속하면서 견고한 정형 명세 개발을 위해 컨포넌트를 지원하는 Statechart 도구를 구현한다. 본 논문에서 개발된 도구를 이용하면 이미 작성된 정형 명세를 최대한 재사용함으로 새로운 시스템 설계의 개발시간을 단축시킬 수 있는 장점을 지닌다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.109-111
• /
• 2002

객체기술의 확장, 분산처리기술의 발전과 더불어 주목받는 컴포넌트 기반 소프트웨어 구축기술은 기존의 프로그래밍 기술을 대체하는 효율적인 기법으로 평가받고 있다. 소프트웨어의 재사용 측면에서 이러한 컴포넌트들은 프로그램 개발의 생산성 증대에 기여하는 것은 사실이지만 이러한 효과가 현실화되기 위해서는 기본적인 제반요소 -검색 및 저장소, 효과적인 컴포넌트 서술- 가 해결되어야 한다. 이에 본 논문에서는 컴포넌트의 명세를 기반으로 한 컴포넌트 저장소 모델을 제안한다. 이러한 컴포넌트의 명세는 인터페이스 기술에 대만 명세, 상속등과 같은 재사용에 대한 정보, 인터페이스들을 포함하는 컴포넌트 명세들 간의 상호작용에 관만 정보를 포함한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.439-442
• /
• 2002

컴포넌트 명세는 컴포넌트와 클라이언트 사이의 계약으로 볼 수 있다. 하지만 현재의 컴포넌트 명세는 인터페이스 명세 언어(Interface Definition Language)와 정확성이 결여된 자연어로 작성된 명세에 의존하고 있다. 이러한 명세는 모호성, 불완전성, 모순등을 포함할 수 있다. 따라서 컴포넌트 명세는 이러한 점을 충분히 고려하여 진행되어야 하는데 본 연구에서는 EJB 컴포넌트의 코드 템플릿을 반영하여 요구사항을 Object-Z로 명세하고 이러한 명세로부터 컴포넌트를 구현하는 단계를 제시하였다.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.3157-3159
• /
• 2000

Soft Output Viterbi Algorithm is modification of Viterbi algorithm to deliver not only the decoded codewords but also a posteriori probability for each bit. This paper presents SOVA decoder which can be used for component decoder of turbo decoder. We used two-step SMU architectures combined with systolic array traceback methods to reduce the complexity of the design. We followed the specification of CDMA2000 system for SOVA decoder design.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.1081-1084
• /
• 2002

웹 기반 교육 컴포넌트를 효과적으로 재사용하기 위해서는 충분히 많은 수의 교육컴포넌트 존재, 등록과 검색시스템의 지원, 효과적인 교육컴포넌트의 서술 등의 문제가 해결되어야 한다. 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 등록된 교육 컴포넌트를 검색하여 새로운 교육 소프트웨어 개발에 사용할 때 생산성과 신뢰성 증대를 위하여 효과적인 교육 컴포넌트 검색을 제공하기 위한 XML기반의 교육컴포넌트 검색 방법을 제시하고 검색 시스템을 설계 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.501-503
• /
• 1999

소프트웨어 컴포넌트의 재사용은 새로운 소프트웨어를 개발하기 위해 이미 개발되어진 컴포넌트나 적절하게 수정된 컴포넌트를 사용하는 것이다. 따라서 컴포넌트 저장소에 저장되어 있는 컴포넌트를 효율적으로 검색할 수 있어야 하며, 검색된 컴포넌트를 적용하여 새로운 소프트웨어를 개발할 수 있어야 한다. 이 논문에서는 컴포넌트 저장소에 XML 기반으로 명세된 컴포넌트들의 검색 방법과 소프트웨어 아키텍쳐 재구성을 위한 구조 검색 방법을 제안한다. 제안한 검색 방법에서 시그니쳐 일치 방법은 컴포넌트 검색의 재현율을 향상시키며, 행위 일치 검색은 컴포넌트 검색의 정확성을 향상시킬 수 있다. 또한, 구조 검색 방법은 소프트웨어 아키택쳐의 재구성을 위해 컴포넌트의 구조적인 관점에서 컴포넌트를 검색할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1007-1012
• /
• 2000

CBSE를 이루는 관련 기술들 중 하나인 소프트웨어 아키텍처는 시스템의 구조적 기술로서 시스템을 구성하는 컴포넌트와 그 컴포넌트들 사이의 상호작용을 기술한 것이다. 소프트웨어 아키텍처는 CBSE에서의 컴포넌트 사이의 조합에 대한 기술 및 방법론을 제공함을써, CBSE의 핵심 기술 중 하나로 자리잡고 있다. 본 논문에서는 컴포넌트 명세를 위해서 Formal methods와 ADL이 가지고 있는 장단점을 상호보완하하기 위하여 Z언어를 이용하여 컴포넌트, 커넥터, 전체 시스템 구성을 기술하는 3가지 전략과 이 전략을 기반으로 컴포넌트를 명세하는 방법을 제안한다.