• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10b
• /
• pp.1553-1556
• /
• 1991

This paper deals with a problem on the selection of alternative tools in a flexible manufacturing system (FMS) where a lot of tools are required to produce a large variety of product items. An approach using branch and bound method is proposed to minimize a total number of tools required through the optimal use of the alternative tools. In this approach, tools are initially divided into tool subgroups based on graph theory for the purpose of the effective search of the optimal solution. A small example is also presented to highlight the effectiveness of the proposed approach.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.13-14
• /
• 2008

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.11a
• /
• pp.125-126
• /
• 2007

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.437-438
• /
• 2012

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.05a
• /
• pp.467-468
• /
• 2010

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

• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• Journal of Korean Society for Quality Management
• /
• v.37 no.2
• /
• pp.68-77
• /
• 2009

There are many quality control(QC) tools useful for solving quality problems. In this paper, QC 7 tools, new QC 7 tools, and other quality tools are first compared with respect to their frequency of use. We suggest an integrated problem-solving procedure to systematically deal with various quality problems. For each step a streamlined flow chart is presented to help the practitioners to adopt relevant tools depending on certain situations they face. The procedure will help quality practitioners solve field quality problems.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.1289-1293
• /
• 2005

We will improve tools performance without the change of a tools' physical shape, if we process mirror like finishing on the surface of cutting tools. Because cutting tools' shapes are very complex, the general method of polishing can't be polished. So we will apply new method of polishing which is magnetic fluid grinding technique. Magnetic fluid grinding technique can polish complex shape's workpiece by pressing the surface of workpiece with magnetic and abrasive grains in magnetic field. Therefore we developed the polishing equipment to improve the performance of cutting tools and experimented on various polishing conditions to determine the polishing conditions of cutting tools.

• Journal of the Korean Society for Precision Engineering
• /
• v.29 no.10
• /
• pp.1070-1077
• /
• 2012

Virtual machine tools have been magnified recently as manufacturers could estimate performances of machine tools before design and manufacturing of them. However, it requires much time and efforts to make FEM models and predict precision of machine tools well because machine tools are composed of many joints such as bolt joints, LM joints, rotational bearing joints and mounts. Especially, we have studied computational modeling methods of bolt joints to predict precision of machine tools well in this paper. Stiffness and damping coefficients of bolt joints are investigated and generalized with respect to fasten forces through experiments and FEM analysis. Matrix 27 element of ANSYS is used and bolt joints are simplified as square areas with 8 nodes to apply stiffness and damping simultaneously. Additionally, coordinate transformation of matrix 27 for bolt joints is induced to apply to skewed bolt joints of machine tools and evaluate it using FEM analysis.