• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.15 no.2
• /
• pp.219-240
• /
• 2004

Ubiquitous computing technology provides anytime and anywhere accessibility to information, ubiquitous computing is adapted in the various field to increase efficiency of work. After looking into the trend of ubiquitous computing, case studies of information service using mobile service and RFID system in library were investigated in this paper. Library information service are providing retrieval of library OPAC and verifications of circulation and return date using mobile internet technology. In addition, various notice services using short me sage service(SMS) of mobile are available. Considering growing mobile service and RFID system advancement of related technology, more information service utilizing mobile service and RFID system should be developed in near future.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.4
• /
• pp.691-699
• /
• 2009

Recently, the ERO protocol has been adopted as a standard to protect the routing optimization mode introduced by MIPv6. This protocol uses the public key cryptography and the early binding update method to improve the Return Routeability protocol while optimizing both security and performance. On the other hand, though various security approaches including the ERO protocol have been proposed for MIPv6, they lack formal verification. Especially, to our best knowledge, there is no formal analysis on the ERO protocol. In order to provide a good example for formal analysis on MIPv6 security protocols, this paper verifies the correctness of the ERO protocol through BAN-logic. For this goal, BAN-logic is extended to consider the address tests on the mobile nodes's CoA and HoA. It is expected that the analysis presented in this paper will be useful for the formal verifications on the security protocols related to MIPv6.

• Smart Structures and Systems
• /
• v.20 no.2
• /
• pp.127-137
• /
• 2017

Identification of damping characteristics is of significant importance for dynamic response analysis and condition assessment of structural systems. Damping is associated with the behavior of the energy dissipation mechanism. Identification of damping ratios based on the sensitivity of dynamic responses and the model updating technique is investigated with numerical and experimental investigations. The effectiveness and performance of using the sensitivity-based model updating method and vibration monitoring data for damping ratios identification are investigated. Numerical studies on a three-dimensional truss bridge model are conducted to verify the effectiveness of the proposed approach. Measurement noise effect and the initial finite element modelling errors are considered. The results demonstrate that the damping ratio identification with the proposed approach is not sensitive to the noise effect but could be affected significantly by the modelling errors. Experimental studies on a steel planar frame structure are conducted. The robustness and performance of the proposed damping identification approach are investigated with real measured vibration data. The results demonstrate that the proposed approach has a decent and reliable performance to identify the damping ratios.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.30 no.1
• /
• pp.31-37
• /
• 2017

In this paper, computation results of reducible modeling, stress recovery and energy release rate were compared with the results of VABS, Virtual Crack Closure Technique. The result of stress recovery analysis for 1-D model including the stiffness matrix is compared with stress results of three-dimensional 3-D FEM. Energy release rate of composite beam with longitudinal cracks is calculated and compare verifications of numerical analysis results of 3-D FEM and VABS. The procedure of calculating energy release rate through dimensional reduction and stress recovery is intended to be efficient and be utilized in the life-cycle of high-altitude uav's wing, wind blades and tilt rotor blade.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.40 no.4
• /
• pp.360-366
• /
• 2004

This paper presents a method analyzing the motion of cylindrical buoy moored at 2 points and tensions action on each mooring line under the action of periodic waves. It was found that submersible buoy was more effective than floating one in the severe conditions considering its dynamic motions, wave forces, and mooring line tensions. The wave induced its dynamic responses and mooring line tensions peak when the ratio d/${\lambda}$ of the buoy length d to the waves length ${\lambda}$ was 0.66 due to its natural frequency. The results of this study were in agreement with the existing measurement ones, however, further verifications are needed considering resonance of cylindrical buoy and its displacements to wave height by a series of model tests.

• Journal of the Korean Geotechnical Society
• /
• v.33 no.4
• /
• pp.25-34
• /
• 2017

The soil-water characteristics is the most important state parameter for understanding changes in suction and water contents of unsaturated soil slopes. In the field, the hysteretic behaviors of drying and wetting soil-water characteristic curve are real and the adoption of path-dependent suction-water content is needed to predict the hydro-mechanical analysis of unsaturated soils. In this study, in-situ monitored hydraulic behavior of various soil slopes are compared with the data from numerical analysis with the laboratory soil water characteristic curve. Then, the verifications are performed based on the field monitored data respectively. Therefore, the use of path-dependent soil-water characteristic curves could be more rational for design and analysis of unsaturated soil slopes under rainfall conditions.

• Earthquakes and Structures
• /
• v.19 no.5
• /
• pp.395-409
• /
• 2020

With verifications through many relevant researches in the past few decades, adopting the equivalent lateral force procedure for designing seismically isolated structures as a preliminary or even final design approach has become considerably mature and publicly acceptable, especially for seismic isolation systems that mechanically exhibit bilinear hysteretic behavior. During the design procedure, in addition to a given seismic demand, structural designers still need to previously determine three parameters, such as mechanical properties of seismic isolation systems or design parameters and performance indices of seismically isolated structures. However, an arbitrary or improper selection of given parameters might cause diverse or even unacceptable design results, thus troubling structural designers very much. In this study, first, based on the criterion that at least either two design parameters or two performance indices of seismically isolated structures are decided previously, the rationality and applicability of design results obtained from different conditions are examined. Moreover, to consider variations of design parameters of seismically isolated structures attributed to uncertainties of mechanical properties of seismic isolation systems, one of the conditions is adopted to perform bounding analysis for seismic isolation design. The analysis results indicate that with a reasonable equivalent damping ratio designed, considering a specific variation for two design parameters (the effective stiffness and equivalent damping ratio) could present more conservative bounding design results (in terms of isolation displacement and acceleration transmissibility) than considering the same variation but for two mechanical properties (the characteristic strength and post-yield stiffness).

• Journal of The Korean Association of Information Education
• /
• v.15 no.2
• /
• pp.189-199
• /
• 2011

The purpose of this study is to verify the effects of the advance organizer in programming class on elementary school students' logical thinking ability and self-efficacy. We developed our teaching-learning materials of programming for this purpose, Further, they are applied to the elementary school, and their effects are analyzed. Fourth grade students in elementary school were selected for the experiments of this study, For comparison, they were divided into a control group who taught by a traditional programming teaching method and an experimental group who taught by our advance organizer programming class. As a result, through before-and-after t-verifications performed on the experimental group and the control group respectively, we found statically significant differences between the two groups, and the effectiveness of our new programming teaching method was proved in both learner's self-efficacy and logical thinking ability.

• Journal of Korean society of Dental Hygiene
• /
• v.8 no.3
• /
• pp.115-126
• /
• 2008

Purpose : The research which sees width for a wide gain and loss is about brush qualitative management of the child about dental hygiene of the child is investigated the brush qualitative actual condition. Methods : The data which is collected used SPSS(Statistical Package for the Social Science) WIN 11.5 programs and analyzed, a frequency and a percentage with analytical technique, in order to grasp the general quality of the investigation object person produced to examine is about the brush quality control actual condition of the children opinion t-test (verification) frequency analyses and $x^2$(Chi-square) verifications, executed. Result : The followings are the findings of this research. First, the children about the reason which wipes this 83.4% the thing protection dental caries answer back, followed in grade and considers the difference which was visible(p<0.001). Second, wipes whether to experience is educated answer back 83.0% was educated, followed in sex and considers the difference which was visible(p<0.05). Third, when 1 time is brush quality of the children doing, in grade and the time when becomes disturbance was, most between 2~3 minutes followed considers the difference which was visible(p<0.01). Fourth, when 1 time is brush quality of the children doing, in grade and the time when becomes disturbance was, most between 2~3 minutes followed considers the difference which was visible(p<0.01). Fifth, when 1 time is brush quality of the children doing, in grade and the time when becomes disturbance was, most between 2~3 minutes followed considers the difference which was visible(p<0.05, p<.001). Sixth, Use duration of the toothbrush the child of most was 3~6 months, according to grade and sex was visible the difference which considers. Conclusion : Are oral healthily of the children is the knowledge which relates with a brush quality and practical degree important. Therefore this there must be dental health education program development will be able to improve, means must reflect the dental health education at the time of.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.2
• /
• pp.166-171
• /
• 2015

This paper shows the design of operational flight program(OFP) using model-based design(MBD) method which is used in various engineering fields to reduce time and flight risks for development. The verification of OFP for DO-178C guidelines carry out by a model advisor function of simulink. The flight control logic on simulink is converted into C-language by auto code generation tool from, then it is implemented on 32bit digital signal processor(DSP). The verifications of flight control algorithm on various weather conditions are performed by the HILS system with Flight simulator program, X-plane.