• Journal of the Korean Institute of Gas
• /
• v.14 no.1
• /
• pp.28-36
• /
• 2010

We have garnered 3,593 data of gas accidents reported for 12 years from 1995, and then analyzed the LPG vaporizer accidents according to their types and causes based on the classified database. According to the results the gas rupture has been the most common accident followed by the release, explosion and then fire accidents, the most frequent accident-occurring sub-cause is LPG check floater faults. In addition, we have applied the Poisson Probability Functions to predict the most-likely probabilities of fire, explosion, release and rupture with the LPG vaporizer in the upcoming 5 years. In compliance with Poisson Probability Functions results, in the item which occurs below 3 "LPG-Vaporizer-Fire", in the item which occurs below 5 "LPG-Vaporizer-Products Faults-Check Floater" and the item which occurs below 10 appeared with "LPG-Vaporizer-Products Faults". From this research we have assured the successive database updating will highly improve the anticipating probability accuracy and thus it will play a key role as a significant safety- securing guideline against the gas disasters.

• Journal of Internet of Things and Convergence
• /
• v.2 no.4
• /
• pp.27-34
• /
• 2016

In this paper, we designed and implemented a system to easily check and manage book inventory using web and Android mobile device. In the previous conventional method, the user visits the bookstore directly and then checks the inventory. However, in this case, the user accessibility is inconvenient, and it is troublesome to check or reconfirm the inventory. In order to solve these inconveniences, we provide book inventory management system for requesting book purchase and inquiring bulletin board by book field, and then providing real time inventory check with book application and purchase functions. In addition, through the push notification function, we can catch up with the purchase status of the ordered books on the web and Android mobile device in real time. Therefore, we designed and implemented a function that enables bookstore operators and users to easily and conveniently manage by providing statistical information on inventory data.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.17 no.1
• /
• pp.33-40
• /
• 2022

With the recent increase in the development of military drones, they are adopted and used as the combat system of battalion level or higher. However, it is difficult to use drones that can be used in battles below the platoon level due to the current conditions for the formation of units in the Korean military. In this paper, therefore, we developed a program drones equipped with a thermal imaging camera and LiDAR sensor for reconnaissance and exploration that can be applied in battles below the platoon level. Using these drones, we studied the possibility and feasibility of drones for small-scale combats that can find hidden enemies, search for an appropriate detour through image processing and conduct reconnaissance and search for battlefields, hiding and cover-up through image processing. In addition to the purpose of using the proposed drone to search for an enemies lying in ambush in the battlefield, it can be used as a function to check the optimal movement path when a combat unit is moving, or as a function to check the optimal place for cover-up or hiding. In particular, it is possible to check another route other than the route recommended by the program because the features of the terrain can be checked from various viewpoints through 3D modeling. We verified the possiblity of flying by designing and assembling in a form of adding LiDAR and thermal imaging camera module to a drone assembled based on racing drone parts, which are open source hardware, and developed autonomous flight and search functions which can be used even by non-professional drone operators based on open source software, and then installed them to verify their feasibility.

• Communications of Mathematical Education
• /
• v.22 no.4
• /
• pp.417-444
• /
• 2008

Many research papers on the college students' functional concept show they have poor understanding on this topic. To compare the results with that of Korean students, four interrelated topics are chosen: How do they understand the concept of function?; what are their misconceptions including epistemological obstacles?; How do the function concepts develop and are acquired? For this a survey has been conducted to 95 engineering students just before they start Calculus course. We have done research on other major areas including psychology, economics and statistics to see how function is defined in these areas. Function definitions from US math text books are also introduced. Based on the these and the survey, some suggestions are made on the new curriculum which treat function as a correspondence relation. Vertical line test should be added to the Algebra II/Pre calculus course to check the univalent property.

• Journal of Communications and Networks
• /
• v.17 no.3
• /
• pp.213-220
• /
• 2015

In this paper, we present a reliability-based iterative proportionality-logic decoding algorithm for two classes of structured low-density parity-check (LDPC) codes. The main contributions of this paper include: 1) Syndrome messages instead of extrinsic messages are processed and exchanged between variable nodes and check nodes, which can reduce the decoding complexity; 2) a more flexible decision mechanism is developed in which the decision threshold can be self-adjusted during the iterative process. Such decision mechanism is particularly effective for decoding the majority-logic decodable codes; 3) only part of the variable nodes satisfying the pre-designed criterion are involved for the presented algorithm, which is in the proportionality-logic sense and can further reduce the computational complexity. Simulation results show that, when combined with factor correction techniques and appropriate proportionality parameter, the presented algorithm performs well and can achieve fast decoding convergence rate while maintaining relative low decoding complexity, especially for small quantized levels (3-4 bits). The presented algorithm provides a candidate for those application scenarios where the memory load and the energy consumption are extremely constrained.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.4
• /
• pp.339-345
• /
• 2006

An analysis methodology of Decentralized Dynamic Surface Control (DDSC) for the large-scale interconnected nonlinear systems is presented in this paper. While the centralized DSC approach proposed in [14] has a difficulty to check the quadratic stability for the large-scale systems numerically due to dramatic increases of the order of overall augmented error dynamics, DDSC is relatively easy to check the quadratic stability since lower order error dynamics of individual subsystems are used. Then, a systematic procedure for designing DDSC will be developed. Furthermore, after a quadratic function containing a reachable set is defined, it will be calculated numerically to indicate the performance of DDSC in the framework of convex optimization. Finally an illustrative example will be given for showing the advantages of DDSC compared with other decentralized nonlinear control techniques.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2000.04a
• /
• pp.189-194
• /
• 2000

Due to the rapid growth of ship building industry and increment of ship construction in Korea, several hundred thousand of lifting lugs per year, have been installed at the lifting positions of ship block and removed after finishing their function, therefore, appropriate design system for strength check or optimal design of each lug structure has been required in order to increase the capability of efficient design. In this study, design system of D-type lifting lug structure which is most popular and useful in shipyards, was developed for the purpose of initial design of lug structure. Developed system layout and graphic user interface for this design system based on the C++ language were explained step by step. Using this design system, more efficient performance of lug structural design will be expected on the windows of personal computer.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.11
• /
• pp.110-117
• /
• 1995

This study presents and algorithm and related techniques which could satisfy the important properties of check weighers and conveyor scales. The algorithm of Recursive Least Squares Regression is applied for the weighing system simulated as a dynamic model of the second order. Using the model and the algorithm, model parameters and then the mass being weighed can be determined from the step input. The performance of the algorithm was tested on a check weigher. Discussions were extended to the development of noise reduction techniques and to the lagged introduction of objects on the moving plate. It turns out that the algorithm shows several desirable features suitable for real-time signal processing with a microcomputer, which are high precision and stability in noisy environment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.3
• /
• pp.247-253
• /
• 2004

This paper mainly deals with a transaction model for the reliability guarantee in a Web-Based Real-Time Reservation Service System. We suggest the Web-Based Global Transaction Model which binds up each transaction currently divided by a function into one transaction and deals with one transaction. Also, we propose a Fail-Check Process in order to deal with the exceptions to be happened in a transaction process. And the simulation shows us that the model which we suggest is feasible and possible through the transaction processing procedure.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.8
• /
• pp.60-71
• /
• 1996

Mostof existing CAD systems do not provide the advanced function for systematic checking of design and drafting errors in mechanical drawings. We have reported a computer aided drawing check system to single plane projection drawings made by a CAD system. This paper describes a checking method of dimensioning errors in mechanical drawings. The checking items are deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. This system has been applied to several examples and we have confirmed the feasibility of this checking method.