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

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• The Journal of the Acoustical Society of Korea
• /
• v.21 no.3
• /
• pp.274-284
• /
• 2002

Word segmentation errors occurring in text preprocessing often insert incorrect words into recognition vocabulary and cause poor language models for Korean large vocabulary continuous speech recognition. We propose an automatic word segmentation algorithm using Markov chains and syllable-based n-gram language models in order to correct word segmentation error in teat corpora. We assume that a sentence is generated from a Markov chain. Spaces and non-space characters are generated on self-transitions and other transitions of the Markov chain, respectively Then word segmentation of the sentence is obtained by finding the maximum likelihood path using syllable n-gram scores. In experimental results, the algorithm showed 91.58% word accuracy and 96.69% syllable accuracy for word segmentation of 254 sentence newspaper columns without any spaces. The algorithm improved the word accuracy from 91.00% to 96.27% for word segmentation correction at line breaks and yielded the decomposition accuracy of 96.22% for compound-noun decomposition.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.11a
• /
• pp.19-23
• /
• 2010

Injection characteristics of a kerosene swirl injector of liquid rocket engine operating at supercritical environment have been investigated. Kerosene surrogate models are proposed to model the kerosene properties. Turbulent numerical model is based on large eddy simulation and contains Soave modification of Redlich-Kwong equation of state and Chung's model. Numerical analysis results at supercritical environment are compared with the one at transcritical condition. Differences of density and viscosity are analyzed at both liquid film and core gas in the swirl injector.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.929-929
• /
• 2012

제주도는 연평균 강우량이 1,975mm에 달하는 우리나라 최다우 지역이지만 하천은 주로 한라산 정상을 중심으로 남 북사면 방향으로 급한 경사를 이루며 발달하고 있으며 하천연장은 대부분 15km 내외로 내륙지역의 하천에 비하여 매우 짧은 특성을 보이고 있다. 투수성이 높은 지질학적 특성으로 인하여 집중 호우시 짧은 기간 동안만 유출이 발생하고 평상시 대부분의 하천은 건천의 상태로 유지되고 있다. 향후 기후변화에 의하여 강우량 및 강우강도의 증가로 인한 강우패턴 변화로 집중호우 및 강력한 태풍의 가능성이 지속적으로 증가할 것으로 예측되고 있으나 제주도에서는 기초 수문자료의 확보조차 어려운 실정이며 강우사상에 따른 하천유출 특성 해석 연구는 거의 전무한 실정이다. 본 연구에서는 제주도 도심부에 위치한 화북천 유역을 대상으로 SWAT 모델 및 WMS(HEC-HMS) 모델을 이용하여 장단기 강우에 따른 유출 특성을 해석하고자 한다. 유역 내 수문 기상 자료는 기상청 관할 AWS 및 기상관측지점 자료를 수집하여 사용하였으며 DEM(미국 USGS), 토지피복도(국가수자원 종합정보시스템), 토양통도(농업과학기술원)의 자료를 각각 구축하여 모델의 입력자료로 사용하였다. 또한 제주특별자치도 수자원본부에서 운영하는 화북천 하류지점의 실 관측자료를 이용하여 모델의 결과치를 검 보정 하였으며, 모의결과의 적합성을 판단하기 위하여 상관계수의 제곱( ), 평균 제곱근 오차(RMSE), 모형 효율성계수(ME)를 이용하였다. 모델링 기법을 이용하여 장기간(2008.1.1~2010.12.31) 동안의 유출량을 산정한 결과 2008년에는 전체 유역 평균 강우량 중에서 5.66%가 유출되었으며, 2009년도에는 3.47%, 2010년도에는 8.12%가 유출되었다. 화북천 유역은 단일강우 40~50mm 발생시에도 유출은 발생하지 않으나 선행강우가 발생시에는 20mm의 강우에도 반응을 하고 50mm 이상에서 급격한 유출이 발생하는 특징을 도출하였다. 향후 유역 내의 많은 실측 유출량 관측자료를 구축하고 모델 개선을 통하여 모델링 기법을 적용한다면 보다 정밀한 하천유출량 산정 및 유출특성 해석이 가능할 것으로 판단된다.

• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.8
• /
• pp.331-338
• /
• 2022

Successor representation (SR) is a model of human reinforcement learning (RL) mimicking the underlying mechanism of hippocampal cells constructing cognitive maps. SR utilizes these learned features to adaptively respond to the frequent reward changes. In this paper, we evaluated the performance of SR under the context where changes in latent variables of environments trigger the reward structure changes. For a benchmark test, we adopted SR-Dyna, an integration of SR into goal-driven Dyna RL algorithm in the 2-stage Markov Decision Task (MDT) in which we can intentionally manipulate the latent variables - state transition uncertainty and goal-condition. To precisely investigate the characteristics of SR, we conducted the experiments while controlling each latent variable that affects the changes in reward structure. Evaluation results showed that SR-Dyna could learn to respond to the reward changes in relation to the changes in latent variables, but could not learn rapidly in that situation. This brings about the necessity to build more robust RL models that can rapidly learn to respond to the frequent changes in the environment in which latent variables and reward structure change at the same time.

• Journal of Korean Society of Forest Science
• /
• v.81 no.4
• /
• pp.325-336
• /
• 1992

The successional status and potential natural vegetation were examined in a mixed broadleaved-Abies forest located at Mt, Odae National Park. The examination was based on the subsequent process of generation replacement by understory saplings for the dominant canopy trees within 88 $5m{\times}50m$ belt transects. The transition matrix model, which was modified from mathematical theory of Markov chain, was employed to analyze the successional status of the study forest. The model suggests that the study forest is still seral, and it is considered to be more than 700 years away from the steady state or climax in terms of species composition. The simulations predict a remarkable decrease in the proportion of species composition of the present dominant Quercus mongolica and Tilia amurensi.s from current 28% and 13% to less than 3% and 5%, respectively, at the steady state. On the contrary, the proportions of Abies holophylla, Acer pseudo-sieboldianum, Carpinus cordata, and Pinus koraiensis will increase at the steady state. The ratio of mixture between deciduous and coniferous trees will be gradually changed from current 6.5 : 3.5 to 5.0 : 5.0 at equilibrium. Discussion for the problems of Quercus mongolica in successional status noted that the species behaved as a mid-successional dominant, not a climax species in the study forest. The hypothesis and sensitivity of the transition matrix model were also discussed to evaluate the applicability to the real situation. The overall results indicated that the present dynamics of the forest must reflect the seral state due to previous disturbance mainly by hyman related interference.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.367-369
• /
• 2001

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

• Journal of Korea Foresty Energy
• /
• v.22 no.3
• /
• pp.1-10
• /
• 2003

The successional status and potential natural vegetation were examined in the natural deciduous forest in Mt. Chombong area. The examination was based on the subsequent process of generation replacement by understory saplings for the dominant canopy trees within 106 20mx20m square sample plots. The transition matrix model, which was modified from mathematical theory of Markov chain, was employed to analyze the successional status of the study forest. The model suggests that study forest is still seral, and it is considered to be more than 500 years away from the steady state or climax in terms of species composition. The simulations predict a remarkable decrease in the proportion of species composition of the present dominant Quercus mongolica and Kalopanax pictus from current 42.6% and 8.1% to less than 13.3% and 0.5%, respectively, at the steady state. On the contrary, the proportions of Abies holophylla, Acer mono, Fraxinus mandshurica, Tilia amurensis, and Acer pseudo-sieboldianum will increase at the steady state. The change of predicted composition ratio was generally coincide with the result of tolerance index to be compared with the study model. The hypothesis and sensitivity of the model were also discussed to evaluate the applicability to the real situation. The overall results indicated that the present dynamics of the forest must reflect the seral state due to previous disturbance mainly by human related interference.

• Journal of IKEEE
• /
• v.11 no.4
• /
• pp.137-144
• /
• 2007

Fire Control System(FCS) errors can be classified as hardware errors and software errors, and one of the software errors is from target tracking filter which estimates target's location, velocity, acceleration, and so on. It affects function of ballistic calculation equipment significantly. For gun to form predicted hitting point accurately and enhance hitting rate, we need status information of target's future location. Target tracking filter algorithms consist of Single Singer Model, Fixed Gain filter algorithm, IMM, PBIMM and so on. This paper will design IMM tracking filer, which is going to be! applied to domestic warship. Target tracking filter using CV model, Song model and CRT model for IMM tracking filter is made, and tracking ability is analyzed through Monte-Carlo simulation.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.05a
• /
• pp.531-537
• /
• 1995

본 논문에서는 증기폭발의 전파과정을 해석하기 위한 수학적 모델을 제시하였다. 이 모델은 용융물, 용융파편, 그리고 냉각재 기상과 액상 둥 4상 유체의 2차원적인 천이거동을 지배방정식 및 관련상관식의 수치적 해를 구함으로써 증기폭발의 전파속도 및 폭발압력 등을 예측할 수 있다. 모델에 사용된 주요 상관식은 용융물 분쇄, 냉각재 상변화, 에너지 교환, 그리고 운동량 교환함으로 구성되어 있다. 냉각재의 상태를 결정하는데 있어서 냉각재의 기상과 액상 사이의 열역학적인 비평형을 허용할 수 있도록 냉각재의 상태방정식을 구성하였다. 주석/물의 증기폭발에 대한 예제계산을 수행한 결과 폭발의 전파속도 및 압력 등에 있어서 합당한 것으로 밝혀졌다. 또한 중요한 초기변수(중기 분율, 용융물 분율) 및 관련상관식에 대한 민감도 분석을 수행함으로써 모델개선을 위한 중요인자를 제시하였다.