• Journal of KIISE
• /
• v.41 no.12
• /
• pp.1099-1109
• /
• 2014

Web-accessibility evaluation tools can be used to determine whether or not a website meets accessibility guidelines. As such, many such tools have been developed for web accessibility, but most of them dynamically fetch and analyze pages and as a result, some pages maybe omitted due to the lack of access authorization or environment information. In this paper, we propose a static method that analyzes web accessibility via abstract parsing. Our abstract parsing technique understands syntactic and semantic program structures that dynamically generate web pages according to external inputs and parameters. The static method performs its analysis without omitting any pages because it covers all execution paths. We performed an experiment with a PHP-based website to demonstrate how our tool discovers more accessibility errors than a dynamic page accessibility analysis tool.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.1
• /
• pp.40-46
• /
• 2007

High speed machining has become the main issue of metal cutting. Due to increase of the rotational speed of the spindle, problems such as the run-out errors and reduced stiffness must be overcome to improve the machining accuracy. In order to solve the problems, it is important to determine the appropriate clamping unit and tooling system. This paper presents an investigation into an analysis of static stiffness in the main spindle interface. Finite element analysis is performed by using a commercial code ANSYS according to variation of cutting force, clamping force and rotational speed. From the finite element results, it is shown that the rotational speed and clamping force mostly influence on the variation of the static stiffness in the main spindle interface.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.13 no.1
• /
• pp.39-44
• /
• 2014

Techniques of tool posts are developing such that variable machining is possible using only one machine for the complication of a product's shape and to reduce the machining time. In order to develop a mill turret with a variable machining function with the mounting of mill turret units on a B-axis tilting table, we determine the static/dynamic stability of the structure of the mill turret. To this end, a static structural analysis and a modal analysis were conducted. From the results of the static structural analysis, the maximum stress was found to be less than the allowable stress. By the comparing the results of the modal analysis of the excitation frequencies of the mill turret, there were no resonance regions found. Therefore, the mill turret with the B-axis tilting facility is shown to have good structural integrity.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2005.05a
• /
• pp.294-299
• /
• 2005

A machining center is a complex dynamic system whose behavior influences the machining stability and machined surface quality. This paper focused on establishment of a measurement system and experimental study on static, dynamic, and modal analysis of a machining center. The dynamic stiffness result by the analysis showed the weak part of the machining center. The results provided structure modification data for getting better dynamic behaviors.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.6
• /
• pp.217-222
• /
• 2007

This paper describes a static gait generation process and a mechanical design process of leg mechanisms for quadruped robots. Actually robot walking is realized with the joint motion of leg mechanisms. In order to calculate the time-angle trajectories for each joint of leg mechanisms, we generate end-tip trajectories with time for each leg in the global inertial coordinate system intuitively, followed by coordinate transformations of the trajectories into the local coordinates system fixed in each leg, finally the angle-time trajectories of each joint of leg mechanisms are obtained with inverse kinematics. The stability of the gait generated in this paper was verified by a multi-body dynamic analysis using the commercial software $ADAMS^{(R)}$. Additionally the mechanical specifications such as gear reduction ratio, electrical specifications of motor and electrical power consumption during walking have been confirmed by the multi-body dynamic analysis. Finally we constructed a small quadruped robot and confirmed the gait.

• Proceeding of EDISON Challenge
• /
• 2016.03a
• /
• pp.262-267
• /
• 2016

In this paper, to design Human Powered Aircraft(HPAC) with high aspect ratio wing which behave with large displacement under lift distribution causing a failure itself, then steel wire has been designed to prevent its failure. unit load method is used to calculate reaction force on wire and Optimal Triangle(OPT) membrane is employed to analyze its main wing spar with large displacement. EDISON CSD solver, linear static analysis and co-rotational nonlinear static anaysis both using OPT membrane produce behaviors of beam for each case of wire location about main wing spar, and aerodynamic coefficient also, by using aerodynamic analysis tool.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.17 no.6
• /
• pp.1689-1705
• /
• 2023

To deal with the potential XSS vulnerabilities in the source code of the power communication network, an XSS vulnerability detection method combining the static analysis method with the dynamic testing method is proposed. The static analysis method aims to analyze the structure and content of the source code. We construct a set of feature expressions to match malignant content and set a "variable conversion" method to analyze the data flow of the code that implements interactive functions. The static analysis method explores the vulnerabilities existing in the source code structure and code content. Dynamic testing aims to simulate network attacks to reflect whether there are vulnerabilities in web pages. We construct many attack vectors and implemented the test in the Selenium tool. Due to the combination of the two analysis methods, XSS vulnerability discovery research could be conducted from two aspects: "white-box testing" and "black-box testing". Tests show that this method can effectively detect XSS vulnerabilities in the source code of the power communication network.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.9
• /
• pp.148-155
• /
• 1995

The object of this study is to achieve a gteater understanding of meterial removal process and its mechanism. In this study, some applications of finite element techniques are applied to analyze the chip formation and cutting heat generation mechanism of metal cutting. To know the effect of cutting parameters, simulations employed some independent cutting variables change, such as constitutive deformation laws of workpiece and tool material, frictional coefficients and tool-chip contact interfaces, cutting speed, tool rake angles, depth of cut and this simulations also include large elastic-plastic defor- mation, adiabetic thermal analysis. Under a usual plane strain assumption, quasi-static, thermal-mechanical coupling analysis generate detailed informations about chip formation process and cutting heat generation mechanism Some cutting parameters are affected to cutting force, plastic deformation of chip, shear plane angle, chip thickness and tool-chip contact length and reaction force on tool, cutting temperature and thermal behavior. Several aspects of the metal cutting process predicted by the finite element analysis provide information about tool shape design and optimal cutting conditions.

• Proceedings of the KIEE Conference
• /
• 2004.07e
• /
• pp.126-129
• /
• 2004

This paper presents the way to analyze the static and dynamic characteristics of the Compound motor and 3 phase slip ring motor using VIS (Virtual Instrument System) and Agilent VEE, GUI(Graphics User Interface) tool. This method is composed of real time measuring of various characteristics, which can't measure using analog meter and analyzer, and presenting and analyzing the static and dynamic characteristics by table, which calculates the measured parameter. Also, this can apply to the various parts.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.13 no.6
• /
• pp.94-101
• /
• 2004

The purpose of this raper is to assess the benefits of frequency domain fatigue analysis and compare it with more conventional time domain techniques. The multi-body dynamic analysis, FE analysis and fatigue life prediction technique are applied for the frequency domain fatigue analysis. To obtain the dynamic load history used in the frequency domain fatigue analysis, the computer simulations running over typical road Profiles are carried out by utilizing vehicle dynamic model. The fatigue life estimation for the rear suspension system of small-sized passenger car is performed by using resonance durability analysis technique, and the estimation results are compared with the conventional quasi-static durability analysis results. For the pothole simulation, the percent changes, of the fatigue life between the two durability analysis techniques don't exceed 10%. But for the Belgian road simulation because of the resonance effect, the fatigue life using the resonance durability analysis technique are much smaller estimated than the quasi-static durability analysis results.