• 한국지진공학회논문집
• /
• 제20권1호
• /
• pp.1-8
• /
• 2016

Permanent deformation plays a key role in performance based earthquake resistant design. In order to estimate permanent deformation after earthquake, it is essential to secure reliable response history analysis(RHA) as well as earthquake scenario. This study focuses on permanent deformation of an inverted T-type wall under earthquake. The study is composed of two separate parts. The first one is on the verification of RHA and the second one is on an effect of input earthquake motion. The former is discussed in this paper and the latter in the companion paper. The verification is conducted via geotechnical dynamic centrifuge test in prototype scale. Response of wall stem, ground motions behind the wall obtained from RHA matched pretty well with physical test performed under centrifugal acceleration of 50g. The rigorously verified RHA is used for parametric study to investigate an effect of input earthquake motion selection in the companion paper.

• Nuclear Engineering and Technology
• /
• 제56권7호
• /
• pp.2704-2710
• /
• 2024

Nuclear archaeology research provides scientific methods to reconstruct the operating histories of fissile material production facilities to account for past fissile material production. While it has typically focused on analyzing material in permanent reactor structures, spent fuel or high-level waste also hold information about the reactor operation. In this computational study, we explore a Bayesian inference framework for reconstructing the operational history from measurements of isotope ratios from a sample of nuclear waste. We investigate two different inference models. The first model discriminates between three potential reactors of origin (Magnox, PWR, and PHWR) while simultaneously reconstructing the fuel burnup, time since irradiation, initial enrichment, and average power density. The second model reconstructs the fuel burnup and time since irradiation of two batches of waste in a mixed sample. Each of the models is applied to a set of simulated test data, and the performance is evaluated by comparing the highest posterior density regions to the corresponding parameter values of the test dataset. Both models perform well on the simulated test cases, which highlights the potential of the Bayesian inference framework and opens up avenues for further investigation.

• 한국통신학회논문지
• /
• 제34권3C호
• /
• pp.257-267
• /
• 2009

This paper presents a training method for neural networks and the employment of MSE (mean scare error) values as the basis of a decision regarding the identity claim of a speaker in a recurrent neural networks based speaker verification system. Recurrent neural networks (RNNs) are employed to capture temporally dynamic characteristics of speech signal. In the process of supervised learning for RNNs, target outputs are automatically generated and the generated target outputs are made to represent the temporal variation of input speech sounds. To increase the capability of discriminating between the true speaker and an impostor, a discriminative training method for RNNs is presented. This paper shows the use and the effectiveness of the MSE value, which is obtained from the Euclidean distance between the target outputs and the outputs of networks for test speech sounds of a speaker, as the basis of speaker verification. In terms of equal error rates, results of experiments, which have been performed using the Korean speech database, show that the proposed speaker verification system exhibits better performance than a conventional hidden Markov model based speaker verification system.

• 항공우주기술
• /
• 제5권2호
• /
• pp.108-113
• /
• 2006

본 논문은 아리랑위성 2호 탑재체의 지상하향링크 시스템 성능을 측정한 과정과 결과를 수록하였다. 우선 안테나 접속 상태와 안테나의 성능을 판단할 수 있는 복사패턴과 VSWR 을 측정하였으며, 송신기의 상태 및 RF 스펙트럼의 분포를 확인하여 스펙트럼 상에 원치 않는 출력이 없음을 검증하였다. 마지막으로 안테나 햇과 실제 안테나를 이용하여 수신 시 스템과의 호환성 시험을 수행하였는데, 비트오류 확률 등이 측정되었다. RF 시스템에 대한 이러한 검증 시험은 위성의 이동, 조립 및 환경시험 후에 반드시 수행되어서 시스템 상의 성능 저하 유무를 확인할 수 있어야 한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제2권2호
• /
• pp.132-140
• /
• 2002

This paper presents an ARM-based SOC bus transaction verification IP and the usage experiences in SOC designs. The verification IP is an AMBA AHB protocol checker, which captures legal AHB transactions in FSM-style signal sequence checking routines. This checker can be considered as a reusable verification IP since it does not change unless the bus protocol changes. Our AHB protocol checker is designed to be scalable to any number of AHB masters and reusable for various AMBA-based SOC designs. The keys to the scalability and the reusability are Object-Oriented Programming (OOP), virtual port, and bind operation. This paper describes how OOP, virtual port, and bind features are used to implement AHB protocol checker. Using the AHB protocol checker, an AHB simulation monitor is constructed. The monitor checks the legal bus arbitration and detects the first cycle of an AHB transaction. Then it calls AHB protocol checker to check the expected AHB signal sequences. We integrate the AHB bus monitor into Verilog simulation environment to replace time-consuming visual waveform inspection, and it allows us to find design bugs quickly. This paper also discusses AMBA AHB bus transaction coverage metrics and AHB transaction coverage analysis. Test programs for five AHB masters of an SOC, four channel DMAs and a host interface unit are executed and transaction coverage for DMA verification is collected during simulation. These coverage results can be used to determine the weak point of test programs in terms of the number of bus transactions occurred and guide to improve the quality of the test programs. Also, the coverage results can be used to obtain bus utilization statistics since the bus cycles occupied by each AHB master can be obtained.

• Nuclear Engineering and Technology
• /
• 제49권5호
• /
• pp.989-995
• /
• 2017

Distributed Control System (DCS) communication networks, which use Fast Ethernet with redundant networks for the transmission of information, have been installed in digitalized nuclear power plants. Normally, failover tests are performed to verify the reliability of redundant networks during design and manufacturing phases; however, systematic integrity tests of DCS networks cannot be fully performed during these phases because all relevant equipment is not installed completely during these two phases. In additions, practical verification tests are insufficient, and there is a need to test the actual failover function of DCS redundant networks in the target environment. The purpose of this study is to verify that the failover functions works correctly in certain abnormal conditions during installation and commissioning phase and identify the influence of network failover on the entire DCS. To quantify the effects of network failover in the DCS, the packets (Protocol Data Units) must be collected and resource usage of the system has to be monitored and analyzed. This study introduces the use of a new methodology for verification of DCS network failover during the installation and commissioning phases. This study is expected to provide insight into verification methodology and the failover effects from DCS redundant networks. It also provides test results of network performance from DCS network failover in digitalized domestic nuclear power plants (NPPs).

• 한국음향학회지
• /
• 제22권1호
• /
• pp.42-47
• /
• 2003

본 논문에서 제안하는 방법은 화자 확인 (speaker verification)에서 시퀀스 확률비 테스트 (SPRT: sequential probability ratio test)를 위한 시작 프레임의 샘플 시프트를 이용해서 새로운 테스트 데이터를 생성하는 방법이다. SPRT는 테스트 계산량을 줄일 수 있는 효과적인 알고리즘이다. 그러나 테스트의 결정과정에서 SPRT 방법은 입력신호가 확률밀도 함수로부터 독립적이고 균일하게 분포되어 있다는 가정하에 수행할 수 있으며, 또한 발성길이가 짧은 데이터에는 적용하기에 적절하지 못하다. 제안한 방법은 시작 프레임의 샘플 시프트를 통한 새로운 테스트 데이터를 생성하는 방법이기 때문에 테스트 데이터의 길이에 상관없이 SPRT를 수행할 수 있다. 또한 SPRT 방법에서 고려해야 하는 데이터의 상관성은 주성분 분석(principal component analysis)을 이용함으로써 효과적으로 제거하였다. 실험 결과 제안한 방법은 기존의 방법보다 샘플시프트를 위한 데이터의 계산량은 약간 증가하였지만, 등가오류율 (EER: equal error rate)에서 평균0.7%이상 좋은 성능결과를 보였다.

• 한국항공우주학회지
• /
• 제40권5호
• /
• pp.446-453
• /
• 2012

무인기 개발 시 항공전자시스템의 요구도 검증을 위해 통합시험능력을 제공하는 통합시험환경(SIL)을 개발하였다. 개발된 SIL은 유인항공기 SIL이 보유하고 있는 기능들을 기본적으로 제공하며, 각 구성품인 지상제어 모의, 비행체 모의, 비행환경 모의가 폐루프(Closed-Loop)로 연동되는 구조 하에서 시험 데이터의 가시화 및 시험자동화에 중점을 두고 설계되었다. 이로써 무인기의 복잡하고 수많은 요구도가 개발된 SIL을 통해 간편하고 정확하게 검증될 수 있었다. 개발된 SIL은 4단계의 검증과정을 통해 기능 및 성능의 정확성과 신뢰성이 검증되었으며, 무인기 지상체 및 비행체 통합을 위한 체계 SIL에서도 정상 동작함을 확인하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2007년도 제29회 추계학술대회논문집
• /
• pp.155-158
• /
• 2007

액체로켓엔진 개발 시험의 중간 단계로서 연소기를 제외한 터보펌프 등의 엔진 주요 구성품을 이용한 터보펌프+가스발생기 연계시험이 수행 중에 있다. 터보펌프+가스발생기 연계시험의 시험기 및 시험설비 구성을 기술하였다. 연계시험 수행을 위한 시험설비 시스템 검증 시험 결과를 제시하였다. 시험설비에 대한 예비시험 결과를 토대로 시험설비 추진제 공급시스템의 검증이 수행되었다.

• Journal of Positioning, Navigation, and Timing
• /
• 제13권3호
• /
• pp.257-268
• /
• 2024

The Korea Augmentation Satellite System (KASS) satellite was successfully launched and service is being started. By receiving messages transmitted from the KASS satellite, users can employ the messages to improve positioning accuracy or to verify the integrity of Global Positioning System (GPS). In this paper, we propose a test method for a beam-formed GPS receiver developed to improve the survivability of KASS augmented messages that can enhance positioning accuracy even in an environment with jamming or interfering signals. Through the test method proposed in this paper, quantitative verification is performed for a beam-formed GPS receiver aimed at maintaining the augmented navigation solution to which KASS augmented messages are applied by tracking the KASS signal as much as possible under conditions where the jamming signal strength is gradually increasing. In addition, the proposed test method includes three conditions; first, a static lab test method for repeated verification of functions under the same conditions; second, a static outdoor test method for performance verification in an operating environment of a platform equipped with the beam-formed GPS receiver; and finally, a dynamic lab test method for performance verification of a moving platform equipped with the beam-formed GPS receiver toward a jammer. In this paper, we propose a method for simulating the jamming signal incident direction through the phase delay of an RF cable designed to prevent unintentional jamming signal emission in both lab and outdoor tests, and a method of applying test software for injecting a jamming signal to compare the survivability performance consistently according to the presence or absence of beamforming signal processing. Through the proposed test method, it was verified that the augmented navigation solution could be output for a longer time period when the beamforming signal processing was applied to the KASS satellite signal in the beam-formed GPS receiver.