• Journal of the Institute of Convergence Signal Processing
• /
• v.13 no.4
• /
• pp.211-219
• /
• 2012

In this paper, we described the software development for verifying the integrity of output data of TCP/IP for VLBI Correlation Subsystem (VCS) correlation block and proposed the performance improvement method in order to prevent the data loss of correlation output. The VCS correlation results are saved at the Data Archive system through TCP/IP packet transmission. In this paper, the integrity verification software is developed so as to confirm the integrity of correlation result saved at the data archive system using TCP/IP packet information of VCS. The 3-step integrity verification process is proposed by using the developed software, its effectiveness was confirmed in consequence of correlation experiments. In addition, TCP/IP packet transmission must be completed within minimum integration period. However, there is not only TCP/IP packet loss occurred but also the problem of correlation result integrity affected in account of a large quantity of packets and data during short integration time. In this paper, the reason of TCP/IP packet loss is analyzed and the modified methods for FPGA(Field Programmable Gate Array) of VCS are proposed, the integrity problem of correlation results will be solved.

• Korean Journal of Environment and Ecology
• /
• v.29 no.2
• /
• pp.174-183
• /
• 2015

We have conducted a verification test of correlation between bird community indices and bird sound recording results in order to use the equipment which deals with the automatic sound collecting system, the song meter. The study areas include four sites which are Gombaeryoung and Zochimryoung in Jeombongsan Mountain and Jookryoung and Gochiryoung in Sobaeksan National Park. We collected the bird sound data five times using a sound recorder and field survey results in the same place of the study site. As a result of the sound recording from the field survey, the species recorded by three researchers of sound analyst include common resident species or species which have a relatively conspicuous call and song. On the contrary, the species recorded by only one researcher are a relatively rare or inconspicuous species or was familiar with the personal experiences of each researcher. The number of species recorded by only one researcher totaled fourteen species (36.8 %), and that of two researchers totaled twelve species (31.6 %), and that of three researchers totaled twelve species (31.6 %). The correlations of the number of species among three researchers was not significant in some results, but the sum or maximum count of the number of species was useful to estimate a significant correlation between the result of researchers and the indices of field surveys. As a result of correlation analysis by using sound recordings, the maximum number of species among the three researchers significantly correlated with the number of species, the species diversity index and the species abundance index in the field survey at the same site, however it did not correlate with the number of individuals and species evenness index. As a result of sound analysis collected from the stationary sound recording system; song meter, the number of frequencies in bird songs and calls correlated with the number of species in the field survey at the same site. The number of calls and songs decreased as time went by. Finally, we could test the active time range and change the activity strength by using a sound recording system. In particular, that sound recording system is able to collect data in same time and site, so it is expected so that the equipment not only replenish a shortage of researchers and survey periods in field research in a short term monitoring survey, but also be able to acquire statistical objectivity.

• Journal of the Korean Society for Railway
• /
• v.19 no.1
• /
• pp.29-37
• /
• 2016

The type approval system of the railway safety law, which was enforced in 2014, has been preferentially applied to the field of railway vehicles. The type approval system addresses railway vehicles and railway constituents. Unlike the previous system, it requires serial verification stages divided, in consecutive order, into verification of design compatibility and conformity and type test. These stages are in accord with international certification systems including TSI certification of the European commission. This study has been carried out to find and meet the design requirements for a coupler head, which is a part of the automatic coupler system; requirements were drawn from TSI and technical specifications that are subordinate to the domestic railway approval system. Through this study, it has been found that there exist 34 design requirements to acquire a complete coupler head. Among those requirements, 32 were verified by document inspection and two were able to be verified by performing FEA and gathering range analysis data.

• The Bulletin of The Korean Astronomical Society
• /
• v.32 no.2
• /
• pp.46.2-46.2
• /
• 2007

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• pp.379-382
• /
• 1991

The dynamic characteristics and mathematical models of the KEPCO's generator control systems have been derived by on-line tests. Measuring the responses for small disturbances in the inputs, the parameters of governing systems, excitation systems, and power system stabilizers have been determined. An overview of the field tests, parameter identification, and model verification is presented.

• Proceedings of the KIPE Conference
• /
• 2000.07a
• /
• pp.258-261
• /
• 2000

A non-contact battery charger which transfers energy using magnetic field has a difficulty with a feed-back control due to the interaction between the power and signal processing This paper proposes an effective method which uses auxiliary windings of transformer as signal path and copes with cross-talk using the MOSFET ringing phenomenon and ceramic filter. The power stage is half-bridge series resonant converter. Design procedure and experimental verification are presented.

• Journal of Korean Society for Atmospheric Environment
• /
• v.10 no.1
• /
• pp.1-23
• /
• 1994

Visibility impairment phenomenon due to various air pollutants is a highly complex problem To understand this problem in Seoul, (1) theoretical background of visibility impairment; (2) methods to quantify visual range and to assess contribution of each air pollutant to the visibility impairment problem; and (3) previous field measurements and modeling studies, both in Korea and abroad, are critically reviewed.

• Proceedings of the KIEE Conference
• /
• 1988.11a
• /
• pp.206-209
• /
• 1988

Fixed boundary MHD static equilibrium for the axisymmetric toroidal plasma is analyzed numerically. The Grad-Shafranov equation is solved using FFM. The toroidal current tenn is expressed by plasma pressure p($\psi$) and toroidal field function g($\psi$). The numerical results are compared to the Solovev analytic equilibrium for the verification of the analysis. For SNUT-79 tokamak device in Seoul National University, flux surfaces and toroidal current profiles according to the variation of p and g profiles are observed. Also the safety factor q and average beta are obtained.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.623-628
• /
• 1986

This paper reviews various CAD(Computer-Aided design) or DA(Design Automation) procedures for specification, design and verification of VLSI chips. The growth and widening of engineering achievements and applicational varieties in this revisited field has been truly explosive for the last five years. Recent trends in VLSI/CAD area and their possible implications on the future evolution of DA society are briefly touched upon. The relative importance of chip specification and design capability within the whole Korean electronics infrastructure in the future is explained with several possible suggestions for coping with upcoming difficulties already being seen in this challenging yet promising area.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.38
• /
• pp.61-68
• /
• 1996

Quality Assurance Principles must be effectively implemented in developments and in use of safety critical software in nuclear industry. Brief definitions related to computer software and quality assurance were defined and several methods for evaluating software quality were proposed herewith. Independent verification and validation was suggested to assure the quality of safety critical software.