• 제목/요약/키워드: Component Specification

검색결과 270건 처리시간 0.024초

정형 명세를 이용한 제품계열 아키텍처의 인스턴스화 기법 (A Method for Instantiating Product Line Architecture using Formal Specifications)

  • 신숙경;허진선;김수동
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제33권12호
    • /
    • pp.1008-1021
    • /
    • 2006
  • 제품계열 공학(Product Line Engineering, PLE)은 최근 각광받고 있는 효율적인 소프트웨어 재사용 접근 방법 중 하나로 핵심자산을 인스턴스화(Instantiate)하여 여러 어플리케이션을 개발한다. 핵심자산(Core Asset)의 구성요소로는 제품계열 아키텍처(Product Line Architecture, PLA), 컴포넌트, 의사결정모델(Decision Model)이 있다. 이런 요소 중, PLA는 핵심자산의 전체적인 구조를 정의하고 있어 가장 핵심적인 요소라 할 수 있다. 현재 많은 PLE 방법론들이 소개되어 있으나, PLA의 구체적인 구성요소와 어플리케이션을 만들기 위해 PLA를 인스턴스화하기 위한 체계적인 기법이 미비하다. PLA의 구성요소를 명확히 정의하고 인스턴스화 프로세스를 상세히 정의하기 위해 정형명세가 효과적으로 사용될 수 있다. 본 논문에서는 먼저 PLA의 메타모델을 제시하고 PLA를 정형명세 언어인 Object-Z로 명세하는 방법을 제시한다. 또한 정형명세를 이용한 인스턴스화 규칙을 제안하며, 이런 규칙은 PLA를 인스턴스화히기 위한 제약사항을 상세히 정의하고 있다. 제안된 정형명세를 적용함으로써, PLA의 인스턴스화는 상세하고 명확하게 수행될 수 있어 고품질의 소프트웨어를 생산할 수 있다.

주성분분석 방법에서의 임베디드 데이터를 이용한 얼굴인식 방법 (Face recognition method using embedded data in Principal Component Analysis)

  • 박장한;남궁재찬
    • 대한전자공학회논문지SP
    • /
    • 제42권1호
    • /
    • pp.17-23
    • /
    • 2005
  • 본 논문에서는 얼굴영역에 존재하는 특정영역인 분할된 머리, 이마, 눈, 귀, 코, 입, 턱의 슈퍼 상태에서 임베디드 데이터를 이용하여 얼굴인식 방법을 제안한다. 제안된 방법에서는 정규화된 크기(92×112)에서 특정영역인 슈퍼 상태를 정의하고, 분할된 슈퍼 상태의 내부요소인 임베디드 데이터만을 추출하여 PCA 알고리듬으로 얼굴인식을 수행한다. 제안된 방법에서는 원래영상을 모두 학습하는 것이 아니라 분할된 임베디드 데이터만을 학습시키기 때문에 제안된 영상의 크기(92×112)에서 특정 데이터를 받아들일 수 있다. 그리고 평균적으로 92×112 크기의 영상에서는 99.05%, 단계1은 99.05%, 단계2는 98.93%, 단계3은 98.54%, 단계4는 97.85%의 얼굴인식률을 보였다. 따라서 실험을 통하여 제안된 방법은 얼굴영상의 정보를 축소할 뿐만 아니라 처리속도도 향상됨을 보였다.

RBAC 데이터베이스의 무결성을 위한 일관성 특성과 관리도구 동작 (Operations of Administration Tool and Consistency Properties for RBAC Database Integrity)

  • 오석균;김성열
    • 한국산업정보학회논문지
    • /
    • 제5권4호
    • /
    • pp.16-21
    • /
    • 2000
  • Role-Based Access Control(RBAC)은 처리과정 오류를 줄이는 것처럼 접근통제 정책의 관리단가를 낮춰준다. RBAC 개념에서 가장 중요한 요소가 관리도구이다. RBAC 보안시스템을 위한 관리도구는 RBAC 데이터베이스에 저장되어 있는 사용자역할과 역할-역할 관계의 무결성을 유지하여야 한다. 따라서, 데이터베이스의 무결성을 정의하는 집합, 함수, 특성들이 요구된다. 본 논문은 Linux 서버 시스템 환경에서 RBAC 기술을 이용한 보안 시스템을 설계할 때 사용자-역할과 역할-역할 관계에 관한 데이터베이스의 무결성에 관하여 정의하고, 이들 관계를 관리하기 위한 동작에 대한 형식 명세를 제안한다. 제안된 형식 명세는 관계 집합처럼 정의된 RBAC 데이터베이스를 위해 일관성 요구를 유지한다. 또한, 동작의 형식 명세화를 함으로써 RBAC 관리도구의 구현을 쉽게 이끌어 내고, 더 효율적인 관리도구를 구현하기 위한 최소 집합을 유도하기 위함이다.

  • PDF

IMT-2000 위성부문 무선인터페이스 표준을 위한 임의 접속 기법 (Random access method for radio interface specification of IMT-2000 satellite component)

  • 임광재;김수영
    • 한국통신학회논문지
    • /
    • 제26권11B호
    • /
    • pp.1583-1594
    • /
    • 2001
  • 본 논문에서는 IMT-2000 위성 부문 무선 인터페이스 표준을 위한 임의 접속 채널의 전송 구조 및 접속 과정을 제시한다. 제안된 임의 접속에 관한 표준 내용은 IMT-2000 지상 부문 무선 인터페이스 표준의 하나인 3GPP FDD 모드의 임의 접속 기법과 많은 부분에서 공통성을 가지며, 위성 부문의 채널 특징을 고려하여 프리엠블의 반복 전송, 프리엠블과 메시지의 동시 전송, 그리고 물리 계층 레벨에서의 빠른 검출 확인이라는 특징을 갖는다. 현재, 제안된 임의 접속 기술은 한국 TTA에 의해 제안되어 IMT-2000 위성 부문의 하나의 무선 인터페이스로 ITU-R에서 승인된 SAT-CDMA의 임의 접속 기술로 포함되었다. 또한, 본 논문에서는 SAT-CDMA에 적용된 임의 접속 채널을 이용한 시그널링 과정과 지연 특성을 분석하였으며, 기존의 ALOHA 방식과 3GPP에서 사용하는 임의 접속 방식과 시그널링 지연 측면에서 비교하였다. SAT-CDMA의 고도 1600 km LEO 위성 궤도를 고려할 때, SAT-CDMA 임의 접속 방식은 기존 ALOHA 방식에 비해 전송 회수가 증가함에 따라 100 ms 이상의 적은 지연 시간을 보이며, 3GPP 방식에 비해 약 30 ms의 적은 지연 시간을 갖는다.

  • PDF

컴포넌트 기반의 망관리 시스템 개발에 관한 연구 (A Study on Development of Network Management Systems base on Component)

  • 김행곤;김지영
    • 정보처리학회논문지D
    • /
    • 제11D권4호
    • /
    • pp.937-950
    • /
    • 2004
  • 인터넷과 웹의 확산으로 네트워크 기반의 분산 환경은 응용의 표준 아키텍처로 인식되고 있다. 또한 네트워크의 효율성과 최상의 서비스 제어와 공유를 위해 복잡한 네트워크 구성 자원들을 관리하는 망 관리 시스템이 요구되고, 이는 응용의 표준 하부 지원 시스템으로서 뿐 아니라 독립적인 상업적 응용으로서 수요와 기대가 점차 증가하고 있다. 하지만 특정 프로토콜이나 특정적인 벤더의 장치에 의존적으로 분산되어져 있고, 이기종의 분산형 네트워크 자체의 성질 때문에 이들 시스템들을 통합하고 일관성 있게 관리할 수 있는 표준화된 망관리의 필요성이 요구되고 있다. 또한 소프트웨어 개발 방법 측면에서는 패턴과 컴포넌트에 의한 조림, 확장을 중심으로 하는 소프트웨어 재사용이 소프트웨어 생산의 기대치를 현실화할 수 있는 최상의 접근 방법으로 인정된다. 이에 따라 잘 정의된 인터페이스를 통해 좀더 쉽고 빠른 응용을 개발 가능하게 하는 컴포넌트 기반 개발 방법론을 기반으로 컴포넌트를 구축, 선택, 조림함으로써 높은 품질과 생산성을 보장한다. 따라서 본 논문에서는 분산 망관리 시스템 개발을 위해 망관리 아키텍처를 정의하고, 망관리 설계패턴과 컴포넌트들을 식별, 정의하여 컴포넌트 아키텍처에 매핑한다. 또한 이를 통해 컴포넌트 개발과 유통, 사용을 위한 컴포넌트를 명세하고, 컴포넌트 설계를 통해 이를 구현하였으며, 구현된 컴포넌트들은 등록, 검색 및 이해할 수 있는 컴포넌트 저장소 시스템으로 적용하고, 미리 구현된 컴포넌트를 통해 전체 망관리 시스템을 분석/설계, 구현하였다.

상수도 관망해석 컴포넌트 설계에 관한 연구 (A Study on the Component Design for Water Network Analysis)

  • 김계현;김준철;박태옥
    • 한국공간정보시스템학회 논문지
    • /
    • 제2권2호
    • /
    • pp.75-84
    • /
    • 2000
  • 국가지리정보체계사업을 시작으로 여러 응용분야에서 지리정보시스템을 구축하고 있으며 특히 지자체에서는 도시정보화 차원에서 UIS(Urban Information System;도시정보시스템)를 구축하고 있다. 지자제의 업무들은 지자체의 상황에 따라 조금씩 차이를 보이지만 업무 단위로 따져볼 때 공통적으로 수행되는 업무들이 많으며, 지리정보 관련 업무 또한 예외가 아니다. 지금까지 각 지자체의 도시정보시스템은 공통업무에 대하여 중복개발이 불가피하였으며, 재사용성을 기대하기 어려웠다. 이런 비효율성을 극복하는 방안으로 컴포넌트 기술이 대두되었으며, 컴포넌트 기술을 이용하여 업무변화에 유연하고 재활용을 극대화할 수 있는 업무컴포넌트 개발이 필요하게 되었다. 본 논문은 지자체의 지리정보 관련 업무의 하나인 상수도 업무 중 상수관거의 유량 및 손실수두산정을 위한 상수도 관망해석 컴포넌트 설계를 제시하였다. 상수도 관망해석 컴포넌트는 상수도 초기유량을 산정하고, 산정된 초기유량을 토대로 절점 및 상수관거의 유량 및 손실수두를 산출하여, 상수관거 신설 및 확장에 대한 의사결정을 지원할 수 있도록 설계하였다. 컴포넌트 설계과정은 표준업무를 지원할 수 있도록 업무분석을 수행하였으며, 이의 결과물로 상수도 관망해석 알고리즘을 도출하였다. 그리고 도출된 알고리즘을 기반으로 상수도 관망해석 업무를 수행하는 상수도 관망해석 컴포넌트를 설계하고 설계 내용을 UML(Unified Modeling Language)로써 명세화하였다. 현재 설계에 따라 상수도 관망해석 컴포넌트가 개발되고 있으며, 개발된 컴포넌트를 이용한 상수도 관망해석 시스템을 구축할 예정이다. 추후에는 상수도 관망해석 컴포넌트와 상수도 업무 컴포넌트와의 통합부분에 대한 연구가 진행되어야 할 것이다.

  • PDF

OPRoS 컴포넌트를 위한 구조적 적합성 시험 도구 설계 및 구현 (Design and Implementation of the Structural Conformance Test Suite for OPRoS Component)

  • 이태희;김준;안대영;심정민;송병열;김성훈;정영숙;김주만
    • 한국콘텐츠학회논문지
    • /
    • 제10권6호
    • /
    • pp.144-155
    • /
    • 2010
  • 최근 우리 생활에 로봇 시스템이 빠르게 확산되고 있으며, 로봇의 기능성에 대한 사용자의 요구가 증대됨으로써, 로봇 소프트웨어 컴포넌트는 세분화 되고 더욱 복잡하게 되었다. 따라서 표준화된 소프트웨어 플랫폼의 채택이 불가피하게 되었다. OPRoS는 로봇 시스템을 위한 컴포넌트 기반의 개방 표준 소프트웨어 플랫폼으로 소프트웨어 컴포넌트가 개발되면, OPRoS 표준 규격을 따르는 로봇 소프트웨어 컴포넌트의 적합성 검증이 필수적이다. 본 논문에서는 사용자들에 의해 개발된 각 컴포넌트의 적합성을 검증하는 구조적 적합성 테스트 도구에 대한 설계와 구현에 대하여 다룬다. 일부 실험적 테스트의 결과로서 컴포넌트가 표준 요구를 수용하는지, 수용하지 않는지를 본 테스트 도구로서 확인할 수 있었다.

Engineered Surfaces Part 1. - A Philosophy of Manufacture

  • Stout, Kenneth. J.
    • Journal of Mechanical Science and Technology
    • /
    • 제14권1호
    • /
    • pp.72-83
    • /
    • 2000
  • In recent years considerable progress has been made in the characterisation of surface finish in three dimensions, and in the development of protocols which can be used for international standardisation. Although the subject as it has currently developed has much further to go if the process of surface characterisation is to impact on manufacture, control and specification of the manufacturing process itself. Researchers in this important area are beginning to realise that if the subject is to have great impact on manufacturing industries, surface characterisation must be broadened to include measures of surface integrity of the component and in addition be related to the functional demands imposed on the surface. The functional demands being a requirement of the engineering situation in which the components are employed. If these three factors are considered simultaneously, surface characterisation, surface integrity and component function, then a new and important subject is born, the subject of the Engineered Surface. Part 1 of this paper attempts to draw together the elements which go together to create the subject, 'The Engineered Surface'. The paper presents a method by which this important subject can be developed to the benefit of manufacturing industries. The paper also discusses the importance of a co-ordinated approach to the subject and the way that information can be documented to eventually provide a useful atlas of controlling parameters which are essential for a range of material processing industries as they strive to meet the ever more stringent and cost effective requirements of the manufacture.

  • PDF

터보펌프 방식을 사용하는 개방형 가스발생기 사이클 로켓엔진의 성능설계 (Performance Design of Turbopump Type Liquid Rocket Engine System with Separate Flow Cycle)

  • 박병훈;양희성;김원호;주대성;윤웅섭
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2005년도 제24회 춘계학술대회논문집
    • /
    • pp.123-127
    • /
    • 2005
  • 로켓 엔진 시스템의 예비 설계를 위한 성능 설계 프로그램을 작성하였다. 추력실, 비극저온 추진제용 원심 펌프, 축류 단단 충동형 터빈 그리고 개방형 가스발생기 사이클에서 추가 추력을 얻기 위한 배기 파이프 등이 고려되었다. 설계 절차의 단순화를 위해서 펌프 토출 압력은 설계 입력치로 하였다. 이로 인해서 터보펌프유닛과 추력실 사이의 압력 밸런싱 문제는 설계과정에서 배제되었으며 시스템 전체의 유량 밸런싱만이 고려되었다. 본 논문에서는 시스템 흐름도와 부분품별 설계 절차를 제시하였고 계산 결과는 실제의 대상 엔진 사양과 함께 제시되었다.

  • PDF

무인기용 터보차저 장착 SI 엔진 시스템 성능해석 (Performance Analysis of a Turbocharged SI Engine System for UAV)

  • 임병준;강영석;강승우
    • 한국유체기계학회 논문집
    • /
    • 제19권6호
    • /
    • pp.43-49
    • /
    • 2016
  • A performance analysis of a gasoline engine with a 2-stage turbocharger system for unmanned aerial vehicle(UAV) was conducted. One dimensional system analysis was conducted for the requirements of turbochargers and adequate turbochargers were selected from commercially available models for automobiles. Modeling and simulation were performed by Ricardo WAVE. Gasoline engine modeling was based on a 2.4 L 4-cylinder engine specification. The selected turbochargers and intercoolers were added to the engine model and simulated at 40,000 ft altitude condition. The results of the engine model and 2-stage turbocharger system model simulation showed break power 93 kW which is appropriate power required for the engine operation at the ambient conditions of 40,000 ft altitude.