• 한국산림과학회지
• /
• 제95권6호
• /
• pp.723-728
• /
• 2006

산림천이는 비교적 장기간에 걸쳐서 진행되는 산림 구조와 기능의 변화 과정이므로 그 진행 과정에 대하여 모델 개발 혹은 통계적 방법을 통하여 객관성을 높일 수 있다. 본 연구는 점봉산 일대 천연활엽수림의 천이 진행 과정을 정량적으로 파악하기 위하여 수종의 극성상지수와 구성 비율로 산출되는 천이지수를 추정하였고, 천이의 진행에 따른 군집의 생활형 구성 비율의 차이와 종다양성의 차이에 대하여 검토하였다. 그 결과, 신갈나무-피나무군집의 천이지수가 67.5로 가장 높은 값을 보였고, 전나무-틀메나무군집이 67.4로 그 다음 순이었으며, 가래나무-층층나무군집이 60.5로 가장 낮은 값을 보였다. 신갈나무-피나무군집을 제외한 대부분 군집에서 미래의 안정상태의 상층 임관천이지수는 현재보다 증가하는 것으로 나타나 이 지역의 상층의 수종 구성은 현재 진행천이가 일어나고 있었고, 중층에서는 매체로 천이의 진행과 함께 천이지수가 증가하는 것으로 나타났으나 그 변화폭이 미미하여 중층과 하층의 천이 진척은 거의 동일 단계에 와 있음을 알 수 있었다. 천이지수의 값은 생활형 중 풍수산포형과는 유의수준 5%에서 부의 상관관계가 인정되었고, 동물산포형과는 정의 상관관계가 인정되었다. 천이지수와 교목, 관목, 초본 및 전체 종의 종풍부성 그러고 Shannon의 종다양성지수와는 상관관계가 인정되지 않았다.

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

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 1998년도 제10회 학술강연회논문집
• /
• pp.6-6
• /
• 1998

중형항공기용 터보팬 엔진의 정상상태 및 천이상태 성능을 해석하고 제어기 설계를 위한 선형모델을 구하였다. 정상상태 성능해석은 설계점으로 선정한 지상정지조건과 최대상승조건(Mach=0.78, 고도=36000ft) 및 순항조건(Mach=0.78, 고도=39000ft)을 고려하였으며, 저압압축기의 공회전 상태에서 최대 회전속도까지의 부분부하성능해석을 수행하였다. 부분부하 성능해석 결과 90% RPM 조건에서 가장 연료소모율이 적어 경제적임을 알 수 있다. 동적 성능모사는 각각의 대기조건에서 연료가 Step 증가, Ramp 증가 및 감소, Step 증가 후 Ramp 감소하는 경우에 대해 수행하였다. 모사결과 고려된 모든 조건에서 연료의 Step 증가시 고압압축기의 터빈입구온도가 제한온도를 초과하여, 보다 빠른 가속과 최적의 성능을 위해서는 적절한 제어가 필요함을 알 수 있었다. 또한 최대상승조건에서 연료를 Step 증가시킬 경우 고압압축기에서 실속이 발생하여 이에 대한 대책도 필요함을 알 수 있었다.

• 항공우주기술
• /
• 제5권2호
• /
• pp.240-247
• /
• 2006

틸트로터 항공기는 회전익모드, 천이모드, 고정익모드를 동시에 갖는 복합 형상 항공기 이다. 각 비행모드에서 최적의 상태로 비행하기위해서는 조종면 변위를 적절히 분배하고 조합하는 조종면의 혼합기설계가 요구된다. 회전익과 고정익을 전환할 수 있도록 설계돤 천이모드는 나셀각의 변경에 따른 추력선이 변경되고 이로 인해 천이모드에서 피치, 롤, 요축에 대해 불필요한 힘과 모멘트를 발생시킨다. 본 논문에서는 나셀의 틸팅각 변화에 따라 발생하는 힘과 모멘트를 다른 조종면을 통해 적절히 조절하여 일관된 항공기의 운동이 발생하도록 하는 스마트무인기 40% 축소모델에 대한 조종면 혼합기설계에 대해 서술하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.367-369
• /
• 2001

논리 회로는 하드웨어로 직접 구현할 수도 있으나, 설계된 디지털 논리를 프로그램으로 구현하고 이를 내장형 프로세서가 실행하게 하는 방식으로 구현할 수 있다. 이러한 구현은 내장형 시스템에 적합하도록 코드 크기와 실행 속도가 효율적이어야 한다. 본 논문에서는 복사 전파, 데드코드 삭제, 위상 정렬등의 컴파일러 최적화 기술과 함수 단위 모듈 개념을 도입하여 신호 흐름 분석 기법의 C 코드 자동 발생기를 구현하였다. 회로 시뮬레이션 구현 기법 중 유한 상태 천이 모델 기법으로 코드를 발생하는 Esterel 시스템과 성능 비교 실험을 한 결과, 코드 크기는 평균 84.17%로 감소되었으며 실행 속도는 평균 4.68배로 향상되었다.

• 대한토목학회논문집
• /
• 제3권3호
• /
• pp.9-18
• /
• 1983

본(本) 연구(硏究)는 Sackin, M.J. 와 Merriam, D.F. (1969) 등(等)이 암석(岩石) 및 광물(鑛物)의 구성상태변화(構成狀態變化)를 파악(把握)하기 위해 사용(使用)한 Transition Matrices의 해석방법(解析方法)을 이용(利用)하여 해운대사빈(海雲臺砂濱)의 천이특성(遷移特性)을 파악(把握)할 목적(目的)으로 현장실측자료(現場實測資料)를 토대로 확정(確定)된 천이(遷移)모델의 천이특성(遷移特性)인 특정사빈(特定砂濱)의 출현빈도(出現頻度) 및 그 기여율(寄與率)을 구(求)하였다. 또 실제(實際)의 사빈변화(砂濱變化)가 계절적(季節的)인 순환특성(循環特性)을 보이면서 파랑(波浪)에 응답(應答)하는 시문(時問)과 공간(空間)의 복합적(複合的)인 요소(要素)들을 분리(分離)하여 선형함수(線型函數)의 조합(組合)으로 분석(分析)하고자 Winant, Inmann 그리고 Nordstorm(1975) 등(等)에 의해 제시(提示)된 Empirical Eigenfunction을 해운대사빈(海雲臺砂濱)의 변형해석(變形解析)에 적용(適用)하여 변형원인(變形原因)에 관한 인자(因子)의 규명(糾明)을 시도(試圖)하였으며 분석결과(分析結果) 요지(要旨)는 다음과 같다. (1) 해운대사빈(海雲臺砂濱)의 천이특성파악(遷移特性把握)이 Transition Matrices 전개해석방법(展開解析方法)으로 가능(可能)하였다. (2) 적용(適用)된 경험적(經驗的) 고유함수(固有函數)의 전개결과(展開結果)에 의하여 해운대사빈(海雲臺砂濱) 전체(全體)의 시간(時間) 및 공간적(空間的) 변형(變形)에 대한 설명(說明)이 가능(可能)하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2010년도 제35회 추계학술대회논문집
• /
• pp.19-23
• /
• 2010

초임계 환경에서 작동하는 액체 로켓 엔진의 케로신 스월 인젝터에서 케로신 물성치에 따른 인젝터 내외에서의 분사 특성을 연구하였다. 케로신의 물성치를 계산하기 위해 surrogate 모델이 적용되었다. 난류 수치 모델은 large eddy simulation을 기반으로 하였으며 SRK 상태 방정식, Chung의 기법을 포함하고 있다. 초임계 환경의 수치 해석 결과는 천이 임계 조건의 결과와 비교되었으며 스월 인젝터 내부의 액막과 중심부 사이의 밀도 및 점성 계수 분포의 차이가 관찰되었다.

• 정보보호학회논문지
• /
• 제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을 정형적이고 쉽게 명세할 수 있는 모델이다.

• 한국통신학회논문지
• /
• 제25권1A호
• /
• pp.142-155
• /
• 2000

본 논문에서는 VBR MPEG 비디오 트래픽의 마코프 모델 기반 트래픽 기술자에 대해 효과적인 policing 방법을 제안한다. VBR 비디오 스퀀스에 대해 보다 효율적이고 정확한 자원할당 및QoS 예측을 위해 장면기반 마코프 모델을 이용한 트래픽 기술자를 사용하여 망에 그 트래픽 특성를 기술하고, 망에서는 이를 근거로 제안된 새로운 policing 알고리즘을 이용하여 모니터링을 수행한다. 마코프 모델의 안정상태 천이확률의 감시를 위해 장면상태 마다 대표성을 갖는 두 가지 감시 파라미터(평균 체류시간 및 평균 회귀시간)를 정의하여 이를 누적 평균의 형태로 모니터링 한다. 또한 장면상태의 프레임 타입별 평균 셀 발생률도 누적 평균을 이용하여 안정상태 값과 비교된다. Transient 구간에서의 변이를 고려하여 지수함수를 이용한 bounding 방법을 제시하였고, 이는 실제 비디오 시퀀스에 잘 맞는 것을 알 수 있다. 실험결과 미코프 모델 기반 트래픽 기술자에 대해 제안된 방법은 MPEG 비디오와같은 매우 복잡한 트래픽에 대해서도 효과적인 모니터링이 가능하며 부적합 트래픽에 대해서도 좋은 감시성능을 보임을 알 수 있다.