• Proceedings of the Materials Research Society of Korea Conference
• /
• 2007.11a
• /
• pp.8.1-8.1
• /
• 2007

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.21 no.5
• /
• pp.691-696
• /
• 2012

In this study, a rigid multi-body dynamic model has been developed for mechatronic analysis to evaluate dynamic behavior of a machine tool. The development environment was the commercialized analysis tool, ADAMS, for rigid multi-body dynamic analysis. A simplified servo control logic was implemented in the tool using its functions in order to negate any external tool of control definition. The advantage of the internal implementation includes convenience of the analysis process by saving time and efforts. Application of this development to a machine tool helps to evaluate its dynamic behavior against feeding its component, to calculate the motor torque, and to optimize parameters of the control logic.

• Journal of Mechanical Science and Technology
• /
• v.15 no.11
• /
• pp.1482-1489
• /
• 2001

Thermally-induced errors originating from machine tool errors have received significant attention recently because high speed and precise machining is now the principal trend in manufacturing proce sses using CNC machine tools. Since the thermal error model is generally a function of temperature, the thermal error compensation system contains temperature sensors with the same number of temperature variables. The minimization of the number of variables in the thermal error model can affect the economical efficiency and the possibility of unexpected sensor fault in a error compensation system. This paper presents a thermal error model with minimum number of variables using a fuzzy logic strategy. The proposed method using a fuzzy logic strategy does not require any information about the characteristics of the plant contrary to numerical analysis techniques, but the developed thermal error model guarantees good prediction performance. The proposed modeling method can also be applied to any type of CNC machine tool if a combination of the possible input variables is determined because the error model parameters are only calculated mathematically-based on the number of temperature variables.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• Journal of Korean Institute of Industrial Engineers
• /
• v.34 no.3
• /
• pp.296-307
• /
• 2008

A semiconductor production system has sophisticated manufacturing operations and needs high capital investment for its expensive equipment, which warrants efficient real-time flow control for wafers. In the bay, we consider material handling equipment that can handle multiple carriers of wafers. The dispatching logic first determines the transportation time of each carrier to its destination by each unit of transportation equipment and uses this information to determine the destination machine and target carrier. When there is no available buffer space at the machine tool, the logic allows carriers to stay at the buffer of a machine tool and determine the delay time, which is used to determine the destination of carriers in URL. A simulation study shows this dispatching logic performs better than the procedure currently in use to reduce the mean flow time and average WIP of wafers and increase efficiency of material handling equipment.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.28A no.1
• /
• pp.74-84
• /
• 1991

This paper presents an algorithm for technology-dependent logic optimization and technology mapping, and describes a performance-driven logic synthesis system, SILOS, implemented based on the proposed algorithm. The system analyzes circuits and resynthesizes the critical sections such that generated circuit operates opertes within time constraints, using only gate types supported by library for direct implementation. Experimental results show that the system can be a viable tool in synthesizing high-performance logic circuits.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.8 no.4
• /
• pp.61-67
• /
• 1999

In turning the chip may be produced in the form of continuous chip or discontinuous one. Continuous chips produced at high speed machining may hit the newly cut workpiece surface and adversely affect the appearance of the surface finish and may interfere with tool and sometimes induce tool fracture. In this study relationship between AE signal and chip form was experimentally investigated, The experimental results show that types of chip form are possible to be classified from the AE signal using fuzzy logic.

• Journal of Korean Society of Transportation
• /
• v.14 no.2
• /
• pp.89-118
• /
• 1996

The development and implementation of a real-time, traffic adaptive control scheme based on fuzzy logic through Video Image Detector systems (VIDs) is presented. Through VIDs based image processing, fuzzy logic can be used for a real-time traffic adaptive signal control scheme. Fuzzy control logic allows linguistic and inexact traffic data to be manipulated as a useful tool in designing signal timing plans. The fuzzy logic has the ability to comprehend linguistic instructions and to generate control strategy based on a priori verbal communication. The implementation of fuzzy logic controller for a traffic network is introduced. Comparisons are made between implementations of the fuzzy logic controller and the actuated controller in an isolated intersection. The results obtained from the application of the fuzzy logic controller are also compared with those corresponding to a pretimed controller for the coordinated intersections. Simulation results from the comparisons indicate the performance of the system is between under the fuzzy logic controller. Integration of the aforementioned schemes into and ATMS framework will lead to real-time adjustment of the traffic control signals, resulting in significant reduction in traffic congestion.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.19 no.3
• /
• pp.307-312
• /
• 2010

In this study, advanced computational technique for mechatronic analysis has been developed for the efficient design and test of typical machine tool models. Flexible multi-body dynamic (FMBD) analysis method combined with motion controller including control logics is used to simulate typical operation conditions. The present FMBD machine tool model is composed of flexible column structure, rigid body spindle, vertical motion guide (arm) and screw elements. Driving motor clement with rotating degree-of-freedom is interconnected and governed by the designed Matlab Simulink control logic, and then the position of the spindle is feedback into the control logic. It is practically shown from the results that the investigation of designed machine tools with controller can be effectively conducted and verified.