• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.7
• /
• pp.105-111
• /
• 2018

This study aims to evaluate the safety for cable stayed bridge due to damages on the cable system. Many cable supported bridges, including cable stayed bridge and suspension bridge, have been built in the Korean peninsula. This requires efficient maintenance and management since this structure has complex structural components and system. This large structure also often faces risks either from manmade or natural phenomenon. In 2015 one cable-stayed bridge in South Korea had been struck by a bolt of lightning on the cables. This event had led to fire on cables. These cables had been damaged and putting the bridge at risk. This bridge was back in used after a few weeks of investigations and replacements of the cables. However, enormous social and economic expense were paid for recovery. After this event risk based management for infra structures is required by public demands. Therefore, this study was initiated and aimed to evaluate risks on the cable system due to potential damages. In this paper one cable-stayed bridge in South Korea was selected and investigated its safety based on the damage scenarios of cable system for efficient and prompt management, and for supporting decision making. FEM analysis was conducted to evaluate the safety of the bridges due to damages on the cable system.

• Journal of KIISE:Software and Applications
• /
• v.33 no.5
• /
• pp.508-524
• /
• 2006

We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac(Array Index Range Analyzer for C) collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis' cost-accuracy improvement is achieved by techniques that static analysis community has long accumulated. For still inevitable false alarms (e.g. Airac raised 970 buffer-overrun alarms in commercial C programs of 5.3 million lines and 737 among the 970 alarms were false), which are always apt for particular C programs, we use a statistical post analysis. The statistical analysis, given the analysis results (alarms), sifts out probable false alarms and prioritizes true alarms. It estimates the probability of each alarm being true. The probabilities are used in two ways: 1) only the alarms that have true-alarm probabilities higher than a threshold are reported to the user; 2) the alarms are sorted by the probability before reporting, so that the user can check highly probable errors first. In our experiments with Linux kernel sources, if we set the risk of missing true error is about 3 times greater than false alarming, 74.83% of false alarms could be filtered; only 15.17% of false alarms were mixed up until the user observes 50% of the true alarms.

• The Journal of the Korea Contents Association
• /
• v.4 no.1
• /
• pp.55-66
• /
• 2004

Recently, as the personal computers are supplied rapidly, they formed the nucleus of the computer system. But, because of the easiness that anyone uses them to go near easily, it is the fact that the security of personal computer is weakness. So, in the paper, 1 propose the technical method that minimizes the loss and leakage of important data. This paper implemented a crypto system for security of data file on personal computer and assistance storage medium. The way of encryption/decryption is applied by complexity method which mixed Diffie-Hellman key exchange protocol, a typical RC4(Rivest Cipher version 4) algorithm of stream cipher and a typical MD5(Message Digest version 5) of Hash Function. For valuation implemented crypto system, three criteria is presented, which are crypto complexity, processing time and pattern matching. And according to analysis the three criteria the crypto system is verified the security, efficiency and usefulness. The crypto system is programmed with Visual C++ language of Microsoft. And so, as this is software system, we shall have a technical security system at a minimum cost for all personal computer.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.3
• /
• pp.320-326
• /
• 2017

Multistage deep-drawing technology is used widely in the production of mobile phone battery cases to improve productivity and economy. To ensure adequate capacity and rigidity, such cases are fabricated as a rectangular cup with a high slender ratio. The multistage deep-drawing of a rectangular cup entails a high slender ratio, and the heights of the product sides may be non-uniform because of the complicated deformation mechanisms. This causes problems in product assembly that affects the surface quality of the case. This study examined a blank shape that minimizes the height variations of the product to resolve the aforementioned problems. Optimization design and analysis were performed to identify the shape that yields the least variation. The long and short sides of an oval blank were set as the design variables. The objective function was set to yield the lowest height difference, and the thickness reduction rate of the product was set to the target range. In addition, the height of the final shape was set as a constraint. The height difference was minimized successfully using the optimized design. The design process of the initial blank for all rectangular shapes can be automated in the future.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.11
• /
• pp.340-347
• /
• 2016

Since the 1970s, manufacturing has been one of the key driving forces that has led to Korea's economic growth. However, this growth rate has been reduced significantly since the 2000s, and shows that revenues and employment are steadily decreasing. In addition, while manufacturing investment in Korea has dropped sharply, the United States, Germany, Japan, and other major countries have increased investment in manufacturing. These countries have promoted manufacturing innovation strategies that include the convergence of information and communications technologies (ICT) and manufacturing. For manufacturing innovation, it is important for time and cost savings required for product development to be achieved by changes in the production process, especially product design. Modeling and simulation (M&S) is a process that replaces physical product design, mockup making, and testing, with virtual product creation (modeling) and engineering analysis (simulation). In this paper, we analyze the economic ripple effect of supercomputing M&S using an input-output model technique based on the input-output tables published by the Bank of Korea. When we set the M&S budget (about US$16 million for the last 10 years) of the Korea Institute of Science and Technology Information (KISTI) as input coefficients, the effect on production inducement, value-added inducement, and employment inducement was analyzed to be US$24 million, US$13.4 million, and 267, respectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.5
• /
• pp.531-542
• /
• 2017

The structural safety of small craft, such as steel ships and FRP ships, can be estimated using the measurement test of the hull plate thickness or the longitudinal bending strength test. A polyethylene boat is made using inexpensive HDPE and can be mass produced. The structural safety of a polyethylene boat cannot be guaranteed because a polyethylene boat hull is notspecified in the KR technical rules. The inspection procedure of sailing yachts and pleasure boats and drop test method of ISO standard 12215-5 propose the structural strength required for small crafts as the drop test height. Therefore, in this study, the drop test of a polyethylene boat hull was carried out based on the inspection procedure of a sailing yacht and pleasure boat and the drop test method of ISO standard 12215-5. The drop load was acquired by the drop acceleration ofa boat hull. Structural analysis and safety of a polyethylene boat were performed by the drop load and allowable stress criteria. The calculation results of the hull plate thickness by structural design specification of ISO standard 12215-5 showed that polyethylene boat hull was more than two times thicker than a steel ship hull and the boat hull determined by the inspection procedure of sailing yacht and pleasure boat and drop test method of ISO standard 12215-5 was more than 1.2 times thicker than the boat hull determined by structural design specification of ISO standard 12215-5. Therefore, inspection procedure of sailing yachts and pleasure boats and drop test method of ISO standard 12215-5 was much more conservative than the structural design specification of ISO standard 12215-5 and could be used as the structural design method of a polyethylene boat.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.4
• /
• pp.578-585
• /
• 2018

This paper proposes a design method for a 3-phase interior permanent magnet synchronous motor (IPMSM) and clamping force control method for an electro-mechanical brake (EMB) using co-simulation for a high-speed train (HST). A traditional pneumatic brake system needs much space for the compressor, brake reservoir, and air pipe. However, an EMB system uses up to 50% less space due to the use of a motor and electric wires for controlling the brake caliper. In addition, it can reduce the latency time for brake control because of the fast response and precise control. A train that has many brakes is advantageous for safety because of the control by sharing the braking force. In this paper, a driving method for a cam-shaft-type EMB is modeled. It is different from the ball-screw-type brakes that are widely used in automobiles. In addition, a co-simulation method is proposed using JMAG and Matlab/Simulink. The IPMSM was designed and analyzed with the JMAG tool, and the control system was simulated using Matlab/Simulink. The effectiveness of the co-simulation results of the mechanical clamping force and braking force was verified by comparison with the clamping force specifications of a HEMU-430X HST.

• Journal of the Korean Society for Railway
• /
• v.16 no.1
• /
• pp.40-46
• /
• 2013

Based on Korean railway design standards, the thicknesses of the reinforced roadbeds of conventional and high speed railways are different, and so too, for the size distribution of the ballast particles. Accordingly, considerable cost would be required to increase operating speeds of conventional lines, in particular related to changing from a ballasted track system to a ballastless one. In this study, applicability of a roadbed which supports conventional ballasted track, for use as a ballastless track for a high speed rail line was examined. A reinforced roadbed for a conventional railway is 20cm thick, and the type of material used for a conventional reinforced roadbed is M-40 (crushed gravel for road embankments). A dynamics test was conducted to evaluate the occurrence of the permanent settlement of the track substructure. These results suggest that, without changes to the track substructure, an operational speed of 400km/h is feasible with a ballastless track. This result; however, is from laboratory experiments. Further studies, such as numerical analyses or field validation, are required.

• Geophysics and Geophysical Exploration
• /
• v.23 no.3
• /
• pp.192-207
• /
• 2020

We acquire seismic data with regularly or irregularly missing traces, due to economic, environmental, and mechanical problems. Since these missing data adversely affect the results of seismic data processing and analysis, we need to reconstruct the missing data before subsequent processing. However, there are economic and temporal burdens to conducting further exploration and reconstructing missing parts. Many researchers have been studying interpolation methods to accurately reconstruct missing data. Recently, various machine learning technologies such as support vector regression, autoencoder, U-Net, ResNet, and generative adversarial network (GAN) have been applied in seismic data interpolation. In this study, by reviewing these studies, we found that not only neural network models, but also support vector regression models that have relatively simple structures can interpolate missing parts of seismic data effectively. We expect that future research can improve the interpolation performance of these machine learning models by using open-source field data, data augmentation, transfer learning, and regularization based on conventional interpolation technologies.

• Geophysics and Geophysical Exploration
• /
• v.23 no.3
• /
• pp.117-130
• /
• 2020

Noises can distort acquired geophysical data, leading to their misinterpretation. Potential noises sources include anthropogenic activity, natural phenomena, and instrument noises. Conventional denoising methods such as wavelet transform and filtering techniques, are based on subjective human investigation, which is computationally inefficient and time-consuming. Recently, many researchers attempted to implement neural networks to efficiently remove noise from geophysical data. This study aims to review and analyze different types of neural networks, such as artificial neural networks, convolutional neural networks, autoencoders, residual networks, and wavelet neural networks, which are implemented to remove different types of noises including seismic, transient electromagnetic, ground-penetrating radar, and magnetotelluric surveys. The review analyzes and summarizes the key challenges in the removal of noise from geophysical data using neural network, while proposes and explains solutions to the challenges. The analysis support that the advancement in neural networks can be powerful denoising tools for geophysical data.