• The Korean Journal of Applied Statistics
• /
• v.22 no.6
• /
• pp.1153-1165
• /
• 2009

There are many traditional statistical tests for randomness. We can consider recurrence plots as an exploratory graphical tool for evaluating randomness.

• The Korean Journal of Applied Statistics
• /
• v.24 no.5
• /
• pp.883-891
• /
• 2011

For survival data we sometimes want to test a log normality hypothesis that can be changed into normality by transforming the survival data. Hence the Shapiro-Wilk type statistic for normality is generalized to randomly censored data based on the Kaplan-Meier product limit estimate of the distribution function. Koziol and Green (1976) derived Cram$\acute{e}$r-von Mises statistic's randomly censored version under the simpl hypothesis. These two test statistics are compared through a simulation study. As for the distribution of censoring variables, we consider Koziol and Green (1976)'s model and other similar models. Through the simulation results, we can see that the power of the proposed statistic is higher than that of Koziol-Green statistic and that the proportion of the censored observations (rather than the distribution of censoring variables) has a strong influence on the power of the proposed statistic.

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

In this paper, we consider the Marshall and Olkin's bivariate exponential model under random censorship for the distribution of failure times of a system with two components. We propose a bootstrap testing procedure for independence and compare the powers of it with other tests via Monte Carlo simulation.

• Review of KIISC
• /
• v.3 no.4
• /
• pp.63-70
• /
• 1993

본 논문에서는 n 개의 원소를 임의로 나열하는 대표적인 치환 발생 알고리즘을 소개하고 이들중 발생 치환의 랜덤성이 우수하다고 알려진 Knuth의 알고리즘을 근간으로 설계된 랜덤 치환 발생기의 암호학적 안전성을 분석하고 발생 치환들에 대한 난수 발생 수열 관점의 통계적 임의성과 연속 발생 치환끼리의 통계적 독립성 적용을 위한 통계량 소개 및 각 관점에서 통계적 검정을 통과함을 시뮬레이션 결과를 통하여 보인다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.04a
• /
• pp.222-227
• /
• 1998

본 논문에서는 이진난수발생기들의 안전성 평가를 위한 새로운 통계적 검정을 소개한다. 검정에서 구현된 기본개념은 이진난수열이 랜덤하지 않다면 다음 발생 비트를 예측할 확률이 편향된다는 다음 비트 검정이론에 바탕을 둔다. 본 검정은 이진난수열이 아닌 임의의 d진 난수열의 안전성 검정에도 유용하게 적용될 수 있으므로 난수발생기를 이용하여 설계된 스트림 암호 시스템의 안전성 평가에 평가 측도로서 사용될 수 있다. 또한 컴퓨터 시뮬레이션을 통해 몇몇 난수발생기에 검정을 적용함으로써 검정법이 타당함을 보인다.

• Communications for Statistical Applications and Methods
• /
• v.4 no.1
• /
• pp.41-47
• /
• 1997

본 연구의 목적은 p변량 관측지가 등상관구조를 갖는 경우 주변분산들의 균일성을 검정하는 통계적 절차를 개발하는 것이다. 이를 위하여 2변량의 경우에 적용되는 피트만(Pitman)의 방법을 3변량 이상의 경우로 확장하고 피셔(Fisher)의 임의화 검정을 적용하여 정규분포의 틀에 의존하지 않는 p 값을 산출한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1997.11a
• /
• pp.332-341
• /
• 1997

본 논문에서는 여러 난수열 발생기들의 안전성 평가를 위한 새로운 통계적 검정법을 소개한다. 검정에서 구현된 기본 개념은 다음 비트 검정 이론을 바탕으로 하였으며 전체 스트링과 스트링의 일부분에 관한 확률적 통계치가 주어진다면 이를 이용하여 추측할 수 있는 다음 비트들에 관한 정보를 얻을 수 있게 된다는 점을 이용하였다. 본 검정에서는 난수 발생기의 랜덤성 평가시 입력되는 스트링 크기의 크고 작음에 관계없이 모든 임의 길이의 스트링에 적용될 수 있도록 하였으며 이는 난수 발생기를 이용한 암호 시스템의 안전성 평가에 있어서 매우 유용하게 사용될 수 있을 것이다.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.1
• /
• pp.37-45
• /
• 1999

In this paper, we consider two components system having Marshall-Olkin's bivariate exponential model. For the bivariate random censorship, we obtain maximum likelihood estimators of parameters and system reliability. And we propose the methods of homogeniety and independence tests using asymptotic normality. Also we compute the estimators and p-values of the testings through Monte Carlo simulation.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.846-851
• /
• 2006

본 논문은 최근 발생한 집중호우와 이상강우를 고려하여 인천지역에서 사용중인 확률강우강도식에 대한 새로운 확률강우강도식을 제안하였으며, 기상청 자료를 이용하여 지속시간 10분${\sim}$24시간까지의 임의시간 연최대강우량을 산정하였다. 강우지속기간별 확률강우량을 추정하기 위하여 11개의 확률분포형을 적용하였으며 Chi-square 검정방법, Kolmogorov -Smirnov 검정방법, Cramer Von Mises 검정방법으로 적합도 검정과 함께 최근 강우에 대한 경향을 분석하고 실제 발생한 강우 중에서 최대 발생 강우량을 고려하여 적정분포인 GEV 분포를 확률 분포형으로 선정하였다. 확률강우강도식은 최소자승법을 사용하여 Talbot형, Sherman형, Japanese형, 통합형 Ⅰ 및 Ⅱ 형태로 산정하였고, 지역내 하수도 및 하천의 지속시간을 감안하여 확률강우강도식을 결정하였다. 또한 정확성을 고려하여 통합형 Ⅰ을 선택하였고 지속시간에 따른 강우강도식의 확률강우와 관측치를 감안한 강도식을 인천지역의 강우강도식으로 제안하였다.

• Proceedings of the KIEE Conference
• /
• 2004.04a
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.