• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.12
• /
• pp.1042-1047
• /
• 2003

The goal of this research is to implement a PC-based remote control system of ion implanter using Visual Basic programming. Presently, skilled process engineers are required to regularly setup and adjust implanter parameters. Any reduction in the number of production hours devoted to ion beam implanter setup or recalibration after a species change would represent substantial improvements in both manpower and equipment utilization. An optical communication system for the remote control and telemetry in the operation of the 50kev potential was designed and constructed. This system enables continuous and safe operation of the ion implanter and can be the basis for the automation. The isolation characteristics of optical fiber were 10kV/cm, and performance tests of the system under the intense noise environment during the implanter operations showed satisfactory results. This system is designed to completely replace the existing human-machine interface with many new functions. This paper describes the important components of the system including system architecture and software development. It is expected that this system can be used for the communication and control purpose in the high noise environments such as the operation of the MeV energy implanter or other high power, high noise systems.

• Journal of Power Electronics
• /
• v.14 no.5
• /
• pp.1069-1078
• /
• 2014

This study presents the design and implementation of a web-based remote laboratory for a multi-mode single-leg power converter, which is a topic in advanced power electronics course. The proposed laboratory includes an experimental test rig with a multi-mode single-leg power converter and its driver circuits, a measurement board, a control platform, and a LabVIEW-based user interface program that is operated in the server computer. Given that the proposed web-based remote laboratory is based on client/server architecture, the experimental test rig can be controlled by a client computer with Internet connection and a standard web browser. Although the multi-mode single-leg power converter can work at four different modes (main boost, buck-boost, boost-boost, and battery boost modes), only the buck-boost mode is used in the experiment because of page limit. Users can choose the control structure, control parameters, and reference values, as well as obtain graphical results from the user interface software. Consequently, the feedbacks received from students who conducted remote laboratory studies indicate that the proposed laboratory is a useful tool for both remote and traditional education.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.4
• /
• pp.810-814
• /
• 2007

It is now possible for the general public to publish their own publications without difficulties because of versatile Internet environments and cost-effective printing machines. However, special software design tools are still required in order to design name cards, leaflets, yellow books and free newspaper. In this paper, we present a computerized typesetting model which automates all procedures of generating business cards the most representative commercial design example. All processes in our model are performed over the Internet from application to generation. Based on our model, we also introduce a web-based computerized typesetting system which collaborates with the Adobe InDesign CS2 and generates image files in real time for user requests. Such a system is linked with an automatic payment system so that a PDF file, a target output, is generated after a user confirms his/her order.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.4
• /
• pp.288-298
• /
• 2001

Utilizing standards for software process to a specific project requires a tailoring process to meet the development domain. However, the existing tailoring schemes are not systematical and possible to use without analyzing the methodology and development domain. Also, it is not quite easy to apply them to similar projects. This paper includes: 1) systematical tailoring steps and 2) an automatic algOlithm for generating test process based on "a scheme of tailoring process using the component-based development paradigm"; 3) "an automation tool for tailoring, AutoTP" which is derived from XML techniques. Users can generate a tailored test process through our AutoTP automatically without analyzing standards. methodology and domain.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.3
• /
• pp.90-99
• /
• 1993

As the finite element method has become a considerable and effective design tool in ship structural analysis, modeling of three dimensional finite element mesh is more necessary than before. However, the unique style and complexity of a ship usually make the modeling be hard and costly. Although most pre-processor of FEM software and geometric modeler provides modeling function, the capability is quite limited for complicated structure. In order to perform FEM modeling quickly, it is necessary to extract, rearrange, and formalize data from ship design database for partially automatic mesh generation. In this paper, the process of designing relational data tables from design data is shown as a part of analysis automation with the application of engineering database concept.

• Korea Science and Art Forum
• /
• v.37 no.3
• /
• pp.125-134
• /
• 2019

This study was conducted to organize a program to classify and analyze the characteristics of images for the automation of background music selection in the video content production process. The results and contents of the study are as follows: video characteristics are selected as subject category, emotion, pixel motion speed, color, and character material. Subject categories and feelings were extracted using Microsoft's Azure Video Indexer, Pixel Movement Speed was an Optional flow, Color was an Image Histogram for Image, and character materials was CNN(Convolutional Neural Network). The results of this study are significant in that video analysis was conducted to match background music in the recent content production process of 'Internet One-person Broadcasting Creators'.

• Journal of Drive and Control
• /
• v.20 no.4
• /
• pp.140-149
• /
• 2023

Wire harness is a component for efficient control when electronic parts are required such as construction machinery and electric vehicles. With emerging issues such as autonomous driving and automation in construction, a wire harness composed of multiple cables has become an essential part because more electronic parts are required. However, when a wire harness failure occurs, systems can be stopped, accidents can occur, and economic damage can be significant. Therefore, in this paper, we developed a digital fault screening system that could easily and quickly diagnose faults in the wire harness. The principle of the developed system was to sequentially send pulse signals to the wire harness and use returned signals to perform fault detection. As a result of diagnosing faults using the developed failure detection system, a detection accuracy of 99.9 % was confirmed through the experiments.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.11
• /
• pp.297-304
• /
• 2021

Commercial obfuscation tools (protectors) aim to create difficulties in analyzing the operation process of software by applying obfuscation techniques and Anti-reversing techniques that delay and interrupt the analysis of programs in software reverse engineering process. In particular, in case of virtualization detection and anti-debugging functions, the analysis tool exits the normal execution flow and terminates the program. In this paper, we analyze Anti-reversing techniques of executables with Debugger Detection and Viralization Tools Detection options through VMProtect 3.5.0, one of the commercial obfuscation tools (protector), and address bypass methods using Pin. In addition, we predicted the location of the applied obfuscation technique by finding out a specific program termination routine through API analysis since there is a problem that the program is terminated by the Anti-VM technology and the Anti-DBI technology and drew up the algorithm flowchart for bypassing the Anti-reversing techniques. Considering compatibility problems and changes in techniques from differences in versions of the software used in experiment, it was confirmed that the bypass was successful by writing the pin automation bypass code in the latest version of the software (VMProtect, Windows, Pin) and conducting the experiment. By improving the proposed analysis method, it is possible to analyze the Anti-reversing method of the obfuscation tool for which the method is not presented so far and find a bypass method.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.8 no.2
• /
• pp.3-9
• /
• 2009

When washing machine is rotated in the laundry, it tends to lean toward one side. This tendency causes a serious vibration. The balance of washing machine plays an important role in order to reduce the vibration by injecting the sand or the salt water into the balance of washing machine. The hot plate welder is used to prevent from outflow of contents. The hot plate welder brings about many problems which is concerned with accidents. The direction recognition and location information of the balance are required in this system. In this paper, the recognition direction of balance in washing machine using machine vision system is studied. The template matching algorithm compares sub-image with original image acquired in real-time to obtain a center point of balance image. The mid points and the edges of balance are estimated by the edge detection and gauging algorithms. The data acquired by these results is used for recognition direction of balance. The automation software for image processing is developed by using LabVIEW.