• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.2
• /
• pp.177-182
• /
• 2010

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In the developing process of a hardware component in system, the design phase has been regarded as a phase consuming lots of time and cost. However, the verification phase in which functionality of the designed component is verified has recently been considered as a much important phase. In this paper, the implementation of a verification environment which is based on SystemC infrastructure and verifies the functionality of a hardware component is described. The proposed verification system uses SystemC user-defined channel as communication interface between variables of SystemC module and registers of Verilog module. The functional verification of an UART is performed on the proposed verification system. SystemC provides class library for hardware modeling and has an advantage of being able to design a system consisting hardware and software in higher abstraction level than register transfer level. Source codes of SystemC modules are reusable with a minor adaptation on verifying functionality of another hardware component.

• Nuclear Engineering and Technology
• /
• v.49 no.7
• /
• pp.1537-1546
• /
• 2017

Many thermal-hydraulic tests have been conducted at the Korea Atomic Energy Research Institute for verification of the SMART (System-integrated Modular Advanced ReacTor) design, the standard design approval of which was issued by the Korean regulatory body. In this paper, the contributions of these tests to the standard design approval of SMART are discussed. First, an integral effect test facility named VISTA-ITL (Experimental Verification by Integral Simulation of Transients and Accidents-Integral Test Loop) has been utilized to assess the TASS/SMR-S (Transient and Set-point Simulation/Small and Medium) safety analysis code and confirm its conservatism, to support standard design approval, and to construct a database for the SMART design optimization. In addition, many separate effect tests have been performed. The reactor internal flow test has been conducted using the SCOP (SMART COre flow distribution and Pressure drop test) facility to evaluate the reactor internal flow and pressure distributions. An ECC (Emergency Core Coolant) performance test has been carried out using the SWAT (SMART ECC Water Asymmetric Two-phase choking test) facility to evaluate the safety injection performance and to validate the thermal-hydraulic model used in the safety analysis code. The Freon CHF (Critical Heat Flux) test has been performed using the FTHEL (Freon Thermal Hydraulic Experimental Loop) facility to construct a database from the $5{\times}5$ rod bundle Freon CHF tests and to evaluate the DNBR (Departure from Nucleate Boiling Ratio) model in the safety analysis and core design codes. These test results were used for standard design approval of SMART to verify its design bases, design tools, and analysis methodology.

• Journal of Radiation Protection and Research
• /
• v.27 no.1
• /
• pp.67-75
• /
• 2002

The groundwater flow and contaminant transport numerical models have been established for understanding the movement of pollutants in surface soil environment. The numerical solutions were compared with the analytic solutions for the verification and the application of the models. The numerical solutions from the groundwater and transport models agreed welt with analytic solutions. Especially, the results of groundwater flow model were validated in one- and two-dimensional heterogeneous media. Therefore, it will represent well the characteristics of the heterogeneous media in the field applications. Also, the phenomena of the pollutant dispersion represented quite well by the advection and the hydrodynamic dispersion in the results of the transport model. The important input factor is the choice of complicated boundary conditions in operating the numerical models. The numerical results are influenced by the choice of the proper boundary conditions.

• Journal of Mechanical Science and Technology
• /
• v.17 no.9
• /
• pp.1349-1357
• /
• 2003

This paper deals with verification of the theoretical model for dynamic behavior of Pipeline Inspection Gauge (PIG) traveling through high pressure natural gas pipeline. The dynamic behavior of the PIG depends on the differential pressure across its body. This differential pressure is generated by injected gas flow behind the tail of the PIG and expelled gas flow in front of its nose. To analyze the dynamic behavior characteristics such as gas flow in pipeline, and the PIG position and velocity, not only the mathematical models are derived, but also the theoretical models must be certified by actual pigging experiment. But there is not any found results of research on the experimental certification for dynamic behavior of the PIG. The reason is why the fabrication of the PIG as well as, a field application are very difficult. In this research, the effectiveness of the introduced solution using the method of characteristics (MOC) was certified through field application. In-line inspection tool, 30" geometry PIG, was fabricated and actual pigging was carried out at the pipeline segment in Korea Gas Corporation (KOGAS) high pressure system, Incheon LT (LNG Terminal) -Namdong GS (Governor Station) line. Pigging is fulfilled successfully. Comparison of simulation results with experimental results show that the derived mathematical models and the proposed computational schemes are effective for predicting the position and velocity of the PIG with a given operational conditions of pipeline.

• Journal of Korean Society of Water and Wastewater
• /
• v.25 no.5
• /
• pp.627-634
• /
• 2011

In the present study, the flow behaviors of square jets surface discharged and submerged discharged into shallow water were each simulated using computational fluid dynamics, and the results were compared. As for the verification of the models, the results of the hydraulic experiment conducted by Sankar, et al. (2009) were used. According to the results of the verification, the present application of computational fluid dynamics to the flow analysis of square jets discharged into shallow water was valid. As for the wall jet, which is one form of submerged discharges, at the bottom wall boundary, the peak velocity of the jet rapidly moved from the center of the jet to the bottom wall boundary due to the restriction of jet entrainment and the no-slip condition of the bottom wall boundary, and, as for the surface discharge, because jet entrainment is limited on the free water surface, the peak velocity of the jet moved from the center of the jet to the free water surface. This is because jet entrainment is restricted at the bottom wall boundary and the surface so that the momentum of the central core of the jet is preserved for considerable time at the bottom wall boundary and the surface. In addition, due to the effect of the bottom wall boundary and the free water surface, the jet discharged into shallow water had a smaller velocity diminution rate near the discharge outlet than did the free jet; at a location where it was so distant from the discharge outlet that the vertical profile of the velocity was nearly equal (b/x =20~30), moreover, it had a far smaller velocity diminution rate than did the free jet due to the effect of the finite depth.

• Proceedings of the KIEE Conference
• /
• 2001.05a
• /
• pp.294-296
• /
• 2001

PSS/E offers a power flow model of UPFC in the new version. The Dynamic model was developed in a form of user-define model that is a external function, Now is a stage of verification through variety examples. Importance of this model is in the point which it is necessary for the simulation on the stability. This paper presents the Dynamic model that is defined by user. First. the theory will be discussed, and then for verification on right operation, resultes of application to KEPRI network will be showed.

• Proceedings of the KSME Conference
• /
• 2002.08a
• /
• pp.411-414
• /
• 2002

The CHFG(Critical Heat Flux in Cap) test results have been evaluated to quantify the critical powers in hemispherical narrow gaps and Park's correlation has been verified. For verification of the Park's correlation, the critical powers in hemispherical narrow gaps have been measured using water at a pressure of 0.1-0.3 WPa for the hemispherical gap thickness of 1.0mm, and the heated top diameter of 238mm The measured critical powers were compared with Park's and Monde's correlation. As a results, the Park's correlation was most accurate of other correlations, however, estimated the critical powers somewhat larger than measured ones. So, it was suggested that the diameter factor in Park's correlation should be revised.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.10
• /
• pp.956-960
• /
• 2004

The Vehicle Dynamic Simulator(VDS) is a key equipment of the performance verification of attitude control subsystem and it simulates the real dynamic environment that spacecraft undergoes during mission operation. All the software models and hardware interfaces necessary for the closed-loop simulation of the spacecraft dynamics are implemented. Using VDS, KOMPAT-2 attitude control logic functions and performance was verified. In this paper, the hardware and software configurations of KOMPSAT-2 VDS was described briefly and the information flow and exchanges between software models and actual hardwares during close loop simulation was described in the systematic point of view.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.49 no.5
• /
• pp.671-674
• /
• 2016

We cytogenetically analyzed a triploid King-Nupchi strain of the olive flounder Paralichthys olivaceus to define the simplest, most rapid, and most effective method of ploidy analysis in aquaculture farms. Female triploidy of the flounder King-Nupchi strain was induced by cold shock (3 min post-fertilization at 2-4℃ for 45 min). Triploid induction was confirmed by erythrocyte measurement (nuclear volume, 29.15±2.10 μm³); flow cytometry (2.14±0.03 pg/cell); chromosome count (3N=72); Ag-NOR banding; and silver staining. Silver staining of finned cells obtained using a solid tissue technique was the most effective method of ploidy verification.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.2
• /
• pp.145-154
• /
• 2016

In this paper, a pneumatic device for the deployment performance verification of canards deployed by inertia has been designed and the performance of the pneumatic device has been proven through analysis and tests. The pneumatic conveying process, orifice opening process and piston movement process of the pneumatic device were investigated by using numerical methods. The orifice diameter, pressure in a pressure tank and type of gas were regarded as the main design parameters of the pneumatic device. The error rate between analysis and test results under the same conditions was within 4 %. The accuracy of numerical methods used in this study were validated.