• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.19 no.6
• /
• pp.797-803
• /
• 2010

A method has been developed to tune the static stiffness at a rotation joint considering the whole machine tool system by interactive use of finite element method and experiment. This paper describes the procedure of this method and shows the results. The method uses the static experiment on measurement model which is set-up so that the effects of uncertain factors can be excluded. For FEM simulation, the rotation joint model is simplified using only spindle, bearing and spring. At the rotation joint, the damping coefficient is ignored, The spindle and bearing is connected by only spring. By static experiment, 500 N is forced to the front and behind portion of spindle and the deformation is measured by capacitive sensor. The deformation by FEM simulation is extracted with changing the static stiffness from the initial static stiffness considering only rotation joint. The tuning static stiffness is obtained by exploring the static stiffness directly trusting the deformation from the static experiment. Finally, the general tuning method of the static stiffness of machine tool joint is proposed using the force stream and the modal analysis of machine tool.

• IE interfaces
• /
• v.25 no.4
• /
• pp.416-421
• /
• 2012

One of the activities to improve software quality in ISO 26262 is to apply the design principles for software unit design and implementation mentioned in ISO 26262-6, including the evaluation activity. Before evaluation activity, the tool is compared and selected for evaluation. Because the results of the tool a company selected might have an effect on product quality. In this paper, we suggest the method to compare industrial static analysis tools with some of "MISRA C : 2004 Exemplar Suite" and all lessons learned from comparing tools are described. The result on comparison shows that we just couldn't rely on a result of Static Analysis Tool and need to have another appropriate processes and guidelines to evaluate a software.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.9 no.4
• /
• pp.99-107
• /
• 2000

In this study, a static and dynamic characteristics analysis system for machine tool spindle systems with 3 lobe sliding bearing is developed based on Timoshenko theory, finite element method and windows programming techniques. And the characteristics value of 3 lobe sliding bearing such as eccentricity ratio, attitude angle, friction coefficient , stiffness coefficients, damping coefficients and so on, are determined by using the thermal equilibrium conditions of spindle systems. Since the developed system has various analysis modules related to static deformation analysis, modal analysis, frequency responses analysis and so on, it can be utilized to perform systematically the design an devaluation process of spindle systems with 3 lobe sliding bearing under windows GUI environment.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.04a
• /
• pp.149-154
• /
• 2001

This paper presents the experimental study of the static stiffness for the BT Shank(7/24 Long Taper) and the HSK Tool Shank(1/10 Short taper). The static stiffness test was performed under different experimental conditions. The results obtained are as follows ; As known in the analysis results of the Load-Deflection diagram of the 7/24 Test tool shank, it is turned out that the diagram is a linear characteristics without regard to axial drawing force and according as the axial drawing force get to the 6kN, the static stiffness of the shank increase linearly. Thus the effective axial drawing force which maintains the static stiffness of the Main spindle taper of Machine Tool is larger than 6kN. It is found that the Load-Deflection diagram with 6kN of drawing force in the 1/10 Test tool shank is characterized by non-linear. But according as the axial drawing force is increasing by the 8kN, the diagram is characterized by linear. And increasing amount of deflection is about 60%. Therefore commendable axial drawing force is larger than 8kN. As a result, considering that the actual drawing force of the Machining Center is about 1300kgf and axial drawing force 12kN is equivalent amount as a 1220kgf, it is turned out that 1/10 Test tool shank superior to 7/24 Test tool shank in the static stiffness.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.5
• /
• pp.420-427
• /
• 2013

Recently, for secure software development, static analysis tools have been used mostly to analyze the source code of the software and identify software weaknesses caused of vulnerabilities. In order to select the optimal static analysis tool, both weaknesses rules and analysis capabilities of the tool are important factors. Therefore, in this paper we propose the test codes developed for evaluating the rules and analysis capabilities of the tools. The test codes to involve 43 weaknesses such as SQL injection etc. can be used to evaluate the adequacy of the rules and analysis capabilities of the tools.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.26 no.5
• /
• pp.1185-1189
• /
• 2016

In modern society, the number of embedded devices has been increasing. However, embedded devices is growing, and the backdoor and vulnerabilities are found continously. It is necessary for this analysis. In this paper, we developed a tool to extract the base address information for the static analysis environment built of the embedded device's firmware. By using this tool, we built the environment for static analysis. As a result, this point enables us to parse the strings and to check the reference. Also, through the increased number of functions, we proved the validity of the tool.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.11
• /
• pp.155-160
• /
• 2001

To achieve high precision cutting as well as production capability in the machine tool, it is needed to develop excellent rigidity statically, dynamically and thermally as well. In order to predict the qualitative behavior of a machine tool, simultaneous analysis of mechanics and heat transfer is required. Generally, machine tool designers have solved designing problems based on partial estimation of the specified rigidity. This study clears the inter-relationship between therm, and propose multi-phase optimization of machine tool structure using a genetic algorithm. The multi-phase solution method is consists of a series of mechanical design problem. At this first phase of static design problem, multi-objective optimization for the purpose of minimization of the total weight and static compliance minimization is solved using the Pareto Genetic Algorithm.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.8
• /
• pp.11-16
• /
• 1998

Recently, the motor-integrated spindle systems have been used to simplify the machine tool structure, to improve the motion flexibility of machine tool, and to perform the high-speed machining. In this study, a static and dynamic analysis system for motor-integrated high-speed spindle systems is developed based on Timoshenko theory, finite element method and windows programming techniques. Since the system has various analysis modules related to static deformation analysis, modal analysis, frequency response analysis, unbalance response analysis and so on, it is useful in performing systematically the design and evaluation processes of motor-integrated high-speed spindle systems under windows GUI environment.

• Journal of Information Technology Services
• /
• v.17 no.3
• /
• pp.171-189
• /
• 2018

To remove software defects and improve performance of software, many developers perform code inspections and use static analysis tools. A code inspection is an activity that is performed manually to detect software defects in the developed source. However, there is no clear criterion which source codes are inspected. A static analysis tool can automatically detect software defects by analyzing the source codes without running the source codes. However, it has disadvantage that analyzes only the codes in the functions without analyzing the relations among source functions. The functions in the source codes are interconnected and formed a social network. Functions that occupy critical locations in a network can be important enough to affect the overall quality. Whereas, a static analysis tool merely suggests which functions were called several times. In this study, the core functions will be elicited by using social network analysis and DEA (Data Envelopment Analysis) for CUBRID open database sources. In addition, we will suggest clear criteria for selecting the target sources for code inspection and will suggest ways to find core functions to minimize defects and improve performance.