• 설비공학논문집
• /
• 제16권2호
• /
• pp.128-134
• /
• 2004

In order to verify and take measures against a variety of troubles which cannot be predicted in a well-controlled laboratory, it is necessary that solar system should be experimented in an actual situation during a long period. Through this experiment it can be also understood how the load pattern and operational conditions expected in a design process become different to those in the actual running, which can be applied to a new system design. We installed 6 kW solar hot water heating system with a shower facility and operated during 7 months. As a result, average 8.3 persons took a shower a day； solar fraction is 71％ and total collector efficiency is 40％ during the periods from March to September. We confirmed several troubles encountered in the actual situation and considered practical center-measures.

• 한국지진공학회논문집
• /
• 제20권1호
• /
• pp.1-8
• /
• 2016

Permanent deformation plays a key role in performance based earthquake resistant design. In order to estimate permanent deformation after earthquake, it is essential to secure reliable response history analysis(RHA) as well as earthquake scenario. This study focuses on permanent deformation of an inverted T-type wall under earthquake. The study is composed of two separate parts. The first one is on the verification of RHA and the second one is on an effect of input earthquake motion. The former is discussed in this paper and the latter in the companion paper. The verification is conducted via geotechnical dynamic centrifuge test in prototype scale. Response of wall stem, ground motions behind the wall obtained from RHA matched pretty well with physical test performed under centrifugal acceleration of 50g. The rigorously verified RHA is used for parametric study to investigate an effect of input earthquake motion selection in the companion paper.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.997-998
• /
• 2006

This paper proposes an design of the OLED(Organic Light Emitting Diodes) driver IC using novel verification method. This method using the HDL(hardware description language) simulator, PLI(Programing Language Interface) and image viewer. The proposed method can be used efficiently to function verification in display driver IC.

• 한국군사과학기술학회지
• /
• 제14권3호
• /
• pp.388-396
• /
• 2011

Mission Equipment Package(MEP) system is a collection of avionic components that are integrated to perform the mission of the Korean Utility Helicopter(KUH). MEP system development is classified mission-critical embedded system but KUH MEP system developed including flight-critical data implementation. It is important to establish the good development and verification process for the successful system development. This paper describe the development and verification process in each phase for the KUH MEP system. MEP system design is verified through the qualification test, system failure test and compatibility test in System Integration Laboratory(SIL).

• 한국CDE학회논문집
• /
• 제14권4호
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• 한국기계가공학회지
• /
• 제14권3호
• /
• pp.43-49
• /
• 2015

This paper describes the design of a forged fitting form to acquire a method of product design measurement by target measurement standards. The pipefitting connects each pipe and combines seals and nipples with the pipes normally. Therefore, the section combined with the fitting pipe was measured by a 3D scanner, and the acquired measurement and the design measurement were obtained after modification of the forged fitting pipe by that standard. Moreover, the accuracy of the model was verified through leakage testing of the oil and verification of the design measurement for accuracy decisions on the design measurement after modification of the product.

• 한국컴퓨터정보학회논문지
• /
• 제23권11호
• /
• pp.67-74
• /
• 2018

The verification for the design limit margin of the power device for the information communication and surveillance systems using HALT(Highly Accelerated Life Test) reliability test is described. The HALT reliability test performs with a step stress method which change condition until the marginal step in a design and development phase. The HALT test methods are the low temperature(cold) step stress test, the high temperature(hot) step stress test, the thermal shock cyclic stess test, and the high temperature destruct limit(hot DL) step stress test. The power device is checked the operating performance during the test. In this paper, the HALT was performed to find out the design limit margin of the power device.

• 한국멀티미디어학회논문지
• /
• 제14권10호
• /
• pp.1303-1310
• /
• 2011

본 논문은 인프라 클라우딩 환경에서 데이터를 소유한 소유자 노드와 데이터를 보관하는 보관 노드 그리고 데이터를 검증하는 검증 노드로 구성된 자가 조직 저장 매체 보안을 위한 3자간 협상 프로토콜을 설계를 제안한다. 제안한 자가 조직 저장 매체의 보안기법은 보관 노드의 데이터 검증을 검증 노드에게 위임함으로써 데이터 검증의 효율성을 증가시키고, EC-DH 알고리즘을 이용하여 생성된 암호키와 저장 매체 내의 인증서로 보안을 강화시켰다. 또한, 자가 조직 저장 매체를 구성할 때, 3자간 인증키를 설정하여 외부적인 플러딩 공격 방지하고, 검증노드의 개수를 제한함으로써 내부적인 플러딩 공격을 방지하였다. 그리고 검증단계에서 발생할 수 있는 재전송 공격은 검증을 요청할 때마다 새롭게 생성된 Seed 값을 이용하여 자동적으로 재전송 공격을 탐지하도록 하였다.

• 한국정보통신학회논문지
• /
• 제25권2호
• /
• pp.259-266
• /
• 2021

USB 버스는 편리하게 사용할 수 있고 빠르게 데이터를 전송하는 장점이 있어서, FPGA 개발보드와 PC 사이의 표준적인 인터페이스이다. 본 논문에서는 Cypress FX3 USB 3 브릿지 칩에 대한 slave FIFO 인터페이스를 사용하여 FPGA 검증 시스템을 구현하였다. slave FIFO 인터페이스 모듈은 FIFO 구조의 호스트 인터페이스 모듈과 마스터 버스 제어기와 명령 해독기로 구성되며, FX3 브릿지 칩에 대한 스트리밍 데이터 통신과 사용자 설계 회로에 대한 메모리 맵 형태의 입출력 인터페이스를 지원한다. 설계 검증 시스템에는 Cypress FX3 칩과 Xilinx Artix FPGA (XC7A35T-1C5G3241) 칩으로 구성된 ZestSC3 보드가 사용되었다. C++ DLL 라이브러리와 비주얼 C# 언어를 사용하여 개발한 GUI 소프트웨어를 사용하여, 사용자 설계 회로에 대한 FPGA 검증 시스템이 다양한 클록 주파수 환경에서 올바로 동작함을 확인하였다. 설계한 FPGA 검증 시스템의 slave FIFO 인터페이스 회로는 모듈화 구조를 갖고 있어서 메모리맵 인터페이스를 갖는 다른 사용자 설계 회로에도 응용이 가능하다.

• 항공우주기술
• /
• 제10권2호
• /
• pp.37-48
• /
• 2011

영상 레이더(SAR)는 날씨나 밤낮에 관계없이 전천후로 고해상도의 지구 관측을 가능하게 하는 강력하고 잘 정립된 마이크로웨이브 원격 탐사 기술이다. 한국항공우주연구원에서는 올해 발사될 예정인 우리나라 최초의 영상 레이더 위성을 개발해오고 있다. 영상 레이더 위성은 크게 위성 본체와 SAR 탑재체로 이루어진다. SAR 탑재체는 고출력의 전력을 SAR 안테나를 통하여 방사하기 때문에 설계 단계에서의 고주파 호환성 있는 설계와 시험단계에서의 고주파 호환성 검증이 실제 궤도 상에서 성능 보장을 위해서 무엇보다 중요한 절차이다. 본 연구에서는 영상 레이더 위성의 고주파 호환성을 위한 설계 기준과 검증 절차에 대하여 기술한다. 부가적으로 본 논문은 영상 레이더 위성의 RF 성능의 강건성 검증을 위한 RF 전체 방사 시험(RF 자체 호환성 시험)과 시험 형상 그리고 시험 결과에 대하여 기술한다.