• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.803-810
• /
• 2017

Recently, social security problems have been caused by the development of the software industry, and a variety of automation techniques have been used to verify software stability. In this paper, we propose a method of automatically detecting a use-after-free vulnerability on Windows system calls using dynamic symbolic execution, one of the software testing methods. First, a static analysis based pattern search is performed to select a target point. Based on the detected pattern points, we apply an induced path search technique that blocks branching to areas outside of interest. Through this, we overcome limitations of existing dynamic symbolic performance technology and verify whether vulnerability exists at actual target point. As a result of applying the proposed method to the Windows system call, it is confirmed that the use-after-free vulnerability, which had previously to be manually analyzed, can be detected by the proposed automation technique.

• Journal of Welding and Joining
• /
• v.34 no.1
• /
• pp.54-58
• /
• 2016

In this research paper, suggest method of generate same bead as an actual measurement data in virtual welding conditions, exploit morphology information of the bead that acquired through robot welding. It has many multiple risk factors to Beginners welding training, by we make possible to train welding in virtual reality, we can reduce welding training risk and welding material to exploit bead visualization algorithm that we suggest so it will be expected to achieve educational, environmental and economical effect. The proposed method is acquire data to each case performing robot welding by set the voltage, current, working angle, process angle, speed and arc length of welding condition value. As Welding condition value is most important thing in decide bead form, we would selected one of baseline each item and then acquired metal followed another factors change. Welding type is FCAW, SMAW and TIG. When welding trainee perform the training, it's difficult to save all of changed information into database likewise working angle, process angle, speed and arc length. So not saving data into database are applying the method to infer the form of bead using a neural network algorithm. The way of bead's visualization is applying the spline algorithm. To accurately represent Morphological information of the bead, requires much of morphological information, so it can occur problem to save into database that is why we using the spline algorithm. By applying the spline algorithm, it can make simplified data and generate accurate bead shape. Through the research paper, the shape of bead generated by the virtual reality was able to improve the accuracy when compared using the form of bead generated by the robot welding to using the morphological information of the bead generated through the robot welding. By express the accurate shape of bead and so can reduce the difference of the actual welding training and virtual welding, it was confirmed that it can be performed safety and high effective virtual welding education.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.596-599
• /
• 2004

The robotic $CO_2$ welding is a manufacturing process to produce high quality joints for metal and it could provide a capability of full automation to enhance productivity. Despite the widespread use in the various manufacturing industries, the full automation of the robotic $CO_2$ welding has not yet been achieved partly because the mathematical model for the process parameters of a given welding task is not fully understood and quantified. Several mathematical models to control welding quality, productivity, microstructure and weld properties in arc welding processes have been studied. However, it is not an easy task to apply them to the various practical situations because the relationship between the process parameters and the bead geometry is non-linear and also they are usually dependent on the specific experimental results. Practically, it is difficult, but important to know how to establish a mathematical model that can predict the result of the actual welding process and how to select the optimum welding condition under a certain constraint. In this research, an attempt has been made to develop an intelligent algorithm to predict the weld geometry (top-bead width, top-bead height, back-bead width and back-bead height) as a function of key process parameters in the robotic $CO_2$welding. To achieve this above objective, Taguchi method was employed using five different process parameters (tip gap, gas flow rate, welding speed, arc current, welding voltage) as a guide for optimization of process parameters.

• Wind and Structures
• /
• v.18 no.6
• /
• pp.693-715
• /
• 2014

Stochastic processes are used to represent phenomena in many diverse fields. Numerical simulation method is widely applied for the solution to stochastic problems of complex structures when alternative analytical methods are not applicable. In some practical applications the stochastic processes show non-Gaussian properties. When the stochastic processes deviate significantly from Gaussian, techniques for their accurate simulation must be available. The various existing simulation methods of non-Gaussian stochastic processes generally can only simulate super-Gaussian stochastic processes with the high-peak characteristics. And these methodologies are usually complicated and time consuming, not sufficiently intuitive. By revealing the inherent coupling effect of the phase and amplitude part of discrete Fourier representation of random time series on the non-Gaussian features (such as skewness and kurtosis) through theoretical analysis and simulation experiments, this paper presents a novel approach for the simulation of non-Gaussian stochastic processes with the prescribed amplitude probability density function (PDF) and power spectral density (PSD) by amplitude modulation and phase reconstruction. As compared to previous spectral representation method using phase modulation to obtain a non-Gaussian amplitude distribution, this non-Gaussian phase reconstruction strategy is more straightforward and efficient, capable of simulating both super-Gaussian and sub-Gaussian stochastic processes. Another attractive feature of the method is that the whole process can be implemented efficiently using the Fast Fourier Transform. Cases studies demonstrate the efficiency and accuracy of the proposed algorithm.

• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.215-222
• /
• 2006

The importance of mobile software test is being addressed to improve the productivity and reliability of the software. Test automation technique based on mobile platform is required for effective application of mobile software test. That is, a technique is needed to generate test case for mobile platform API. When test case generated, software productivity and reliability are improved, while test duration and cost are decreased. In this paper, we identified test case generation scope through previous works about test automation, suggested keyword driven method, a test case generation technique on J2ME platform, and recognized that proposed method can be applicable to generating test case based on J2ME platform.

• The Korean Journal of Nuclear Medicine Technology
• /
• v.22 no.2
• /
• pp.105-111
• /
• 2018

Purpose Quality control of instrument takes up a large part in the Radioimmunoassays. The gamma-ray instrument, which is one of the important instruments in the laboratory, observes the condition and performance of instrument and performs quality control of the instrument by measuring the Normalization, Calibration, Background and etc. However, there are some automation instruments which can't measure the counting efficiency of gamma-ray meters, resulting in insufficient management in terms of performance evaluation of gamma-ray meters. Therefore, the purpose of this paper is to manage the quality control continuously and regularly by suggesting how to measure the counting efficiency of gamma-ray instruments. Materials and Methods In case of a comparative measurement method to a gamma-ray instrument dedicated to nuclear medical examination, the CPM and counting efficiency can be obtained after the measurement of normalization by inserting the I-125 $200{\mu}L$(CPM 50,000~500,000) into the test tube. With this CPM and counting efficiency values, it's possible to calculate the measurement of the DPM value and count the CPM from the automation instrument from the same source, and enter the DPM to calculate the counting efficiency using a comparative measurement method. Another method is to calculate the counting efficiency by estimating the half life using the radiation source information of the tracer in B test reagents of company A. Results According to the calculation formula using the DPM obtained by counting the normalization of gamma-ray meters, the detection efficiency was 75.16% for Detector 1, 76.88% for Detector 2, 77.13% for Detector 3, 75.36% for Detector 4 and 73.2% for Detector 5 respectively. Using another calculation formula estimated from the shelf life, the data of the detection efficiency from Detector 1 to Detector 5 were 74.9%, 75.1%, 76.5%, 74.9% and 73.2% respectively. Conclusion Although the accuracy of counting efficiencies of both methods are insufficient, this is considered to be useful for ongoing management of quality control if counting efficiency is managed after setting the acceptable ranges. For example, if the measurement efficiency is set to 70% or higher, the allowed %difference between measurements is within 3% and the %difference with the detector wall is set within 5%.

• Korean Journal of Food Science and Technology
• /
• v.15 no.2
• /
• pp.202-204
• /
• 1983

A strategy for the automation of glutamic acid fermentation has been developed by the use of $CO_2$ analyzer together with a controller. It was found that a linear relationship existed between growth and $CO_2$ level in the exit gas. Therefore penicillin addition at an appropriate biomass concentration to excrete glutamate could be achieved automatically. In addition, an automatic batch feeding method (fed-batch culture) provided a means of overcoming substrate inhibition effects on growth and glutamic acid production in batch culture, thereby increasing productivity and product yield.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2004.05a
• /
• pp.24-29
• /
• 2004

A small, highly-trained crew working on the ship's automation has contributed to the improvement of operation efficiency and the labor environment on board ship. However, at the same time, having a small crew adds more responsibility to the ship's officers to safely operate and manage the ship. Recently, development on the system to concentrate important information being scattered at the various pieces of navigational equipment has been actively studied, using information and computer technology. The purpose of this study is to set up and implement an integrated marine data networking and communication system on the training-research ship. Information relating to navigation, engine and office automation were investigated and analyzed, and implementation methods associated with navigation, engine and the management information system were designed and presented. In addition, the networking system and navigational signal interface unit for the integrated communication system, and the data communication method between the ship and land are also discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1953-1957
• /
• 2004

The machine vision has been applied to a number of industrial applications for quality control and automations to improve the manufacturing processes. In this paper, the automation system using the machine vision is developed, which is applicable to the marking process in a steel production process line. The working environment is very harsh to workers so that the automatic system in the steel industry is required increasingly. The developed automatic marking system consists of several mechanical and electrical elements such as the laser position detecting sensor system for a structured laser beam which is projected to the billet in order to detect the geometry of the billet. An image processing algorithm has been developed to percept the two center positions of a camera and a billet, respectively, and to align two centers. A series of experiments has been conducted to investigate the performance of the proposed algorithm. The results show that two centers of the camera and the billet could be detected very well and differences between two center positions could be also decreased via the proposed tracking algorithm.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.2
• /
• pp.621-631
• /
• 2017

In this paper, we study the various impacts of connecting distributed generation (DG) to the distribution network. The comprehensive evaluation index system (CEIS) of four hierarchies is established, considering economy, reliability and voltage quality, and the calculation methods of different indexes are presented. This paper puts forward an improved triangular fuzzy number analytic hierarchy process (ITFNAHP) to weight the second level indexes (SLI) and the third level indexes (TLI), and calculates the variation coefficient to weight the fourth level indexes (FLI). We calculate the comprehensive weight coefficients based on the weight coefficients of the SLI, TLI and FLI, and then calculate the comprehensive evaluation of satisfaction (CES) of different access schemes. On the basis of the IEEE 33-bus example system, simulations of the calculation methods and the comprehensive evaluation method are carried out under different DG access schemes according to the same total investment cost and the same permeability, respectively, and the simulation results are analyzed and discussed.