• 제어로봇시스템학회논문지
• /
• 제9권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
• /
• 제14권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
• /
• 제2권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.

• 한국산학기술학회논문지
• /
• 제8권4호
• /
• pp.810-814
• /
• 2007

급속한 인터넷의 발달과 고속 인쇄기의 보급으로 누구나 손쉽게 문서를 원하는 형태로 제작 출력이 가능해 졌다. 하지만 명함이나 광고 전단지, 신문이나 잡지, 전화번호부 책자 및 무가지를 제작하기 위해서는 전용 편집용 소프트웨어를 이용하여 전문가들이 제작을 하고 있다. 본 논문에서는 가장 대표적인 광고도안인 명함을 인터넷을 이용하여 신청단계부터 PDF파일을 생성하는 단계까지 일련의 작업공정을 자동화시스템을 구축하기 위한 컴퓨터조판시스템의 모델을 제시한다. 어도비사의 인디자인을 웹사이트와 연계하여 웹페이지에서 신청을 받은 요청에 대하여 실시간으로 이미지파일을 생성하여, 주문자의 확인을 받아 결재시스템과 연계한 후 PDF파일을 제작하는 시스템을 제시한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권4호
• /
• pp.288-298
• /
• 2001

소프트웨어 프로세스에 관한 표준을 각 프로젝트에서 이용하기 위해서 개발 도메인에 맞도록 테일러링하는 작업이 필요하다. 그러나 기존의 테일러링 작업은 체계적이지 않고, 개발 도메인과 방법론의 분석 없이는 불가능하며 유사한 다른 프로젝트로의 적용도 쉽지 않다. 본 논문에서는 "컴포넌트 기반 개발 개념을 활용한 테일러링 방안" 을 기반으로한 체계적인 테일러링 단계와 테스트 프로세스 생성 자동화 알고리즘을 제안하고, XML을 이용하여 구현한 “테일러링 방안의 자동화 도구, AutoTP”를 제안한다. AutoTP 사용자는 프로세스 표준이나 방법론과 도메인을 분석하는 등의 작업 없이도 특정 개발 도메인에 적합한 테스트 프로세스를 자동생성할 수 있다.

• 대한조선학회논문집
• /
• 제30권3호
• /
• pp.90-99
• /
• 1993

선체 구조해석에서 유한요소의 활용에 따라 3차원적인 모델이 필요하게 되었으나 선체구조는 매우 복잡하고 주문생산에 따른 선체규격의 상이함에 의해 유한요소 모델링에 어려움이 많다고 할 수 있다. 유한요소 소프트웨어에서 제공하는 pre-processor나 geometric modeler를 활용하여 모델링을 짧은 시간내 편리하게 하기 위해서는 DB에 저장된 설계 데이타로 부터 요소형성에 긴요한 데이타들을 추출하여 사용할 필요가 있게 된다. 본문에는 engineering database의 부분적인 구현 예로서, 설계-해석 자동화의 한 분야인 유한요소 모델링에 필요한 내용들이 설계 데이터로 부터 추출되어 관계형 데이타 테이블로 정형화되는 과정이 개념적으로 나타나 있다.

• 한국과학예술포럼
• /
• 제37권3호
• /
• pp.125-134
• /
• 2019

본 연구는 영상콘텐츠 제작과정에서 배경음악 선정의 자동화를 위하여 영상의 특성을 분류, 분석할 수 있는 프로그램을 구성하였다. 연구 결과 및 내용은 다음과 같다. 영상의 특성은 '주제 범주', '감정', '픽셀 움직임 속도', '색상', '등장인물' 로 선정하며, '주제 범주'와 '감정'은 Microsoft사의 Azure Video Indexer를, '픽셀 움직임 속도'는 Optical flow, '색상'은 Image Histogram, '등장인물'은 CNN (Convolutional Neural Network)을 활용하여 데이터를 추출하였다. 이러한 본 연구의 결과는 최근 주목을 받고있는 '인터넷 1인 방송 크리에이터'들의 콘텐츠 제작과정에서 배경음악 매칭을 위한 영상 특성 분석이 이루어졌다는 점에서 의의가 있다.

• 드라이브 ㆍ 컨트롤
• /
• 제20권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.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제10권11호
• /
• pp.297-304
• /
• 2021

상용 난독화 도구(프로텍터)들은 소프트웨어 역공학 과정에서 프로그램의 분석을 지연시키고 방해하는 난독화 기술 및 역공학 방해(안티리버싱) 기법을 적용시킴으로써 소프트웨어의 동작 과정을 분석하는데 어려움을 발생시키는데 목적이 있다. 특히, 가상화 탐지와 안티디버깅 기능 같은 경우 분석 도구가 발견되면 정상적인 실행 흐름을 벗어나 프로그램을 종료시킨다. 본 논문에서는 상용 난독화 도구(프로텍터) 중 하나인 VMProtect 3.5.0을 통해 Debugger Detection, Virualization Tools Detection 옵션을 적용시킨 실행 파일의 안티리버싱 기법을 분석하고 Pin을 이용한 우회 방안을 제안한다. 또한, 적용된 안티리버싱 기법을 분석하는 과정에서 Amti-VM 기술과 Anti-DBI 기술에 의해 프로그램이 종료되는 문제가 발생하기 때문에 API 분석을 통해 특정 프로그램 종료 루틴을 알아내어 적용된 안티리버싱 기법의 위치를 예상하고 위치를 바탕으로 안티리버싱 기법 우회 방안 알고리즘 순서도를 작성하였다. 실험에 사용된 소프트웨어들의 버전의 차이로부터 발생하는 호환성 문제, 기법의 변화 등을 고려하여 최신 버전의 소프트웨어(VMProtect, Windows, Pin)에서 Pin 자동화 우회 코드를 작성하고 실험을 진행하여 성공적으로 우회됨을 확인하였다. 제안된 분석 방안을 개선하여 기법이 제시되지 않은 난독화 도구의 안티리버싱 기법을 분석하고 우회 방안을 찾아낼 수 있다.

• 한국기계가공학회지
• /
• 제8권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.