• Title, Summary, Keyword: 모델

Search Result 59,103, Processing Time 0.142 seconds

A Validation Check of Simulation Model with the Model Transformation (모델변환에 의한 시뮬레이션 모델의 타당성 검사)

  • 정영식
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • /
    • pp.9-9
    • /
    • 1992
  • 시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

  • PDF

Sum-of-Basis-Functions Model As a Generalized Voice Source Model (일반화된 음원 모델로서 기저함수합계 모델)

  • 홍준모
    • Proceedings of the Acoustical Society of Korea Conference
    • /
    • /
    • pp.55-60
    • /
    • 1994
  • 본 논문에서는 음원을 모델링하기 위한 새로운 음원 모델로서 기저함수합계 모델을 제안하고 그 모델의 변수를 추정하는 방법에 관하여 설명한다. 기존 모델들이 다양한 음원신호를 표현하는데 부족함이 많았던데 비해 기저함수합계 모델은 다양한 음원신호를 표현하기에 적합하며 ML 이라는 통일된 추정 방법을 통해 모델의 변수들을 구할 수 있다. 또한 기저함수합계 모델은 기존의 모델들을 포함하는 일반화된 음원 모델이 됨을 보인다.

  • PDF

정밀묘사 전투모델 특성 및 운용

  • 박래윤
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • /
    • pp.124-124
    • /
    • 2001
  • 한국군 워게임에서 사용되고 있는 시뮬레이션 모델은 주로 대부대 훈련 및 분석용 모델이 주류를 이루고 있다. 대부대 전투모델은 전투요소를 부대단위로 통합하여 부대를 모의 실체(entity)로 설정하고 부대 대 부대의 교전상황을 개략적으로 묘사하므로 개별무기체계의 성능 및 효과분석을 필요로 하는 정밀 전투실험이나 연구개발 및 획득분야의 적용에 많은 제한을 받게 된다. 이러한 대부대 개략묘사 전투모델과 대조적인 개념의 정밀묘사 전투모델은 단위무기체계별 교전상황을 상세하게 묘사하므로 주로 소부대 전장환경을 대상으로 하는 전투모의에서 활용된다. 최근 군사선진국에서는 국방환경의 변화와 함께 교육훈련 분야에서 합성전장 개념에 의한 과학화 훈련을 추진하고 있는데, 이러한 분야에서 사용되는 전투모델도 보다 상세한 시스템의 상호작용 묘사가 필요하므로 정밀묘사 기법을 적용하여 개발되어야 한다. 현재 국내에서 운용되고 있는 대표적인 정밀묘사 전투모델은 JANUS 모델과 EADSIM 모델을 예로 들 수 있지만, EADSIM 모델은 최근에 도입되어 실용화 연구 중에 있기 때문에 실제로는 한국국방연구원에서 운용하고 있는 JANUS 모델이 유일하다고 할 수 있다. 따라서 본 고에서는 먼저 전투모델 분류방법 고찰을 통하여 정밀묘사 모델의 특성을 분석하고 한국군 정밀묘사 전투모델의 운용실태와 함께 한국형 정밀묘사 모델 개발전략을 모색하기로 한다.

  • PDF

A Study on Temporal Data Model and Aggregate Function (시간지원 데이터 모델 및 집계함수에 관한 연구)

  • 이인홍;문홍진;조동영;이완권;조현준
    • The Journal of Information Technology and Database
    • /
    • v.4 no.1
    • /
    • pp.19-30
    • /
    • 1997
  • 시간지원 데이터 모델은 시간 의미를 데이터 모델에 추가하여 시간에 따라 변화된 정보를 처리할 수 있는 데이터 모델이다. 시간지원 데이터 모델은 실세계에서 사건이 발생한 시간인 유효시간을 지원하는 데이터 모델과 데이터가 수록된 시간을 지원하는 거래시간 데이터 모델 그리고 거래시간과 유효시간을 모두 지원하는 이원시간 데이터 모델이 있다. 대부분이 시간지원 데이터 모델은 관계형 모델을 확장하여 시간지원 데이터를 처리할 수 있도록 설계된다. 시간지원 데이터 모델의 두 부류는 시간을 결합하는 단위에 따라 튜플 타임스탬프와 속성 타임스탬프의 두 가지 형식이 있다. 본 논문은 데이터 모델에서 시간 추가를 위한 기본적인 시간 개념과 시간지원 데이터 모델을 위한 고려사항을 나타낸다. 그리고 시간지원 데이터 모델을 지원시간에 따라 비교하였으며, 유효시간이 지원되는 시간지원 집계에 적합한 데이터 모델을 제안하였다.

  • PDF

Reverse Engineering of Embedded Software based on Model-Driven Development (모델 기반 개발방법에 기반한 임베디드 소프트웨어의 역공학)

  • Na, DongJin;Lee, Yongsoon;Kim, Heejin;Ryu, Minsoo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • /
    • pp.782-785
    • /
    • 2007
  • 모델 기반 개발방법은 개발자가 추상화된 모델만을 설계하는 것만으로도 소프트웨어를 개발할 수 있도록 하는 방법이다. 현재까지의 모델 기반 개발방법론은 모델에서 코드를 변환하는 것은 다루고 있지만, 반대로 코드에서 모델로의 변환은 고려하고 있지 않다. 본 논문에서는 모델이 아닌 기존에 작성된 C 언어 코드를 모델로 변환하는 역공학 기법을 제안한다. 이러한 역공학 기법을 사용하면, 새로운 모델을 작성할 때 기존의 코드로부터 모델을 얻어내 적용할 수 있다. 또한, 모델을 작성하고 작성된 모델을 통해 생성된 최종코드를 수정하였을 경우 역공학을 통해 모델과 수정한 코드를 일관성 있게 유지할 수 있다. 이를 지원하기 위해 C 언어를 UML 로 변환하는 방법 및 변환된 모델의 효율적인 구성을 위한 모델 재구성 방법을 제안한다.

  • PDF

평면 쿠에트 유동의 난류모델에 관한 연구

  • 김광용
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.14 no.4
    • /
    • pp.990-999
    • /
    • 1990
  • 본 연구에서는 레이놀즈 응력모델을 비롯해 Hassid와 Poreh의 1-바정식 모델 과 K-.epsilon.모델을 사용해 난류 쿠에트 유동을 해석하였다. 특히, 레이놀즈 응력모델의 경우에는 단순구배 확산모델(simple gradient diffusion model)과 Hanjalic과 Launder 의 확산모델 및 Dekeyser와 Launder의 확산모델등 세종류의 확산모델을 사용해 계산결 과를 비교하였다.

컴포넌트 기반의 개발 노력도 산정 모델

  • 김승렬;서정석
    • Proceedings of the Korea Database Society Conference
    • /
    • /
    • pp.309-322
    • /
    • 2000
  • 컴포넌트 개발에 보편화 추세에 있어서 이에 따른 노력도 산정 모델의 개발이 시급하지만 아직까지 간편하게 사용할 수 있는 모델이 없는 것이 현실이다. 따라서 본 연구는 그에 대한 기반을 마련하기 위하여 컴포넌트 기반에 관련된 개발 노력도 산정 모델을 살펴보고자 한다 기존의 개발의 노력도 산정 모델로 주로 사용하고 있는 모델로는 COCOMO중심의 모델, 기능점수 중심의 모델, 그리고 상용 컴포넌트(COTS) 중심의 모델로 나누어 볼 수 있으며, 각각의 중심 모델을 비교하여 컴포넌트기반(CBD)에서 활용 가능한 모델들을 살펴보기로 한다.

  • PDF

무기체계의 체계적인 S/W 개발비용 산정 발전방안(4)

  • Kim, Hwa-Su
    • Defense and Technology
    • /
    • no.8
    • /
    • pp.46-55
    • /
    • 2002
  • 지난 7월호에서는 COCOMO 모델, 기능점수모델, PRICE-S모델, 일반 COSDES 모델 등의 무기체계 S/W 개발비용 산정모델들을 조사 및 분석하여 제시하였다. 이번 8월호에서는 무기체계 소프트웨어 개발비용산저에 영향을 미치는 요소를 기존의 '한소협' 모델, PRICE-S 모델, 기능점수 모델, COCOMO 모델 등 여러 소프트웨어 개발비용 산정모델을 참고 후 무기체계의 특성을 고려하여 식별하였다. 또한 식별된 요소들을 '한소협' 모델의 절차와 방법에 따라 무기체계 소프트웨어의 스텝 수 산정 영향요소, 환경요인 보정계수 영향요소, 제경비 및 기술료 산정 영향요소들을 식별하여 제시하였다.

  • PDF

거시적 방법(Marcroscopic Approach)을 이용한 전단벽체의 비선형 해석모델

  • 이영욱
    • Computational Structural Engineering
    • /
    • v.6 no.1
    • /
    • pp.44-49
    • /
    • 1993
  • 이 글에서는 거시적 모델을 사용하여 전단벽체를 수치모델하는 방법에는 여러가지의 방법이 있으며 각기 그 모델들에는 장점과 단점을 지니고 있음을 보았다. 거시적 모델로 구조물을 해석하는 경우에는 전단벽체의 모델과 그에 맞는 반복이력모델의 선정에 주의하여야 한다. 이는 전단벽체의 파괴양상과 비선형거동 등의 복잡한 거동을 한개의 모델을 가지고 일률적으로 적용하지 못한다는 거시적 모델의 한계점 때문이다. 그러나 아직까지 계산기의 발전과 미시적 모델의 한계점을 고려한다면 구조물 비선형해석시 최선의 선택은 미시적 방법보다는 거시적 방법이라하겠다. 거시적 모델을 사용하여 구조물의 3차원 해석 프로그램을 개발한 예를 보았듯이, 3차원 비선형거동까지 고려한다면 거시적방법이 적당하리라고 판단된다.

  • PDF

Revenue Sources of Internet Business Models (AHP를 통한 인터넷 비즈니스 모델별 주요 수익요인에 관한 탐색적 연구)

  • Choi, Kyeong-Hi;Yang, Hee-Dong
    • Information Systems Review
    • /
    • v.8 no.2
    • /
    • pp.51-72
    • /
    • 2006
  • This study investigates the typology of Internet business models according to revenue sources, and empirically tests how the revenue sources of each Internet business model are different each other. This study consists of the following two steps. First, AHP(Analytic Hierarchy Process) is adopted in developing the influential factors(indexes) for the profitability of each Internet business model and the weight score of each factor. The questionnaire for AHP consists of 47 questions on 9-point scales, and was distributed to 10 experts on Internet business model. Expert Choice program has been used for analysis. Second, the questionnaire to survey the current profitability of each Internet business model was developed on 5-point scale. In order to analyze the actual revenue quality and source of Internet business models, we used MANOVA and ANOVA. This study contributes to develop the desirable revenue or profit model of each Internet business model, and also provides a reference in evaluation of the revenue quality of Internet business models.