• The KIPS Transactions:PartA
• /
• v.15A no.3
• /
• pp.181-188
• /
• 2008

Nowadays, most web sites are developed using dynamic web pages where web pages are generated and transmitted by web application programs. Therefore, the ratio of attacks injecting malevolent strings to vulnerable web applications is increasing. In this paper, we present a static program analyzer which analyzes whether a web application program has vulnerabilities to the SQL injection attack and the cross site scripting(XSS) attack. To analyze programs using abstract interpretation framework, we designed an abstract domain which models potential string set along with excluded strings and developed an abstract interpreter for the PHP language. Also, based on them, we implemented a static analyzer. According to our experiments, our analyzer has competitive analysis speed and accuracy compared with related research results.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.05a
• /
• pp.752-759
• /
• 2002

This paper presented a design and a control of a biped walking RGO and walking simulation by this system. The biped walking RGO was distinguished from the other one by which had a very light-weight and a new RGO type with 12-servo motors. The vibration evaluation of the dynamic PLS on the biped walking RGO was used to access by the 3-axis accelerometer with a low frequency vibration for the spinal cord injuries. The gait of a biped walking RGO depended on the constrains of mechanical kinematics and the initial posture. The stability of dynamic walking was investigated by a ZMP (Zero Moment Point) of the biped walking RGO. It was designed according to a human wear type and was able to accomodate itself to a human environments. The joints of each leg were adopted with a good kinematic characteristics. To test of the analysis of joint kinematic properties, we did the strain stress analysis of the dynamic PLS and the analysis study of FEM with a dynamic PLS. It will be expect that the spinal cord injury patients are able to recover effectively with a biped walking RGO.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.06a
• /
• pp.469-470
• /
• 2008

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.32 no.3
• /
• pp.10-17
• /
• 2000

The MDDA(Modified Dynamic Drainage Analyzer) was developed to evaluate the drainage at hydrofoil table roll and low vacuum devices on fourdrinier paper machine MB-former. Comparison of the results was obtained using a computer simulation system based on Taylor's equation and filtration equation and by measuring the consistency profile in a paper machine presented an agreement within 10.7% This device can evaluate the dewatering pro-file on wire for various stock properties adjust dewatering devices on fourdrinier paper machine and control the dosage of retention aids for improving paper structural properties and runnability of papermachine.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.13 no.1
• /
• pp.10-18
• /
• 2003

This paper presented a design and control of a biped walking RGO(robotic gait orthosis) and its simulation. The biped walking RGO was distinguished from the other one by which had a very light-weight and a new RGO system will be made of 12-servo motors and 12-controllers. The vibration evaluation of the dynamic PLS(posterior leaf splint) on the biped walking RGO was used to access by the 3-axis accelerometer with a low frequency vibration of less than 30 Hz. The galt of the biped walking RGO depends on the constrains of mechanical kinematics and the initial posture. The stability of dynamic walking was investigated by analyzing the ZMP (zero moment point) of the biped walking RGO. It was designed according to the human wear type and was able to accomodate itself to the environments of S.C.I. Patients. The Joints of each leg were adopted with a good kinematic characteristics. To analyse joint kinematic properties. we made the strain stress analysis of the dynamic PLS and the analysis study of FEM with a dynamic PLS.

• Journal of the Korean Society for Precision Engineering
• /
• v.27 no.8
• /
• pp.62-69
• /
• 2010

Internal lathe machining with a boring bar is weak with respect to vibration because the bar is long and slender. Therefore, it is important to study the dynamic characteristics of a boring bar. The purpose of this study was to identify the effects of overhang and cutting conditions on the dynamic response characteristics of a boring bar. For an efficient experiment, an $L_g(3^3)$ orthogonal array was applied and the results were quantitatively analyzed by ANOVA. Overhang, feed per revolution, and depth of cut were selected as independent variables. Meanwhile, dynamic stiffness, damping ratio, damping coefficient, and acceleration were chosen as dependent variables. The vibration signal was obtained from an accelerometer attached to the boring bar, followed by visualization by a signal analyzer. The effect of overhang was found to have a significant effect on the dynamic stiffness, damping ratio, and damping coefficient, but the other variables did not. As the length of the overhang increased, the dynamic stiffness decreased and the damping ratio increased. In addition, the damping coefficient increased until the length of the overhang was 4D (where D is the shank diameter), after which it remained constant. The acceleration decreased until the overhang length was 4D, and then increased sharply when the overhang was increased further. From these results, the behavioral trend of the damping characteristics changed when its overhang length was 4D. Consequently, there is a critical point that the dynamic characteristics of boring bar change.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.395-398
• /
• 2002

This study is to examine the safety by analizing the hardness of bed and the characteristic of vibration to improve basic efficiency of machine-tool of drill-cell which is a high line center. The mistake of existing design was shown through the analysis of 3-D and structure. The purpose of this paper is to draw up a plan to improve performance and to propose the design method through finding out the optimum by analyzing dynamic property of structure in a quantity-way by CAE for a quantity-analogy of dynamic property in design steps.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.12
• /
• pp.194-201
• /
• 1998

The beam rotating actuator has been developed. It can be utilized to improve the data transfer rate for the optical disk systems, Newly developed laser beam rotating actuator is applied to put multi-beam spots on more than one track on the optical disk simultaneously. The beam rotating actuator is made of piezoelectric ceramic bimorph as the form of cantilever, Piezoelectric actuators with high resolution, high stiffness and fast frequency response are widely assembled in micropositioning applications. Therefore, the actuator has above 50Hz natural frequency. Beam array is rotated using the dove prism in the end of beamrotator. The dynamic equation of beam rotating actuator is derived theoretically. The actuator is designed on the ground of this analysis. The performance of the beam rotating actuator is verified as the dynamics frequency performance is measured using the dynamic analyzer and sensor.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.454-457
• /
• 1995

In optical disc system, tracking actuator is consisted of coarse actuator and fine tracking actuator. This, two-stage actuator, requires many devices and two servos for large stroke and precisional displacement. These complicate configuration increases moving mass. So dynamic characteristics become bad, that is, sensitivity of high frequency gain decrease. In this paper, frequency performance is willing to be better as so one dimensional tracking actuator is designed. In order to investigate the performance of the proposed tracking actuator, the Bode diagram is plotted with Dynamic analyzer and friction characteristic is explained. Finally, tracking error performance is ins investigated into 0.1 .mu.m resolution with MATLAB simulation.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.29-34
• /
• 2006

In general, the vertical vibration problems for .strength of members and serviceability of building structures are not considered in structural design process, but the prediction of the vertical vibration is very important and essential to structural design process. This study aims to investigate the characteristics of vertical vibration in terms of the transfer of horizontal directions on the rahmen building structures. In order to examine the characteristics of vertical vibration, the modal test and the impact (heel-drop and hammer) excitation experiments were conducted several times on three building structures. The results from the experiments are analyzed and compared. with the results. The results of this study suggest that the characteristics of vertical vibration transfer in horizontal way are effected from the fundamental frequency of the slabs and excitation forces.