• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2003.10a
• /
• pp.201-206
• /
• 2003

In this paper, it is presented a new technique to the design and real-time implementation of fuzzy control system based-on digital signal processors in order to improve the precision and robustness for system of industrial robot. Fuzzy control has emerged as one of the most active and fruitful areas for research in the applications of fuzzy set theory, especially in the real of industrial processes. In this thesis, a self-organizing fuzzy controller for the industrial robot manipulator with a actuator located at the base is studied. A fuzzy logic composed of linguistic conditional statements is employed by defining the relations of input-output variable of the controller, In the synthesis of a FLC, one of the most difficult problems is the determination of linguistic control rules from the human operators. To overcome this difficult, SOFC is proposed fir a hierarchical control structure consisting of basic level and high level that modify control rules. The proposed SOFC scheme is simple in structure, fast in computation and suitable for implementation of real-time control. Performance of the SOFC is illustrated by simulation and experimental results for robot with eight joints.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.12
• /
• pp.4987-5014
• /
• 2015

The bilinear pairing, also known as Weil pairing or Tate pairing, is widely used in cryptography and its properties help to construct cryptographic schemes for different applications in which the security of the transmitted data is a major concern. In remote login authentication schemes, there are two major requirements: i) proving the identity of a user and the server for legitimacy without exposing their private keys and ii) freedom for a user to choose and change his password (private key) efficiently. Most of the existing methods based on the bilinear property have some security breaches due to the lack of features and the design issues. In this paper, we develop a new scheme using the bilinear property of an elliptic point and the biometric characteristics. Our method provides many features along with three major goals. a) Checking the correctness of the password before sending the authentication message, which prevents the wastage of communication cost; b) Efficient password change phase in which the user is asked to give a new password after checking the correctness of the current password without involving the server; c) User anonymity - enforcing the suitability of our scheme for applications in which a user does not want to disclose his identity. We use BAN logic to ensure the mutual authentication and session key agreement properties. The paper provides informal security analysis to illustrate that our scheme resists all the security attacks. Furthermore, we use the AVISPA tool for formal security verification of our scheme.

• Journal of the Korea Furniture Society
• /
• v.20 no.2
• /
• pp.175-190
• /
• 2009

As essential element of designers, foundation studies program helps student deal with the individual expression of imagination and variety of correspondence for solving design problem through the understanding of 2-D, 3-D basic design elements, principals, structures. Liberal art and foundation studio courses provides embodiment and settlement of design principal through the foundation studies expand to experiences systematically and deeply. After the Industrialization, foundation studies have developed from Bauhaus in German, the courses have been progressing and systematizing with the demand of time in United States. Growth of Industrialization, expanded design areas departmentalized to various of fields, then the segmentation of foundation courses tend to important than basic design courses. The introduction of information era, the appearance of computer is placed as a tool of design development and added to applied basic courses. This study is intended to know how to change the leading foundation courses in United State due to the revitalization of industrialization and information through the research and analyse to foundation design education curriculums. As a result, most of design school in United States provide drawing, 2-D, 3-D, and 4-D courses included 3-D design element as a basic studies and provide to students introduction to fundamental principal of design concept and communication in both theoretical and applied form. Also though the history, literature, critic, research and survey courses provide students to organize fundamental of systematical logic and understanding design system.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.10a
• /
• pp.187-192
• /
• 2004

In this paper, it is presented a new technique to the design and real-time implementation of fuzzy control system based-on digital signal processors in order to improve the precision and robustness for system of industrial robot. Fuzzy control has emerged as one of the most active and fruitful areas for research in the applications of fuzzy set theory, especially in the real of industrial processes. In this thesis, a self-organizing fuzzy controller for the industrial robot manipulator with a actuator located at the base is studied. A fuzzy logic composed of linguistic conditional statements is employed by defining the relations of input-output variable of the controller, In the synthesis of a FLC, one of the most difficult problems is the determination of linguistic control rules from the human operators. To overcome this difficult, SOFC is proposed for a hierarchical control structure consisting of basic level and high level that modify control rules. The proposed SOFC scheme is simple in structure, fast in computation, and suitable for implementation of real-time control. Performance of the SOFC is illustrated by simulation and experimental results for robot with eight joints.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.10a
• /
• pp.292-297
• /
• 2004

The conventional computerized numerical controller (CNC) of machine tools has been increasingly replaced by a PC-based open architecture CNC (OAC) which is independent of the CNC vendor. The OAC and machine tools with OAC led the convenient environment where it is possible to implement user-defined application programs efficiently within CNC. Tis paper proposes a method of operational fault cause diagnosis which is based on the status of programmable logic controller (PLC) in machine tools with OAC. The operational fault is defined as a disability state occurring during normal operation of machine tools. The faults are occupied by over 70% of all faults and are also unpredictable as most of them occur without any warning. Two diagnosis models, the switching function (SF) and the step switching function (SSF), are propose in order to diagnose the fault cause quickly and exactly. The cause of an occurring fault is logically diagnosed through a fault diagnosis system (FDS) using the diagnosis models. A suitable interface environment between CNC and develope application modules is constructed in order to implement the diagnostic functions in the CNC domain. The diagnosed results were displayed on a CNC monitor for machine operators and provided to a remote site through a web browser. The result of his research could be a model of the fault cause diagnosis and the remote monitoring for machine tools with OAC.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.1C
• /
• pp.96-102
• /
• 2002

Current testing(Iddq testing) on monitoring the quiescent power supply current is an efficient and effective method for CMOS bridging faults. The applicability of this technique, however, requires careful examination. Since cardinality of bridging fault is O($n^2$) and current testing requires much longer testing time than voltage testing, it is important to note that a bridging fault is untestable if the two bridged nodes have the same logic values at all times. Such faults should be identified by a good ATPG tool; otherwise, the fault coverage can become skewed. In this paper, we present an object-oriented redundant fault detection scheme for efficient current testing. Experimental results for ISCAS benchmark circuits show that the improved method is more effective than the previous ones.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.743-751
• /
• 2007

Model checking has been successfully applied to hardware verification. Software is more subtle than hardware with respect to formal verification due to its infinite state space. Although there are many research activities in this area, bounded model checking is regarded as a promising technique. Bounded model checking uses an upper bound to unroll its model, which is the main advantage of bounded model checking compared to other model checking techniques. In this paper, we applied bounded model checking to verify BIR which is the input model for the model checking tool BOGOR. Some BIR examples are verified with our technique. Experimental results show that bounded model checking is better than explicit model checking provided by BOGOR. This paper presents the formalization of BIR and the encoding algorithm of BIR into CNF.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.10a
• /
• pp.102-107
• /
• 2000

In this paper, it is presented a new technique to the design and real-time implementation of fuzzy control system based-on digital signal processors in order to improve the precision and robustness for system of industrial robot. Fuzzy control has emerged as one of the most active and fruitful areas for research in the applications of fuzzy set theory, especially in the real of industrial processes. In this thesis, a self-organizing fuzzy controller for the industrial robot manipulator with a actuator located at the base is studied. A fuzzy logic composed of linguistic conditional statements is employed by defining the relations of input-output variable of the controller, In tile synthesis of a FLC, one of the most difficult problems is the determination of linguistic control rules from the human operators. To overcome this difficult, SOFC is proposed for a hierarchical control structure consisting of basic level and high level that modify control rules.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.10
• /
• pp.1678-1683
• /
• 2001

The mobility of tracked vehicles is mainly influenced by the interaction between tracks and soil, so that the characteristics of their interactions are quite important fur the tracked vehicle study. In particular, the track tension is closely related to the maneuverability of tracked vehicles and the durability of tracks and suspension systems. In order to minimize the excessive load on the tracks and to prevent the peal-off of tracks from the road-wheels, the Dynamic Track Tensioning System (DTTS) which maintains the optimum track tension throughout the maneuver is required. It consists of track tension monitoring system, track tension controller and hydraulic system. In this paper, a dynamic track tensioning system is developed for tracked vehicles which are subject to various maneuvering tasks. The track tension is estimated based on the idler assembly model. Using the monitored track tension and con sidering the highly nonlinear hydraulic units, fuzzy logic controllers are designed in order to control the track tension. The track tensioning performance of the proposed DTTS is verified through the simulation of the Multi -body Dynamics tool.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2012.05a
• /
• pp.66.1-66.1
• /
• 2012

Although all printed cost-less radio frequency identification (RFID) tags have been considered as a core tool for bringing up a ubiquitous society, the difficulties in integrating thin film transistors (TFTs), diodes and capacitors on plastic foils using a single in-line printing method nullify their roles for the realization of the ubiquitous society1,2. To prove the concept of all printed cost-less RFID tag, the practical degree of the integration of those devices on the plastic foils should be successfully printed to demonstrate multi bit RFID tag. The tag contains key device units such as 13.56 MHz modulating TFT, digital logic gates and 13.56 MHz rectifier to generate and transfer multi bit digital codes via a wireless communication (13.56 MHz). However, those key devices have never been integrated on the plastic foils using printing method yet because the electrical fluctuation of fully printed TFTs and diodes on plastic foils could not be controlled to show the function of desired devices. In this work, fully gravure printing process in printing 13.56 MHz operated 32 bit RFID tags on plastic foils has been demonstrated for the first time to prove all printed RFID tags on plastic foils can wirelessly generate and transfer 32 bit digital codes using the radio frequency of 13.56 MHz. This result proved that the electrical fluctuations of printed TFTs and diodes on plastic foils should be controlled in the range of maximum 20% to properly operate 32 bit RFID tags.