• 응용통계연구
• /
• 제22권6호
• /
• pp.1153-1165
• /
• 2009

의사난수발생기로부터 얻어지는 난수의 임의성을 검정하기 위한 통계방법들이 기존에 많이 제시되었다. 수열의 임의성을 평가하기 위한 탐색적 그림도구로서 우리는 재현그림을 이용할 수 있다.

• 응용통계연구
• /
• 제24권5호
• /
• pp.883-891
• /
• 2011

수명시간에 대한 모형으로 로그정규분포가 자주 사용되며, 이는 자료의 변환에 의하여 정규성 검정과 동일한 문제로 생각할 수 있다. 따라서 자료의 로그정규성 검정을 위하여, 정규성 검정에 자주 이용되는 Shapiro-Wilk 형태의 검정통계량을 Kaplan-Meier의 product limit 경험분포함수를 이용하여 임의중도절단자료로 일반화한다. Cram er von Mises 통계량을 임의중도절단자료로 일반화한 Koziol과 Green (1976)의 통계량과 비교하였으며 이를 위하여 단순귀무가설을 가정하였다. 중도절단분포에 대한 모형으로는 Koziol과 Green (1976)에서 제시한 모형과 이와 유사한 다른 모형 두 가지를 고려하였다. 검정력 비교 결과 제시한 통계량이 로그정규성 또는 정규성 검정에 더 좋은 검정력을 보여주었으며 검정력은 중도절단분포 모형보다는 자료의 중도절단비율에 영향을 받는다는 것을 볼 수 있었다.

• 응용통계연구
• /
• 제9권2호
• /
• pp.13-23
• /
• 1996

본 논문에서는 임의중단된 자료가 관찰되는 경우 Marshall과 Olkin의 이변량 지수 모형의 독립성에 대한 붓스트랩 검정절차를 제안하고, 몬테칼로 모의실험을 통하여 제안된 붓스트랩 검정법과 기존의 다른 검정법들의 검정력을 비교하였다.

• 정보보호학회지
• /
• 제3권4호
• /
• pp.63-70
• /
• 1993

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

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 춘계학술발표논문집
• /
• pp.222-227
• /
• 1998

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

• Communications for Statistical Applications and Methods
• /
• 제4권1호
• /
• pp.41-47
• /
• 1997

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

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1997년도 종합학술발표회논문집
• /
• pp.332-341
• /
• 1997

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

• Journal of the Korean Data and Information Science Society
• /
• 제10권1호
• /
• pp.37-45
• /
• 1999

본 논문에서는 Marshall-Olkin의 이변량 지수모형을 따르는 두 부품의 수명들이 이변량 임의 중단된 자료로 관찰되는 경우를 생각한다. 이 경우 모수와 시스템 신뢰도에 대한 최우추정량을 구하고 근사적 정규성을 이용하여 두 부품의 수명에 대한 동일성 및 독립성 검정법을 제안한다. 그리고 모의실험을 통하여 제안된 추정량들과 검정법들의 유의확률을 계산한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2006년도 학술발표회 논문집
• /
• pp.846-851
• /
• 2006

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.262-265
• /
• 2004

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