• Journal of computational fluids engineering
• /
• v.19 no.4
• /
• pp.68-74
• /
• 2014

This computational study features the transient compressible and inviscid flow analysis on a metallic plasma discharge from the opposing composite electrodes which is subjected to pulsed electric power. The computations have been performed using the flux corrected transport algorithm on the axisymmetric two-dimensional domain of electrode gap and outer space along with the calculation of plasma compositions and thermophysical properties such as plasma electrical conductivity. The mass ablation from aluminum electrode surfaces are modeled with radiative flux from plasma column experiencing intense Joule heating. The computational results shows the highly ionized and highly under-expanded supersonic plasma discharge with strong shock structure of Mach disk and blast wave propagation, which is very similar to muzzle blast or axial plasma jet flows. Also, the geometrical effects of composite electrodes are investigated to compare the amount of mass ablation and penetration depth of plasma discharge.

• Proceedings of the Korea Society of Poultry Science Conference
• /
• 2004.11a
• /
• pp.97-98
• /
• 2004

The observed means and standard divisions of the major laying traits per generation in korean native chickens were as follow. The age at first egg, the egg weight at the first egg, the weight at 270days and the egg production to 270days were 147.1$\pm$1.9 days. 32.3$\pm$0.9 g, 49.4$\pm$0.7 g and 76.2$\pm$1.7 eggs. The regression coefficients were -0.75$\pm$0.01 days, 0.33$\pm$0.08 g, 0.19$\pm$0.05 g and 0.47$\pm$0.3 eggs respectively.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.19-30
• /
• 2015

Smart TV manufacturers have constructed automatic Smart TV execution environment for reducing cost of Smart TV testing. However, the conventional test methods still require high cost because of manual test script written by testers. Test scripts manully written have less reusability, and then less reusable scripts cannot be used for new TV models. In this paper, we propose constructing reusable test models for Smart TV and present a model-based Smart TV test script generation method using the modes. And we apply the method to NetCast Smart TV to confirm the effectiveness of enhancing reusability.

• Smart Structures and Systems
• /
• v.19 no.4
• /
• pp.361-369
• /
• 2017

Electromechanical impedance method as an efficient tool in Structural Health Monitoring (SHM) utilizes the electromechanical impedance of piezoelectric materials which is directly related to the mechanical impedance of the host structure and will be affected by damages. In this paper, electromechanical impedance of piezoelectric patches attached to simply support rectangular plate is determined theoretically and experimentally in order to detect damage. A pairs of piezoelectric wafer active sensor (PWAS) patches are used on top and bottom of an aluminum plate to generate pure bending. The analytical model and experiments are carried out both for undamaged and damaged plates. To validate theoretical models, the electromechanical impedances of PWAS for undamaged and damaged plate using theoretical models are compared with those obtained experimentally. Both theoretical and experimental results demonstrate that by crack generation and intensifying this crack, natural frequency of structure decreases. Finally, in order to evaluate damage severity, damage metrics such as Root Mean Square Deviation (RMSD), Mean Absolute Percentage Deviation (MAPD), and Correlation Coefficient Deviation (CCD) are used based on experimental results. The results show that generation of crack and crack depth increasing can be detectable by CCD.

• Journal of Astronomy and Space Sciences
• /
• v.19 no.3
• /
• pp.197-206
• /
• 2002

NORAD Two Line Elements (TLE) are widely used for the increasing number of small satellite mission operations and analysis. However, due to the irregular periodicity of generation of the NORAD TLE, a new TLE that is independent of NORAD is required. A TLE type Orbit Determination (TLEOD) has been developed for the generation of a new TLE. Thus, the TLEOD system can provide an Antenna Control Unit (ACU) with the orbit determination result in the type of a TLE, which provides a simple interface for the commercialized ACU system. For the TLEOD system, NORAD SGP4 was used to make a new orbit determination system. In addition, a least squares method was implemented for the TLEOD system with the GPS navigation solutions of the KOMPSAT-1. Considering both the Orbit Propagation (OP) difference and the tendency of $B^{*}$ value, the preferable span of the day in the observation data was selected to be 3 days. Through the OD with 3 days observation data, the OP difference was derived and compared with that of Mission Analysis and Planning (MAPS) for the KOMPSAT-1. It has the extent from 2 km after sit days to 4 km after seven days. This is qualified enough for the efficiency of an ACU in image reception and processing center of the KOMPSAT-2.

• Journal of Korean Society for Atmospheric Environment
• /
• v.19 no.E4
• /
• pp.169-175
• /
• 2003

The effect of gas composition on the discharge characteristics and the ozone production in silent discharge (SD) process was investigated. The major gas components, $N_2$, $O_2$, and $H_2O$ influence the discharge properties according to their relative magnitude of ionization thresholds and electron affinities. The generated amount of ozone increased with the discharge energy by increasing the electron mean energy. The higher oxygen content injected, the higher ozone produced. A small amount of water vapor significantly lowered the discharge onset voltage by the ionization threshold decreasing effect and high electrical conductivity. However, the further increase of water vapor contributes to decrease the electron density by the electron affinity The addition of water greatly reduced the ozone generation through the formation of OH radical and the catalytic ozone destruction process.

• ETRI Journal
• /
• v.19 no.4
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• Journal of Korean Institute of Industrial Engineers
• /
• v.19 no.4
• /
• pp.13-22
• /
• 1993

The aircraft scheduling, which is used to determine flight frequency, departure times and aircraft type assignments, is main problem of airline's planning. This paper proposes a new algorithm for aircraft scheduling that is to maximize airline profits. This paper proposes a column generation algorithm to get an optimal solution of the continous relaxation not using all the feasible variables, but using only a limited number of variables that is generated whenever it is necessary. Using this algorithm, proposes an optimal algorithm to get an optimal integer solution of aircraft scheduling problem efficiently. The effectiveness of the column generation algorithm and the optimal algorithm is illustrated by the computational results obtained from a series of real airline problems.

• Journal of the Korean Solar Energy Society
• /
• v.36 no.1
• /
• pp.19-26
• /
• 2016

Biomass has been used for energy sources from the prehistoric age. Biomass are converted into solid, liquid or gaseous fuels and are used for heating, electricity generation or for transportation recently. Solid biofuels such as bio-chips or bio-pellet are used for heating or electricity generation. Liquid biofuels such as biodiesel and bioethanol from sugars or lignocellulosics are well known renewable transportation fuels. biogas produced from organic waste are also used for heating, generation and vehicles. Biomass resources for the production of above mentioned biofuels are classified under following 4 categories, such as forest biomass, agricultural residue biomass, livestock manure and municipal organic wastes. The energy potential of those biomass resources existing in Korea are estimated. The energy potential for dry biomass (forest, agricultural, municipal waste) were estimated from their heating value contained, whereas energy potential of wet biomass (livestock manure, food waste, waste sludge) is calculated from the biological methane potential of them on annual basis. Biomass resources potential of those 4 categories in Korea are estimated to be as follows. Forest biomass 355.602 million TOE, agricultural biomass 4.019 million TOE, livestock manure biomass 1.455 million TOE, and municipal organic waste 1.074 million TOE are available for biofuels production annually.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.11A
• /
• pp.929-935
• /
• 2003

An analog/digital mixed mode ASIC for network synchronization of ATM switching system has been designed and fabricated. This ASIC generates a 234.7/46.94 ㎒ system clock and 77.76/19.44 ㎒ user clock using 46.94 ㎒ transmitted clocks from other systems. It also includes digital circuits for checking and selecting of the transmitted clocks. For effective ASIC design, full custom technique is used in 2 analog PLL circuits design, and standard cell based technique is used in digital circuit design. Resistors and capacitors for analog circuits are specially designed which can be fabricated in general CMOS technology, so the chip can be implemented in 0.8$\mu\textrm{m}$ digital CMOS technology with no expensive. Testing results show stable 234.7 ㎒ and 19.44 ㎒ clocks generation with each 4㎰ and 17㎰ of low ms jitter.