• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.3
• /
• pp.288-297
• /
• 2012

This paper describes the verification test on Electromagnetic Environmental Effects(E3), which conducted on ground as a final step to confirm the normal operation of ELINT pod and Safety-of-Flight of KF-16C/D mounted with ELINT pod prior to the initial flight. Based on MIL-STD-464A, indispensable 7 requirements among 14 detailed requirements total were carried out in the test. Considering the Safety-of-Flight(SOF), we invest a great deal of time and effort on Hazards of Electromagnetic Radiation to Ordnance(HERO) and Intra-system EMC test. E3 test and evaluation were performed on 62 equipments of KF-16C/D, respectively. As a result, we verify that KF-16C/D mounted with ELINT pod(hereafter "system") are electromagnetically compatible among all subsystems and equipment within the system and with environments caused by electromagnetic effects external to the system.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.16 no.2
• /
• pp.22-27
• /
• 2017

During the water treatment process for household water supply, a reservoir is the last place the water is stored before being supplied to users, and the duration of the water's stay is an important factor that affects its safety. This may cause the concentration of the residual chlorine disinfectant to increase and thus lower the water's quality. The concentration and discharge efficiency of residual chlorine must be verified and managed, because these are key factors that affect the reservoir's performance. Because the actual verification test for analyzing the efficiency of a reservoir and the disinfectant's dilution capacity is difficult, simulations are generally conducted using the computational fluid analysis method. However, the simulation results require validation with experiments. The error and drainage efficiency were analyzed in this study by comparing and analyzing the actual tracer test and simulation so that the actual test for a hexagonal drainage can be replaced by the computational fluid analysis method. Based on the results of the efficiency analysis, the hexagonal reservoir was found to be appropriate, and the simulation's reliability was verified with a tracer test.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.24 no.3
• /
• pp.310-318
• /
• 2016

The demands for vehicle safety systems such as ABS and ESC have been increased. Accurate vehicle state estimation is required to realized the abovementioned systems and tire-friction coefficient is crucial information. Estimation of lateral tire-road friction coefficient using pneumatic trail information is mainly dealt in this paper. Pneumatic trail shows unique characteristics according to the wheel side slip angle and these property is highly sensitive to vehicle lateral motion. The proposed algorithm minimizes the use of conventional tire models such as magic formula, brushed tire model and Dugoff tire model. The pure side slip maneuver, which means no longitudinal dynamics, is assumed to achieve the ultimate goal of this paper. A simulation verification using Carsim and Simulink is performed and the results show the feasibility of the proposed algorithms.

• Journal of the Korean Society of Systems Engineering
• /
• v.12 no.2
• /
• pp.101-114
• /
• 2016

A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• International Journal of Highway Engineering
• /
• v.20 no.2
• /
• pp.97-107
• /
• 2018

PURPOSES : The effects on traffic accidents change with the changing environment. Accordingly, this study analyzes the characteristics of traffic accidents based on the personal characteristics (gender and age) of drivers, and those of 25 autonomous districts in Seoul, and suggests improvements. METHODS : Based on data pertaining to traffic accidents in Seoul, the analysis of accident characteristics was conducted by categorizing the types of traffic accidents according to the drivers' gender and age, and characteristics of 25 autonomous districts in Seoul. Further, for statistical verification, the SPSS software was used to derive influence variables through a multinomial logistic regression analysis, and a method for reducing traffic accidents was proposed. RESULTS : Analysis results show that males tend to be more involved in speed-related accidents and females in low-experience driving-related accidents such as those during parking and alleyway driving. In addition, variables such as age, automobile type, district, and day of the week are found to influence accident types. CONCLUSIONS : This study analyzed the accident characteristics based on personal and city characteristics to reflect the sociological characteristics that influence traffic accidents. The number of traffic accidents in Korea could be decreased drastically by implementing the results of this study in customized safety education and traffic maps.

• Journal of the Korea Safety Management & Science
• /
• v.12 no.1
• /
• pp.59-62
• /
• 2010

At the present time, Musculo-Skeletal Disorders breaks out and it is increased in a high speed. It is a serious problem for the labors and managements. People becoming greatly interested in it. It is caused by the labor intensity which is according to the work form, hours of labor, and the labors and the labor unions have a correct understanding in it, and the labor powers becoming older, and the change of divisional social environment which is latent. Before working do the simple preparation gymnastics or operate insensitive exercise remedy without scientific verification only in the present circumstances. Although operate the Work-related Musculo-Skeletal Disorders exercise remedy, it can not get a sufficient effectiveness. So the study develop one type of exercise remedy which are divided the upper limbs exercise remedy, the trunk exercise remedy, the lower limbs exercise remedy. It can be done without using any exercise equipments and regardless places. We should also enable the exercise remedy to be easily applied to workers who are in different circumstances. To use EMG to measure the burden of exercise remedy. By doing so, employees can easily do exercises and it will help to prevent and even can treat MSD. It is just the objective of the research.

• Journal of Positioning, Navigation, and Timing
• /
• v.9 no.3
• /
• pp.285-292
• /
• 2020

This paper introduces a new computational efficient Dilution of Precision (DOP)-based landmark exclusion method while ensuring the safety of the LiDAR-based navigation system that uses an innovation-based Nearest-Neighbor (NN) Data Association (DA) process. The NN DA process finds a correct landmark association hypothesis among all potential landmark permutations using Kalman filter innovation vectors. This makes the computational load increases exponentially as the number of landmarks increases. In this paper, we thus exclude landmarks by introducing DOP that quantifies the geometric distribution of landmarks as a way to minimize the loss of integrity performance that can occur by reducing landmarks. The number of landmarks to be excluded is set as the maximum number that can satisfy the integrity risk requirement. For the verification of the method, we developed a simulator that can analyze integrity risk according to the landmark number and its geometric distribution. Based on the simulation, we analyzed the relationship between DOP and integrity risk of the DA process by excluding each landmark. The results showed a tendency to minimize the loss of integrity performance when excluding landmarks with poor DOP. The developed method opens the possibility of assuring the safety risk of the Lidar-based navigation system in real-time applications by reducing a substantial amount of computational load.

• Journal of the Korean Society for Precision Engineering
• /
• v.30 no.2
• /
• pp.231-235
• /
• 2013

The purpose of this paper is to compare with estimation of equivalent fatigue load in time domain and frequency domain and estimate the fatigue life of structure with multi-axial vibration loading. The fatigue analysis with two methods is implemented with various signals like random, sinusoidal signals. Also an equivalent fatigue life estimated by rainflow cycle counting in time domain is compared with results estimated with probability density function of each signal in frequency domain. In case of frequency domain, equivalent fatigue life can estimate through Dirlik's method with probability density function. And the work proposed in this paper compared the fatigue damage accumulated under uni-axial loading to that induced by multi-axial loading. The comparison is preformed for a simple cantilever beam, which is exposed to vibrations of several directions. For verification of estimation performance of fatigue life, results are compared to those of FEM analysis (ANSYS).

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.20 no.5
• /
• pp.553-558
• /
• 2011

This study have goal with conceptual design for offshore structures of high pressure drop control valve for localization valve for development accomplished with flow analysis based on provision of ANSI B16.34, ANSI B16.10, ANSI B16.25. In order to localize the Offshore structures high pressure drop control valve. This study is numerical analysis for zambil offshore project of high pressure drop control valve. The solver which ANSYS workbench used for offshore structures analysis. The working fluids assumed the glycerin(C3H8O3). The structural analysis used ANSYS which is a commercial code. Stress analysis result of internal pressure in valve showed lower than yield strength. This is expect to need more detail design and verification for stem and disk structure. In this study a multi-disk of high pressure drop control valve is designed and manufactured. Then, the flow rate and high pressure dorp of fluids flowing in the high pressure drop control valve is CAE. So, this system can be easily substituted for the existing zambil offshore project system. Finally, safety estimation for trim design of high pressure drop control valve for offshore structures.