• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.108-108
• /
• 2019

낙동강에는 2010-2012년 4대강 사업 완료 후 8개의 다기능 보가 설치되었다. 보 설치로 인해 물의 체류시간이 증가하고 보 상류에는 정체수역이 광범위하게 형성되었다. 이후 지속된 가뭄과 여름철 고온현상이 겹치면서 남조류의 과잉성장(녹조현상)이 빈번히 발생하여 수생태계 건강성에 문제를 초래하는 등 사회적 이슈로 자리잡게 되었다. 조류의 과잉성장을 해결하기 위해 정부에서는 총인(TP) 방류수 수질기준 강화, 펄스형 방류기법 운영 등 대책을 추진하였으며, 녹조 우심지역을 선정하고 지역 특성에 맞는 대응방안을 수립하여 추진하고 있으나, 그 효과가 국부적이고 일시적이어서 근원적 대책 마련이 필요한 실정이다. 일반적으로 남조류의 과잉성장에 영향을 미치는 요소는 높은 영양염류(질소, 인)와 유기물 농도, 고온과 안정적인 성층강도, 그리고 남조류의 생리적 특성 등으로 매우 다양하기 때문에 정확한 발생 원인의 분석이 어려운 경우가 많다. 그러나, 보에 의해 흐름이 조절되는 하천에서는 유량, 유속 및 수온성층 등이 남조류 성장과 천이특성에 가장 민감한 영향을 미친다. 선행 연구사례에서는 유량과 남조류 생체량이 서로 반비례 관계를 가진다는 점과 상 하층간의 온도차(수온성층)가 남조류 우점과 밀접한 관련이 있다는 것을 보였다(Sherman et al. 1998). 따라서 최근 국내에서도 보의 관리수위를 낮추어 유속을 증가시키고 체류시간을 감소시켜 녹조문제를 완화하려는 노력이 추진 중이다. 하지만 하천의 수질은 물리적, 화학적, 생물학적 요인들의 복잡한 상호작용의 결과이므로, 단기간의 측정 결과로 보 수위 저하의 효과를 평가하는데 어려움이 있다. 따라서 이를 과학적으로 평가하기 위해서 수리 수질 생태의 연동해석이 가능한 수치모델을 활용할 필요가 있다. 수치모델은 매개변수를 충분히 보정한다면, 다른 모든 요인은 동일한 조건에서 보 수위 저하만의 영향을 예측하는데 활용가능하다. 본 연구의 목적은 낙동강 수계 중류에 위치한 칠곡보-강정고령보 구간을 대상으로 3차원 수리 수질모델인 EFDC를 구축하고, 실측 자료를 이용하여 모델을 보정한 후 보 관리수위의 저하운영 시나리오에 따른 수질과 남조류의 시 공간적 변동 특성을 분석하는데 있다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.4
• /
• pp.91-103
• /
• 2009

A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

• Journal of KIISE:Information Networking
• /
• v.27 no.4
• /
• pp.482-488
• /
• 2000

프로토콜 검증에 있어서 reachability analysis를 사용하는 방법은 널리 알려지고 많이 사용되는 방법이다. Reachability analysis를 통한 검증 방법에 있어서는 프로토콜의 동작을 나타내는 reachability graph의 생성이 중요하다. 그러나 시간이 관련되는 경우 발생하는 상태 수 폭증또는 시간의 실수적 성질의 문제가 있어서 reachability graph의 생성에 큰 장애가 되어왔다. 실시간 시스템이나 프로토콜에 있어서 타이머는 대기 시간의 한계를 지정하거나 일정한 시간간격을 시스템에 알릴 수 있도록 하는 등 시간의 상대적 기준점으로 사용되며 이외에도 여러 가지 용도로 타이머를 사용하게 되어 프로토콜을 모델링하는데 있어서 타이머는 불가결하다. 본 논문에서는 타이머를 모델링하지 못하며 통신 프로토콜과 그 환경을 모델링하는데 적절치 못하던 기존의 방법과 달리 타이머를 포함하며 통신 프로토콜과 그환경을 적절히 표현할 수 있도록 시스템을 기술하는 방법과 함께 상대적 시간 개념으로 천이와 타이머를 다루는 방법을 통해서 시간개념과 타이머가 들어있는 프로토콜의 reachability graph를 유도하는 방법을 제안하였다. 제안한 방법을 통해서 기존방법으로는 찾아낼수 없었던 시스템의 오류를 찾아낼 수 있었다. 이를 통해 보다 실제 프로토콜에 가깝에 모델링하고 검증할 수 있는 기반을 마련하고 있다.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.130-135
• /
• 2006

본 논문에서는 상황 인지(Context Aware)를 이용한 제스처 인식 방법에 대하여 기술한다. 기존의 인식 방법들은 대부분 제스처의 개별적인 의미를 중심으로 제스처를 분류하는 방법을 사용한다. 그러나 이러한 방법들은 인식 알고리즘을 일반화하는데 있어서 다음과 같은 문제점들을 가지고 있다. 첫째, 인간의 모든 제스처를 제한된 특징으로 모호하지 않게 구별하기 어렵다. 둘째, 같은 제스처라 할지라도 상황에 따라 다른 의미를 내포할 수 있다. 이러한 문제점들을 해결하고자 본 논문에서는 확률 기반의 상황 인지 모델을 이용한 제스처 인식 방법을 제안한다. 이 방법은 제스처의 개별적인 의미를 인식하기 전에 대상의 상황을 추상적으로 분류함으로써 행위자의 의도를 정확히 파악할 수 있다. 본 방법은 시스템의 상태를 [NULL], [OBJECT], [POSTURE], [GLOBAL], [LOCAL]의 5 가지 상태로 정의한 뒤, 각 상태의 천이를 바탕으로 대상의 상황을 판단한다. 이러한 상황 정보에 따라 각 상태에 최적화된 인식 알고리즘을 적용함으로써 지능적인 제스처 인식을 수행할 수 있으며, 기존 방법들이 갖는 제스처 인식의 제약을 완화 시키는 효과가 있다. 따라서, 제안하는 제스처 인터페이스는 자연스러운 상호 작용이 필요한 지능형 정보 가전 혹은 지능형 로봇의 HCI 로 활용될 수 있을 것이다.

• Journal of Korea Multimedia Society
• /
• v.20 no.8
• /
• pp.1357-1368
• /
• 2017

Sensor networks are used in various fields such as marine, defense, and smart home etc. Among the components of the sensor network, the sensor node collects sensor data, as one of the representative sensor network roles, and the sensor node makes a greate influence on the overall performance of the sensor network. Therefore, how to design the sensor node is an important issue in the sensor network field. However, the research on the sensor network architecture suitable for the sensor network installation environment has been made more important than the research on how to configure the sensor node. In this paper, we propose to identify elements to be considered for designing a sensor node that makes a large influence on the performance of the sensor network, and to easily implement the sensor node through the state transition model based on these elements.

• 한국전산유체공학회:학술대회논문집
• /
• 2009.04a
• /
• pp.87-89
• /
• 2009

In the present paper, transition turbulence model is applied to the NACA64(3)618 and detailed flow features are studied. The turbulence model is sensitive to the boundary layer grid quality and y+ of the grid was limited to 1. The prediction of the transition region is dependent on the local flow condition. The pressure coefficient distribution of the transition turbulence model is compared with that of the fully turbulent mode and the drag distribution of the transition turbulence model was compared with that of the wind tunnel test.

• Proceedings of the IEEK Conference
• /
• 2001.09a
• /
• pp.421-424
• /
• 2001

개별적인 인식기를 하나의 단일 인식 시스템으로 구성하여 음성과 문자를 인식할 수 있는 공용인식시스템의 성능향상을 위해 온라인 필기에서 전역적인 정보를 추출할 수 있는 비트맵 파라미터 추출 방법을 제안하였다. 제안된 방식에서는 고속의 파라미터 추출을 위해 보간법을 이용한 재샘플링 과정 대신에 새로운 시간열을 구성하는 방식을 이용한다. 제안한 비트맵 파라미터를 본 연구실에서 개발한 음성/문자 공용인식 시스템에 적용하기 위하여 67개의 자소를 5상태 10천이 CHMM(Continuous Hidden Markov Model)모델로 구성한 다음 인식알고리즘으로서는 상태단위로 지속 시간 정보를 제어하는 OnePassDP법을 이용하였다. 실험결과, 제안한 방법을 이용한 경우, 자소인식률은 61.3%에서 85.3%로 24%의 인식률 향상을 가져왔으며, 글자인식률은 64.3%에서 82.2%로 17.9%의 인식률 향상을 가져와 제안한 방법의 유효성을 확인할 수 있었다.

• 한국전산유체공학회:학술대회논문집
• /
• 2000.10a
• /
• pp.15-24
• /
• 2000

The transient response of an airfoil to a rapidly deploying spoiler is numerically investigated using the turbulent compressible Navier-Stokes equations in two dimensions. Algebraic Baldwin-Lomax model, Wilcox $\kappa-\omega$ model, and SST $\kappa-\omega$ turbulence model are used to calculate the unsteady separated flow due to the rapid spoiler deployment. The spoiler motion relative to a stationary airfoil is treated by an overset grid hounded by a Dynamic Domain-Dividing Line which has been devised by the authors. The adverse effects of the spoiler influenced by the spoiler location and the hinge gap are expounded. The numerical results are in reasonably good agreement with the existing experimental data.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.20.4-21
• /
• 2011

최근의 연구결과에 의하면 점근거성계열 단계에서 방출된 질소, 탄소, 산소 등 상대적으로 가벼운 원소들이 헬륨과 함께 구상성단의 화학적 진화에 영향을 미치는 것으로 밝혀졌다. 특히 Ventura & D'Anatona(2009)에 의하면 M15와 같이 중원소 함량이 낮은 구상성단일 경우 이 영향이 더욱 두드러진다. 우리는 이 효과가 구상성단 M15의 특이 수평계열 형태 및 Sandage 주기 천이현상에 미치는 영향을 연구하기 위하여 질소 및 헬륨 함량이 대폭 증가된 항성진화트랙 및 종족합성모델을 구현하였다.

• 한국전산유체공학회:학술대회논문집
• /
• 2004.03a
• /
• pp.172-177
• /
• 2004

In the present work, we have interests on the modification of parallel implemented with MPI(Message Passing Interface) programming method, 3-Dimensional, unsteady, incompressible Navier-Stokes equation solver to analyze the low-Reynolds number flow In order to accurate calculation aerodynamic coefficients in low-Reynolds number flow field, we modified the two-equation turbulence model. This paper describes the development and validation of a new two-equation model for the prediction of flow transition. It is based on Mentor's low Reynolds $\kappa-\omega$ model with modifications to include Total Stresses Limitation (TSL) and Separation Transition Trigger (STT)