• Title/Summary/Keyword: 검증장치

Search Result 2,808, Processing Time 0.036 seconds

A Study on development of DFR TimeSync Simulator using IRIG-B signal of GPS (GPS의 IRIG-B 신호를 이용한 DFR TimeSync 시뮬레이터 개발에 관한 연구)

  • Kwak, Sung-Hwan;Kwon, Dae-Yun;Kim, Seog-Joo
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.737-738
    • /
    • 2011
  • 전력 계통현상 분석장치(DFR)에서 시각동기에 대한 중요성이 부각됨에 따라 장치의 시각동기가 중요하게 대두되고 있다. 본 연구내용에서 보여주고자 하는 DFR TimeSync Simulator는 GPS 수신기로부터 IRIG-B 신호와 1PPS 신호를 수신하여 계통현상 분석장치의 사고발생 이벤트를 위한 절대시각을 제공하는 장치이다. 이 절대시각은 계통현상 분석장치의 정밀성 및 품질을 검증하는데 적용한다. 그리고 개발된 Simulator가 정확한 1PPS 신호를 산출해 내는지를 검증하기 위해 GPS 수신기의 1PPS 신호와 Simulator에서 출력되는 1PPS 신호의 파형을 비교 실험하여 정확도 및 신뢰성을 확인하였다.

  • PDF

Variable Load System for Maximum Power Operation of Wave Power Generation System (파력발전 장치의 최대전력 운전을 위한 가변부하 시스템)

  • An, Hyunsung;Kim, Young-Cheol;Cha, Hanju
    • Proceedings of the KIPE Conference
    • /
    • 2017.11a
    • /
    • pp.35-36
    • /
    • 2017
  • 본 논문은 파력발전 장치의 최대 전력 운전을 위한 가변 부하 시스템을 구현하고 해상 및 육상 실험을 통해 검증하였다. 파력 장치는 가변 스프링, 댐퍼, 질량, 동기발전기, 가변 부하 시스템 등으로 구성되었으며, 동기발전기는 최대 출력을 발생시킨다. 파도 조건에 따라 달라지는 부하의 크기는 최적부하계산 알고리즘을 통해 선정되었으며, 제안된 부하 시스템을 통해 부하의 크기를 가변시켰다. 파력발전 장치는 수조 장치를 통해 파도 진폭의 크기(200mm~600mm)와 주파수(0.2Hz~1Hz)를 가변시켜 발전된 전력을 비교 분석하였으며, 해상 시험을 통해 시스템의 성능을 검증하였다.

  • PDF

An Experimental Study on the Waterproofing Performance of Expansion Equipment for Underground Structures (지하구조물용 신축이음장치의 방수성능에 관한 실험연구)

  • Lee, Young-Ho
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.13 no.9
    • /
    • pp.4302-4309
    • /
    • 2012
  • Underground structures without the expansion joint in the settled intervals, the underground structures may suffer from structural crack and the water leakage thereby resulting in the occurance of the efflorescence. In this study, the performance of new expansion joint used in underground structures were verified. The spacing of expansion joint was defined by the finite element analysis. Expansion length, resistance and waterproofing performance of developed expansion joint were confirmed by experiment.

Characteristics of the Surge Protector for Underground Cable (지중케이블의 절연통 보호대책 및 방식층 보호장치의 특성)

  • Kim, S.S.;Cho, H.G.;Park, T.G.
    • Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
    • /
    • 2001.05c
    • /
    • pp.72-75
    • /
    • 2001
  • 전력케이블 선로에 가해지는 전압은 상시교류전압이외에 지락 등에 의한 사용주파과전압과 뇌써지와 같은 써지성 과전압이 있다. 써지성 과전압이 케이블 심선에 침입할 경우 종단접속부나 절연접속함의 접속점은 절연통 양단 및 시스와 대지간에 고전압이 발생하여 케이블심선-시스간 시스-대지간의 써지임피던스 비에 따라 과전압이 발생하며, 이와 같이 써지성 과전압이 방식층의 충격내전압치를 초과할 경우 방식층을 보호하기 위한 대책이 필요하며 그 보호장치로 절연통 보호장치를 사용하는 것이 일반적이다. 절연통에 대한 보호대책과, 설계 제작된 절연통 보호장치에 대한 주요시험항목을 실시하여 항목별 그 특성을 검토하고 절연통 보호장치의 지중송전선로에서 사용되는 조건인 열적내량을 검증하는 충격전류시험과 침수에 의한 기밀성능을 검증하는 내수성능시험을 실시함으로써 그 중요성을 인식할 수 있었다.

  • PDF

Estimation and Verification of Commercial Stability Augmentation System Logic for Small UAV (소형무인기 상용 안정성 증대 장치 로직 추정과 검증)

  • Ko, Dong-hyeon;Rahimy, Mohamad;Choi, Keeyoung
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.47 no.11
    • /
    • pp.821-829
    • /
    • 2019
  • Because rotorcraft is unstable, it needs a stability system such as flybar. Recently, sensor technology has been developed, it uses a stability augmentation system to improve stability instead of flybar. To use of these rotorcraft which include stability augmentations system for unmanned system, flight control computer, include stability augmentations system function, must be required. In this paper, a reverse-engineering method of estimating Algorithm of Commercial Stability Augmentation System is proposed, the result is applied in the flight computer to make an unmanned rotorcraft system. Finally using a validated algorithm, it is possible to establish a system of unmanned automatic rotorcraft system.

A Secure Yoking-Proof Protocol Providing Offline Verification (오프라인 검증을 지원하는 안전한 요킹증명 프로토콜)

  • Ham, Hyoungmin
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.2
    • /
    • pp.113-120
    • /
    • 2021
  • RFID (Radio Frequency Identification) yoking authentication provides methods scanning a pair of RFID tags with a reader device and verifying them to ensure the physical proximity of objects. In the first yoking proof protocols, a verifier connected to a reader device online is essential to verify the yoking proof, and this condition limits the environment in which yoking proof can be applied. To solve this limitation, several studies have been conducted on offline yoking proof protocol that does not require the online connection between a reader and a verifier. However, the offline yoking proof protocols do not guarantee the basic requirements of yoking proof, and require relatively more operations on the tag compared to the previous yoking proof protocols. This paper proposes an efficient offline yoking proof protocol that supports offline verification without the need for an online verifier. The proposed protocol provides a secure yoking proof with fewer number of operations than the existing ones, and it also can be extended to the group proof for more than a pair of tags without additional devices. The analysis in this paper shows that the proposed protocol provides offline verification securely and effectively.

A Design of Device Management System for Factories using Wireless Sensor Network (무선 센서 망을 이용한 공장 내 장치 관리 시스템 설계)

  • Moon, Sung-Nam;Kim, Young-Han
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.37 no.3C
    • /
    • pp.233-240
    • /
    • 2012
  • Unlike traditional factory environment, in an industrial factory network applied wireless sensor network technologies, all procedures of discovery, identification and verification of devices should be performed in an automatic fashion. To address these challenges, we design a management system using the device registry server that we propose in this paper. In the phase of device discovery, the proposed system utilizes properties of routing protocol running in factories. Also, in the phase of identification and verification, the system uses unique and general information of a device stored within the device registration server. Such a way allows management system to reduce implementation complexity and to easily manage devices in a factory applied with a wireless network consisting of heterogeneous devices.

The System Requirement Development for Intelligent Monitoring System using Modeling Based System Engineering (시스템모델링 기반의 지능형 감시시스템 요구사항 개발 및 검증에 관한 연구)

  • Lee, Woo-Dong;Chung, Jong-Duk;Kim, In-Goo
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.1250-1251
    • /
    • 2011
  • 시스템을 개발함에 있어 시스템요구사항을 명확히 정의하고 시스템 요구사항에 따라 시스템이 개발되는 가를 관리하는 것은 매우 중요한 연구과정이라 할수 있다. 최근에 국내외적으로 시스템 모델링을 기반으로 하여 시스템 요구사항을 개발하는 방법론이 도입 및 연구 되고 있다. 도시철도표준화사업에서도 지능형감시장치를 개발하고 있는데 이 장치를 효율적으로 개발하기 위하여 시스템 모델링을 통한 기능분석을 수행하여 설계 및 제작요구사항을 개발하고 시스템을 어떻게 검증할 것인가에 대한 요구사항을 개발하여 시스템을 개발하고 있다. 따라서 본 연구에서는 시스템공학적 방법론을 통하여 지능형감시장치에 대한 설계, 제작 및 검증요구사항 개발방법론 관한 연구에 대하여 논하고자 한다.

  • PDF

Applied research in formal verification of certificates of airworthiness and aviation software design phase (항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구)

  • Jang, JoonHa;Choi, Jinyoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • pp.433-435
    • /
    • 2016
  • 기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

Design of Cold-flow Test Equipment Considering Dynamic Similarity for DACS Verification (동적상사를 고려한 DACS 검증용 공압 시험장치 설계)

  • Bae, Sangho;Chang, Hongbeen;Park, Iksoo
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2017.05a
    • /
    • pp.374-377
    • /
    • 2017
  • A cold-flow test equipment was designed to carry out the performance verification of TDACS. For that purpose, the pressure dynamics in the solid rocket motor combustor and the cold-flow test was modeled, and the response time showing the dynamic characteristics of each model was obtained. In this paper, the system response time of the cold-flow test was designed to be equal to that of the motor, making the dynamic response in cold-flow and hot gas condition to be similar.

  • PDF