• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.7
• /
• pp.147-154
• /
• 2003

An effective die-polishing robot system is developed. ATC (Automatic Tool Change), tool posture angle control, and robot program for polishing application are developed and integrated into a robotic system that consists of a robot, pneumatic grinding tool, and grinding abrasives (papers and special films). ATC is specifically designed to exchange whole grinding tool set for complete unmanned operation. A tool posture angle control system is developed for the tools to maintain a specified skew angle rather than right angle on the surface for best finishing results. A PC and the robot controller control ATC and tool posture angle. Also, there have been more considerations on enhancing the performance of the system. Elastic material is inserted between the grinding pad and the holder for better grinding contact. Robot path data are generated automatically from the NC data of previous machining process.

• Journal of Computing Science and Engineering
• /
• v.9 no.1
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

• International Journal of Contents
• /
• v.13 no.1
• /
• pp.38-44
• /
• 2017

Increased use of software and complexity of software functions, as well as shortened software quality evaluation periods, have increased the importance and necessity for automation of software testing. Automating software testing by using machine learning not only minimizes errors in manual testing, but also allows a speedier evaluation. Research on machine learning in automated software testing has so far focused on solving special problems with algorithms, leading to difficulties for the software developers and testers, in applying machine learning to software testing automation. This paper, proposes a new machine learning framework for software testing automation through related studies. To maximize the performance of software testing, we analyzed and categorized the machine learning algorithms applicable to each software test phase, including the diverse data that can be used in the algorithms. We believe that our framework allows software developers or testers to choose a machine learning algorithm suitable for their purpose.

• International Journal of Contents
• /
• v.5 no.2
• /
• pp.6-15
• /
• 2009

Recently many different programming languages have emerged for the development of bioinformatics applications. In addition to the traditional languages, languages from open source projects such as BioPerl, BioPython, and BioJava have become popular because they provide special tools for biological data processing and are easy to use. However, it is not well-studied which of these programming languages will be most suitable for a given bioinformatics task and which factors should be considered in choosing a language for a project. Like many other application projects, bioinformatics projects also require various types of tasks. Accordingly, it will be a challenge to characterize all the aspects of a project in order to choose a language. However, most projects require some common and primitive tasks such as file I/O, text processing, and basic computation for counting, translation, statistics, etc. This paper presents the benchmarking results of six popular languages, Perl, BioPerl, Python, BioPython, Java, and BioJava, for several common and simple bioinformatics tasks. The experimental results of each language are compared through quantitative evaluation metrics such as execution time, memory usage, and size of the source code. Other qualitative factors, including writeability, readability, portability, scalability, and maintainability, that affect the success of a project are also discussed. The results of this research can be useful for developers in choosing an appropriate language for the development of bioinformatics applications.

• Special Issue of the Society of Naval Architects of Korea
• /
• 2017.10a
• /
• pp.80-87
• /
• 2017

This paper is related to structural assessment considering the hydroelastic response of ultra large container ships, especially from whipping (bow or stern impacts) and from springing (resonance). In general, whipping contributes both to increased fatigue and extreme loading, while springing does mainly contribute to increased fatigue loading. To evaluate the hydroelastic response quantitatively with high accuracy, numerical code considering hydro-structure coupling was applied and fatigue strength of a 13,100 TEU class containership was verified. The segmented model test and full scale measurement were also needed to assess the effect of whipping and springing on the fatigue and extreme capacity in more realistic way and for verification of the numerical tools. With reference to class rule, fatigue assessment considering springing effect and extreme assessment considering whipping effect were introduced.

• Transactions of Materials Processing
• /
• v.23 no.1
• /
• pp.16-22
• /
• 2014

The current study presents a simple setup method for making teeth models using a three-axis CNC milling machine. Physical teeth models can be made by several methods: casting, machining, and three-dimensional printing. Since the shape of a teeth model requires five-axis machining, the machining of a teeth model using a three-axis CNC milling machine requires careful setup operations. In this paper a simple datum shape is designed within the work piece of the teeth model. The datum shape is an n-sided prism with regular n-polygon ends and rectangular sides. In the present study a 12-sided prism is used, which easily makes 30 degree rotations for finish machining. The proposed setup approach does not require any special tools for making the teeth model using a three-axis CNC milling machine. A test was run and the results show that the proposed approach is useful for experimental makings with the limited facilities available.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.4
• /
• pp.819-828
• /
• 2014

In this paper, we analyze the characteristics of the English vocalization of deaf students and present the basic data for the development of personalized English learning aid tools that reflect its features. We visited hearing special schools in Seoul and Daegu and recorded English vocalization of the deaf students in order to analyze the characteristics of deaf students' English vocalization. We analyzed the data by Praat program, an professional voice analysis program. The voice features of deaf students' English vocalization were extracted and then compared with those of non-deaf students' English vocalization.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2010.06a
• /
• pp.30-30
• /
• 2010

The Angle Ring and Cap which is called pressboard are settled at primary and secondary coil winding of 154 kV transformer that can reduce effectively distance of insulation. As it has not manufactured pressboard of Angle Ring and Cap for high voltage grade, insulation components industry especially high voltage transformer has not participate in a competition with worldwide yet. That's why is difficult to make an specialized shape of insulation components of high voltage grade. At first, it is very important to make an utility of deformation manufacturing for high voltage transformer insulation components by itself. Therefore it has finally completed to make an deformation manufacturing utility using an special analysis tools. In this paper, developed insulation components was investigates in tensile strength is introduced.

• Composites Research
• /
• v.31 no.5
• /
• pp.246-250
• /
• 2018

In this paper, laser ultrasonic rotation scanning method was proposed to inspect and visualize defects in corner section of curved composite structure. L-shaped composite specimen with defects in its corner section were inspected using laser ultrasonic rotation scanning method. L-shaped specimens had artificial defects at three different depths to simulate delamination damage. All artificial defects were detected clearly in different time-of-flight according to their depths. Inspection result showed that the proposed method is suitable to inspect round corner section of curved composite structure without any special tools.

• Smart Structures and Systems
• /
• v.18 no.4
• /
• pp.663-682
• /
• 2016

Continuum manipulators as a kind of mechanical arms are useful tools in special robotic applications. In medical applications, like colonoscopy, a maneuverable thin and flexible manipulator is required. This research is focused on developing a basic module for such an application using shape memory alloys (SMA). In the structure of the module three wires of SMA are uniformly distributed and attached to the circumference of a flexible tube. By activating wires, individually or together, different rotation regimes are provided. SMA model is used based on Brinson work. The SMA model is combined to model of flexible tube to provide a composite model of the module. Simulating the model in Matlab provided a platform to be used to develop controller. Complex and nonlinear behavior of SMA make the control problem hard especially when a few SMA actuators are active simultaneously. In this paper, position control of the two degree of freedom module is under focus. An experimental control strategy is developed to regulate a desired position in the module. The simulation results present a reasonable performance of the controller. Moreover, the results are verified through experiments and show that the continuum module of this paper would be used in real modular manipulators.