• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 산업경영시스템학회지
• /
• 제29권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 추계학술대회 논문집
• /
• 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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• 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.

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

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• 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.

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

• 대한기계학회논문집
• /
• 제7권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• 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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2005년도 춘계학술발표회
• /
• pp.1287-1288
• /
• 2005