• 한국전산유체공학회지
• /
• 제19권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.

• 한국가금학회:학술대회논문집
• /
• 한국가금학회 2004년도 제21차 정기총회 및 학술발표회
• /
• pp.97-98
• /
• 2004

한국 재래닭의 중요 산란형질에 대한 각 계통의 세대별 시산일령, 시산난중, 270일령 난중 및 산란수의 평균능력은 각각 147.1$\pm$1.9일, 32.3$\pm$0.9 g, 49.4$\pm$0.7 g 및 76.2$\pm$1.7개이었고, 세대당 평균 능력 변이는 각각 -0.75$\pm$0.01 일, 0.33$\pm$0.08 g, 0.19$\pm$0.05 g 및 0.47$\pm$0.3개였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권1호
• /
• pp.19-30
• /
• 2015

스마트 TV 제조사들은 스마트 TV 테스트 비용을 줄이기 위하여 테스트 스크립트 자동 실행 환경을 구축하고 있다. 그러나 기존의 테스트 방법은 테스트 스크립트가 테스터에 의해 수동으로 작성되기 때문에, 테스트 스크립트의 재사용성은 높지 않다. 이는 새로운 TV 모델을 위한 테스트 스크립트가 새롭게 작성되어야 함을 의미한다. 본 논문에서는 재사용성이 높은 스마트 TV 테스트 모델 작성법을 제안하고 이를 이용한 스마트 TV 테스트 스크립트 생성 방법을 소개한다. 그리고 NetCast TV에 모델 기반 테스트 스크립트 생성 방법을 적용하여 유효성을 확인하였다.

• Smart Structures and Systems
• /
• 제19권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
• /
• 제19권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
• /
• 제19권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
• /
• 제19권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.

• 대한산업공학회지
• /
• 제19권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.

• 한국태양에너지학회 논문집
• /
• 제36권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.

• 한국통신학회논문지
• /
• 제28권11A호
• /
• pp.929-935
• /
• 2003

ATM 교환기 망동기용 아날로그/디지털 혼합형 ASIC을 설계 제작하였다. 이 ASIC은 상대 시스템으로부터 전송되어온 46.94 MHz의 클럭을 이용하여 234.7/46.94 MHz의 시스템용 클럭 및 77.76/19.44 MHz의 가입자용 클럭을 발생시키는 역할을 하며, 전송된 클럭의 체크 및 선택 기능도 동시에 포함한다. 효율적인 ASIC 구성을 위하여 고속 클럭 발생을 위한 2개의 아날로그 PLL 회로는 전주문 방식으로, 외부 입력 클럭 체크 및 선택을 위한 디지털 회로는 표준 셀 방식으로 설계하였다. 또한, 아날로그 부분에는 일반 CMOS 공정으로 제작 가능한 저항 및 커패시터를 사용함으로서 0.8$\mu\textrm{m}$ 디지털 CMOS 공정으로 칩을 제작 가능케 하여 제작비용도 줄였다. 제작된 칩을 측정한 결과 234.7 MHz 및 19.44 MHz의 안정된 클럭을 발생하였으며, 클럭의 실효 지터도 각각 4 ㎰ 및 17 ㎰정도로 낮게 나타났다.