• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.598-601
• /
• 2017

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용을 필요로 한다. 모델 기반 테스트는 이러한 비용을 줄이기 위한 방안으로써 제안되었다. 정형적 모델로부터 시스템의 실행 가능한 경로를 파악하고, 각 경로마다 입력 값을 생성하여 테스트를 수행한다. 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용하는데, 기존의 알고리즘은 목적 경로와 관련이 없는 변수까지 구분없이 고려하기 때문에 시스템이 복잡할수록 불필요한 연산이 많아지는 문제가 있다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 실험을 통해 기존의 방법보다 효과적으로 테스트 데이터를 생성함을 보인다.

• Journal of Electrical Engineering and Technology
• /
• 제4권4호
• /
• pp.515-520
• /
• 2009

According to the operating characteristics of pump applications, they should exhibit high efficiency and energy saving capabilities throughout the whole operating process. A novel efficiency optimization control strategy is presented here to meet the high efficiency demand of a variable speed Permanent Magnet Synchronous Motor (PMSM). The core of this strategy is the excellent integration of mended maximum torque to the current control algorithm, based on the losses model during the dynamic and the grade search method with changed step by fuzzy logic during the steady. The performance experiments for the control system of a variable speed high efficiency PMSM have been completed. The test results verified that the system can reliably operate with a different control strategy during dynamic and steady operation, and the system exhibits better performance when using the efficiency-optimization control.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.1033-1038
• /
• 1995

NC 공작기계의 contour 운동 오차를 측정하기 위하여 사용되는 Ball-Bar에 의한 원호 보간 시험 데이터를 이용하여 NC controller의 성능을 평가 할 수 있는 S/W에 의한 방법을 제시한다. 본 논문에서 지금까지는 분석이 어려웠던 Masrer-Slave Changeover의 분석을 가능하게 하였으며, Ball-Bar로 부터 얻어지는 데이터를 Weighted Residual Method에 의한 종합적인 분석을 하였으며, 오차 원인별 비교를 위해 Eztra Sum of Squares Method를 도입하였다. 본 연구의 실제 적용을 위한 측정 및 분석 S/W를 개발하였으며, 결과적으로 NC controller의 성능평가에 유용함을 알 수 있었다. 무부하 조건에서의 Ball-Bar에 의한 분석 데이터와의 비교를 위하여 원형 시편을 가공하고, 진원도 측정 및 분석을 통하여 유사한 오차 pattern을 가짐을 알 수 있었다.

• 한국산업융합학회 논문집
• /
• 제5권3호
• /
• pp.193-200
• /
• 2002

An experimental study was performed to study heat transfer characteristics for turbulent flow in an axisymmetric annuli. The air flow temperature and the local Nusselt number in turbulent flow were measured or calculated for Re=30,000, 40,000, 50,000, 60,000, 70,000 and 80,000. The local Nusselts number were compared to that obtained from Dittus-Boelter equation with turbulent flow. The results show that the flow enhances the heat transfer in the initial and exit portion of the test tube.

• 대한의용생체공학회:의공학회지
• /
• 제12권2호
• /
• pp.89-98
• /
• 1991

This study is concerned on the automation for cell diagnosis which has better objectivity and speed of test than human beings. Diagnosis is on the basis of shape change of abnormal Cells. Used parameters are nucleus area, nucleus perimeter, nucleus shape, cytoplasm area, nucleus/cytoplsm ratio, which was obtained using image processing technics. A new mode method is proposed on the automatic threshold selection for superior process time compared with Otsu's. Contour of the cytoplasm of abnormal cell is obtained using me- dian filter and sorel operator. The mask to get only original shape of abnormal cells is formed uslng the contour filling algorithm. In the result the normal cells are separated from the abnormal cells and the abnormal cells can be distinguished through screwing of abnormal cell's image with reference data to judge abnormal cells. Owing to this study the number of inspections which the pathologists should examine will be decreased and the time for inspection will be shortened.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.289-300
• /
• 2015

According to the generalization of mobile device use in our life, the complexity and diversity of mobile applications are increased, and thus the importance of application test to find faults and errors quickly and easily before release grows. This paper reviews the current automatic testing methodologies for mobile device applications and their element technologies. Also, well-known commercial tools for automatic testing are surveyed and case studies of their recent industry applications in domestic and foreign countries are performed.

• International Journal of Control, Automation, and Systems
• /
• 제3권spc2호
• /
• pp.363-375
• /
• 2005

The paper describes some of the challenges that face the control of nonlinear interconnected power systems. The challenges include the selection of appropriate control and information structures that could range from a completely decentralized to a fully centralized structure. Once a structure is proven to be feasible, the effectiveness of control signals needs to be assessed. Analytical tools are derived for this purpose in the first part of the paper, and they are illustrated with a case study that involves the design of a damping decentralized controller using a Thyristor Controlled Series Compensation device. The second part of the paper deals with the load following and tracking problem through automatic generation control for a system that has been re-structured or deregulated. This problem can be solved using a completely decentralized scheme. It is solved here using fuzzy rules and with an emphasis on compliance with NERC's standards and reduction of wear and tear of the equipment. It is illustrated with a test system that has three interconnected control areas. Finally, comments on the economics of control and the author's vision are presented.

• Transactions on Control, Automation and Systems Engineering
• /
• 제2권3호
• /
• pp.214-219
• /
• 2000

This paper presents a recoil and counter recoil motion measurement system using linear variable differential transformers (LVDT). The output of the LVDT is obtained from the differential voltage of the secondary transformers. Since a transducer core is attached to the motion body, the output is directly proportional to the movement length of the core. Displacement, velocity and acceleration are measured from the LVDT. With a comparison between the measurement result and the reference value obtained by the highly accurate Vernier calipers, it is proved that the measurement system with the LVDT is applicable to the test of the moving part of the mechanism with better accuracy.

• International Journal of Control, Automation, and Systems
• /
• 제5권5호
• /
• pp.515-525
• /
• 2007

In this paper, we develop a co-design methodology of stochastic optimal controllers and network parameters that optimizes the overall quality of control (QoC) in networked control systems (NCSs). A new dynamic model for NCSs is provided. The relationship between the system stability and performance and the sampling frequency is investigated, and the analysis of co-design of control and network parameters is presented to determine the working range of the sampling frequency in an NCS. This optimal sampling frequency range is derived based on the system dynamics and the network characteristics such as data rate, time-delay upper bound, data-packet size, and device processing time. With the optimal sampling frequency, stochastic optimal controllers are designed to improve the overall QoC in an NCS. This co-design methodology is a useful rule of thumb to choose the network and control parameters for NCS implementation. The feasibility and effectiveness of this co-design methodology is verified experimentally by our NCS test bed, a ball magnetic-levitation (maglev) system.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2011년도 추계 학술논문 발표대회
• /
• pp.133-134
• /
• 2011

While researches related with construction automation have dramatically increased, a Robot-based Automatic Construction system (RCA system) has developed for high-rise buildings in Korea. At the aspect that wide adoption of the RCA system is dependent on economic efficiency comparing with a conventional method, feasibility study on the RCA system should be implemented. However, due to practical limitations, the RCA system has tested to a seven story building. Based on the test results, this study implements a cost/benefits analysis to a simulated forty story building in order to derive more reliable data on the RCA system's practicability.