• Journal of IKEEE
• /
• v.18 no.4
• /
• pp.566-571
• /
• 2014

A safety class field programmable gate array based system in nuclear power plant has been developed to improve the diversity. Testbench is necessary to satisfy the technical reference, IEC-62566, for verification and validation of register transfer level code. We use the open verification methodology(OVM) developed by standard body. We show that our testbench can use random input for test. And also we show that reusability of block level testbench for the integration level testbench, which is very efficient for large scale system like nuclear reactor protection system.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Communications of Mathematical Education
• /
• v.36 no.2
• /
• pp.253-286
• /
• 2022

This study is a study in which four teachers from the same school who participated in a teacher learning community program at the school field developed interdisciplinary linkage and convergence data using Plato as a collaborative circle in ethics and mathematics subjects. In particular, this study aimed to develop practical and shareable lesson materials. The data development procedure was developed according to the following four procedures. 'Development of data development plan, data development, verification of development data, and development of final data that reflects the verification opinions' At this time, in the data development stage, a theme-based design model was applied and developed. In addition, the development data were verified by conducting CVR verification for field teachers to focus on the validity and class applicability, and the final data were presented after the development data being revised to reflect the verification results. This study not only introduced the developed data, but also described the procedure of the data development process and the trial and error and concerns of the developers in the process to provide information on the nature of basic research to other field researchers who attempt data development.

• Journal of the Korean Society of Safety
• /
• v.26 no.4
• /
• pp.34-40
• /
• 2011

This paper is purposed to develop an leakage current detecting system(LCDS) which can prevent electrical fires on breaker capacity expansion as well as ruptures of XL(Extra long) pipelines and power failure by operation of ELB(Earth leakage breaker) at auto water machine in winter. In order to develop LCDS, this paper studied field state investigation, field state experiment, development of leakage alarm system and verification experiments. Field states investigation at livestock companies(10 companies) in cheong-won location to deduce the problems of auto water machine is analyzed. The field state experiment is conducted at B livestock company in cheong won location. The field state experiment method is measured with leakage current when ELB tripped by environment factor(fine, cloudy, and rainy day). The LCDS is developed as MCU(Micro Control Unit) part applied leakage current values at B livestock company. Verification experiments for the leakage current detecting system were conducted by two methods of current supply and field test. Results show that LCDS suggested in this paper are valuable and usable in auto water machine based on environment factor, which will prevent severe damage to human beings and properties and reduce the electrical fires in livestock.

• Korean Journal of Environmental Biology
• /
• v.35 no.1
• /
• pp.13-20
• /
• 2017

Greenhouse gas emission from agricultural land is recognized as an important factor influencing climatic change. In this study, the national $CO_2$ emission was estimated for paddy soils, using soil GHG emission model (DNDC) with $1km^2$ scale. To evaluate the applicability of the model in Korea, verification was carried out based on field measurement data using a closed chamber. The total national $CO_2$ emission in 2015 was estimated at $5,314kt\;CO_2-eq$, with the emission per unit area ranging from $2.2{\sim}10.0t\;CO_2-eq\;ha^{-1}$. Geographically, the emission of Jeju province was particularly high, and the emission from the southern region was generally high. The result of the model verification analysis with the field data collected in this study (n=16) indicates that the relation between the field measurement and the model prediction was statistically similar (RMSE=22.2, ME=0.28, and $r^2=0.53$). More field measurements under various climate conditions, and subsequent model verification with extended data sets, are further required.

• Korean Journal of Environment and Ecology
• /
• v.24 no.5
• /
• pp.575-581
• /
• 2010

This study was accomplished for verifying the biotope field survey accuracy in the forests. Biotope data is used as the standard for the preservation and restoration of the urban ecosystem. The study area is the forests of Gwanak-gu, Seoul. For verifying accuracy, first we compared biotope field survey results between 2000 and 2005, second we compared between field survey results and satellite imagery. For comparing with satellite imagery, we delineated the evergreen-coniferous forests from imagery taken during winter season. As a result of comparison, the ratio of most actual vegetation types by delineated detail field surveys were matched around 92% between 2000 and 2005. But, between 2 field surveys, around 60% of total vegetation type was regionally matched. Evergreen-coniferous forests extracted by satellite imagery were regionally matched 69.4% of field survey result in 2000, and matched 80% of the result in 2005. If we consider the delineating errors from deciphering the picture, the results have high accuracy, especially 2005. The processes of verifying accuracy have not been proceeding in the part of delineating actual vegetation works. The verification of accuracy is important for the renewal process. Thus, the various verification methods will be studied and criteria should be developed for enhancing objectivity.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2001.04a
• /
• pp.136-143
• /
• 2001

In this study, a numerical analysis for soil-pile interaction systems in multi-layered half planes under a forced vibration is presented. The soil-pile interaction system is divided into two parts, so called near field and far field. The near field soil using finite elements and piles using beam elements are modeled. The far field soil media is implemented using boundary elements those can automatically satisfy the condition of wave radiation. These two fields are numerically coupled by imposing displacement compatibility condition at the interface between the near field and the far field. For the verification, the forced vibration test was simulated and the response under horizontal and vertical harmonic loads at the pile cap in the layered half plane was determined. The results are compared to the theoretical and experimental results of the literatures to verify the proposed soil-pile interaction analysis formulation.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.1057-1062
• /
• 1991

Recently, due to the development of new technology and products, FA has been accelerating for obtaining high-quality and saving of resources and power. Introduction of automation to the field which has bad working condition is needed and welding is one of these field. In this study, solving algorithm for down hand control which requires in the automatic are welding system is proposed. For the verification of the algorithm, numerical examples are shown and visualization is carried out using developed graphic tools.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2002.03a
• /
• pp.117-124
• /
• 2002

The major purpose of this study is to determine the dynamic behavior of soil-pile-structure interaction system considering the underground cavity. For the analysis, a numerical method fur ground response analysis using FE-BE coupling method is developed. The total system is divided into two parts so called far field and near field. The far field is modeled by boundary element formulation using the multi-layered dynamic fundamental solution that satisfied radiational condition of wave. And this is coupled with near field modeled by finite elements. For the verification of dynamic analysis in the frequency domain, both forced vibration analysis and free-field response analysis are performed. The behavior of soil non-linearity is considered using the equivalent linear approximation method. As a result, it is shown that the developed method can be an efficient numerical method to solve the seismic response analysis considering the underground cavity in 2D problem.

• Journal of electromagnetic engineering and science
• /
• v.12 no.1
• /
• pp.115-121
• /
• 2012

This paper presents a scattering model and measurements of backscattering coefficients for soybean fields. The polarimetric radar backscatters of a soybean field were measured using the ground-based X-band polarimetric scatterometer in an angular range from $20^{\circ}$ to $60^{\circ}$. The backscattering coefficients were also obtained using the COSMO-SkyMed (Spotlight mode, HH-polarization) from July to October 2010. The backscattering coefficients of the soybean field were computed using the 1st-order radiative transfer model (RTM) with field-measured input parameters. The soybean layer is composed of the stems, branches, leaves, and soybean pods. The stems, branches, and pods are modeled with lossy dielectric cylinders, the leaves are modeled with lossy dielectric disks. The estimated backscattering coefficients agree quite well with the field-measured radar backscattering coefficients.