• Title/Summary/Keyword: State_Diagram

Search Result 363, Processing Time 0.026 seconds

Invalid Test Case Generation Technique using State Diagram (상태 다이어그램을 이용한 무효한 테스트 케이스 도출 기법)

  • Park, Jin-Soo;Kim, Jong-Phil;Hong, Jang-Eui
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06b
    • /
    • pp.193-195
    • /
    • 2012
  • 소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

DSP-Based Simplified Space-Vector PWM for a Three-Level VSI with Experimental Validation

  • Ramirez, Jose Dario Betanzos;Rivas, Jaime Jose Rodriguez;Peralta-Sanchez, Edgar
    • Journal of Power Electronics
    • /
    • v.12 no.2
    • /
    • pp.285-293
    • /
    • 2012
  • Multilevel inverters have gained attention in high-power applications due to their numerous advantages in comparison with conventional two-level inverters. In this paper a simplified Space-Vector Modulation (SVM) algorithm for a three-level Neutral-Point Clamped (NPC) inverter is implemented on a Freescale$^{(R)}$ DSP56F8037. The algorithm is based on a simplification of the space-vector diagram for a three-level inverter so that it can be used with a two-level inverter. Once the simplification has been achieved, calculation of the dwell times and the switching sequences are carried out in the same way as for the two-level SVM method. Details of the hardware design are included. Experimental results are analyzed to validate the performance of the simplified algorithm.

Study for the Controller Design of a Direct Drive Servo Valve (직접구동형 서보밸브의 제어기 설계에 관한 연구)

  • 이성래;김종열;김치붕
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2000.10a
    • /
    • pp.136-136
    • /
    • 2000
  • The direct drive servo valve(DDV) is composed of a DC rotor, link, valve spool and displacement sensor(LVDT) where the spool is directly coupled to the DC motor through the link. Since the DDV is a kind of one-stage valve, the robust controller is required to overcome the flow force effect on the spool motion. The mathematical equations are derived and the stability, accuracy and response speed of a DDV are investigated analytically using a linearized system block diagram. Proportional control, PID control. Time-Delay control, Sliding Mode control, and Proportional control using the load pressure are applied to DDV to find which one shows the best control performance. The digital computer simulation results show that the proportional control using the load pressure satisfies the design requirement of response speed and steady state error regardless of the variation of load pressure,

  • PDF

A Hierarchical Motion Controller for Soccer Robots with Stand-alone Vision System (독립 비젼 시스템 기반의 축구로봇을 위한 계층적 행동 제어기)

  • Lee, Dong-Il;Kim, Hyung-Jong;Kim, Sang-Jun;Jang, Jae-Wan;Choi, Jung-Won;Lee, Suk-Gyu
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.19 no.9
    • /
    • pp.133-141
    • /
    • 2002
  • In this paper, we propose a hierarchical motion controller with stand-alone vision system to enhance the flexibility of the robot soccer system. In addition, we simplified the model of dynamic environments of the robot using petri-net and simple state diagram. Based on the proposed model, we designed the robot soccer system with velocity and position controller that includes 4-level hierarchically structured controller. Some experimental results using the stand-alone vision system from host system show improvement of the controller performance by reducing processing time of vision algorithm.

Optimization and dynamic characteristics of the hybrid type vacuum pump (하이브리드 타입 진공펌프의 동특성 및 최적화)

  • Kim, Yong-Hwi;Lee, Jong-Myeong;Ahn, Byeong-Hyun;Ha, Jeong-Min;Choi, Byeong-Keun
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2014.10a
    • /
    • pp.306-310
    • /
    • 2014
  • The purpose of this study is the stability evaluation of a vacuum pump through modal test and rotor dynamics. Eigenvalue was solved by the finite-element method(FEM) using 2D and 3D models, then the modal test result was compared with the FEM result. According to the comparison, the analysis result using the 2D was more accurate than the 3D model. Therefore, rotor dynamics was performed by the 2D model. Campbell diagram and root-locus maps, which were calculated by complex-eigenvalue analysis, were used to evaluate the stability of the rotors of the vacuum pump. And displacement solved by unbalance response analysis was compared with the minimum clearance between two rotors of the vacuum pump. Thus, the vacuum pump is assumed operated under steady state through the evaluation of the rotor dynamics.

  • PDF

The Study on the image sticking phenomenon in AC PDP (AC PDP의 Image Sticking 현상 연구)

  • Ham, Myung-Soo;Choi, Joon-Young;Yoo, Choong-Hee;Kim, Dong-Hyun;Lee, Ho-Joon;Park, Chung-Hoo
    • Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
    • /
    • 2003.08a
    • /
    • pp.76-80
    • /
    • 2003
  • Recently as new digital media like High Definition Television (HDTV) have been made popularization. However In case of image quality characteristics of AC PDP, the problem especially raised is 'image sticking' phenomenon, the phenomenon that the previously displayed pattern still remains after the image in realizing high picture quality. In this paper, Image sticking Phenomena observed in AC PDP are defined and classified, these effects are analyzed as luminance, color purity through chromaticity diagram and firing voltage state using light waveform.

  • PDF

A method of calculating strain state and forming severity analysis for axisymmetric sheet formed parts. (축대칭 프레스가공 제품의 변형률 예측기술과 변형여유 해석에의 적용)

  • 박기철;남재복;최원섭
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 1994.06a
    • /
    • pp.173-184
    • /
    • 1994
  • A method of obtaining deformation severity of axisymmetric shape deep-drawn products was developed. Strain states of products produced by single or multi-stage drawing were predicted by using finite element analysis. This method used minimization of potential energy between the known shape of final product and the unknown in initial blank. And that was done numerically by nonlinear finite element method. Deformation theory of plasticity was used for practical purposes. From predicted strain states of drawn parts, deformation severity was found by using forming limit diagrams.

Evaluation for Al/Cu bonding by liquefaction after solid phase diffusion in the air

  • Kawakami, Hiroshi;Suzuki, Jippei;Fujiwara, Masanori;Nakajima, Junya;Kimura, Keiko
    • Proceedings of the KWS Conference
    • /
    • 2005.06a
    • /
    • pp.393-395
    • /
    • 2005
  • The bonding for Aluminum and Copper in the air is investigated in this study. This bonding method does not include the special process of removing aluminum oxide films. In case of this bending, each metal Is heated at bonding temperature where is above eutectic temperature of Al-Cu system and below melting point of Aluminum. The liquefaction around the bonding surface occurs after the diffusion at solid state of each metal. This phenomenon is predicted by the temperature range above eutectic temperature of Al-Cu equilibrium phase diagram.

  • PDF

A Study on the Inclusion Complexation of Octyldimethyl p-aminobenzoate with ${\beta}-Cyclodextrin$ (Octyldimethl p-aminobenzoate 와 ${\beta}-Cyclodextrin$의 포접화합물(包接化合物)에 관(關)한 연구(硏究))

  • Lee, Chang-Hak;So, Boo-Young;Kim, Young-Soo
    • Journal of the Korean Applied Science and Technology
    • /
    • v.6 no.1
    • /
    • pp.59-66
    • /
    • 1989
  • Inclusion complex formation of octyldimethyl p-aminobenzoate with ${\beta}-cyclodextrin$in aqueous solution and in the solid state was studied by the solubility method, spectroscopic (UV, FT-IR) and X-ray diffractornetry. The solid complex of octyldimethyl p-aminobenzoate with ${\beta}-cyclodextrin$ was obtained in molar ratio of 1:2 (guest/host). A spatial relationship between host and guest molecule was clearly reflected in the magnitude of the apparent stability constant (K') and in the stoichiometry of the inclusion complex. Furthermore, a typical type Bs phase-solubility diagram was obtained for octyldimethyl p-aminobenzoate and ${\beta}-cyclodextrin$ in water at $25^{\circ}C$. The results indicated that the solubility of the guest molecule was higher by the formation of ${\beta}-cyclodextrin$ inclusion complex.

LBCC of Transient State for High Strength Steel in Hot Strip Mills (열연 고강도강의 비정상부 온도제어를 위한 LBCC 개발)

  • Park, Cheol-Jae;Yoon, Kang-Sup
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.17 no.4
    • /
    • pp.382-387
    • /
    • 2011
  • In this paper, a LBCC (Latter Bank Cooling Control) for the high strength steel is proposed to obtain the desirable temperature and the property of the material along the longitudinal direction of the steel on the ROT (Run-Out Table) process. A cooling valve is modeled to analyze the response of the ROT banks. The control concept is derived from a field data, a valve model considering the valve response and a TTT (Time-Temperature Transformation) diagram. The proposed control is verified from the simulation results under the various carbon quantities. It is shown through the field test of the hot strip mill that the deviation of the CT (Coiling Temperature) is considerably decreased by the proposed temperature control.