• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.14 no.2
• /
• pp.116-127
• /
• 2002

Most of finite difference numerical models for the simulation of tsunami propagation developed so for are based on the shallow-water equations which are frequently solved by the leap-frog scheme. If the grid size is properly selected, this numerical scheme gives a correct dispersion effect fur constant water depth. However, if the water depth changes, the dispersion effect of tsunamis can not be accurately considered at every grid point in the whole computational domain. In this study we improved the existing two-dimensional dispersion-correction finite difference numerical scheme. The present scheme satisfies the local dispersion relationships of tsunamis propagating over a slowly varying topography while using uniform grid size and time step. To verify the applicability of the improved numerical model, a tsunami due to 1983 East Sea central earthquake is simulated for Korean harbors with the tide gage records such as Sokcho, Mukho, Pohang and Ulsan in the East Sea. Numerical results of the 1983 tsunami are compared with the measured data and the accuracy of the present numerical model is evaluated.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.10 no.3
• /
• pp.109-119
• /
• 1998

A horizontal tow-dimensional version of POM (Princeton Ocean Model) was modified in representing the bottom friction and the open boundary conditions. To simulate the flooding and drying of intertidal flats, a wetting-and-drying scheme was incorporated into the model. The model then was applied to the Chunsu Bay and its adjacent coastal water. Only the water movement due to tides, the dominant forcing in the study area, was considered. This presents the procedure and the results of model calibration and verification for the Chunsu Bay system. The model was calibrated, using the average tidal characteristics in Tide Tables, for the amplitudes and the phases of tidal waves throughout the modeling domain. Calibration results showed that the model gave a good reproduction of tidal waves. The calibrated model was verified using the time-series measurements of surface elevation and current velocity in the summer of 1995. The model reproduced the tides currents very well. calibration and verification results demonstrated that the model is capable of reproducing the tidal dynamics in the Chunsu Bay system.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.37 no.3
• /
• pp.35-42
• /
• 2000

A cross-shaped microstripline-fed printed slot antenna having wide bandwidth Is presented in this paper. The proposed antenna is analyzed by using the Finite-Difference Time-Domain (FDTD) method. It was found that the bandwidth of the antenna depends highly on the length of the horizontal and vertical feedline as well as the offset position of the feedline. The maximum bandwidth of this antenna is from 1.975 GHz to 4.725 GHz, which is approximately 1.3 octave, for the VSWR $\leq$ 2. Experimental data for the return loss and the radiation pattern of the antenna are also presented. and they are in good agreement with the FDTD results.e FDTD results.

• Journal of the Society of Naval Architects of Korea
• /
• v.34 no.1
• /
• pp.68-76
• /
• 1997

The welding-induced initial imperfections such as residual stresses and initial strains in plated structures of ships and offshore structures can be effectively evaluated by the thermal elasto-plastic analysis method proposed in this paper. In the analysis of heat conduction of plate structures, both the analytical method and the numerical method are used. For the thermal elasto-plastic analysis of plates, the finite element analysis is performed, based on the initial strain method. In the plastic domain during incremental process, the 2nd order terms of stress increments and yield stress increments were considered, so that time increment could be controlled for more stable solution. To measure temperature distribution and angular distortion of plates during welding, bead-on-plate experiment are perform with various heat input and plate thickness. Measured data show good agreement with the calculated results.

• Journal of the Korea Convergence Society
• /
• v.11 no.5
• /
• pp.9-17
• /
• 2020

Human activity recognition(HAR) using smartphones is a hot research topic in computational intelligence. Smartphones are equipped with a variety of sensors. Fusing the data of these sensors could enable applications to recognize a large number of activities. However, these devices have fewer resources because of the limited number of sensors available, and feature selection and classification methods are required to achieve optimal performance and efficient feature extraction. This paper proposes a smartphone-based HAR scheme according to these requirements. The proposed method in this paper extracts time-domain features from acceleration sensors, gyro sensors, and barometer sensors, and recognizes activities with high accuracy by applying KDA and SVM. This approach selects the most relevant feature of each sensor for each activity. Our comparison results shows that the proposed system outperforms previous smartphone-based HAR systems.

• KIPS Transactions on Computer and Communication Systems
• /
• v.1 no.3
• /
• pp.193-204
• /
• 2012

This paper specifies a low-cost global mobility management architecture and protocol procedure called LC-$GM^2$, which is based on Proxy Mobile IPv6. In LC-$GM^2$, mobility management is performed by the network entity. The benefit is the elimination of the wireless link data delivery tunnel overhead between a mobile node and the access router. To compare with the well-known Hierarchical Mobile IPv6 mobility management protocol and GPMIP, the location update, packet delivery, and total cost functions generated by a mobile node during its average domain residence time are formulated for each protocol based on Fluid-flow mobility model. Then, the impacts of various system parameters on the cost functions are analyzed. The analytical results indicate that the proposed global mobility management protocol can guarantee lower total costs.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.64 no.4
• /
• pp.432-440
• /
• 2019

Global climate change exerts adverse effects on maize production. Among abiotic stresses, drought stress during the tasseling stage (VT) can increase anthesis-silking intervals (ASI) and decrease yield. We performed an evaluation of ASI and yield using a drought-sensitive line (Ki3) and a drought-tolerant line (Ki11) to analyze the correlation with ASI and yield. Moreover, the de novo data of Ki11 were analyzed to find putative novel transcripts related todrought stress in tropical maize. A total of 182 transcripts, with a log2 ratio >1.5, were found by comparing drought conditions to a control. The top 40 transcripts of high expression levels in the de novo analysis were selected and analyzed with PCR. Of the 40 transcripts, six novel transcripts were detected by quantitative real-time PCR (qRT-PCR) using seedling and VT stage samples. Five transcripts (transcripts_1, 12, 34, 35, and 40) were up-regulated in the Ki11 shoot at seedling stage, and transcripts_1, 12, and 40 were up-regulated at the re-watering stage after 12 h of drought stress. The transcripts_32 and 34 were up-regulated at the VT stage. Hence, transcript_34 possibly plays a significant role in drought tolerance during the seedling and VT stages. The transcript_32 was identified as chloramphenicol acetyltransferase (CAT) by Pfam domain analysis. The function of the other transcripts remained unknown. Further characterization of these novel transcripts in genetic regulation will be of great value for the improvement of maize production.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.10
• /
• pp.984-991
• /
• 2009

In this study, transonic aeroelastic response analyses have been conducted for the DLR-F4(wing-body) aircraft configuration considering shockwave and flow separation effects. The developed fluid-structure coupled analysis system is applied for aeroelastic computations combining computational structural dynamics(CSD), finite element method(FEM) and computational fluid dynamics(CFD) in the time domain. It can give very accurate and useful engineering data on the structural dynamic design of advanced flight vehicles. For the nonlinear unsteady aerodynamics in high transonic flow region, Navier-Stokes equations using the structured grid system have been applied to wing-body configurations. In transonic flight region, the characteristics of static and dynamic aeroelastic responses have been investigated for a typical wing-body configuration model. Also, it is typically shown that the current computation approach can yield realistic and practical results for aircraft design and test engineers.

• Journal of Information Management
• /
• v.43 no.2
• /
• pp.43-66
• /
• 2012

The purpose of this study is to see the intellectual structure in the field of veterinary sciences in Korea, using author profiling analysis(APA), a bibliometric approach. Three journals are selected on the basis of citation data, exchanging most citations with Korean Journal of Veterinary. And then, 50 authors who published most articles at selected journals during the given period of time were chosen. The analysis of similarity and dissimilarity among authors by comparing co-word appearance patterns from article title, abstracts, and keywords was made. Authors can be grouped 11 minor clusters under 4 major clusters, depending on their interests in the area of veterinary sciences in Korea. The subjects for each cluster at the veterinary sciences are decided by the matching the keyword, representing author's research interest. As a result, it is possible to figure out the current research trends and the researcher network in the field of veterinary sciences.