• 한국항해항만학회지
• /
• 제39권1호
• /
• pp.15-21
• /
• 2015

GNSS를 이용한 정밀측위에서 미지정수 결정은 가장 중요한 과정이다. 정확한 미지정수를 추정하는 경우에는 수 mm에서 수 cm의 정밀한 측위결과를 가져오지만 부정확한 미지정수를 사용하는 경우에는 측위결과의 정확도와 정밀도를 보장할 수가 없다. 미지정수 결정은 IR(Integer Rounding), IB(Integer Bootstrapping), ILS(Integer Least Squares) 등의 기법을 기반으로 수행할 수 있다. 이중에서 ILS는 이론적, 실험적으로 가장 좋은 성능을 보여준다. 하지만 다른 기법들과 달리 ILS는 미지정수에 대한 후보를 검색하기 때문에 올바른 미지정수를 판단하기 위한 타당성 검정이 필요하다. 본 논문에서는 타당성 검정 기법간의 실험적인 비교 분석을 수행한다. 실험에는 타당성 검정 기법으로 자주 쓰이는 R-ratio, F-ratio, W-ratio가 사용되었다. 각 타당성 검정 기법의 성능을 정상동작, 검출, 미검출, 오검출로 나누어 평가하였다. 실험결과로 각 타당성 검정 기법의 장단점이 분명하게 나타났으며, 이를 통해 적용환경에 따라 기법이 선택되어야 함을 확인하였다.

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

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

• 한국수자원학회논문집
• /
• 제42권10호
• /
• pp.857-866
• /
• 2009

본 연구에서는 전국의 30년 이상의 강우관측기록을 보유하고 있는 기상청 산하 56개 강우관측소의 연 최대치 강우자료들로부터 확률분포형에 대하여 모멘트법, 최우추정법, 확률가중모멘트법을 이용하여 모수를 추정하고, 그 모수의 범위와 확률변수의 범위에 대한 적정성을 알아보았다. 적정성이 있는 모수를 대상으로 적합도 검정법인 x$^2$-검정, K-S검정, Cramer von Mises (CVM)검정, Probability Plot Correlation Coefficient (PPCC) 검정을 실시한 결과 중, 최근 연구에서 많이 이용되고 있고 표본자료의 크기가 작거나 왜곡된 자료일 경우에도 비교적 안정적인 결과를 얻을 수 있는 확률가중모멘트법과 상관계수에 의한 검정인 PPCC검정을 통과한 분포형을 우선적으로 적합도 평가 대상 분포형으로 선정하였다. 선정된 분포형을 대상으로 적합도 평가기준인 SLSC, MLL, AIC를 적용하여 적합도 평가를 실시하여 대표확률분포형 후보군을 추출하였다. 대표확률분포형 후보군으로 선정된 확률분포형에 대하여 resampling방법인 Jackknife기법을 적용하여 변동성을 파악하고, 변동성이 가장 작게 나타난 분포형을 그 지점의 대표확률분포형으로 결정하였다. 본 논문에서는 분석 결과의 분량을 감안하여 대표적으로 서울, 강릉, 대구, 전주, 부산 지점에 대해 작성하였으며, 확률강우량의 변동성이 가장 작은 확률분포형을 56개 지점의 각 지점 대표확률분포형으로 제시하였으며, Gumbel 분포(GUM)의 선정 비율이 지속기간 12시간, 24시간에 대해 각각 41 %, 32 %로 가장 높게 나타났다. 본 연구에서는 적합도 평가를 함에 있어서 객관적 정량화가 가능한 세 가지 기준과 Jackknife기법을 이용한 새로운 확률분포형 선정의 가능성을 제시하였다.

• 한국수자원학회논문집
• /
• 제37권3호
• /
• pp.173-184
• /
• 2004

기상예보모형 중 장기예측에 널리 사용되는 CGM모의결과를 이용하여 확률론적 불확실성 해석기법의 적용을 통해 유역단위로 관리되는 국내 수자원 운영에 대한 활용 가능성을 분석하였다. 연구된 기법은 GCM 모의값이 관측값의 크고 작음을 얼마나 잘 구분하는지를 확률적으로 분석하는 방법으로 Kolmogorov-Smirnov 검정을 사용한다. GCM 모의값으로는 ECMWF에서 AMIP-II 형태로 모의한 결과로부터 표면강수량을 추출하여 사용하였으며, 관측값은 국내 7개 유역에 대해 면적강우량을 산정하여 사용하였다. 또한, 어느 정도의 구분능력이 적정한가를 판단하기 위한 유의수준(significance threshold)을 결정하기 위해 Monte Carlo 모의를 사용하였다. 이러한 분석을 통해 우리나라의 7개 유역에 대해서는 ECMWF 의 GCM 자료가 우기(6월∼9월)에 대해 인근 노드점의 자료를 평균하여 사용되어 질 경우 효율적인 것으로 나타났으나, 건기(10월∼5월)의 경우 구분 능력이 부족한 것으로 판단된다.

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

본 연구에서는 Clark 모형을 기반으로 한 홍수유출 앙상블 멤버 생성기법을 개발하였다. Clark 모형의 매개변수인 집중시간과 저류상수는 불확실성을 가진다. 본 연구에서는 집중시간과 저류상수가 가지고 있는 불확실성을 해결하기 위하여 적절한 확률분포를 선정하였다. 집중시간에 적절한 확률분포는 집중시간이 가지고 있는 특성과 확률분포가 가지고 있는 특성을 비교 및 분석하여 선정하였다. 선정된 확률분포는 감마분포와 대수정규분포이다. 저류상수에 적절한 확률분포는 저류 상수와 집중시간의 관계를 분석하여 선정하였다. 선정된 확률분포는 집중시간에서 선정한 확률분포와 동일하다. 본 연구에서는 이지호 등(2013)의 연구에서 집중시간과 저류상수 사이에 뚜렷한 관계를 확인하고 이에 적합한 이변량 확률분포를 선정하였다. 선정된 이변량 확률분포는 이변량 감마분포와 이변량 대수정규분포이다. 이변량 감마분포는 집중시간과 저류상수에 적용 가능한 Smith, Adelfang and Tubb's(SAT) 이변량 감마분포를 선정하였다. SAT 이변량 감마분포와 이변량 대수정규분포의 적합도 검정방법은 K-S 검정을 이용하였다. 본 연구에서는 SAT 이변량 감마분포와 이변량 대수정규분포로 Random Number Generation 실시하였다. 생성된 집중시간과 저류상수의 앙상블 멤버는 Clark 모형을 이용하여 홍수유출 앙상블 멤버를 생성한다. 제안된 홍수유출 앙상블 멤버 생성기법은 방림 유역을 대상 검토하였다.

• 한국식물병리학회지
• /
• 제13권4호
• /
• pp.205-209
• /
• 1997

PSTVd 를 접종시킨 감자의 Superior 품종으로부터 PSTVd RNA를 분리하여 역전사효소와 PSTVd genome 중 356 uncleotides를 증폭할 수 있는 PSTVd 특이적 primer 쌍을 사용하여 RT-PCR를 수행한 결과 356 nuclcotides의 DNA 절편이 증폭되었고 이 절편을 sequencing인 결과 PSTVd 의 유전자임을 확인하였다. 감염된 잎과 괴경에수 모두 RT-PCR 기법을 이용한 PSTVd 의 검정이 가능하였고 특히 RT 반응시 downstream primer만을 이용할 때보다 downstream과 upstream primer를 동시에 사용할 때가 PSTVd 의 검정에 더 효과적이었다.

• 한국정보과학회논문지:정보통신
• /
• 제33권3호
• /
• pp.201-217
• /
• 2006

본 논문에서는 실제 인터넷 백본으로부터 일주일간 캡쳐한 트래픽을 대상으로 기초 통계 분석을 하고, 여기서 발생한 이상트래픽을 분석한다. 이상트래픽은 국외에서 국내로 유입되는 UDP 기반 트래픽에서 나타났다. 트래픽 자료에 대한 탐색적 분석 결과 packets/sec 분포와 bytes/sec 분포에서 이상트래픽이 발생할 경우에 나타나는 새로운 형태의 특성이 발견되었다. 본 연구에서는 이러한 이상트래픽의 원인이 되는 플로우를 분류하기 위하여 자율학습(unsupervised learning) 방법의 하나인 분류분석(k-means clustering)을 이용하였으며, 분류된 플로우의 특성분석을 토대로 발생한 이상트래픽은 DoS 공격의 일종에 의한 것으로 결론지었다. 또한 본 연구에서는 이상트래픽의 원인이 되는 플로우의 존재 시점을 탐지하기 위하여 새로운 기법을 제시한다. 제시된 기법은 분포적합검정(goodness of fit test)의 한 방법인 Cramer-Von-Misses 검정에서 쓰이는 통계량에 바탕을 두고 있으며 1초 단위의 탐지기법이다. 제시된 기법의 응용 결과, 이상트래픽의 존재 시점으로 판단된 시점과 DoS 공격으로 판단된 플로우들의 시점이 일치함을 확인할 수 있었다.

• 대한토목학회논문집
• /
• 제33권6호
• /
• pp.2245-2254
• /
• 2013

기후변화로 인한 이상기후 현상 중 가뭄에 대한 취약성 지수를 자료의 경향성 분석과 Delphi 기법을 이용하여 개발하였다. 낙동강 유역 자료를 이용하여 수문학적, 강우 사상적, 인문학적 자료를 바탕으로 총 12개의 지표를 선정하였다. 선정된 지표를 Mann-Kendall trend test, Hotelling-Pabst trend test, Sen's trend test 등 3가지 경향성 검정을 통해 표준화하고, 델파이 기법을 통해 국내의 수자원 전문가들의 의견을 반영하여 각 지표에 가중치를 부여하였다. 최종적으로 산출된 가뭄에 대한 취약성 지수에서 낙동강 유역 중에서 합천 주변 지역이 가뭄에 가장 취약하다는 결과가 나왔다. 이 취약성 지수 개발을 통해 우리나라 전 지역에 적용하게 되면 향후 수자원 정책 수립에 있어서 많은 도움이 될 것이라 사료된다.

• 한국가금학회지
• /
• 제39권3호
• /
• pp.233-239
• /
• 2012

농업 관측에서 제공하고 있는 육계 가격 전망치들은 관련산업에 종사하는 생산자나 기업들에게 매우 중요함에도 불구하고, 예측 자료에 대한 객관적인 평가에 대한 연구가 전무한 실정이다. 본 연구에서는 농업 관측에서 제공하고 있는 육계 가격 전망치의 예측 성과에 대해 정확성에 기초한 검정뿐만 아니라 분류 기반 검정 등 포괄적인 평가를 실시하였다. 분석 결과, 농업 관측 육계 가격의 전망치는 가능한 정보의 활용이나 예측 오류 측면에서 효율적이며, 가격 변화의 방향도 월간에 59%, 연도 간에는 80% 이상 정확하게 예측하는 등 전반적으로 가격 예측을 성공적으로 수행하고 있음을 알 수 있다. 그러나 예측치들이 일관되게 과소 추정되는 경향이 있고, 예측 구간이 32% 이상 실제 가격을 포함하고 있음에도 불구하고, 단순 모형에 대한 상대적인 성과가 통계적으로 유의하지 않은 점 등은 개선되어야 할 필요가 있을 것이다. 이상의 결과를 토대로 볼 때 농업 관측 센터에서 현재 활용하고 있는 예측 기법을 자체적으로 평가해 보고, 다양한 대안적 예측 기법과의 비교 평가를 통해 육계 가격 전망치를 개선할 여지가 있는지를 검토 해보는 것은 의미가 있다고 할 것이다.

• 한국방재학회 논문집
• /
• 제9권4호
• /
• pp.29-35
• /
• 2009

본 연구에서는 기본 통계치 비교, K-S 검정 및 상자그림과 같은 통계적 기법을 이용하여 측우기 강우량 관측계열(CWK)과 근대우량계 강우량 관측계열(MRG)에 대해 정량적 동질성 분석을 실시하였다. 측우기 관측계열과 근대우량계 관측계열간의 월별 동질성을 분석하기 위해 월강우량, 월강우량에 대한 해당월 최대 일강우량의 비, 월강우일수, 일강우강도의 4개 강우특성자료 계열을 산정하였고, 이표본 K-S 검정을 통한 분포에 대한 동질성 검정과 상자그림을 이용한 정량적 비교를 수행하였다. 분석 결과 각 분석과정에서 M00은 전체적으로 CWK와 MRG의 월강우일수간 차이에 명확한 통계적 유의성을 보이고 있어 CWK와 MRG 간의 관측정밀도에 차이가 있다고 판단된다. 그러나, CWK와 MRG의 강우량은 상대적으로 유의성이 크지 않은 미소한 차이를 보이고 있는 것으로 나타났다.