• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.185-185
• /
• 2018

광학우적계(PARSIVEL)는 강수 입자의 정확한 직경 및 분포 분석에 용이한 이유로 정밀 기상관측과 레이더 및 우량계 검보정을 위해 널리 사용되고 있다. 하지만 PARSIVEL S/W의 경우, 관측 순간의 각종 변수 및 분석 결과를 이해하기에 용이하나 강우 이벤트 전체를 분석하기 위해서는 별도의 후처리가 요구되는 번거로움이 있다. 본 연구에서는 소형레이더 및 전파강수계의 비교검증 효율성 향상을 위해 그림 1과 같이 PARSIVEL의 자료구조 및 포맷을 분석하여, 즉각적으로 원하는 강우 이벤트에 대해 다양한 분석도구를 적용할 수 있는 S/W를 개발하였다. 그림 2로부터 개발된 S/W로부터의 분석결과를 나타내었으며, 다양한 실험을 통해 제안한 S/W를 이용함으로써 각종 강우량계 비교검증 시 강수분석을 용이하게 함을 확인하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2007.02a
• /
• pp.158-161
• /
• 2007

Malware는 인터넷 혹은 일반 네트워크사용자의 컴퓨터에 설치되어 의도하지 않은 악의적인 행위와 정보의 유출을 목적으로 하는 프로그램이다. Malware의 성향 분석은 Malware의 행위를 분석하는 것으로서 실제 Malware의 행위를 이용하여 가상의 Malware를 생성하고 두 Malware가 가지는 전파 과정상의 트래픽을 비교함으로써, 네트워크 상의 특성을 비교 및 검증할 수 있다. 본 논문에서는 Malware를 분석하고 가상 Malware를 제작하여 두 Malware가 발생하는 행위, 즉 네트워크 트래픽 데이터를 비교하여 가상의 Malware가 실제의 Malware와 동일한 네트워크 트래픽을 발생 시키는지 확인하기 위해 통계적인 모델링 기법인 GAM 을 이용해 비교 및 검증하는 방법에 대해 제안한다.

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

최근 하천 횡단구조물로 형성된 호소 및 저수지에는 오랜 시간동안 다양한 유기 퇴적물이 유입되고 오염되어 호소환경 및 호소 생태계에 악영향을 미칠 수 있으며, 환경 여건에 따라 메탄과 온실가스를 유발할 수도 있다. 이러한 온실가스를 검출하고 그 원인을 파악하여 감축하는 일련의 기술이 국가적인 온실가스 감축 정책과 맞물려 새로운 이슈로 등장하였다. 일반적으로 메탄가스를 측정하는 실험은 BMP(Biochemical Methane Potential)-Test이며, 수치모의에 비해 BMP-Test는 수심이 깊은 지역이나 유속이 빠른 구역에는 적용이 어려운 한계가 존재한다. 이러한 BMP-Test의 한계점을 보완하는 차원에서 사전검증된 수치모형 COMSOL Multiphysics 소프트웨어를 이용하여 메탄가스 발생기작을 재현 및 도출하고 실내 실험결과와 비교 분석하였다. 첫째, COMSOL Multiphysics가 호소에서 발생하는 메탄가스 발생기작의 재현 타당성을 입증하기 위해 동일한 조건의 인공합성된 유기물을 이용한 실내 실험에서 수행된 BMP-Test와 비교·분석을 수행하였다. 둘째, COMSOL Multiphysics에 TOC(총유기탄소), TP(총 인)에 따른 유기물 조건과 메탄 발생 화학식을 설정하여 온도에 따른 메탄 생성량과 반응상수를 산출하였고, 이를 BMP-Test 결과와 비교하였다. BMP-Test의 비교·분석 결과를 바탕으로 하천 및 호소에서 발생하는 메탄가스 발생에 대한 COMSOL Multiphysics의 활용가능성을 검증하였다. 향후 하천 및 호소로부터의 발생가능한 온실가스 감축 목표를 달성하기 위한 하천 유기물 환경의 평가 또는 최적화 조성에 유사한 검증과정을 거친 COMSOL Multiphysics를 활용할 수 있을 거라 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.219-222
• /
• 2015

하드웨어 검증은 하드웨어 디자인 단계에서 필수 요소이다. 하드웨어 검증은 시뮬레이션 방식과 에뮬레이션 방식으로 나뉘며, 상대적으로 빠른 에뮬레이션 방식을 이용해 최종적으로 하드웨어를 검증한다. 하지만 에뮬레이션 방식 역시 실제 하드웨어의 동작과 비교하면 상당히 느린 편이다. 본 연구는 보다 빠른 에뮬레이션이 가능한 Xilinx의 하이브리드 에뮬레이션 디바이스 Zynq의 성능을 정량화하여 에뮬레이션 장비와 실제 하드웨어 장비의 성능을 비교 및 분석한다. Zynq의 비교 대상으로는 이와 유사한 하드웨어 구조 및 사양을 가진 상용 디바이스 Tegra3를 비교하였다. 실험 결과 Zynq는 Tegra3에 비해 벤치마크의 수행에 있어서 상대적으로 낮은 성능을 보였다. 하지만 Zynq는 에뮬레이션 환경인 것을 감안하면 병렬성이나 벤치마크 실행 속도 측면에서 기존의 에뮬레이션 환경보다 높은 성능을 보여 주었다.

• Review of KIISC
• /
• v.17 no.6
• /
• pp.41-56
• /
• 2007

정보시스템의 보호를 위한 정보보호 제품의 경우, CC를 바탕으로 하는 '정보보호시스템 평가제도'를 통해 평가 및 인증하며, 정보보호제품을 구현한 암호모듈의 경우, '암호모듈검증제도'(CMVP)를 통해 시험 및 검증한다. 본 글에서는 사실상의 국제기준인 미국 및 카나다의 CMVP의 새로운 검증기준 후보인 FIPS PUB 140-3의 변화내용을 분석한다. 또한, FIPS 140-1, FIPS 140-2, ISO/IEC 19790(즉, FIPS 140-2의 국제표준)의 내용과도 비교한다.

• Water for future
• /
• v.45 no.8
• /
• pp.50-55
• /
• 2012

본 연구는 레이더 반사도를 이용한 RAD-RAR시스템의 개발내용에 대한 설명과 이를 검증하기 위해 2006년 레이더 반사도를 이용한 RAD-RAR시스템의 강우량 추정값과 지상 AWS 강우량관측값을 비교 하였다. 2006년 전체를 보았을 때 RAD-RAR의 일 누적관측값은 지상강우량과 비교하여 약 0.84로 높은 상관계수를 보였다. 또한 본 연구에서 북한 지역 등의 지상 관측 공백지역에 대한 강수량 모니터링의 필요성의 증가 때문에, 2009년 황강댐 부근에서 발생한 강수사례를 분석하여보았다. 북한 지역에 대해서는 GTS 지점에서 황강댐 방류 기간에 대해서 비교 및 검증을 수행하였다. 북한 지역에 대한 사례분석 결과는 상관도가 0.75로 남한 지역(상관도: 0.85)에 비해서 상대적으로 낮게 나타났다. 이는 북한 지역에 대한 검증시 사용된 샘플링의 수가 적었기 때문에 일반화하기 어렵고 또한 북한 지역의 GTS 지점에서 관측된 강수량 자료의 높은 신뢰도를 얻기 어려우므로 더 추가적인 분석이 필요하다.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.335-336
• /
• 2007

본 논문은 표면실장기판을 위한 자동 광학 검사 시스템에서 사용되는 알고리즘을 종류 별로 비교 분석한다. 비교된 부품 검사 알고리즘은 공간영역에서의 템플릿 매칭 방법을 사용한다. 각 방법에는 장단점이 있으며 주된 비교항목은 검사 속도와 검사 정확도에 대한 비교 분석을 한다. 비교 및 분석을 통해 부품검사 알고리즘의 속도 및 정확도 향상의 방향을 제시한다. 실험 결과를 제시하여 비교된 알고리즘의 성능을 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.2245-2248
• /
• 2003

본 논문에서는 Kerberos 인증 메커니즘과 Kerberos에 공개키기반의 환경을 결합시킨 PKINIT, PKTAPP, PKCROSS을 비교 분석하였다. 각 인증 메커니즘에서 키 교환을 위환 비밀키 및 공개키의 암 복호화, 서명 및 서명검증 등의 횟수를 분석하고 이를 기반으로 실제 인증에 소요되는 연산시간을 비교하였다. 분석 방법 및 견과를 다양한 환경에 적용한 적절한 인증 메커니즘을 선택하는데 활용할 수 있으며, 특히 모바일과 같은 연산능력이 제한되는 환경에 적합한 인증 기법 개발에 적용시키고자 한다.

• Fire Science and Engineering
• /
• v.24 no.5
• /
• pp.60-67
• /
• 2010

Fire model shall be verified and validated to reliably predict the consequences of fires within its limitations. Generally the verification and validation procedures are conducted by comparison with experimental test data. This study aims to evaluate predictive capabilities of FDS in the pool fire with two rooms and the sensitivity between input parameters such as heat release rate and ventilation rate and the output values like temperature, concentration, and heat flux. The predictive capabilities of FDS will be evaluated by comparing FDS simulation results with PRISME experimental data which result from the international fire test project. The sensitivity analysis will be conducted to decide which one of input parameters affects outcomes by comparison of FDS results with ${\pm}$ 10% changes of input parameter. From this study, the FDS predictive capabilities are within 20% error range. Heat release rate as input parameter affects most of outcomes and flow rate only has relation with concentration of oxygen and combustion products.

• 사료
• /
• s.58
• /
• pp.78-82
• /
• 2012

본회 사료기술연구소는 사료검정기관으로서 혹은 자가품질검사를 위한 성분분석을 위해 분석서비스를 회원사에 제공하는 분석기관으로서 분석능력에 대한 신뢰도 제고와 정도관리를 위한 여러 가지 실적을 대내외적으로 요청받고 있다. 검증된 결과와 신뢰도를 유지하기 위한 노력의 일환으로 국제 Check sample program에 참가하거나 국내외 기관이 참가하는 각종 비교분석프로그램을 주관하고 있다. 본고에서는 당 연구소가 주관 및 참가하는 Check sample program들과 국내외에 널리 알려진 FAPAS 프로그램을 간략히 소개하고 분석결과 평가방법을 비교하고자 한다.