• 한국생산제조학회지
• /
• 제19권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.

• 산업공학
• /
• 제25권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.

• 한국생산제조학회지
• /
• 제9권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.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2001년도 춘계학술대회 논문집(한국공작기계학회)
• /
• 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.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.605-615
• /
• 2018

사물 인터넷 시장 규모의 급격한 성장에 따라 임베디드 시스템에서 가장 많이 쓰이는 언어인 C/C++ 언어의 사용도 증가하고 있다. C/C++ 언어의 코드 품질을 향상시키고 개발 비용을 절감시키기 위해 소프트웨어 개발 전반부에서 수행 가능한 소프트웨어 검증기법인 정적 분석을 사용하는 것이 좋다. 많은 프로그램들이 정적 분석을 사용하여 소프트웨어의 안전성을 검증하고 있으며 많은 정적 분석 도구들이 사용 및 연구되고 있다. 본 논문에서는 Clang 정적 분석도구를 사용하여 검증된 시험 코드에 대한 보안 약점 검출 성능을 확인한다. 또한 소스 코드 난독화 기법인 구획 난독화, 데이터 난독화, 제어 흐름 난독화 기법이 각각 적용된 시험 코드에 대한 정적 분석 결과와 원본 시험 코드에 대한 정적 분석 결과를 비교하여 소스 코드 난독화 기법에 따른 Clang 정적 분석 도구의 성능 영향을 분석한다.

• 한국통신학회논문지
• /
• 제38C권5호
• /
• pp.420-427
• /
• 2013

최근 안전한 소프트웨어 개발을 위해 소프트웨어의 소스코드를 분석하여 보안취약점의 원인이 되는 소프트웨어 보안약점을 식별해 주는 정적분석 도구가 많이 활용되고 있다. 최적의 정적분석 도구를 선택하기 위해서는 도구가 보유한 보안약점 규칙 및 분석기능이 중요한 요소가 된다. 따라서, 본 논문은 정적분석 도구가 보유한 규칙 및 분석 성능을 평가하기 위해 개발한 시험코드를 제시하고자 한다. 시험코드는 SQL 삽입 등 43개 보안약점이 존재하는 소스코드로 정적분석 도구가 보유한 보안약점 규칙과 이를 기반으로 한 도구의 분석기능의 적절성을 평가하기 위해 사용될 수 있다.

• 정보보호학회논문지
• /
• 제26권5호
• /
• pp.1185-1189
• /
• 2016

현대 사회에서는 임베디드 장비의 수가 급증하고 있다. 그러나 급증하는 임베디드 장비와 동시에 악용 가능한 취약점과 백도어 등이 계속해서 발견되고 있어 이에 대한 분석의 필요성이 끊임없이 제기되고 있는 실정이다. 이에 따라 본 논문에서는 임베디드 장비 펌웨어의 정적 분석 환경 구축을 위해 필요한 기준 주소 정보를 추출하는 도구를 개발하고, 이를 사용하여 정적 분석 환경을 구축함으로써 펌웨어 내부 문자열의 파싱과 참조를 가능하게 하고, 증가된 함수식별 개수 등을 통해 도구의 타당성을 증명한다.

• 한국정밀공학회지
• /
• 제18권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.

• 한국정밀공학회지
• /
• 제15권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.

• 한국IT서비스학회지
• /
• 제17권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.