• 제목/요약/키워드: 가변복잡성모델

검색결과 33건 처리시간 0.027초

OVM 중심 가변성 추적 방법에 대한 효용성 검증 (Efficiency Validation for the OVM-based Variability Tracing Method)

  • 이지현;황선명
    • 한국산업정보학회논문지
    • /
    • 제20권3호
    • /
    • pp.51-60
    • /
    • 2015
  • 추적성은 이해당사자들이 변경으로 인한 산출물들 간의 영향을 분석하는데 필요한 정보를 제공하는 것을 주요 목적으로 한다. 단일 제품 개발과 달리 제품군(群)을 대상으로 하는 소프트웨어 프로덕트라인은 도메인 공학과 어플리케이션 공학의 두 개발 라이프사이클이 있으면서, 가변성과 두 라이프사이클 간의 추적성을 유지하고 관리해야 하기 때문에 그 복잡도가 매우 높다. 이에 개발 산출물과 별도로 가변성을 관리하는 직교적 가변성 모델을 중심으로 하는 가변성 추적성 유지 방법이 개념적으로 제안된 바 있다. 그렇지만, 이 방법이 소프트웨어 제품라인에서 필요로 하는 추적성을 모두 설정할 수 있는지에 대해서는 확인되지 않았다. 본 논문에서는 직교적 가변성 모델을 중심으로 하는 추적성 유지, 관리 방법이 필요한 추적성을 모두 지원하는지 예제를 통하여 검증하였다. 그 결과 OVM 중심 가변성 추적 방법은 변경으로 인해 영향을 받을 수 있는 산출물들의 범위를 한정하는 데는 문제가 없었다. 그렇지만, 변경으로 인해 실제 영향을 받는 구체적이고 정확한 산출물들을 추적하지는 못했다.

소프트웨어 프로덕트 라인에서 가변성 분석을 통한 도메인 아키텍처 개발 방법 (An Approach to Developing Domain Architecture Based on Variability Analysis in Software Product Line)

  • 문미경;염근혁
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권4호
    • /
    • pp.328-341
    • /
    • 2007
  • 소프트웨어 프로덕트 라인을 구축하고자 할 때,첫 단계 활동은 도메인 분석을 통해 요구사항 들에서 가변성을 식별하는 것이고, 다음 단계는 일련의 관련된 프로덕트들의 전체적인 구조를 나타내는 도 메인 아키텍처를 개발하는 것이다 도메인 아키텍처는 소프트웨어 프로덕트 라인에 포함되어 있는 프로덕트들의 공통성과 가변성을 기술함으로써 프로덕트 라인의 핵심자산이 된다. 핵심자산의 가변성은 개발 프로세스가 진행됨에 따라 식별될 수 있는 가변 요소의 종류와 상세화 수준이 달라지기 때문에 아키텍처 수준에서 식별될 수 있는 가변성을 정의하고 이를 체계적으로 식별하여 아키텍처 모델에 명시적으로 표현하는 것이 중요하다. 아키텍처 수준에서 고려해야 하는 가변성은 아키텍처 구성 요소들에서 발생하는 가변성 뿐만 아니라 이들의 구성(configuration) 관계를 나타내는 모텔에서 나타나는 가변성들까지 고려해야 하기 때문에, 이들 사이의 복잡한 관계를 이해하고 표현하는 것은 매우 힘든 일이며 이에 대한 기존 연구가 부족한 실정이다. 본 논문에서는 공통성과 가변성이 명시적으로 고려되는 프로덕트 라인의 핵심 자산으로서 도메인 아키텍처를 개발하는 방법을 제시한다. 이를 위해, 최근 Object Management Group(OMG)에서 채택한 재사용 자산 병세(Reusable Asset Specification; RAS) 모델을 확장하여 공통성과 가변성 개념이 명확히 정의된 도메인 아키텍처 메타모델을 제시한다. 제시되는 메타모델에는 아키텍처의 구성요소들이 정의되어 있으며, 각 구성요소와 모텔에서 식별 될 수 있는 가변성이 상세화 수준에 따라 두 가지 형태로 구분되어 제시되어 있다. 또한 본 메타모델을 기반으로 특정 도메인에 대한 아키텍처에 가변성이 명시적으로 표현되는 방법을 보인다.

강인 퍼지 이론을 이용한 풍력 터빈의 가변 속도 제어 (Variable Speed Control of Wind Turbines Using Robust Fuzzy Algorithm)

  • 성화창;박진배;주영훈
    • 한국지능시스템학회논문지
    • /
    • 제18권1호
    • /
    • pp.1-6
    • /
    • 2008
  • 본 논문에서는 퍼지 이론을 이용한 풍력 터빈의 변화 속도 제어에 관해 다루고자 한다. 일반적인 풍력 터빈의 변화 속도는 복잡한 비선형성으로 나타내어지며, 플랜트를 구성하는 각 파라미터의 수치 역시 불확실하다. 이와 같은 복잡성을 해결하기 위하여, 우리는 비선형성 및 불확실성에 강인한 퍼지 제어 이론을 제안하고자 한다. 우선 풍력 터빈의 변화 속도에 대한 정확한 퍼지 모델링을 수행하게 된다. 그리고 재해석된 Takagi-Sugeno (T-S) 퍼지 모델에 적합한 제어기를 설계하게 되며, 리아푸노프 안정도에 기반한 시스템의 안정도를 증명하게 된다. 마지막으로, 가상 시뮬레이션을 통해 제안된 기법의 효율성을 입증하게 된다.

컴포넌트 가변성 유형 및 Scope에 대한 정형적 모델 ((A Formal Model of Component Variability Types and Scope))

  • 소동섭;신규석;김수동
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권5_6호
    • /
    • pp.414-429
    • /
    • 2003
  • 시스템 개발 시 복잡성을 감소시키고 개발 비용과 기간을 단축하기 위하여 컴포넌트 기반 개발(CBD)이 산업계에서 보편화 되고 있다. 그러나, 현재 대표적인 CBD는 한 회사나 하나의 어플리케이tus에 의존적인 컴포넌트를 개발하고 있다[1,2]. 따라서 어떤 도메인의 여러 패밀리에서 컴포넌트를 재사용하기 위한 컴포넌트 가변성이 강조 되고 있다. 하지만, 컴포넌트 가변성의 정의나 유형에 대해 구체적으로 제시된 연구가 미흡하여, 컴포넌트의 주 목적인 재사용 측면보다. 유지보수 목적의 컴포넌트가 개발되고 있다[3]. 본 논문에서는 컴포넌트의 재사용성을 높이기 위하여, 컴포넌트 특징을 반영한 컴포넌트 가변성을 정형적으로 정의한다. 또한, 기존의 컴포넌트 가변성으로 인식된 논리 가변성을 명확하게 정의하고, 추가로 3가지 가변성 유형을 제시함으로써, 컴포넌트에서 존재하는 모든 가변성 유형을 제시한다. 컴포넌트 커스터마이제이션시에 가변성의 경우의 수를 예측, 확인 할 수 있는 컴포넌트 가변성 Scope를 제시한다. 컴포넌트 개발에 있어서 이러한 기법을 적용함으로써, 여러 패밀리 멤버에서 재사용 할 수 있는 고품질의 컴포넌트 개발을 지원 할 수 있다.

공통성과 가변성 분석 기반의 컴포넌트 모델링 기법 (Commonality and Variability Analysis-based Component Modeling Technique)

  • 김수동;조은숙;류성열
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권9호
    • /
    • pp.920-930
    • /
    • 2000
  • 컴포넌트 기반의 소프트웨어 개발이 소프트웨어 복잡성, 비용, 그리고 품질을 해결하기 위한 새로운 대안으로 소개되고 있다. COM, Enterprise JavaBeans, CORBA 컴포넌트 모델등과 같은 다양한 컴포넌트 아키텍쳐들이 소개되고 있으며 컴포넌트 기반의 소프트웨어 개발 방법론과 여러 CASE 도구들이 이를 지원하고 있다.[1,2,3,4]. 그러나 현재 컴포넌트를 구현할 수 있는 기술은 제시되어 있지만 컴포넌트를 모델링하는 기법들에 대한 연구는 미약한 상태이다. 본 논문에서는 도메인 분석에서 공통성과 가변성 추출 및 클러스터링 기법을 이용한 컴포넌트를 분석하는 기법을 제시한다. 즉 컴포넌트 추출 기법, 컴포넌트의 핫스팟(또는 가변성)표현 기법, 컴포넌트 요구사항 정의 기법 등을 제시한다. 컴포넌트 개발에 있어서 이러한 모델링 기법을 적용함으로써 컴포넌트를 효율적으로 개발할 수 있을 뿐만 아니라 재사용성이 높은 고품질의 컴포넌트 개발을 지원할 수 있다.

  • PDF

계획 지식 모델링 도구의 설계 및 구현 (Design and Implementation of a Plan Knowledge Modeler)

  • 최재혁;김인철
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
    • /
    • pp.254-259
    • /
    • 2006
  • 전통적인 인공지능 계획방식은 완전한 월드 상태모델과 시스템 동작모델에 기초하여 처음부터 자동으로 작업계획을 생성하려는 접근방식이다. 그러나 지능로봇제어와 같이 불확실성과 가변성이 높은 실 세계 응용분야에서 이와 같은 전통적인 인공지능 계획방식은 효과를 얻기 어렵다. 반면에 많은 실 세계 응용분야에서는 그 분야에서 이미 잘 알려져 있는 작업 영역지식이나 제어지식들이 존재하며, 이들을 효과적으로 이용하는 것이 매우 중요하다. 이러한 방법 중의 하나로서 복잡도가 높은 작업계획을 전문가가 직접 편집해서 입력하는 방식이 널리 쓰인다. 기본 동작모델과는 달리, 일반적으로 작업계획 표현언어는 복잡한 제어구조를 포함하는 하나의 작업 프로세스로 계획을 표현한다. 따라서 이러한 복잡한 절차적 지식인 작업계획을 편집하고 검증하기 위해서는 편리한 모델링 도구의 개발이 필요하다. 본 연구에서는 PRS 계열의 작업계획을 비주얼 환경에서 편집할 수 있고, 가상 시뮬레이션 기능과 작업 계획기와의 연동 기능을 갖춘 PKM시스템의 설계와 구현에 대해 설명한다.

  • PDF

국방정보시스템 S/W 개발비용 산정 지원용 전문가시스템의 도메인 지식 개발 연구 (A Study on the Domain Knowledge Development for Software Development Cost Estimation Software Development Cost Estimation in the Defense Information Systems)

  • 김화수;김진환
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (2)
    • /
    • pp.39-41
    • /
    • 2000
  • S/W 산업 시대의 국방정보시스템은 대규모화되고 높은 실시간성과 정확성의 요구로 S/W의 복잡성이 증가하고 있으며, 요구되는 기능과 성능이 매우 다양해지고, 사용자의 요구사항도 매우 가변적인 방향으로 발전하고 있다. 본 논문에서는 국방정보시스템의 특성을 명확히 파악하고, 특성에 따라 국방정보시스템 S/W 개발비용 산정에 영향을 미치는 영향요소를 식별한 후, 기존의 '한소협' 모델을 바탕으로 S/W 개발비용 보정계수로 적용할 영향요소와 기능점수를 산정하기 위한 기술적 복잡도 요소로 재분류하였으며, 기존의 '한소협' 모델의 절차와 각종 보정계수의 적용방법을 국방정보시스템에 적합하도록 수정 보완하는 방식으로 국방정보시스템의 S/W 개발비용 산정 지원용 전문가시스템의 도메인 지식을 개발하였으며, 이러한 도메인 지식 개발은 궁극적으로 완벽한 전문가시스템 개발에 밑거름이 될 것이다.

  • PDF

규칙기반 분석 패턴과 UML Components을 사용한 가변적인 비즈니스 컴포넌트 개발과 적용 사례 (A Variable Business Component Development and Case Study Using a Rule Based Analysis Pattern and UML Components)

  • 이용환;민덕기
    • 정보처리학회논문지D
    • /
    • 제13D권7호
    • /
    • pp.947-958
    • /
    • 2006
  • 컴포넌트 확장성 및 재사용성을 향상시키기 위해서는 분석단계에서부터 가변적인 것들을 규칙기반으로 분석해서 컴포넌트로 식별할 필요가 있다. 본 논문에서는 시스템 외부 이벤트에 대해 트랜잭션 처리를 규칙기반으로 처리해야 하는 도메인 상에서 객체 기반의 중요 개념을 규칙기반으로 효과적으로 추출해 UML Components 개발 프로세스 상에서 가변적인 컴포넌트를 개발할 수 있는 규칙 기반 분석 패턴을 제시한다. 업무 지식이나 경험이 다른 많은 분석가들이 서브 시스템 많은 규칙 기반의 가변적인 복잡한 비즈니스 업무 분석 시 제안한 분석 패턴을 사용할 경우 분석 산출물의 일관성이나 가독성을 좋게 하며 또한 UML Components 방법론상에서 효과적으로 가변적인 비즈니스 컴포넌트들을 식별할 수 있다. 이러한 분석 패턴의 타당성을 증명하기 위해 본 논문에서는 가변적인 규칙기반으로 업무를 처리하는 은행 수신과 수출입 업무 도메인에 적용한 결과 패턴에서 제시한 중요 개념을 기반으로 거의 유사한 비즈니스 개념 모델을 도출할 수 있었으며 또한 이들 중요 개념을 기반으로 UML Components 개발 프로세스 상에서 가변적인 비즈니스 컴포넌트를 효과적으로 식별할 수 있었다.

정지비행 헬리콥터 로터의 설계를 위한 공력해석 (DESIGN-ORIENTED AERODYNAMIC ANALYSES OF HELICOPTER ROTOR IN HOVER)

  • 정현주;김태승;손창호;조창열
    • 한국전산유체공학회지
    • /
    • 제11권3호
    • /
    • pp.1-7
    • /
    • 2006
  • Euler and Navier-Stokes flow analyses for helicopter rotor in hover were performed as low and high fidelity analysis models respectively for the future multidisciplinary design optimization(MDO). These design-oriented analyses possess several attributes such as variable complexity, sensitivity-computation capability and modularity which analysis models involved in MDO are recommended to provide with. To realize PC-based analyses for both fidelity models, reduction of flow domain was made by appling farfield boundary condition based on 3-dimensional point sink with simple momentum theory and also periodic boundary condition in the azimuthal direction. Correlations of thrust, torque and their sensitivities between low and high complexity models were tried to evaluate the applicability of these analysis models in MDO process. It was found that the low-fidelity Euler analysis model predicted inaccurate sensitivity derivatives at relatively high angle of attack.

가우시안 2-군집 모델을 사용한 적응 블라인드 등화기 (An Adaptive Blind Equalizer Using Gaussian Two-Cluster Model)

  • 오길남
    • 한국통신학회논문지
    • /
    • 제37권6A호
    • /
    • pp.473-479
    • /
    • 2012
  • 본 논문에서는 가우시안 2-군집 모델을 사용한 블라인드 등화 방법을 제안한다. 제안 방식에서는 M-QAM 수신 신호를 가우시안 분포하는 2-군집으로 모델링하여 계산 복잡성을 최소화하고 신호 추정의 신뢰도를 높였다. 여기에 가변 파라미터 비선형 추정기를 사용하여 송신 신호를 추정하고, 신호 추정 시 군집의 분산에 따라 축소신호점과 원신호점을 선택적으로 적용하여 신호 추정의 신뢰도를 더욱 개선하였다. 결과적으로 제안 방식은 등화기의 계산 복잡성을 단순화하면서 성능을 개선하였다. 모의실험을 통해 64-QAM의 고차 신호에 대한 블라인드 등화에서 제안 방식이 기존 방식에 비해 우수한 성능을 보임을 확인하였다.