• Electronics and Telecommunications Trends
• /
• v.13 no.6 s.54
• /
• pp.94-107
• /
• 1998

연구 개발의 주된 내용은 SDL(Specification Description Language)을 위한 정형기법 지원도구 중 명세상에서 행위 부분에 대한 동적 특성을 검정하는 검정기 개발이다. 모델 검정기는 해당 프로토콜에 대해 생성된 중간 모델 I/O FSM(Input/Output Finite State Machine)에 Modal-calculus에 의해 검정대상인 deadlock, livelock, reachability 및 liveness에 대한 표현과 I/O FSM에 대해 해당 알고리즘 적용 및 분석 기능을 C++언어로 구현하였다. 또한 SDL Editer 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 환경 및 통합 모듈을 구현한다.

• The Korean Journal of Applied Statistics
• /
• v.6 no.2
• /
• pp.401-408
• /
• 1993

This paper suggests a nonparametric test for the parallelism of several regression lines against ordered alternatives. The test statistic is an extension of the Potthoff statistic. The asymptotic variance of the proposed statistic is estimated by Bootstrap method. The proposed test are compared with the Adichie's parametric and nonparametric tests.

• The Korean Journal of Applied Statistics
• /
• v.24 no.1
• /
• pp.45-59
• /
• 2011

When using X-12-ARIMA for seasonal adjustment, we usually check whether the series has stable seasonality or not via D8 F-tests, Kruskal-Wallis test, and the spectral diagnostics. In this paper, we develop several smooth tests for seasonality based on a Fourier series to improve the spectral diagnostics of X-12-ARIMA. A simulation study is conducted to compare five smooth tests for seasonality and X-12-ARIMA's D8 F-test an Kruskal-Wallis test. The simulation study shows that smooth tests for seasonality performed well compared with D8 F-tests and a Kruskal-Wallis test.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.343-344
• /
• 2012

본 연구는 중증도가 높은 신경계중환자를 대상으로 중환자 중증도 분류도구와 Glasgow coma scale 적용의 유용성을 검정하고자 하는데 있다. 본 연구에서 대상자의 일반적 특성 및 임상 관련 특성에 따른 사망률 확인, 중환자 중증도 분류도구(CPSCS)의 일반적 특성, 임상관련 특성에 따른 중증도 차이, GCS의 일반적 특성과 임상관련 특성에 따른 중증도 차이를 파악하고, 임상적 유용성을 검정하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.441-444
• /
• 2000

BPA(Black Printer Algorithm)은 잉크젯 프린터에서 사용되는 C(사이안), M(마젠타), Y(옐로우) 잉크에 대한 검정(Black) 잉크의 양을 결정하는 알고리즘이다. CMY 잉크로 인쇄한 이미지의 칼라 품질은 모니터가 재생할 수는 있는 칼라 영역보다 적다. 또한 CMY 잉크를 각각 100% 씩 섞었을 때 이론적으로는 검정 색이 나와야 하나 실제는 검정 색을 정확하게 재현하지 못한다. 그래서 대부분의 프린터는 검정(K) 잉크를 기본으로 제공하며 CMY 잉크로 표현될 회색 영역의 부분을 검정 잉크로 대신 표현해 주기 때문에 프린터의 재현 영역을 확장시킬 수 있다. 또한 검정 잉크의 사용으로 인쇄품질의 색조 대비(contrast)를 증가시킬 수 있고 CMY 잉크를 검정 잉크로 대신 인쇄하기 때문에 CMY 잉크를 절약하는 효과를 얻을 수 있다. 본 논문에서는 본 잉크젯 프린터의 K(black) 잉크와 CMY(cyan, magenta, yellow) 잉크와의 관계를 살펴보았고 이 특성을 이용해 검정 잉크를 조절하는 방법 중에 하나인 3차 다항식의 BPA(Black Printer Algorithm)를 구현하였다. 결과에서는 성능 테스트에 대한 내용과 성능 향상을 위한 방법에 대해 논의하였다.

• Journal of the Korean Society of Food Culture
• /
• v.20 no.6
• /
• pp.633-637
• /
• 2005

The effects of adding hull powders of black soybean on quality characteristics of tobu were studied. Proximate composition of the black soybean hull powders was crude ash, crude protein, crude fat, and carbohydrate at 2.60, 11.35, 2.18, and 73.97%, respectively. The addition of 5% black soybean hull powder decreased the production of whey and consequently increased the yield of tobu. Texture properties of evaluation hardness, adhesiveness, chewiness were the best in tobu which was made with 5% black soybean hull powders. Sensory evaluation showed texture, firmness were not significantly different among tobu with yellow soybean, black soybean, and added to 0.5% black soybean hull powders. At the beginning of the period of storage, there were not differences of microbial cell count as increasing black soybean hull powders, but observed after passing 5 days. The results of total microbial cell count showed that adding 5% black soybean hull powders in processing tobu extend storage time.

• Communications for Statistical Applications and Methods
• /
• v.2 no.2
• /
• pp.221-226
• /
• 1995

본 연구는 붓스트랩에 의한 U-통계량의 분산추정방법을 제안하고, 추정량의 일치성을 증명하였다. 결과적으로 붓스트랩 추정량으로 표준화한 U-통계량의 값이 표준정규분포에 근사함을 보였다. 또한 실제적인 비모수검정에서 이를 응용하여 검정력과 특성을 연구하였다.

• The Korean Journal of Applied Statistics
• /
• v.9 no.2
• /
• pp.109-117
• /
• 1996

We introduce the more informative sequential probability ratio test(SPRT) than currently used SPRT. Though the proposed SPRT shares similar mathematical properties with the ordinary SPRT, it is less affected by the outliers and even it indicates possible existence of such outliers. Futhermore, it responds to the changes among observations more quickly than the ordinary SPRT.

• The Korean Journal of Applied Statistics
• /
• v.24 no.2
• /
• pp.383-391
• /
• 2011

This paper presents a modified entropy-based test of fit for the inverse Gaussian distribution. The test is based on the entropy difference of the unknown data-generating distribution and the inverse Gaussian distribution. The entropy difference estimator used as the test statistic is obtained by employing Vasicek's sample entropy as an entropy estimator for the data-generating distribution and the uniformly minimum variance unbiased estimator as an entropy estimator for the inverse Gaussian distribution. The critical values of the test statistic empirically determined are provided in a tabular form. Monte Carlo simulations are performed to compare the proposed test with the previous entropy-based test in terms of power.

• Communications for Statistical Applications and Methods
• /
• v.17 no.1
• /
• pp.127-140
• /
• 2010

In interim analysis, group sequential tests are widely used for the ethical, scientific, and economic reasons. In this paper, we propose the group sequential tests using both type I and type II error spending rate functions when the response variable is discrete, especially binomial distribution, in the interim analysis. In addition, we propose new error spending rate function which covers the formerly proposed. Our method has good property that is flexible, fast and easily applicable. A numerical simulations are carried out to evaluate our method and it shows good performance.