• Journal of the Korean Society for Heat Treatment
• /
• v.2 no.4
• /
• pp.27-39
• /
• 1989

The effect of gas mixing ratios during gas nitrocarburizing treatment on the formation of compound layer and the mechanical properties has been studied for hot work tool steel by using a combined heat treating technique. The thickness of compound and diffusion layers has been shown to grow as a parabolic relation with increasing the amount of ammonia at a given flow quantity of $CO_2$ gas. The compound layer consists mainly of ${\varepsilon}-Fe_3$(C, N) with small amounts of ${\gamma}^{\prime}-Fe_4N$ and ${\alpha}$-Fe. The combined heat treated hot work tool steel has shown that the thickness of compound layer increases with increasing nitrocarburizing time, but the rate of growth slows down as gas nitrocarburizing time goes more than two hours. Tensile properties have given a remarkable improvement. In particular, the wear resistance of combined heat treated hot work tool steel has exhibited an improvement of about 165% greater than that obtained from conventional quenching and multi-tempering treatments.

• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.2 no.4
• /
• pp.5-10
• /
• 2003

This paper presents the formed tool to machine a milli-structure mold. The formed tool is used to machine the geometrical shape of bearing rubber seal for precision machining. The bearing rubber seal has milli-sized complex geometry. Because it is difficult to machine the unique shape exactly by the conventional tool, the formed tool is used in machining die of the bearing seal. In this paper, it is performed to investigate properties of the formed tool; tool wear, cutting force and machined surface roughness. Tool wear increases rapidly with clearance angle Increase. Thus, the dimension accuracy is affected by the clearance angle.

• Tribology and Lubricants
• /
• v.19 no.3
• /
• pp.151-158
• /
• 2003

In metal cutting at the tool-chip interface, friction generates considerable amount of heat. Thus, the knowledge of wear properties of cutting tool material in high temperature has been as one of important factors in need of clarification. The authors presented the wear properties of 5%Co-5%V-1%Nb high speed steel, fabricated by powder metallurgy, in room temperature in previous articles. The objective of this paper is to clarify the effects of temperature on its wear properties. Wear tests in sliding conditions under various temperatures have been conducted using the pin-on-disc type wear test machine. The results indicate that the wear properties of 5%Co-5%V-1%Nb high speed steel in high temperature as well as in room temperature are excellent. It may be deduced that the oxide layer formed on worn surface at high temperature is stable enough to prevent wear due to the high temperature strength of its matrix.

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

In this study, the formed tool is used to machine of bearing raceway and a shape compensation scheme is proposed to compensate for shape of it in turning process. It is introduced the conventional design method of the formed tool; a simple depth compensation method and a drawing compensation method. And it is performed to investigate in detail properties of the formed tool about a tool angle and problems of a turning process of bearing raceway using the formed tool. The applicability of the proposed scheme is examined by comparing the experimental results obtained by a new designed formed tool with those obtained by a conventional tool.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.6
• /
• pp.9-14
• /
• 2007

In this paper, a rotating tool clamping device was developed based on a shape memory alloy(SMA) and its feasibility as a tool holder was experimentally explored. The SMA-based device was able to alter clamping to unclamping through temperature control within 1 second. The means and repeatability(${\sigma}$) of the tool clamping force were 185.5N and 6N respectively and its drifts were less than 3% for an hour. Considering the temperature hysteresis of the SMA-based tool clamping device, it is necessary to heat the SMA ring to around $50^{\circ}C$ after tool change to obtain more clamping force.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.05a
• /
• pp.91-96
• /
• 1999

Role-Based Access Control(RBAC) is an access control mechanism that reduce the cost of administering access control policies. The Admin Tool developed for RBAC Model manages relationship informations of user and role. In order to maintain the consistency of the information for these relationships, a set of properties defining consistency of the relationship informations is required. When it will be designed security systems applying RBAC policy on the Linux server system environments, this paper described consistency properties of relationship informations for information management of user and role relationships. It leads us to the development of minimal set obtainable the equivalent results of consistency properties for a more efficient Admin Tool implementation.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.848-851
• /
• 1996

Based on the minimum cutting time criteria, the tool path generation algorithm of a pocket machining is developed as a form of a built-in cycle for the WOP(workshop oriented programming) of a CNC controller. Based on the given CAD database and tool information, an optimal cutting depth and geometric properties can be generated, then six different tool paths will be generated internally and automatically. Finally, the G code which commands tool movements is generated for CNC machining.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.25 no.6
• /
• pp.445-451
• /
• 2016

The Inconel 718 alloy is a well-known super-heat-resistant alloy and a difficult-to-cut material. Inconel 718 with excellent corrosion and heat resistance is used in harsh environments. However, the heat generated is not released owing to excellent physical properties, making processes (e.g., adhesion and thermal fatigue) difficult. Tool condition monitoring in machining is significant in reducing manufacturing costs. The cutting tool is easily broken and worn because of the material properties of Inconel 718. Therefore, tool management is required to improve tool life and machinability. This study proposes a method of predicting the tool wear with non-contacting sensors (e.g., IR thermometer for measuring the cutting temperature and a microphone for measuring the sound pressure level in machining). The cutting temperature and sound pressure fluctuation according to the tool condition and cutting force are analyzed using experimental data. This experiment verifies the effectiveness of the non-contact measurement signals in tool condition monitoring.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.1038-1043
• /
• 1997

To adapt the neural network proess for the purpose of determination of optimal utting onditions (optimal cutting speed and feed rate), some selection strategies for the machining factors are necessary, which is considered planning cutting process. In this case, factors that have both nonlinearity and strong relationship must be selected. Although tool grade and chemical properties of workpiece material have strong effect to cutting speed, it's not easy to find a analytic relation between them. In this paper, a mathematical method for determining the optimal amount of cutting (depth of cut, feed rate) is presented by tool goemetry and heat generation during cutting process. And various tool grade and workpiece material groups ase classified based on its chemical properties. Thier chemical composition and hardness are used as input pattern for neural network learnig. The result of learning shows the relationship between tool grade and workpiece material and it is proved that it can be used as a sub-system for automatic process planning system.