• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.291-295
• /
• 2007

강수진단모형을 이용하여 저수지 이수운영을 위한 실시간 유량예측기법을 개발하였다. 강수진단모형은 현재 기상청 현업에서 수행중인 강우수치예보를 기반으로 상세 지역의 지형 효과에 의한 강수를 예측하는 정량강수예측모형(QPM; Quantitative Precipitation Model)으로서 부경대학교 환경대기과학과에서 개발된 모형이다. QPM은 중규모 예측 모형으로부터 계산된 수평 바람, 고도, 기온, 강우 강도, 그리고 상대습도 등의 예측 자료를 이용하고, 소규모 상세지형 효과를 고려함으로써 중규모 예측 모형에서 생산된 강수량 예측 값을 상세 지역의 지형을 고려한 강수량 예측 값으로 재구성하여 결과적으로 3km 간격의 상세지역 강우산출과 지형에 따른 강수량의 분포 파악이 용이할 뿐만 아니라 계산 효율성을 개선된 모형이다. QPM 검증을 위하여 기상학적 평가와 수문학적 평가를 수행하였다. 호우 사례별 일강수량의 시공간 분포로 부터, QPM을 활용한 시스템에 의한 예측결과가 원시자료 RDAPS 보다 고해상도의 예측 및 지형효과의 반영도가 높았으며, AWS의 관측자료와 비교하여 보다 높은 예측성을 보여 주었다. 대상기간인 2006년 1월 1일부터 6월 20일까지 관측강우는 총 391.5mm 였으며 RQPM은 실적강우에 비하여 119.5mm 정도 과소산정하고 있으나 분위사상과정을 거치게 되면 351.7mm로서 실적강우에 불과 10.2% 못미치고 있다. 이는 고무적인 결과로 볼 수 있으며 현업에서의 활용성이 기대되는 수준이라 볼 수 있다. 강우-유출모의를 위한 QPM신뢰도를 높이기 위하여 분위사상법(Quantile Mapping)을 이용하여 QPM모의에 존재할 수 있는 계통오차에 대한 추가적인 보정을 수행하였다. 수문학적 평가를 위하여는 장기연속유출모형인 SSARR모형을 기반으로 개발된 RRFS(Rainfall-Runoff Forecast System)을 이용하여 2006년 1월${\sim}$9월까지의 용담댐 유입량에 대하여 모의예측결과와 관측유입량 비교를 통한 검증을 수행하였다. 위 기간중 예측유입량의 RMSE(Root Mean Squared Error), COE(Sutcliffe Coefficient of Efficiency), MAE(Mean Absolute Error), $R^2$값은 각각 7.50, 0.68, 2.59, 0.69 값을 보이고 있다. 본 연구에서는 QPM에 의한 예측성의 향상 및 구축된 시스템에 의한 일강수량의 장기예측 가능성을 확인하였고, 향후 시스템을 현업에 활용하기 위해서 생산된 예측자료의 보다 장기적인 검증을 통한 시스템의 안정화가 필요할 것으로 사료된다.

• Journal of Internet Computing and Services
• /
• v.17 no.1
• /
• pp.65-71
• /
• 2016

In this paper, we propose a novel analysis method and its algorithms to perform the betweenness centrality measurements on a valued and directed workflow-supported social network. The conventional workflow-supported social network model is to represent the existences of task transferring relationships among their performers by using a binary social network. However, it is necessary to consider not only the existences of task transferring relationships but also their quantities and directions in order to obtain much more effective and sophisticated analysis results. In conclusion, this paper newly defines a concept of valued and directed workflow-supported social network, and its betweenness centrality analysis method and algorithms. Especially, to verify the proposed method and algorithms, we try to apply the conventional method and the proposed method to an example workflow model respectively, and compare their betweenness centrality analysis results.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.4
• /
• pp.479-488
• /
• 2019

The flight test operational procedure artifact includes mission planning, execution methods, and safety measures for each step of test progress. As the development of guided missiles has become more advanced and strategic, flight test has become increasingly complex and broadened. Therefore, increased reliability of the flight test operation procedures was required to ensure test safety. Particularly, the design of the flight test operational procedures required verification through M&S to predict and prepare for the uncertainty in a new test. The relevant studies have published the optimal framework development for flight tests and the model-based improvements of flight test processes, but they lacked the specificity to be applied directly to the flight test operational procedures. In addition, the flight test operational procedures, which consist of document bases, have caused problems such as limitations of analysis capabilities, insensitive expressions, and lack of scalability for the behavior and performance analysis of test resources. To improve these problems, this paper proposes how to design operational procedure of guided missile flight test system by applying MBSE(Model-based Systems Engineering). This research has improved reliability by increasing the ability to analyze the behavior and performance of test resources, and increased efficiency with the scalability applicable to multiple flight tests. That can be also used continuously for the guided missile flight tests that will be developed in the future.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.1173-1177
• /
• 2004

현재 다양한 분야에서 널리 사용되고 있는 지하투과레이더(Ground Penetrating Radar, GPR)를 이용하여 지하수면 및 함수량을 추정하였다. 비피압대수층 내에서의 얕은 포화대(saturated zone) 깊이을 산정하는 연구(livari and Doolittle, 1994, van Overmeeren, 1994)와 포화대 상부 습윤대(wetting fronts)의 거동를 조사한 연구(Vellidis et al, 1990) 등에 활용된 바 있는 GPR 기숙을 바탕으로 비피압대수층의 통기대와 포화대 내의 함수량 및 지하수면 추정을 위한 기초 실험을 수행하였다. 지하수면 및 함수량의 현장 적용성을 검증하기 위해서는 시간과 경제적인 면에서 비효율적인 점을 고려하여 사질토로 구성된 실험용 토조를 제작하여 건조시 획득된 GPR 자료, 지하수면의 변화에 따른 GPR 이미지를 비교하여 그 적용성을 검토하고 시${\cdot}$공간적 지하수면의 정확한 추정을 위해서 삼차원으로 비교${\cdot}$검토할 수 있도록 하였으며, GPR 자료의 정확성을 검증하기 위해서 토조 하부에 액주계(piezometer)를 설치하였다. 본 연구에서 적용된 GPR 실험은 획득된 이미지의 해석에 다소 어려움이 있지만 토양을 교란시키지 않고 비교적 간편하게 함수랑 및 지하수면의 위치를 파악하는데 매우 효과적이며, 추가적으로 GPR을 이용한 다양한 실험이 수행된다면 GPR 기술은 향후 기존 방법에서 쉽게 판단하기 어려운 시${\cdot}$공간적인 함수량 및 지하수의 분포 특성을 효율적으로 파악하는데 매우 큰 도움을 줄 수 있을 것이다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.2 no.3
• /
• pp.80-89
• /
• 1998

Propulsion subsystem transfers KOMPSAT into mission orbit and controls its attitude. Design factor consists of structure safety, electrical circuit design, consumable power estimation of thermal hardwares, damping device design of fuel transient pressure, and system configuration design by considering plume effect from thruster firing. System level analysis should be performed for verification of system design under launch vehicle and orbital environment. Electrical functional test of thermal control hardware, proof pressure test, cleanliness verification test, and internal/external leakage test of fuel feeding system should be carried out for performance estimation of propulsion system. Design and assembly process of propulsion subsystem was depicted and reliability of system was verified by test analysis in this paper.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.234-234
• /
• 2016

본 연구에서는 기상청 RCM으로부터 생산된 미래 이슬점자료를 이용하여 편의보정 및 시간적인 규모내림방법의 적용에 있어서 그동안 간과하고 있었던 사항들을 살펴보고, 그러한 부분들에 대한 보완방법을 100년 빈도 12-시간 지속 이슬점 산출과정을 대상으로 제안하고자 한다. 우선 기후모델로부터 도출된 자료와, 관측된 자료 사이의 일치성 여부를 먼저 확인하기 위해 기후모델로부터 도출된 자료를 이용하여 과거 관측자료와의 재현성을 평가한다. 또한 기후모델의 여러 가지 한계로 인해 생기는 불일치성을 극복하기 위해 편의보정이라는 절차를 수행하여 모델로 부터 도출된 미래 기후자료를 보정하게 된다.본 연구의 경우 5월부터 10월까지의 자료를 대상으로 매월 1-15일 시기와 16-말일로 나누어 총 12개의 시기별, 지점별(62개 지점)별로 편의보정을 수행하였다. 또한 편의보정 되어진 이슬점 자료를 바탕으로 scale-invariance 기법을 적용하여 일-단위 이슬점자료로부터 시간-단위 이슬점 정보를 추출하였다. 먼저 62개 지점별로 1981-1997년(보정기간) 17년 동안의 과거관측자료를 이용하여 시기별 일 이슬점자료로부터 시기별 12-시간 지속 100년 빈도 이슬점을 산출하는 함수관계를 구축한 후 이를 이용하여 1998-2014년(검증기간) 17년 동안의 시기별 일 이슬점 자료로부터 시기별 12-시간 지속 100년 빈도 이슬점을 산출하여, 실제 검증기간의 시간자료를 이용한 12-시간 지속 100년 빈도 이슬점과 비교해 보았다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.105-112
• /
• 2003

In this raper, we propose two simple and efficient key agreement protocols, called SEKA-H and SEKA-E, which use a pre-shared password between two parties for mutual authentication and agreeing a common session key. The SEKA-H protocol uses a hash function to verify an agreed session key. The SEKA-E Protocol, a variant of SEKA-H, uses an exponentiation operation in the verification phase. They are secure against the man-in-the-middle attack the password guessing attack and the Denning-Sacco attack and provide the perfect forward secrecy. The SEKA-H protocol is very simple in structure and provides good efficiency compared with other well-known protocols. The SEKA-E protocol is also comparable with the previous protocols.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.137-137
• /
• 2020

국지성 집중호우의 증가로 인하여 각종 수재해 역시 증가하고 있으며 수재해 피해를 막기 위해서는 강우량 정보는 매우 중요한 요소이다. 이러한 강우량의 관측은 물론 미계측 지역의 강우량 추정을 위한 면적강우량 산정은 매우 중요하며 이에 관한 연구가 활발하게 수행되고 있다. 차량용 레인센서는 강우측정이 어려운 미계측 지역의 강수량 측정이 가능하고, 실시간으로 강우정보를 생성이 가능한 강우관측 방법이다. 차량용 강우센서는 일반적인 강우관측기와 달리 물 입자가 커질수록 빛의 산란이 크게 일어나는 현상을 이용한다. 산란이 크게 일어나면 강우 센서에 입력되는 값이 줄고 이는 강수가 높다는 것을 의미하고 이러한 관계를 이용하여 강원대학교 S-R 관계식을 통해 강우량을 관측할 수 있다. 본 연구에서는 강원도 삼척시를 대상지역으로 선정하였고 삼척 레이다 정보와 인근 지상관측소 6개 정보를 이용하여 강우보정을 수행하고 차량용 레인센서 강우관측 위치는 삼척시가지 내에서 강우를 관측하였다. 보정된 강우장과 레인센서 강우자료와 삼척관측소를 제외한 5개 지상관측소 강우정보를 합성하여 면적강우량을 산정하였고 검증을 위하여 삼척관측소 강우량과 면적강우의 해당격자의 강우량 값을 비교하여 검증하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• Aerospace Engineering and Technology
• /
• v.10 no.2
• /
• pp.1-10
• /
• 2011

This is a comparative study of three inertia navigation units and focuses on the verification of reliability about GPS/INS for the SmartUAV(DGNS). Those GPS/INS have been tested using a manned aircraft and an automobile. The comparative aspect of units include details about the GPS positions and the inertia sensor performance. With the flight scenario, the DGNS guarantees the reliability of the navigation operation and performs the flight test for the development of the SmartUAV.