• Journal of Animal Science and Technology
• /
• 제46권2호
• /
• pp.129-136
• /
• 2004

The objective of present study was to ascertain parentage of Thoroughbred(TB) horses in Korea. A total of 2,029 TB horse samples including 993 foal samples for parentage testing were genotyped for nine international minimum standard markers(AHT4, 5, ASB2, HMS3, 6, 7, HTG4, 10, and VHL20). This method consisted of multiplexing PCR procedure, and showed reasonable amplification of all PCR products. Genotyping was performed with an ABI 310 genetic analyzer. The number of alleles per locus varied from 5 to 11 with a mean value of 7.33 in TB. Expected heterozygosity was ranged from 0.544 to 0.837(mean 0.709) and the total exclusion probability of 9 microsatellites loci was 0.9978. Of the 9 markers, ASB2, HMS7 and HTG10 loci have relatively high PIC value(>0.7). All of the 993 foals were qualified by compatibility according to Mendelian fashion in the present DNA typing for parentage testing. These results suggest that the present DNA typing has high potential for parentage verification of TB horses.

• 비파괴검사학회지
• /
• 제28권5호
• /
• pp.436-442
• /
• 2008

최근 VHTR(very high temperature reactor)에 대한 연구에서 흑연이 노심내 구조재, 반사재, 감속재로서 가장 적절한 재료로 인식되고 있다. 운전온도는 약 $900^{\circ}C$로 원자로 내부에 유입되는 소량의 불순물에도 흑연은 산화되기 쉬우며 산화된 흑연은 공극률이 증가하며 구조재료로서 가져야 할 파괴인성이 낮아진다. 본 연구에서는 산화 전후의 흑연에 대하여 초음파특성을 측정하고, 이를 기반으로 흑연에 대한 초음파탐상검사의 유효성을 타진하였다. 흑연의 초음파특성 측정 결과 초음파속도는 탄소강의 약 1/2, 음파 감쇠는 5배 이상, 신호대잡음비는 약 1/3로 측정되었다. 산화 후, 초음파속도는 as-received 상태에 비하여 미소하게 감소되었으나 초음파감쇠는 200% 이상으로 그 차이가 두드러지게 나타났다. 신호대잡음비에 기반하여 POD (probability of detection)을 산출한 결과, 100 mm 미만의 깊이를 가지는 측면공(SDH; side drilled hole)는 산화 전후에 큰 차이를 나타내지 않으므로 해당 깊이를 가지는 결함에 대해서 초음파탐상검사는 비교적 신뢰성 있는 검사를 수행할 수 있다고 판단된다. 상용 자동초음파탐상 장비에서의 테스트 결과 80 mm이하의 깊이에서는 인적오류가 크지 않을 것으로 예상할 수 있었으며, 위상배열 초음파 기법을 통한 검사를 수행한 결과 역시 양호한 신호대잡음비로 측면공들을 모두 검출할 수 있었다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회B
• /
• pp.3221-3223
• /
• 2007

Recently, nuclear power plant companies have been extending the turbine valve test interval to reduce the potential of the reactor trip accompanied with a turbine valve test and to improve the NPP's economy through the reduction of unexpected plant trip or decreased operation. In these regards, the extension of the test interval for turbine valves was reviewed in detail. The effect on the destructive overspeed probability due to the test interval change of turbine valves is evaluated by Fault Tree Analysis(FTA) method. Even though the test interval of turbine valves is changed from 1 month to 3 months, the analysis result shows that the reliability of turbine over speed protection system meets acceptance criteria of 1.0E-4/yr. This result will be used as the technical basis on the extension of the test interval for turbine valves. In this paper, the propriety of the turbine valve test interval extension is explained through the review on the turbine valve test interval status of turbine overspeed protection system, the analysis on the annual turbine missile frequency and the probability evaluation of the destructive overspeed due to the test interval extension.

• Asian-Australasian Journal of Animal Sciences
• /
• 제17권6호
• /
• pp.750-754
• /
• 2004

This study was performed for parentage verification of the Korean native horse (KNH). 103 random KNH samples (including 19 foals for parentage testing) were genotyped by using 16 microsatellite markers. The number of alleles per locus varied from 5 to 13 with an average value of 8.56 in the KNH. The observed heterozygosity and the expected heterozygosity ranged 0.398-0.893 (the average value was 0.683) and 0.368-0.871 (the average value was 0.727) in the KNH, respectively. The PIC value and the exclusion probability ranged 0.347-0.853 (the average value was 0.692) and 0.208-0.736, respectively, and the total exclusion probability of 16 microsatellite loci was 0.9999. Of the 16 markers, AHT4, AHT5, ASB2, ASB17, HMS2, HMS3, HTG10, LEX33, TKY321 and VHL20 loci have a relatively high PIC value (>0.7) in the KNH. Of the 19 foals, 5 foals were disqualified by an incompatibility of 4-7 markers according to a Mendelian fashion in the present DNA typing for parentage testing. These results present basic information for developing a system for parentage verification and individual identification in the KNH.

• 한국멀티미디어학회논문지
• /
• 제12권8호
• /
• pp.1182-1189
• /
• 2009

컴퓨터 기반 교육의 잠재적인 이점은 개별화 교습이다. 결국 수준별 교육과정의 운영과 열린 교육의 실천을 위하여 어떻게 학습자 개개인에 대해서 신속하고 정확하게 평가할 수 있는가에 대한 문제가 제기된다. 본 연구에서는 평가를 위한 문항 수가 두드러지게 감소하면서 반면에 합격과 불합격 판정이 비교적 정확한 기존의 SPRT(Sequential Probability Ratio Testing) 판정 방법에 대한 문제점을 보완하여 보다 최적의 판정을 내릴 수 있는 방안을 시뮬레이션 연구를 통하여 제안한다. 이를 위하여 실제 측정에 의해서 얻어진 피험자 자료를 활용하여 SPRT판정의 정확도 검증을 위한 시뮬레이션과 최적의 SPRT판정을 위한 초기 설정치와 다단계 (Multilevel) SPRT 모형 및 판정 기준을 제시하고 시뮬레이션을 통하여 타당성을 알아본다.

• Communications for Statistical Applications and Methods
• /
• 제17권6호
• /
• pp.891-898
• /
• 2010

소프트웨어는 독립적으로 개발된 모듈들을 통합하는 개발과정을 거치며, 통합된 소프트웨어는 가용도, 소프트웨어에 내재된 결함의 제거 수 및 주어진 업무(task)들의 처리능력에 의하여 성능이 평가된다. 본 연구에서는 Lee와 Park (2003)의 마코프 불완전 수리모형을 기반으로 모듈들로 구성된 소프트웨어의 업무처리 능력을 평가할 수 있는 업무의 완전처리확률(completion probability)을 유도하며, 이와함께 개발된 소프트웨어가 출하되는 최적의 시점을 결정하는 방안을 제시하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제16권12호
• /
• pp.1-10
• /
• 2011

내장형 시스템의요구사항이 복잡해짐에 따라 내장형 소프트웨어의 신뢰도를분석하기 위한 도구가 요구되고있다. 소프트웨어의 신뢰도를 분석하는 방법으로는 확률적 모델링을 이용하는데, 다수의 디바이스를 제어하는 내장형 소프트웨어에 적용하기 위해서는 내장형 소프트웨어에 특성화 시킬 필요가 있다. 또한, 기존의 신뢰도 분석 도구는 각 상태간의 전이 확률을 다른 방법으로 측정해야 하고, 한 번 작성한 모델에 대해 재사용을 고려하고 있지 않는다. 본 논문은 내장형 소프트웨어의 신뢰도를 분석하기 위해 내장형 소프트웨어 마르코프 체인 모델과 단위 테스팅 도구를 이용한 신뢰도 분석 도구를 제안한다. 내장형 소프트웨어 마르코프 체인 모델은 신뢰도 분석 방법으로 많이 사용되고 있는 마르코프 체인 모델을 내장형 소프트웨어에 특성화 시킨 모델이다. 그리고 단위 테스팅 도구는 내장형 소프트웨어의 개발환경에 적합한 호스트/타겟 구조를 가지고 있다. 제안하는 도구는 신뢰도 분석을 위해 단위간 전이 확률을 단위 테스트 결과로부터 자동으로 측정하여 기존의 도구보다 용이하게 신뢰도를 분석할 수 있다. 그리고 소프트웨어 모델을 XML 기반의 문서로 표현하여 단위 테스팅 도구가 업데이트 시킨 테스트 결과를 바로 적용할수 있고, 웹 기반의 인터페이스와 SVN 저장소를 이용하여 다수의 개발자가 쉽게 접근할 수 있는 장점을 갖는다. 본 논문에서는 예제를 이용하여 신뢰도의 분석을 보이고 신뢰도 측정에 유용함을 보인다.

• 한국과학교육학회지
• /
• 제19권1호
• /
• pp.117-127
• /
• 1999

최근의 보고에 따르면 우리 나라 학생들은 학년이 높아질수록 과학적 수준은 반대로 떨어지는 경향을 보이고 있지만 고등학교 이후 집단의 과학적 추론능력에 대한 연구는 체계적으로 이루어지지 않고 있다. 특히 가설검정능력과 관련된 과학적 추론은 가장 고등한 인지기능의 하나로 여겨지고 있고, 또 창의적이고 비판적인 사고에 매우 중요하다고 보고되어 왔다. 따라서 본 연구는 우리나라 대학생들의 과학적 추론 능력을 조사하고, 이를 미국 대학생들의 과학적 추론 능력과 비교하여 분석하였다. 아울러 본 연구는 가설 검정능력이 과학적 추론능력의 다른 하위요소에 비해 고등한 추론기능이라는 가설도 검정하였다. 고등학교 이후의 과학적 추론에 대한 경향을 조사하기 위하여 본 연구는 한국의 대학생 774명과 미국의 대학생 568명에게 과학적 추론 검사를 실시하여서 비교 분석하였고, 이 자료를 토대로 가설검정능력이 과학적 추론의 다른 하위요소에 비해 고등한 추론이라는 가설도 검정하였다. 본 연구에 사용된 과학적 추론 검사는 보존논리, 비례논리, 변인통제, 확률논리, 상관논리, 그리고 가설검정기능에 관련된 127개의 과제로 구성되어 있다. 본 연구의 결과는 한국 대학생들이 비례 및 확률논리를 평가하는 과제에 대해서는 미국 학생들보다 월등하게 높은 접수를 기록하였고, 보존이나 변인통제, 그리고 상관논리를 평가하는 과제에 대해서는 반대의 경향을 나타내었다. 또한 가설검정 능력을 평가하는 문항에서는 양국 모두 다른 과학적 추론 과제에 비해서 뚜렷하게 낮은 점수를 보여주었다. 본 연구는 이들 결과에 대해서 본 연구의 목적과 관련해서 논의하였고 이의 교육적 적용에 대해서도 논의하였다.

• 터널과지하공간
• /
• 제31권5호
• /
• pp.360-373
• /
• 2021

지반공학 분석에는 재료정수의 샘플링 및 실험기술에 이르기까지 많은 불확실성의 원인이 존재한다. 암반사면의 평면파괴에 대한 기존의 결정론적 안정성 분석은 안전율은 계산하지만, 파괴확률이나 신뢰지수를 고려하지 않는다. 기존의 사면안정해석에서는 지반의 불확실성을 전체적 안전율로 평가하여 현실적인 암반사면의 안정성을 자세히 평가하기가 힘들다. 본 논문에서는 암석사면의 평면파괴에 적용되는 MCS, FOSM, PEM, Taylor Series와 같은 기존의 확률론적 분석기법을 자세히 검토한다. 몬테카를로 방법(MCS)은 가장 정확한 확률론적 안전율을 계산한다. 그러나 이 방법은 시간이 많이 걸리는 문제가 발생되므로 간이 확률론적 방법은 MCS에 대한 대안이 될 수 있다. 이 연구에서는 간이 확률론적 방법을 사용하여 암반사면의 평면파괴에 대한 확률분석을 제시하였다.

• Communications for Statistical Applications and Methods
• /
• 제5권2호
• /
• pp.503-515
• /
• 1998

When a neutral particle beam(NPB) aimed at the object and receive a small number of neutron signals at the detector, it follows approximately Poisson distribution. Under the four assumptions in the presence of errors and uncertainties for the Poisson parameters, an exact probability distribution of neutral particles have been derived. The probability distribution for the neutron signals received by a detector averaged over the three sources of errors is expressed as a four-dimensional integral of certain data. Two of the four integrals can be evaluated analytically and thereby the integral is reduced to a two-dimensional integral. The monotone likelihood ratio(MLR) property of the distribution is proved by using the Cauchy mean value theorem for the univariate distribution and multivariate distribution. Its MLR property can be used to find a criteria for the hypothesis testing problem related to the distribution.