• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.1
• /
• pp.87-93
• /
• 2006

In order to implement Artificial Intelligence, various technologies have been widely used. Artificial Intelligence are applied for many industrial products and machine tools are the center of manufacturing devices in intelligent manufacturing devices. The purpose of this paper is to present the design of Decision Support Agent that is applicable to machine tools. This system is that decision whether to act in accordance with machine status is support system. It communicates with other active agents such as sensory and dialogue agent. The proposed design of decision support agent facilitates the effective operation and control of machine tools and provides a systematic way to integrate the expert's knowledge that will implement Intelligent Machine Tools.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.10a
• /
• pp.954-957
• /
• 2005

In order to implement Artificial Intelligence, various technologies have been widely used. Artificial Intelligence is applied for many industrial product and machine tools are the center of manufacturing devices in intelligent manufacturing system. The purpose of this paper is to present the construction of Rule Base for knowledge structure that is applicable to machine tools. This system is that decision whether to act in accordance with machine status is support system. It constructs Rule Base of knowledge used of machine toots. The constructed Rule Base facilitates the effective operation and control of machine tools and will provide a systematic way to integrate the expert's knowledge that will apply Intelligent Machine Tools.

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

Recent trend in machine tools is pursuing the high precision and high speed facility and its architecture is being more complicated. With this tendency, it is required the more precise dynamic analysis of electro-mechanical system in machine tools. In this paper, the exact mathematical model of feed and spindle system of a typical machine tools was induced. The feed system is modeled as 7-mass system including the workpiece and the spindle system as 4-mass system. The simulation results show that the induced model depicts the characteristics of real system very well. The effects of each mechanical element to dynamic motion of a machine are analyzed by simulation with the induced model. It ia anticipated that the induced model can be used in the analysis of various machine architectures and in the design stage of new machine tools.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1996.03a
• /
• pp.183-187
• /
• 1996

On the machine measuring system composed of touch trigger probes, a DNC module, a CMM module, an analysis module and a man-machine interface unit was developed. Measuring accuracy is affected by working accuracy of the on the machine measuring system. The working accuracy of the system is due to geometric errors of th machine tool, servo errors of feed drives and positioning errors of probes. In order to compensate for the measuring errors due to the working accuracy, a calibration module was developed. The measuring automation system was realized with the on the machine measuring system and an IBM-PC on the machine center through a RS-232C. It turns the machining machine (CMM). The system is used for dimensional checking of machined components. initial job setup, part identification, identification of machining errors due to deflection and wear of tools. cutter run out, and calibration of machine tools. A horizontal machining center equipped with FANUC OMC wre used for verification of the system. The validity and reliability of the system. The validity and reliability of the system were confirmed through a series of experiments with gage blocks, ring gages, comparison measurement with a commercial CMM, and so on.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.109-114
• /
• 1997

As CNC machine tool is one of core elements of manufacturing system, it is much important that it remains without troubleshoots. As a virtual machine is a recent alternative using IT for optimal utilization of CNC machine tool, it is a computer model that represents a CNC machine tool. But a virtual machine is still conceptual. So, in this paper, it is proposed that a virtual machine be a realistic model in the fault diagnosis module. For this purpose, the fault diagnosis system of machine tool using CORBA and fault diagnosis expert system has been implemented. Using this system, we have expections to diagnose exactly and prompty without the restriction of time or location, to reduce MTTR(Mean Time To Repair) and finally to increase the availability of manufacturing system.

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.1
• /
• pp.229-239
• /
• 2003

The design process of machine tools is regarded as a sequential, discrete, and inefficient works as it requires various kinds of design tools and many working hours. This paper describes an integrated design system embedding a design methodology that can support efficiently and systematically the conceptual structural design of machine tools. The system is a knowledge-based design system and has four machine-tool-specific functional modules including configuration design, configuration analysis, structure design, and structural analysis support module. Through the configuration design and analysis module, a machine configuration appropriate for design requirements is selected, and then the arrangement of ribs fer each structural part is decided in the structure design module. Also, the structural analysis support module is used to evaluate design result by utilizing structural analysis software, ANSYS. The system is applied to design of a tapping machine, and shows that the machine structure can be designed fast and conveniently by processing each design step interactively.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.7 no.2
• /
• pp.138-144
• /
• 1983

To evaluate the dynamic characteristics of machine tool system, the system is modelled as a closed-loop system composed of cutting process and improved machine tool structures. The proposed machine tool structure model is constructed in consideration of energy transfer through the system. A new methodology to identify the machine tool dynamics by adopting impulse response and impulse cutting techniques is also proposed. It is shown that the methodology is successfully applied to a machine tool system to identify its dynamic characteristics employing the improved model.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.378-381
• /
• 2003

Efficient development of method on a performance evaluation for machine tools has been regarded as the most important work for accuracy and quality enhancement to every user and manufacturer. A evaluation method of accuracy for machine tools has been studied recently according to the rapid increase of interest in precision machine tools. To this point of view, the circular interpolation test of machine tools is recognized as the most useful method to distinguish a dynamic accuracy of NC machine tools by ISO and ANSI/ASME, etc. In this paper, we have studied and developed the form measurement system with grid encoder to analyse the final accuracy of NC machine tools. we have analyzed the servo system error and geometric error of NC machine tools through measuring a dynamic error signal by this system. and then we verified the experimental result and enhanced the reliability by means of comparing the characteristics of the developed system with the kinematic ball-bar system.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2005.05a
• /
• pp.1287-1288
• /
• 2005