• 대한전자공학회논문지TC
• /
• 제45권2호
• /
• pp.111-118
• /
• 2008

본 논문은 모바일 애드 혹 네트워크에서 실시간 서비스를 지원하기 위한 새로운 매체 접속 기법 time-slot reservation coordination function(TRCF)과 이를 평가하기위한 수학적 모델을 제시한다. 모바일 애드 혹 네트워크에서 실시간 서비스 지원을 위한 연구는 대부분 DCF를 활용해 왔다. 그러나 이런 연구들은 지연에 민감한 실시간 트래픽을 지원할 수 없다. 우리의 프로토콜은 TRCF와 DCF 두 부분으로 구성되어진다. TRCF는 실시간 서비스를 위해 예약 기법이 적용된 TDMA 기반 모드(MODE)이고 DCF는 best effort 트래픽 지원을 위해 IEEE 802.11 표준의 기능이 그대로 유지된다. 그리고 실시간 서비스를 위해 64Kbps 음성 전화 서비스를 고려한다. 본 논문은 또한 제안된 MAC을 평가하기 위해 마코프 체인을 사용한 성능 분석 모델을 제시한다. TDMA의 특성을 고려하여 시간변화에 따른 마코브 체인의 상태와 천이 확률이 유도된다. 제안된 성능 평가 모델을 통해 음성 전화 서비스가 연결되어지기까지 소요되는 평균대기 시간, 처리량, 지연과 같은 성능 측정값을 도출한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2019년도 학술발표회
• /
• pp.108-108
• /
• 2019

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

• 정보보호학회논문지
• /
• 제19권4호
• /
• pp.91-103
• /
• 2009

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계 (Cryptographic Module Validation Program, CMVP) 내에서 시험 (또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM) 이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점 을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.482-488
• /
• 2000

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

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.130-135
• /
• 2006

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

• 한국멀티미디어학회논문지
• /
• 제20권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년 춘계학술대회논문집
• /
• 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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 제14회 신호처리 합동 학술대회 논문집
• /
• 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년도 추계 학술대회논문집
• /
• 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.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2011년도 한국우주과학회보 제20권1호
• /
• pp.20.4-21
• /
• 2011

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