• 제목/요약/키워드: Verifying System

검색결과 850건 처리시간 0.032초

A Novel Simulation Scheme for Grid Connected Photovoltaic Generation Systems

  • Park, Monwon;Kim, Bong-Tae;Yu, In-Keun
    • KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
    • /
    • 제11B권4호
    • /
    • pp.169-174
    • /
    • 2001
  • A novel simulation scheme of transient phenomenon for the photovoltaic (PV) generation system under the real weather conditions has been proposed in this paper. A grid connected PV array is simulated using PSCAD/EMTDC. The transient changes of the output current of PV array under the real weather conditions is described and the output current of DC/AC converter flowing through the utility power network is also analyzed with the PWM switching width. Moreover, the MPPT control of PV generation system is combined to the system during the simulation for the comparison purposes of the control schemes. The outcome of the simulation demonstrates the effectiveness of the proposed simulation scheme. The result shows that the cost effective verifying for the efficiency or availability and stability of PV generation systems and the comparison research of various control schemes like MPPT under the same real whether conditions are eventually possible.

  • PDF

소형 탈선 시뮬레이터 축소모델 동특성 해석에 관한 연구 (A study on the Dynamic analysis of 1/5 scale derailment simulator model)

  • 이세용;엄범규;강부병;이희성
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2011년도 춘계학술대회 논문집
    • /
    • pp.337-342
    • /
    • 2011
  • A roller rig has been widely used in the study about dynamic stability and railway safety. However, the cost for constructing the roller rig and the difficulty in adjusting the design parameters for vehicle systems lead to the development of a small scale simulator which is cheaper than the large scale test systems and easy to control the parameters affecting dynamic characteristics of the railway vehicle. For the operation of the small scale test system called a small scale simulator, it is required to investigate the performance and characteristics of the system. This could be achieved by a comparative study between an analysis and an experiment. This paper presented the analytical model which could be used for verifying of the test results and understanding of the physical behavior of the dynamic system comprising the small scale bogie and the simulator.

  • PDF

Real-Time Implementation of Acoustic Echo Canceller Using TMS320C6711 DSK

  • Heo, Won-Chul;Bae, Keun-Sung
    • 음성과학
    • /
    • 제15권1호
    • /
    • pp.75-83
    • /
    • 2008
  • The interior of an automobile is a very noisy environment with both stationary cruising noise and the reverberated music or speech coming out from the audio system. For robust speech recognition in a car environment, it is necessary to extract a driver's voice command well by removing those background noises. Since we can handle the music and speech signals from an audio system in a car, the reverberated music and speech sounds can be removed using an acoustic echo canceller. In this paper, we implement an acoustic echo canceller with robust double-talk detection algorithm using TMS-320C6711 DSK. First we developed the echo canceller on the PC for verifying the performance of echo cancellation, then implemented it on the TMS320C6711 DSK. For processing of one speech sample with 8kHz sampling rate and 256 filter taps of the echo canceller, the implemented system used only 0.035ms and achieved the ERLE of 20.73dB.

  • PDF

초음파 부상장치의 디스크형 스테이터의 진동 특성 해석 (Vibration Characteristics Analysis of the Disk-Type Stator in Ultrasonic Levitation System)

  • 정상화;최석봉;차경래;김현욱;김광호;박준호
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2005년도 춘계학술대회논문집
    • /
    • pp.264-268
    • /
    • 2005
  • In the semiconductor and optical industry the non-contact transportation is required for reducing the damages. The ultrasonic levitation is the solution of the problem. In this paper, the ultrasonic levitation system and 3 disk-type stator for levitating various object are proposed. The vibration modes of disks are analyzed with FEM and designed with the analysis results. The 3D vibration profiles of the disks are measured by Laser scanning vibrometer for verifying the vibration characteristics of the system and the amplitudes of the disks and the levitation heights of object are measured for evaluating the performance.

  • PDF

디스크형 스테이터 형상에 따른 초음파 부상장치의 진동특성 해석 (Vibration Characteristics Analysis of Ultrasonic Levitation System according to the Disk-Type Stator)

  • 정상화;최석봉;차경래;김현욱;김광호;박준호
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2005년도 춘계학술대회 논문집
    • /
    • pp.1527-1530
    • /
    • 2005
  • In the semiconductor and optical industry the non-contact transportation is required for reducing the damages. The ultrasonic levitation is the solution of the problem. In this paper, the ultrasonic levitation system and 3 disk-type stator for levitation various object are proposed. The vibration modes of disks are analyzed with FEM and designed with the analysis results. The 3D vibration profiles of the disks are measured by Laser scanning vibrometer for verifying the vibration characteristics of the system. The amplitudes of the disks and the levitation heights of object are measured for evaluating the performance.

  • PDF

A Formal Safety Analysis for PLC Software-Based Safety Critical System using Z

  • Koh, Jung-Soo;Seong, Poong-Hyun;Son, Han-Seong
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1997년도 춘계학술발표회논문집(1)
    • /
    • pp.153-158
    • /
    • 1997
  • This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

  • PDF

USN 기반의 실시간 컴팩트 타워 감시 시스템 구축 (Development of Compact Tower Monitoring System based on USN)

  • 김지영;우덕제;이정현;최종필;장준용;김용광
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2011년도 제42회 하계학술대회
    • /
    • pp.570-571
    • /
    • 2011
  • CTMS(Compact Tower Online Monitoring System), which deals with the polymer insulation arms of new material, is the on-line monitoring system for verifying stability and reliability of a new Compact Tower. CTMS measures real time data from the installed sensors in a Compact Tower and transmission line, air craft warning lights for detecting and determining the life time and the replace cycle of these facilities. This paper introduces how develop the CTMS and proposes how it will be use.

  • PDF

유한요소법(FEM)을 이용한 Zero Power 제어 자기부상시스템의 동적시뮬레이션 (Dynamic Simulation of Zero Power Control Maglev System by Finite Element Method)

  • 이주영;김윤현;김솔;이주;이철직
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2001년도 하계학술대회 논문집 B
    • /
    • pp.647-649
    • /
    • 2001
  • It is a indispensible condition that the simulation and the experiment to improve a efficiency of maglev system. We usually carry out the simulation using the approximate equation, because it is impossible to use a exact modeling such as a practice modeling. This paper proposed a ideal simulation ap to the maglev system modeling by Finite Ele Method. To save the electrical energy, zero p control method is used, and verifying the feasibi FEM dynamic simulation, we make an exper with a TI DSP TMS320F240-based hardware.

  • PDF

고속시작 시스템을 위한 삼각형 기반 형상모델링 (Triangle Based Geometric modeling for rapid Prototyping CAM system)

  • 채희창
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1996년도 춘계학술대회 논문집
    • /
    • pp.587-591
    • /
    • 1996
  • Usually triangular patches are used to transfer geometric shape in Rpaid Prototyping CAM system. STL, a list of triangles, is de facto in RP industry. Because STL has no topology data, it can cause errornous results. So, STL should be verified before using. After adding support structures to anchor the part to the platform and to prevent sagging or distortion, slicing and layer by layer manufacturing process are done. But triangular patch is surface model and cannot provide dufficient information on geometry in the above processes. So, geometric modeling is necessary in verifying STL, adding support structures, and slicing. It is natural that triangle based modeling is the best when traingular patches are used as input. Considering support structures, solid and faces coexist in RP process. Therefore non-manifold modeler is required. In this study, triangle based non-manifold geometric modeling is proposed for RP system consitent with STL input.

  • PDF

급속조형시스템을 위한 STL 포멧의 오류 검증에 관한 연구 (A Study on Error Verification of STL format for Rapid Prototyping System)

  • 최홍태;이석희
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1996년도 춘계학술대회 논문집
    • /
    • pp.597-601
    • /
    • 1996
  • Nowadays, the STL format, industrial standard data, which approximates three dimensional CAD model to triangular facets, is used for RP(Rapid Prototyping) system. Because most RP machine is accpted to only two dimensional line segments, but some STL translators are sometimes poorly implemented. The error verifying process is as follows. 1) Remove facets with two or more vertices equal to each other. 2) Fix overlapping error such as more than three facets adjacent to an edge. 3) Fill holes in the mesh by using Delaunay triangulation method. 4) Repair wrong direction and value of normal vectors. This paper is concerned with searching the mentioned errors in advance and modifying them.

  • PDF