• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.755-758
• /
• 1998

As the performance of microprocessor improves, the design complexity grows exponentially. Therefor, it is very important to make the bug-free model as early as possible in a design life-cycle. This paper describes the simulation-based functional verification methodology for the RTL level description model. It is performed by multi-stage verification methods using extensive hand-generated self-checking tests supplemented with random tests. This approach is opplied to the functional verification of the GPU processor of Raptor and various bugs are detected.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.2202-2203
• /
• 2011

AC substation of urban transit supplies a suitable AC power on electricity vehicles. AC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for AC traction system are unprepared on pre-operation inspection, the general safety and performance verification of AC traction system are very insufficient. Therefore this paper analyze the test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of AC traction system and present a suitable test items and test standard in domestic.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.499-504
• /
• 2008

DC substation of urban transit supplies a suitable DC power on electricity vehicles by being supplied from KEPCO. DC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for DC traction system are unprepared on pre-operation inspection, the general safety and performance verification of DC traction system are very insufficient. Therefore this paper analyze the overseas test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of DC traction system and present a suitable test items and test standard in domestic.

• 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).

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2004년도 춘계 학술발표회 제16권1호
• /
• pp.420-422
• /
• 2004

This paper reports the results of performance verification tests of the base isolated RC building with the laminated rubber bearings which is manufactured by Dongil Rubber Belt Co.. The shaking table tests were performed using a scaled 3-story model scaled to 1/3 of the prototype RC apartment building. Several major earthquake records were scaled to different peak ground accelerations and used as input base excitations. Through the verification tests, the validity of the applied base isolation device and the response reduction effect against earthquakes are confirmed.

• Nuclear Engineering and Technology
• /
• 제53권5호
• /
• pp.1664-1675
• /
• 2021

In order to verify the statistical performance of the nonparametric tests used in the MARSSIM approach, all plausible contamination distribution types that can be encountered in a survey area should be investigated. As the first of such investigations, this study aims to perform the verification for normal distribution of the contamination in a survey area by simulating the collection of random samples from it through the Monte Carlo simulation. The results of the simulations conducted for a total of 81 simulation cases showed that Sign test and WRS test both exhibited an excellent statistical performance: 100% for the former and 98.8% for the latter. Therefore, in final status surveys of the MARSSIM approach, a high statistical performance can be expected in applying the nonparametric hypothesis tests to survey areas whose net contamination can be assumed to be normally distributed.

• 자동차안전학회지
• /
• 제16권2호
• /
• pp.60-66
• /
• 2024

Computer simulation significantly reduces the high costs associated with actual crash tests and is expanding due to its ability to analyze various test results quantitatively that are difficult to measure in real tests. Research on evaluation technologies is limited according to the finite element analysis, which aims to replace structural verification testing. In this study, considerations for virtual crash tests were derived, and the validity of the zero-energy mode (hourglass mode) was analyzed as part of the considerations for validating the results of vehicle crash simulations. The study reflects on the considerations for virtual crash tests and the variation in hourglass coefficient values affects the occurrence of the hourglass mode. As the hourglass coefficient changes, the maximum hourglass energy reaches over 5% of the maximum internal energy, necessitating a conservative review. A comprehensive study of the maximum hourglass energy is required, considering additional analysis results for various models and collision conditions.

• 대한토목학회논문집
• /
• 제13권4호
• /
• pp.87-99
• /
• 1993

본 연구에서는 비파괴 시험장비인 FWD를 사용하여 아스팔트 콘크리트 포장체 각 층의 탄성계수를 추정할 때 고려하여야 하는 가상암반층의 깊이를 FWD의 충격지속시간과 충격하중에 의한 포장체내의 압축과 속도로부터 산정할 수 있는 알고리즘을 제시하였다. 또한 FWD 시험자료를 입력치로하여 포장체 각 층의 탄성계수를 추정하는 전산 프로그램인 MFPD에 본연구에서 제시한 알고리즘을 적용 보완하였다. 보완된 MFPD의 탄성계수 추정결과에 대한 타당성을 살피기 위하여 FWD를 제작하여 현장시험을 실시하였으며 아울러 검증시험을 병행 실시하였다. 검증시험으로는 FWD 시험위치에서의 평판재하시험, 채취시료의 실내시험(마샬안정도시험, 압축시험), 표면파시험을 실시하였다. 이들 시험성과를 비교분석한 결과 가상암반층을 고려할 수 있도록 보완한 MFPD의 역산결과가 충분히 신뢰성 있음을 알 수 있었다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2002년도 추계학술대회논문집
• /
• pp.74-79
• /
• 2002

The piping verification tests were performed in order to verify the structural integrity during initial operation of the reactor coolant systems and the primary heat transportation systems of nuclear power plants by KEPRI in Korea. The tests were conducted at full operating temperature and pressure. The objective is to evaluate the possibility of excessive load generating on piping, piping supports, and reactor structures etc. in the steady normal operation and expected pump transient conditions. As a result, the measured vibrations have been shown acceptable level according to ASME/ANSI OMa-Standard, Part 3.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2002년도 추계학술대회논문초록집
• /
• pp.315.1-315
• /
• 2002

The piping verification tests were performed in order to verify the structural integrity during initial operation of the reactor coolant systems and the primary heat transportation systems of nuclear power plants by KEPRI in Korea. The tests were conducted at full operating temperature and pressure. The objective is to evaluate the possibility of excessive load generating on piping, piping supports, and reactor structures etc. in the steady normal operation and expected pump transient conditions. (omitted)