• 한국군사과학기술학회지
• /
• 제8권1호
• /
• pp.39-48
• /
• 2005

After the development of the Firefly, flight tests have been performed to verify the performance and get the parameters for the mathematical model of the aircraft. The flight test data is used to get parameters for the mathematical model of the aircraft through the parameter identification process. An arbitrary control input is applied to the test flight which is a part of parameter identification process. A square wave has been used a control input which is called Doublet signal. The aspect of the signal is same length and magnitude in both (+) and (-) directions such as sine wave. The Doublet signal is composed of a dominant frequency and many high frequencies, so that it is appropriate signal to excite the motion of an aircraft. In this paper, the control input of the flight test data has been analyzed to check the efficiency of the control input using DFT(Discrete Fourier Transform). From the result of analysis, an alternative input was extracted.

• 한국전자파학회논문지
• /
• 제30권5호
• /
• pp.365-372
• /
• 2019

본 논문에서는 일반화우도비검정(generalized likelihood ratio test: GLRT)에 있는 모르는 파라미터(표적의 크기, 클러터의 파라미터)를 최대우도추정(maximum likelihood estimation: MLE) 방법 또는 Newton-Raphson method를 통해 추정하는 방법에 대해서 제안하였다. 클러터 환경에서 표적을 탐지할 경우, 실제 환경과 유사하게 클러터의 수식적인 모델을 세우는 것이 중요하다. 이러한 서로 상관된 클러터 모델은 SIRV(Spherically Invariant Random Vector)를 이용하여 생성할 수 있다. 생성된 클러터 모델에 대한 일반화우도비검정 식을 세우고, 추정된 파라미터에 대한 일반화우도비검정의 탐지확률을 모의실험을 통해 확인하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2004년도 춘계학술대회논문집
• /
• pp.864-869
• /
• 2004

A novel concept of feedback loop design for modal test and model updating is proposed. This method uses the closed -loop natural frequency information for parameter modification to overcome the problems associated with the conventional method employing the modal sensitivity matrix. To obtain new modal information from closed-loop system, controllers should be effective in changing modal data while guaranteeing the stability of closed-loop system. It is very hard to guarantee the stability of the closed-loop system with non-collocated sensor and actuator set. Ill this research, we proposed a controller called mode-decoupling controller that can change a target mode as much as the designer wants guaranteeing the stability of closed-loop system. This controller can be computed just using measured open-loop modeshape matrix. A simulation based on time domain input/output data is performed to check the feasibility of proposed control method.

• Journal of the Korean Data and Information Science Society
• /
• 제27권6호
• /
• pp.1573-1583
• /
• 2016

주택가격은 대내외적으로 경기관련 많은 변수들에 의해 영향을 받기 때문에 다변량분석의 경우 이와 관련된 변수들간의 상호관련성을 검정하여야 한다. 그랜저 인과성 검정결과 변수들간에 서로 인과성이 있는 것으로 나타났다. 또한 변수들 사이에 공적분 존재유무를 확인한 결과 공적분이 존재하므로 오차수정항이 포함된 벡터오차수정모형을 이용하여 분석을 시도하였다. ARIMA 및 VAR 모형과의 예측력 실증비교 결과 벡터오차수정모형에 의한 예측력이 이들 두 모형에 비해 우수함을 확인할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권5호
• /
• pp.361-375
• /
• 2009

사전 제조된 컴포넌트들을 재사용하여 애플리케이션을 개발하는 컴포넌트 사용자의 관심사는 사용자의 요구사항에 따라 적절히 다른 컴포넌트들과 협동하는지 여부를 확인하는 것이다. 따라서 컴포넌트 기반 소프트웨어의 경우 개발 환경이 아닌 새로운 환경에서 소프트웨어를 구성하는 컴포넌트들이 잘 연동되는지를 테스트할 수 있는 상호운용성 테스트에 관련된 연구가 중요시되고 있다. 본 논문에서는 컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 테스트 모델을 정의하고, 유스케이스 명세로부터 테스트 모델을 생성한 후 생성된 모델로부터 테스트 케이스를 생성하는 기법을 제안한다. 또한 테스트 모델로부터 테스트 시퀀스를 생성하는 프로시저를 구현한 도구를 소개한다.

• 한국전산구조공학회논문집
• /
• 제29권6호
• /
• pp.539-545
• /
• 2016

천연가스 생산기지 내의 UPS시스템은 지진 시에도 기능성을 유지해야 하는 주요 설비 중 하나이다. 이 연구에서는 IEEE Std 693-2005 기준을 토대로 대형 진동대를 이용한 UPS시스템의 동특성 탐색시험을 수행하고 기기의 고유진동수와 모드감쇠, 모드형상 등을 도출하였다. 또한, 3축 시간이력시험을 통해 지진 시 기기의 거동 및 부재의 발생응력을 확인하였다. 유한요소모델을 생성하여 고유치해석을 수행하고 이를 동특성 탐색시험의 시험값과 비교, 분석하여 해석모델을 개선하고 자중해석과 응답스펙트럼 해석을 수행하여 조합응력을 3축 시간이력시험의 시험값과 비교하였다. 개선된 유한요소 해석모델의 동특성과 조합응력이 시험 결과와 유사함을 입증하여 개선된 UPS시스템 해석모델의 적합성을 제시하였다.

• 한국위성정보통신학회논문지
• /
• 제2권2호
• /
• pp.36-40
• /
• 2007

EGSE is used to check out satellite payload during the development prior to launch. The EGSE represented in this paper is a test system for Ka band communication transponder of COMS. The EGSE consist of two subsystems as CTS subsystem and PCTS subsystem. Communication Test subsystem (CTS) performs satellite transponder RF performance testing, data analysis and trending. Most of transponder RF performances are automatically tested by the CTS subsystem. Power, Command & Telemetry subsystem (PCTS) monitor telemetry messages from the transponder and send tele-commands to satellite transponder for the configuration change. PCTS also provide simulated S/C power to the transponder during the ground validation testing. The EGSE test functions are verified by the transponder simulator testing and will be used for the flight model transponders testing.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(III)
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권7호
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• 응용통계연구
• /
• 제25권1호
• /
• pp.29-43
• /
• 2012

주식, 환율 등과 같은 금융자료의 수익률의 분포는 정규분포에 비해 꼬리가 두껍고, 좌우 비대칭성을 보인다. 조건부수익률이 정규분포를 따른다고 가정한 GARCH 모형을 이용하여 VaR을 추정하였을 때, 이러한 비정규성 때문에 적절한 추정이 이루어지지 않고, VaR을 초과하는 손실의 발생과정에 군집(clustering)현상이 발생하는 문제점이 있다. 이러한 문제를 해결하기 위해, 본 논문에서는 조건부수익률의 분포로 unbounded Johnson 분포를 이용한 GARCH 모형을 이용하여 VaR을 추정한다. 또한, 조건부수익률이 각각 정규분포, Student-t 분포를 따르는 GARCH 모형의 경우와 비교하였다. 초과손실 발생과정 자료를 이용하여 실패율검정과 군집성검정을 통해 조건부수익률 분포로 unbounded-Johnson 분포를 사용하는 방법의 타당성을 살펴보았다. Unbounded Johnson 분포가 조건부수익률 분포로 주어지는 GARCH 모형의 경우는 과소, 과대추정을 하지 않고, 군집현상 또한 발생하지 않아 적절한 추정을 하고 있음을 확인하였다.