• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.133-133
• /
• 2023

풍화작용에 의해 생성된 유사는 자연 매체에 의해 이동하고 하천에 도달하기 이전이나 이후 퇴적되며, 해당 과정 중에서 하상변동, 홍수위 상승, 제방 안정성, 두부 침식, 생태환경 변화, 수질문제 등 다양한 침식과 퇴적 관련 문제들이 발생한다. 이러한 유사 문제의 해결과 지속적인 하천관리를 위해서는 유사의 생성, 이송, 그리고 퇴적 과정에 대한 충분한 이해와 정량적인 유사량을 파악하는 것이 필수적이다. 다양한 연구들을 통해서 유사량을 정량적으로 파악하기 위해 여러 종류의 모델과 공식들이 제안 되어져 왔다. 그 중 경험적 모델의 경우 실제로 관측된 값을 기반으로 하며, 복잡한 계산이나 요구하는 자료가 다른 종류의 모델들 보다 적어 쉽게 접근이 가능하다. 이러한 경험적 모델은 유사에 영향을 주는 인자를 규명하거나 특정 유역이나 지역에서 이송 및 퇴적 되는 유사의 출처와 특성을 규명하는 초기 단계에서 유용하게 이용된다. 국내 하천의 경우 여름에 강우가 집중되고 대부분의 국토가 산지로 이루어져있어 상류에서 침식이 주로 발생한다. 또한, 본류 및 하류 지역의 하천은 유사의 퇴적이 주로 일어나서 하천의 형태와 물길이 형성된 충적 하천 형태로 발전 되어있기 때문에 국내 하천에서는 전반적으로 국부적이며 다양한 형태의 유사 관련 문제가 발생한다. 국내 하천에서 발생하는 유사 관련 문제를 해결하기 위해 국내 하천의 유사량을 추정하는 다양한 경험적 모델들이 지속적으로 개발되어왔다. 하지만 과거에 개발된 모델들의 경우 계측 자료가 충분하지 않은 시기에 개발 되었으며, 현재에는 활용하기 불가능하다. 본 연구에서는 국내 하천의 비유사량을 예측하는 동시에 국내 하천의 유사 특성을 이해하기 위해 과거에 국내 하천을 대상으로 비유사량을 추정하기 위해 개발되었던 경험적 모델을 개선하였다. 본 연구를 통해 기존 경험 모델의 경우 주기적인 업데이트가 필요함을 확인하였으며, 개발된 모델의 경우 국내 하천 유사 관리를 위해 미래 유사량 예측하는 등 다양한 방면으로 활용 관리가 가능할 것으로 보인다.

• Current Industrial and Technological Trends in Aerospace
• /
• v.9 no.1
• /
• pp.110-118
• /
• 2011

In this paper, design techniques and technological trends applied on simulator development, which are based on Model Driven Architecture, are described. The methodology, process and modeling support tools for development of simulation software are introduced with both satisfaction of user's requirements and benefit to simulator developers of reducing cost. In addition, contents in ECSS standard for reusability of simulation model and its usages applied on industries are presented and major features of current technological changes with highlights of key-word are discussed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.49-51
• /
• 2003

성공적인 소프트웨어 개발을 위해서는 프로젝트 계획 수립단계에서 정확한 예측 모델을 연구하는 것이 중요하다. 소프트웨어 개발의 중요성이 대두됨에 따라 현재에는 많은 기존의 프로젝트 데이터를 보관하게 되었다. 기존의 예측모델에서는 개발환경에 따라 서로 다른 형태의 모델을 만들어 개발비용을 예측하였다. 모델의 형태에 따른 신뢰도 또한 주요 이슈로 작용하였다. 이 논문에서는 이러한 많은 프로젝트 데이터와 현재 개발하고자 하는 프로젝트에 대하여 과거의 데이터 중 가장 유사한 최적의 프로젝트를 찾아내기 위해 FP(Function Point)를 이용하는 많은 프로젝트 데이터에 유전자 알고리즘을 적용하여 최적의 유사 모델을 찾아내는 방법에 대하여 제안하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1375-1378
• /
• 2011

국방 분야의 모델링 및 시뮬레이션(Modeling & Simulation) 분야에서 재사용성 및 상호운용성 확보는 기 개발된 모델을 연동하여 시뮬레이션을 확장할 수 있다는 측면에서 핵심이 된다. 이러한 핵심기술 확보를 위해 시뮬레이션 소프트웨어의 공통 컴포넌트를 설계하고, 표준 연동 미들웨어인 Run-Time Infrastructure(RTI)를 적용한 프레임워크가 개발되었다. 한편, 시뮬레이션 환경은 목적에 따라 시뮬레이션 모델의 기능이 달라지거나, 동일한 모델이 분산 컴퓨팅뿐만 아니라 단일 컴퓨팅 환경에서도 수행되도록 요구된다. 본 논문은 이러한 요구사항을 만족시킬 수 있도록 모델 연동을 위한 플러그인 방식의 인터페이스 설계 방안을 제시하고, 분산 시뮬레이션의 동일한 모델을 단일 시스템에서 시뮬레이션 할 경우 모델 컴포넌트 간 데이터 교환 및 메시지 순서화를 제공할 수 있는 메커니즘을 기술한다.

• Korean Journal of Remote Sensing
• /
• v.38 no.3
• /
• pp.237-250
• /
• 2022

In this study, we propose a method to estimate the biomass of invertebrate grazers from the videos with underwater drones by using a multi-object tracking model based on deep learning. In order to detect invertebrate grazers by classes, we used YOLOv5 (You Only Look Once version 5). For biomass estimation we used DeepSORT (Deep Simple Online and real-time tracking). The performance of each model was evaluated on a workstation with a GPU accelerator. YOLOv5 averaged 0.9 or more mean Average Precision (mAP), and we confirmed it shows about 59 fps at 4 k resolution when using YOLOv5s model and DeepSORT algorithm. Applying the proposed method in the field, there was a tendency to be overestimated by about 28%, but it was confirmed that the level of error was low compared to the biomass estimation using object detection model only. A follow-up study is needed to improve the accuracy for the cases where frame images go out of focus continuously or underwater drones turn rapidly. However,should these issues be improved, it can be utilized in the production of decision support data in the field of invertebrate grazers control and monitoring in the future.

• Proceedings of the KIEE Conference
• /
• 2000.07a
• /
• pp.55-57
• /
• 2000

대규모의 전력을 사용하며 전력 수요가 일정하지 않고 변동하는 제철소의 전기아크로 (electric arc furnace) 부하는 전압 플릭커 (voltage flicker) 등 전력품질을 저하시키는 현상의 주 원인이 되고 있다. 따라서, 전력품질의 향상을 위한 전력계통의 계획과 운용에 있어서 이러한 부하들의 비선형적인 전압-전류 특성을 해석하고 모델링하는 것이 우선 되어야 한다. 특히 전기아크로 부하의 비선형적이고 랜덤 신호에 가까운 특성은 stochastic 접근법에 의해 주로 모델링되어 왔으나, 전기아크로 부하에 의한 전력계통에서의 영향을 평가를 위해서는 deterministic 접근법에 의한 모델링이 필요하며 전기아크로 부하가 가지는 chaos 특성을 Lorenz 시스템으로 표현한 부하모델이 개발되었다[1]. 개발된 모델에 의해 하나의 chaos 시스템으로 예측된 전기아크로 부하 패턴은 전 동작 범위에서 부하 특성을 정확하게 반영하는데 문제가 있다. 따라서, 전기아크로 부하 패턴을 표현할 수 있는 복수의 chaos 시스템을 이용하여 보다 나은 예측 특성을 가진 부하 모델의 개발이 필요하다. 본 논문에서는 기존의 Lorenz 시스템과 전기아크로 부하의 고주파영역 특성을 보다 적절하게 반영할 수 있는 Logistic 시스템을 혼합한 형태의 chaos 모델을 개발하고, 전력 계통에서의 전력품질 저하현상을 정량화하는 지수를 통해 모델의 유용성과 정확성을 검증하고자 한다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2006.04a
• /
• pp.59-63
• /
• 2006

지하수 모델 개발은 모델의 목적 설정, 자료수집, 개념모델의 수립, 모델 설계, 모델 보정 및 민감도 분석, 예측, 결과제시, 사후검사의 순으로 수행된다. 본 연구의 목표는 신뢰성 있는 지하수 모델 개발을 위해 주요 수문요소(hydraulic features)들을 개념화하는 단계에서 부딪히게 되는 문제점들을 국내의 지하수 환경에 비추어 고찰하였고, 하천 및 지하수 분수령에 대한 경계조건 설정, 암반층의 하부 경계면 설정 등과 같은 수문요소들이 내포하는 불확실성을 논의하였다. 또한 시범지역의 지하수 모델에 대한 민감도 분석을 통하여 이들이 모델 결과에 미치는 영향을 정량적으로 제시하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.376-381
• /
• 1995

규모가 큰 시스템의 연구개발 사업을 성공적으로 수행하기 위해서는 라이프 싸이클 모델에 의한 인력, 요소 기술 및 시간 자원의 효과적인 세분화와 유기적인 결합을 통해 전체 연구개발 사업에 대한 올바른 계획을 수립하고 이를 종합적으로 관리하여야 한다. 여기서 라이프 싸이클 모델(life-cycle model: 순기모델)이란 연구개발 계획 시점부터 완료 시점까지의 기간을 활동 내용에 따라 여러 단계로 정의한 모델로, 개발하고자 하는 시스템의 품질 향상 및 연구개발 사업의 성공적인 수행을 위해 필수 불가결한 요소이다. 특히 중형급(midrange)이상의 컴퓨터 시스템과 같이 구성 요소들이 순차적으로 연구개발 사업 자체의 성공적인 수행 여부 뿐만 아니라 향후 산출되는 개발 결과물의 품질에도 중요한 영향을 미친다. 그러나 우리나라는 연구개발 측면에서 큰 규모의 프로젝트를 수행한 경험이 많지 않아 이에 대한 기술 축척이 미진하며, 주로 선진 외국의 공학 기술을 그대로 사용하기 때문에 우리나라의 기술이나 연구 환경에 적합하지 않은 경우가 많아 이에 따른 시행 착오를 많이 겪어왔다. 본고에서는 1987년부터 현재까지 수행되고 있는 주전산기 연구개발 사업(주전산기 I, II, III, IV) 수행을 통해 얻은 경험을 중심으로 구성 요소들이 계층적 구조를 갖는 컴퓨터 시스템을 연구 개발하는데 필요한 하나의 라이프 싸이클 모델을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• Information and Communications Magazine
• /
• v.24 no.9
• /
• pp.67-76
• /
• 2007

차세대 이동통신 무선 채널모델이란 무선 인터페이스 구간 내에서의 신호 처리 모델로서 이동통신 시스템 개발에 필요한 알고리듬 구현 기술의 검증에 사용된다. 다중 안테나 사용의 중요성이 제기되기 이전에는 주로 전파 채널(propagation channel)에 관한 물리 현상의 분석이 무선 채널 모델의 주류를 이루었으나 전송속도의 증가 및 전송용량 증가를 위한 다중안테나사용이 본격화 되면서 안테나를 포함한 공간 채널(spatial channel)의 수학적 표현 및 전파현상 분석이 이동통신 시스템 개발에 중요한 역할을 수행한다. 본 고에서는 최근 WINNER 등에서 제시하는 B3G(Beyond 3G) 시스템 개발을 위한 채널 모델링 과정과 대표적인 다중 안테나 무선공간 채널모델 연구의 현황을 소개하며, 또한 차세대 이동통신을 위한 채널 모델링의 주요 연구 이슈를 소개한다.