• 한국가스학회지
• /
• 제14권1호
• /
• pp.28-36
• /
• 2010

본 연구에서는 1995년부터 2006년까지 12년간 발생한 3,593건의 가스사고사례를 수집하여 데이터베이스를 구축하였으며, 이를 근거로 LPG 기화기사고의 발생건수를 형태 및 원인별로 분석하였다. 분석결과를 살펴보면 사고의 형태로는 파열, 누출, 폭발, 화재 순으로 발생하는 것으로 나타났으며, 기화기 가스사고 중 세부원인을 분석한 결과 가장 많이 발생한 원인으로는 액유출방지장치의 결함에 의한 것으로 분석되었다. 또한 Poisson분석법을 적용하여 향후 5년 이내에 LPG 기화기와 관련된 화재, 폭발, 누출, 파열에 대한 가장 가능성이 높은 발생확률을 예측하였다. 그 결과 사고의 발생횟수가 3번 이하로 발생하는 항목으로는 LPG-Vaporizer-Fire으로 나타났으며, 5번 이하는 LPG-Vaporizer -Products Faults-Check Floater, 10번 이하는 LPG-Vaporizer-Products Faults로 분석되었다. 향후 본 연구에서 구축한 국내사고 Database를 매년 지속적으로 보완 개정을 하면 국내 가스사고 예측에 대한 보다 신뢰성 있는 정보를 제공해 줄 수 있어 효과적인 가스안전관리 대책수립에 기여할 것으로 기대된다.

• 사물인터넷융복합논문지
• /
• 제2권4호
• /
• pp.27-34
• /
• 2016

본 논문에서는 웹과 안드로이드 단말을 이용하여 도서 재고를 보다 손쉽게 확인 및 관리하는 시스템을 설계 및 구현하였다. 기존 방식은 해당 서점을 직접 방문한 다음 재고를 확인하는 방식이었으나, 이 경우 사용자 접근성에 불편함이 있으며 재고를 파악하거나 재확인 할 때 번거롭다는 문제점이 있다. 따라서 이러한 불편함을 해소하기 위해 도서 분야별 재고, 도서 구매 요청 및 문의 게시판을 제공하여 실시간으로 해당 도서에 대한 재고 파악, 도서 신청 및 구매 기능을 제공하였다. 또한 push 알림 기능을 통해 주문한 도서에 대한 구매 현황을 웹과 안드로이드 모바일 단말에서 실시간으로 파악 할 수 있도록 하였다. 또한 재고 데이터에 대한 통계 정보를 제공하여 서점 운영자와 이용자들이 손쉽고 편리하게 파악할 수 있는 기능을 설계 및 구현하였다.

• 대한임베디드공학회논문지
• /
• 제17권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.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.417-444
• /
• 2008

본 논문에서는 세 가지 관련된 분야의 연구를 통하여 우리나 대학 신입생들의 함수 개념을 조사하였다. 대학 신입생들은 함수를 어떻게 이해하고 있는가?; 인식론적 장애를 포함한 오 개념에는 어떤 것들이 있는가?; 함수 개념은 어떤 경로를 거쳐서 획득되는가? 등이다. 이와 함께 대학의 여러 분야에서 함수가 어떻게 정의되고 쓰이는지를 살펴보고, 미국의 교과서들에 나타난 함수 정의와 도입을 살펴보았다. 설문조사와 이들을 토대로 함수를 대응의 관점에서 도입하는 새로운 교육과정에 대하여 수직선 테스트의 도입을 포함한 몇 가지 제언을 하였다.

• Journal of Communications and Networks
• /
• 제17권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.

• 제어로봇시스템학회논문지
• /
• 제12권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.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2000년도 춘계학술대회 논문집
• /
• 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.

• 한국정밀공학회지
• /
• 제12권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.

• 한국산학기술학회논문지
• /
• 제5권3호
• /
• pp.247-253
• /
• 2004

본 논문에서는 웹 기반의 실시간 예약 서비스 시스템에서 신뢰성을 보장하기 위한 트랜잭션 모델에 대하여 주로 다룬다. 현재 기능별로 나누어져서 처리되고 있던 각각의 트랜잭션을 하나의 트랜잭션으로 묶어서 처리할 수 있는 웹 기반의 글로벌 트랜잭션 모델을 제시한다. 또한 트랜잭션 처리에서 발생되는 예외사항을 다루기 위하여 Fail-Check 프로세스를 제안한다. 그리고 시뮬레이션의 결과 제시한 모델의 타당성 및 가능성이 트랜잭션 처리 과정을 통하여 확인되었다.

• 한국정밀공학회지
• /
• 제13권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.