• IEMEK Journal of Embedded Systems and Applications
• /
• v.2 no.1
• /
• pp.9-16
• /
• 2007

본 논문에서는 차세대 통신 플랫폼을 위한 PCI 익스프레스의 전송계층과 데이터 연결계층의 모든 기능을 지원하는 PCI 익스프레스 컨트롤러를 설계하였다. 설계된 컨트롤러를 효과적으로 제어하기 위해 8051 마이크로프로세서를 이용하였다. 또한, 본 논문에서는 PCI 익스프레스 컨트롤러와 8051 마이크로프로세서의 통합 검증을 위한 방법으로 벡터 생성 부분, 테스트 벤치, 그리고 메모리로 구성된 테스트 벤치를 하나의 가상 마이크로프로세서로 가정하였다. 그리고 PCI 익스프레스의 모든 프로토콜을 지원할 수 있는 어셈블리 수준의 명령어들을 테스트 벤치에 적용되도록 하였다. 특히 일반적인 기본 동작 검증과 설계 기반 검증에서 찾지 못한 특수 경우의 에러를 찾기 위한 검증을 위해 랜덤 검증 환경 및 테스트 파라미터를 정의 하였다. 제안된 검증 환경과 명령어를 통해 설계된 PCI 컨트롤러의 검증 결과 랜덤 테스트 검증을 통해 효과적으로 오류를 찾을 수 있었다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.905-905
• /
• 2012

현재 도시유역의 홍수피해를 경감시키기 위한 방안으로 우수유출 저감시설에 대한 연구가 활발히 진행 중에 있다. 그러나 침투형 우수유출 저감시설의 경우 침투량 산정에 필요한 여러 인자 중 토성에 의해 저감 능력에 많은 차이를 보이고 있으며, 강우시 침투로 인한 토양내 함수비의 변화와 선행강우 조건 등에 의해 정량적인 분석이 어려워 활용도가 미흡한 실정이다. 따라서 본 연구에서는 2009년 국립방재연구원에서 시행한 침투실험 자료의 조건과 동일하게 투수계수 및 형상이 다른 두 종류의 투수성 보도블록 A, B와 토양내 선행강우의 유무에 대하여 표 1과 같이 검증 케이스로 구분하고, 4 가지의 강우강도로 모의 조건을 설정한 후 불포화 투수층의 침투해석을 실시하고 실험결과를 이용하여 모의결과에 대한 검증을 시행하였으며, 모의 결과의 검증을 뒷받침하기 위하여 통계적인 적합도를 나타내는 평균제곱오차(RMSE), 평균편차비율(PBIAS), 모형 효율성 계수(NSE), 지속성 모형효율성 계수(PME)을 산정해 보았다. 검증 결과 그림 1과 같이 투수성 보도블록 B의 형태가 투수성 보도블록 A의 형태보다 적합도가 높게 나타났고, 50mm/hr의 강우강도에서 변동성이 크게 나타났으나, 50mm/hr를 제외한 나머지 강우조건에서 양호한 적합도를 보였으며, 선행강우가 있는 조건이 선행강우가 없는 조건에 비해 높은 적합도를 나타내었다.

• Journal of Advanced Navigation Technology
• /
• v.27 no.5
• /
• pp.574-579
• /
• 2023

The radar flight test has many restrictions on simulating various targets, clutter and jamming signal. Therefore, in this study, a radar HILS system that performs a radar operation simulation function according to an operation scenario was developed. Radar HILS simulates the radar mission environment through radar beam operation simulation, radar operation control, simulated signal generation, and flight attitude simulation.. HILS generates and modulates simulated target signals(single, multiple targets) containing radar mission environments(clutter, jamming etc.) based on flight scenarios, and transmits them to AESA radar over RF. And Scenario-based radar performance was verified by detecting simulated targets and confirming detection results.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.41-41
• /
• 2022

홍수는 단기간의 사상이다. 평상시 유량은 일단위로 연속유량이라 한다. 홍수해석은 사상 모형을 이용하고, 물 이용의 용수계획에서는 연속 모형에 의한다. 평상시 유량을 홍수처럼 10분, 30분, 60분 단위로 해석할 수 있으면 여러 가지로 편리하다. 홍수기에는 홍수와 이수를 동시에 분석할 수 있는 이점이 있다. 평상시에는 수문자료가 생성되는 기본단위가 10분, 60분이기 때문에 이와 일치하여 유량을 해석할 수 있는 이점이 있다. 특히 저수지에서는 운영자료가 저수율 자료만 관리되고 있는 현실을 감안하면, 연속 홍수모의의 필요성은 매우 높다. 다목적댐도 그 편의성은 말로 형용할 수 없는 수준이다. 홍수모의는 첨두유량도 중요하고, 전체 누적유량도 중요하다. 여기서는 당초 일 단위로 개발된 ONE 모형으로 연속 홍수모의의 가능성을 타진했다. 모형의 검증은 홍수사상 마다 훨씬 긴 장기간의 댐의 유입량, 저수량 오차로 실시했다. 유입량이 누적되면 저수량이 되기 때문에 저수량을 비교하면 확실한 검증 방법이 된다. 유역면적 930.0km², 총저수량 8억1,500만m³인 용담댐과 유역면적 218.80km², 유효저수량 3,498만m³인 탑정지를 대상으로 60단위의 장기간 연속 홍수모의 결과를 제시한다. 첫째, 용담댐에 대해 2020년 3월1일부터 6월30일까지 연속유입량을 모의한 결과(ONE모형 매개변수 α=3.18), 면적우량은 최대 12.5mm, 총 371.2mm(3억4,522만m³)였고, 유입량은 최대 1,363.0m³/s, 총 1억8,326만m³로 유출률 53.1%였다, 관측 유입량은 최대 766.1m³/s, 총 2억9,152만m³로 유출률 84.4%로 나타났다. 관측 유입량이 높은 것으로 평가했는데 그 이유는 산정된 유입량이 넓은 수면적에서 오는 음유입량이 발생하는데 이를 0으로 처리하고, 음의 누적 값이 전체유량에 더해지는 계산의 한계에서 비롯한다. 이는 현실적 제한이며, 개선이 필요하다. 댐 수위로 검증한 결과는 관측수위는 EL.257.97~262.92m, 평균 EL.260.40m, 모의수위는 EL.257.22~262.88m, 평균 EL.260.02m로 나타났고, RMSE는 0.174, NSE는 0.959, R²는 0.968로 만족한 결과를 얻었다. 둘째, 탑정지에 대해 2020년 3월1일부터 6월30일까지 연속유입량을 모의한 결과(ONE모형 매개변수 α=3.18), 면적우량은 최대 18.5mm, 총 311.4mm(6,813만m³)였고, 유입량은 최대 187.8m³/s, 총 3,691만m³로 유출률 54.2%였다. 저수지 수위로 검증한 결과 관측수위는 EL.26.55~29.79m, 평균 EL.29.01m, 모의수위는 EL.26.16~29.92m, 평균 EL.29.07m로 나타났고, RMSE는 0.563, NSE는 0.877, R²는 0.943로 만족한 결과를 얻었다. 정리하면 2020년 4개월의 장기간 용담댐과 탑정지에 대한 1시간 간격의 연속 홍수모의의 결과는 그 활용 가능성이 충분하다고 말하고 있다. 이 결과로부터 평상시 댐과 저수지의 실시간 운영자료 검증 및 생산체제의 수문관측업무에 활용 가능한 것으로 평가했다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.1737-1741
• /
• 2008

하천 개수나 치수를 위한 기초 연구의 일환으로 수치모형을 이용한 검증 및 예측 과정이 요구되어 왔고, 고전적인 수치모의 방법으로 결과 산출이 용이한 1차원 모형을 적용시켜 왔다. 1차원 모형의 경우 모의영역을 쉽게 넓힐 수 있고, 입력 자료가 간단하다는 장점이 있지만, 수직적이고 수평적인 흐름특성 변화 및 난류 구조를 보이는 3차원적인 자연하천 흐름을 종방향의 1차원적인 모의 결과를 이용하여 평가한다는 점에서 비현실적이다. 하천을 가로질러 교각이나 보와 같은 구조물이 위치하고 있거나, 좌우 비대칭적인 형상의 수로를 모의할 경우 흐름특성의 공간적인 분포는 단순한 단면 평균적인 개념으로는 설명되기 힘들다. 최근에야 비로소 수공학 관련 실무자들에 의해서 최소한 2차원 수치모형을 기본적인 평가법으로 도입해야 한다는 분위기가 감지되고 있으며, 일반적으로 한강과 같은 대하천을 모의할 경우, 대다수의 실무자들과 연구자들이 축척을 문제 삼아 수로 내부에 위치한 교각을 생략하여 2차원 모의를 수행하기도 한다. 따라서 본 연구에서는 수로 내부에 위치한 교각을 2차원 모의하는 방법에 대한 비교 평가를 수행하고자 한다. 동일한 격자를 이용하여 교각을 고려하지 않았을 경우와 교각 형상을 모의 영역에서 삭제하여 경계처리를 하였을 경우, 마지막으로 교각이 위치하고 있는 영역에 항력을 적용하였을 경우에 대해서 비교 평가한다. 이를 위하여 2차원 천수방정식을 흐름방정식으로 하는 유한요소모형을 구축하였으며, 모형의 검증을 위해 교각이 수로에 위치할 경우에 대한 실내 실험 자료와 비교한다. 또한 검증된 모형을 이용하여 교각이 포함된 한강의 일부 구간을 선정하여, 교각 모의 방법에 대한 비교 평가를 수행한다. 본 연구에서 구축된 자료 및 제시된 수치모형은 하천복원, 치수관리 측면에서 매우 유용하게 사용될 것으로 기대된다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.5
• /
• pp.446-453
• /
• 2012

As part of the integration phases in developing a UAV, a System Integration Laboratory (SIL) has been developed to provide integrated test capability for the verification of avionics system requirements. The SIL has realized primary functions that are common in manned aircraft SIL's, and specialized laying stress on test data visualization and test automation under the closed-loop structure of the ground control simulation, aircraft simulation and flight simulation components. Those design results have led to easy and sure verification of lots of complex requirements of the UAV avionics system. The functions and performances of the SIL have been proved in four gradational test steps and checked to operate successfully in aircraft System Integration Test Environment for the integration of UAV ground station and aircraft.

• Journal of Advanced Navigation Technology
• /
• v.23 no.5
• /
• pp.361-366
• /
• 2019

In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1226-1227
• /
• 2011

인버터의 응용 분야가 넓어짐에 따라 적용 부하에 대한 철저한 성능 검증이 더욱 강하게 요구되고 있다. 현재 인버터의 성능 검증은 설계기준에 명시된 토크량 측정과 가 감속 제어 알고리즘 동작 확인 등에 의존하고 있어 특정 부하에서 성능을 만족하지 못하는 문제가 발생하고 있다. 또한 이러한 문제점을 효과적으로 분석할 수 있는 장비와 시험기준이 부족한 상황이다. 이 논문에서는 하나의 시스템으로 여러 가지 응용부하를 연결하는 것과 같은 조건을 만들어주는 부하모의장치를 개발하여 인버터의 부하성능을 검증하는 방법을 제시하고, 실험을 통해 개발한 부하모의장치의 타당성을 검증한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11b
• /
• pp.590-595
• /
• 1996

원자력발전소 냉각수 정화장치내의 운전중 핵종누적량을 계산하기 위하여 계산 프로그램을 작성하여 그 적용성을 평가하였다. 발전소내 측정자료를 재구성한 모의자료를 통한 검증 및 실험을 통해 프로그램의 핵종누적량 계산을 검증하였다. 모의 발전소 측정자료를 통한 예측기법의 적용성 평가에서는 제염계수 측정시 마다 제염계수의 변화폭이 클수록 본방법의 정확성이 상대적으로 향상되었다. 실험을 통한 검증에서는 일련의 정화장치를 통과하여 저장조에 수집된 모의냉각수내 핵종농도를 분석하여 정화장치내에 누적된 핵종량을 계산, 그 결과를 본방법에서의 계산값과 비교를 하였다. 본방법의 계산값의 오차가 상대적으로 작았으며 앞서 수행한 부식생성물의 운전상황에 따른 제염효율 변화예측에 있어서도 본방법이 제염효율 변화를 추적할 수 있음을 알 수 있었다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.346-346
• /
• 2022

본 연구에서는 GPU(Graphic Processing Unit) 가속 분포형모형을 실제 유역에 적용하여 강우 유출모의 결과의 정확성과 모의시간의 효율성에 대한 분석을 수행하였다. 분포형모형의 지배방정식은 운동파모형과 Green-Ampt모형으로 구성되어 있으며, 운동파모형은 유한체적법을 이용하여 이산화 하였다. GPU 가속 모형은 CUDA(Compute Unified Device Architecture) 포트란(Fortran)을 사용하여 개발된 모형으로 수치모의시 연산시간 단축을 고려한 모형이다. 모형의 정확성과 효율성은 미호천 유역에서 발생하는 강우유출현상에 GPU 가속 운동파모형을 적용하여 분석하였다. 수치모의 결과값은 대상유역에 속한 수위관측소의 관측값과 비교하여 정확성을 검증하였고, 수치모의 소요시간은 CPU(Central Processing Unit) 기반 운동파모형의 수치모의 소요시간과 비교하여 효율성을 검증하였다. GPU 가속 운동파모형의 수치모의 결과는 관측값과 유사한 결과를 나타냈으며, 수치모의 소요시간은 본 연구에 사용된 장비를 기준으로 최대 100배 정도 단축되었다.