• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.1
• /
• pp.87-94
• /
• 2017

Many industrial accidents have occurred continuously in the manufacturing industries, construction industries, and service industries of Korea. Fatal accidents have occurred most frequently in the construction industries of Korea. Especially, the trend analysis of the accident rate and fatal accident rate is very important in order to prevent industrial accidents in the construction industries systematically. This paper considers forecasting of the accident rate and fatal accident rate with static and dynamic time series analysis methods in the construction industries. Therefore, this paper describes the optimal accident rate and fatal accident rate by minimization of the sum of square errors (SSE) among regression analysis method (RAM), exponential smoothing method (ESM), double exponential smoothing method (DESM), auto-regressive integrated moving average (ARIMA) model, proposed analytic function model (PAFM), and kalman filtering model (KFM) with existing accident data in construction industries. In this paper, microsoft foundation class (MFC) soft of Visual Studio 2008 was used to predict the accident rate and fatal accident rate. Zero Accident Program developed in this paper is defined as the predicted accident rate and fatal accident rate, the zero accident target time, and the zero accident time based on the achievement probability calculated rationally and practically. The minimum value for minimizing SSE in the construction industries was found in 0.1666 and 1.4579 in the accident rate and fatal accident rate, respectively. Accordingly, RAM and ARIMA model are ideally applied in the accident rate and fatal accident rate, respectively. Finally, the trend analysis of this paper provides decisive information in order to prevent industrial accidents in construction industries very systematically.

• Journal of Software Engineering Society
• /
• v.29 no.1
• /
• pp.7-12
• /
• 2020

As interest in functional safety has recently increased, application of functional safety standards has been required in various industrial fields. A functional safety standard is a document that defines functional safety-related activities required to prevent system malfunctions. All activities defined in this standard are required differentially according to the classification results calculated through the risk analysis and assessment of the system. In the field of domestic weapon systems, there is a manual for the development and management of weapon system software issued by the Defense Acquisition Program Administration (DAPA ). This manual requires static and dynamic analysis of software for functional safety related activities. However, the manual does not specifically address the classification activity through risk analysis and assessment as required for the preceding activities. Therefore, in this study, we analyze the problems of the manual based on the representative functional safety standards, and propose improvement plans.

• The Sea:JOURNAL OF THE KOREAN SOCIETY OF OCEANOGRAPHY
• /
• v.8 no.2
• /
• pp.203-209
• /
• 2003

In this study, the configuration and tension of a towing cable for side-scan sonar are predicted in an ambient flow and at an unsteady towing condition. The governing equation of three-dimensional dynamic analysis for a flexible cable is solved using a finite difference method. We successfully predict the configuration and tension of a side-scan sonar and designed the towing system. It is found in static analyses that the side-scan sonar must be towed to keep a its stable depth at a reasonable speed. The study also reveals in the transient analyses that the dominant component affecting the top tension is the tangential drag force for the larger towing speed than the critical speed, and the soft weight of a towed instrument for the smaller towing speed than. It should be maneuvered for a towing vessel with good consideration for the impact effect in a cable due to tension peak when a towing speed is suddenly increase. The developed program can be applicable for three-dimensional dynamic analysis of a towing system for various marine survey instruments.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.7 no.4
• /
• pp.39-49
• /
• 2003

This research is a part of a research program to develope a new design method for reinforced concrete bridge columns under axial load and cyclic lateral load. A nonlinear analytical method is proposed to obtain moment-curvature relationship and lateral load-displacement relationship. Various analytical models that contribute seismic behavior of reinforced concrete bridge columns are adopted and modified by comparing quasi-static test results of reinforced concrete columns with spirals of circular hoops. The analysis adopts confined concrete model, longitudinal reinforcement test result of reinforced concrete columns with spirals or circular hoops. The analysis adopts confined concrete model, etc. The results obtained using the propose analytical method agree well with test results and give conservative estimations particularly for deformation capacity and ductility.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.27-35
• /
• 2008

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis. and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form In order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

• Tribology and Lubricants
• /
• v.38 no.1
• /
• pp.27-31
• /
• 2022

Harmonic drives have attracted increasing attention with the development of materials, parts, and related equipment. Harmonic drives exhibit high deceleration, high accuracy, and light weight. The stiffness of flexible splines according to the radial load is studied using a commercial FEM program to design the structure of the flexible spline and finite element to improve the weight and price competitiveness of harmonic drives. In addition, several studies have measured and compared friction coefficients based on 3D printed tread patterns. However, owing to the characteristics of plastic materials, a decrease in stiffness in the radial direction is inevitable. To prevent a decrease in stiffness in the radial direction, we designed and manufactured flex splines with a wrinkle shape. Through structural analysis, the reaction force and stiffness in the radial direction were determined. In addition, the maximum angle of the mound was derived by theoretical calculations, and the performance of the harmonic drive was compared with the results obtained in the mound experiment. Structural analysis shows that the shape of wrinkles decreased the stress and reaction force and increased the safety factor in comparison with that of the circular shape. During performance verification through continuous experiments, the developed harmonic drive showed continuous performance similar to that of an actual tank model. It is expected that the flex spline with a compliant spring and wrinkle shape will prevent a decrease in the radial stiffness.

• Structural Engineering and Mechanics
• /
• v.80 no.6
• /
• pp.701-709
• /
• 2021

The paper aims at improving the understanding and mitigating the effects of tunnel fires that may breakout due to the burning fuel and/or explosion within the tunnel. This study particularly focuses on the behavior of the commonly used horse shoe geometry of tunnel systems. The problem has been obtained using an adequate well-established program incorporating the Lagrangian approach. A transient-thermo-coupled static structural analysis is carried out. The effects of radiation and convection to the outer walls of the tunnel is studied. The paper also presents the impact of the hazard on the structural integrity of the tunnel. A methodology is proposed to study the tunnel fire using a model which uses equivalent steel sheet to represent the presence of reinforcements to improve the computational efficiency with adequate validation. A parametric study has been carried out and the effect of suitable lining property for mitigating the fire hazard is arrived at. Detailed analysis is done for the threshold limits of the properties of the lining material to check if it is acceptable in all aspects for the integrity of the tunnel. The study may prove useful for developing insights for ensuring tunnel fire safety. To conduct such studies experimentally are tremendously costly but are required to gain confidence. But, scaled models, as well as loading and testing conditions, cannot be studied by many trials experimentally as the cost will shoot up sharply. In this context, the results obtained from such computational studies with a feasible variation of various combinations of parameters may act as a set of guidelines to freeze the adequate combination of various parameters to conduct one or two costly experiments for confidence building.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.33 no.2
• /
• pp.253-266
• /
• 2023

The Null Pointer Dereference vulnerability is a significant vulnerability that can cause severe attacks such as denial-of-service. Previous research has proposed methods for detecting vulnerabilities, but large and complex programs pose a challenge to their efficiency. In this paper, we present a lightweight tool for detecting specific functions in large binaryprograms through symbolizing variables and emulating program execution. The tool detects vulnerabilities through data dependency analysis and heuristics in each execution path. While our tool had an 8% higher false positive rate than the bap_toolkit, it detected all existing vulnerabilities in our dataset.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.51 no.5
• /
• pp.242-248
• /
• 2002

It is important to develop new effective technologies to increase the interruption capacity and to reduce the size of a UB(Gas Circuit Breakers). Major design parameters such as nozzle geometries and interrupting chamber dimensions affect the cooling of the arc and the breaking performance. But it is not easy to test real GCB model in practice as in theory. Therefore, a simulation tool based on a computational fluid dynamics(CFD) algorithm has been developed to facilitate an optimization of the interrupter. Special attention has been paid to the supersonic flow phenomena between contacts and the observation of hat-gas flow for estimating the breaking performance. However, there are many difficult problems in calculating the flow characteristics in a GCB such as shock wave and complex geometries, which may be either static or in relative motion. Although a number of mesh generation techniques are now available, the generation of meshes around complicated, multi-component geometries like a GCB is still a tedious and difficult task for the computational fluid dynamics. This paper presents the CFD program using CFB-CAD integration technique based on Cartesian cut-cell method, which could reduce researcher's efforts to generate the mesh and achieve the accurate representation of the geometry designed by a CAD tools.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.844-847
• /
• 2005

A seamless analysis of complex geometry is one of greatly interesting topic. However, there are still gaps between the industrial applications and fundamental academic studies owing to time consuming modeling process. To resolve this problem, an auto mesh generation program based on grid-based approach has been developed for IT-product in the present study. At first, base mesh and skin mesh are generated using the information of entities which extracted from IGES file. Secondly the provisional core mesh with rugged boundary geometry is constructed by superimposing the skin mesh as well as the base mesh generated from the CAD model. Finally, the positions of boundary nodes are adjusted to make a qualified mesh by adapting node modification and smoothing techniques. Also, for the sake of verification of mesh quality, the hexahedral auto mesh constructed by the program is compared with the corresponding tetrahedral free mesh and hexahedral mapped mesh through static finite element analyses. Thereby, it is anticipated that the grid-based approach can be used as a promising pre-processor for integrity evaluation of various IT-products.