• 정보과학회 논문지
• /
• 제41권10호
• /
• pp.774-784
• /
• 2014

상태 머신 다이어그램 결함 주입을 통하여 강건성 테스트 케이스를 생성하기 위한 연구가 수행되고 있다. 그러나 기존의 연구들은 상태 머신 다이어그램의 구조적인 측면만을 단순 고려하고 있기 때문에 작은 크기의 모델임에도 불구하고 많은 결함이 주입될 수 있다. 본 논문에서는 강건성 테스트의 효과성은 유지한 채, 주입될 결함의 수를 줄이기 위한 결함 주입 방법을 제안한다. 제안 방법은 전자레인지 상태 머신 다이어그램을 이용하여 설명되었으며, 유효성을 검증하기 위하여 해쉬 테이블 상태 머신 다이어그램에 제안 방법을 적용하였다. 해쉬 테이블에 적용된 실험 결과, 제안 연구는 강건성 테스트의 효과성은 유지하였으며, 주입된 결함의 수는 43%, 생성한 테스트 케이스의 수는 63% 감소시킨 것을 확인할 수 있었다.

• 한국멀티미디어학회논문지
• /
• 제9권5호
• /
• pp.576-584
• /
• 2006

내용기반 비디오 정합은 원본의 클립에서 특징(signature)을 구한 후 복사본의 특징과 비교하여 유사도를 측정한다. 특히 정확한 위치의 프레임을 정합하는 것은 매우 중요하며 원본과 복사본의 프레임율, 잡음, 해상도, 압축형식에 따라 정합 율이 달라질 수 있다. 비디오 특징 중 오디널(ordinal) 특징은 일반적으로 우수한 정합특징을 나타내고 있으나 비디오 특징의 구별 능력을 나타내는 유일성 실험(uniqueness test)과 잡음에 대한 내성을 나타내는 강건성 실험(robustness test)이 중요한 요소로 고려되지 않았다. Hua등은 유일성 실험에서 해상도, 압축형식 등을 고려하였지만 강건성 실험에서 영상에 잡음을 첨가하는 대신 압축 형식이 변환된 영상을 사용하였다. 본 논문에서는 오디널 특정의 유일성 분석과 함께 실질적인 잡음 모텔을 도입하여 오디널 특징의 강건성 실험 방법을 제안하고 성능을 분석하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.965-968
• /
• 2004

This paper describes the development of the test path for Eclipse-II, a parallel mechanism motion simulator. Eclipse-II which can be used as a base for general motion simulators, enables unlimited continuous 360-degree spinning in any rotational axes plus finite X, Y, and Z translation motions. The advantage of enabling continuous 360-degree spinning allows various motions for virtual reality. In this paper, the development of the test path to verify the robustness of the Eclipse-II motion simulator is described. The test motions, which satisfy the requirements of test path, are suggested and washout filter enables these motions reproduced in the limited workspace. The trial run is conducted to verify the robustness of the Eclipse-II motion simulator. Additionally the standard data format of virtual reality for Eclipse-II One Man Ride is suggested.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.1099-1116
• /
• 2019

다양한 산업 분야 및 주요 기반시설에서 사용되는 산업 제어시스템의 보안 위협에 대응하기 위해 산업용 제어기기에 대한 보안 평가 제도가 도입되어 운영되고 있다. 산업용 제어기기의 보안 평가 시험은 산업 제어시스템을 구성하는 각 구성요소별 보안요구사항을 시험하는 것으로서 기기 자체의 보안 기능에 대한 시험과 통신 견고성에 대한 시험을 포함한다. 본 논문에서는 국내 외 산업용 제어기기의 인증 시험인 EDSA, Achilles, 산업 제어시스템 보안요구사항(TTA 표준) 및 각각의 통신 견고성 시험의 특징을 분석하였다. 통신 견고성 시험은 퍼징 및 과부하 패킷을 전송하는 동안 기기의 정상동작 여부를 확인하는 것으로 기존의 시험환경 및 기준은 대부분 임베디드 장치의 특징에 초점이 맞춰져 있어 다양한 산업용 제어기기에 적용하기에는 한계점이 존재한다. 이에 본 논문에서는 산업 제어시스템에서 사용되는 제어 H/W, 제어 S/W, 현장장치, 네트워크 장비의 특성을 반영한 통신 견고성 시험환경 구축방안 및 시험시 고려해야할 사항을 제시하였다. 향후에는 제안한 기기별 통신 견고성 시험 기준을 실제 제품에 적용할 때 발생하는 이슈사항을 확인하고 이에 대한 해결책을 제시하고자 한다.

• Communications for Statistical Applications and Methods
• /
• 제4권3호
• /
• pp.787-793
• /
• 1997

It is well known that the assumption of independence is ofter not valid for real data. This phenomenon has been observed empirically by many prominent scientists. In this article the sensitivity of dependence on Bayes test of a sharp null hypothesis is considered. The robustness is considered with respect to the significant level and the prior probability on the null hypothesis.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.630-635
• /
• 1993

In this paper, the Monte-Carlo method was applied to the controller robustness evaluation problems with respect to the uncertainty of critical plant parameters. The plant studied is a aerial vehicle. The-variable parameters are nondimensional stability derivatives, inertias. The nominal nondimensional stability derivatives ,were obtained from wind tunnel test. Also the nominal inertia parameters were calculated from the mass distribution along the vehicle axes. But the parameters obtained from the test or calculations are at best probable and always contain some uncertainties which one can not figure out. So some kinds of robustness evaluation method should be applied. The parametric robustness of the designed classical controller evaluated by the method turned out to be satisfactory.

• Communications for Statistical Applications and Methods
• /
• 제4권2호
• /
• pp.581-588
• /
• 1997

Univariate F test is based on the multisample sphericity assumption. Robustness for tests of a main effect of the within-subjects factor was investigated when the assumptions of the onmibus F tests are violated in a split-plot design with one between-subjects factor using untrimmed data and trimmed data. The results indicate that when sample sizes are unbalanced and dispersion matrices are heterogeneous, the CIGA and the $CIGA_T$ tests better control Type I error rates than do the $F_T$test and the$\widetilde{\xi_T}$test.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권8호
• /
• pp.348-366
• /
• 2007

현대 저장장치는 점차 소형화, 대용량화 되어감에 따라 디스크의 집적도는 크게 증가되어지고 있어 물리적인 오류가 발생하면 많은 디지털 정보가 소실 될 수 있다. 따라서 이에 대한 대처의 필요성이 점차 증가되어 본 논문에서는 파일시스템이 물리적인 오류에 대한 강인성과 무결성을 보장하고 있는지를 검증하는 테스트 프레임 워크를 제안하였다. 이와 같은 테스트 프레임워크를 위해 디스크 상에 실제 베드섹터를 만들 수 있는 도구 및 저장장치에서 정의하고 있는 물리적인 오류를 모두 발생시킬 수 있는 도구를 각각 개발하였고, 파일시스템에서 저장장치에 읽기/쓰기 동작이 수행되는 상황을 즉시 모니터링 할 수 있는 도구를 추가 개발하여 FORT라는 이름의 파일시스템 강인성을 검증하는 테스트 프레임 워크를 최종적으로 구성하였다. FORT를 이용해서 신뢰성 및 견고성을 위주로 개발된 EXT3파일시스템을 대상으로 강인성의 수준을 나타낼 수 있는 분석표를 작성하였으며, 이를 분석하였다. 또한 파일시스템과 디바이스 드라이버 영역의 계층화된 구조를 융합할 수 있는 도구를 개발하여 획기적인 지능형 시스템으로 발전할 수 있는 방향을 제시하였다.

• Communications for Statistical Applications and Methods
• /
• 제4권3호
• /
• pp.775-785
• /
• 1997

Robustness rates for repeated measures pairwise multiple comparison procedures were investigated in a split plot design with one between- and one within-subjects factor using untrimmed and trimmed data. Five factors were manipulated in the study: distribution, sphericity, variance-covariance heteroscedasticity, total sample size, and sample size ratio. The Welsch test (W) and the Welsch test on trimmed data $(W_{RT})$ performed better than the other procedures, but had a liberal tendency. The trimmed difference score Bonferroni Procedure $(B_{DT})$ was a good choice in some conditions.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제53권9호
• /
• pp.663-669
• /
• 2004

The mobile tole-cardiology system is the new research area that support an ubiquitous health care based on mobile telecommunication networks. Although there are many researches presenting the modeling concepts of a GSM-based mobile telemedical system, practical application needs to be considered both compression performance and error corruption in the mobile environment. This paper evaluates three wavelet ECG compression algorithms over CDMA networks. The three selected methods are Rajoub using EPE thresholding, Embedded Zerotree Wavelet(EZW) and Wavelet transform Higher Order Statistics Coding(WHOSC) with linear prediction. All methodologies protected more significant information using Forward Error Correction coding and measured not only compression performance in noise-free but also error robustness and delay profile in CDMA environment. In addition, from the field test we analyzed the PRD for movement speed and the features of CDMA 1X. The test results show that Rajoub has low robustness over high error attack and EZW contributes to more efficient exploitation in variable bandwidth and high error. WHOSC has high robustness in overall BER but loses performance about particular abnormal ECG.