• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.427-429
• /
• 2002

본 연구에서는 상태도를 평탄화 하는 대신에, 띠러 기계가 동시에 수행하는 병행 기계로 상태도를 표현한 후 ROBDD를 이 용하여 상태도의 동치 여 부를 기호적으로 검사하고자 한다. 상태도가 기능적으로 동치라는 것은, 두 상태도는 같은 함수를 구현하고 있다는 것과 같다. 이 것은 로든 입력 이벤트에 대하여 두 상태도의 반응이 항상동일 한지를 판정함으로써 가능하다. 즉 상태도의 동치 검사는, 입력 이벤트가 같은 상태들의 집합이 모든 입력 에 대 해서 출력 이 같은 상태들인가라는 문제로 축소된다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.5
• /
• pp.403-410
• /
• 2010

Monad in Haskell allows one to do imperative-style programming as well as pure functional programming. In this work, we characterize monadic abstraction and its programming technique by restructuring an assembly language interpreter coded in pure functional style into the one by the monadic style. Monad programming consists of two phases; the State monad is applied to a stack and a symbol table, and then a State Monad Transformer integrating these two monads is constructed. As a result, we can see that the program code by monad programming is much clearer and more intuitive than one written in the pure functional style.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.796-800
• /
• 2009

토목구조물 및 사면의 붕괴는 집중호우가 내리는 경우 많이 발생하고 있으며, 특히 사면에서는 붕괴까지의 변형이 급속히 진행되어 이를 사전에 예방하기는 매우 어려운 현실이다. 침투 및 배수과정에서의 사면 붕괴는 강우침투로 인한 지반의 물리적 특성변화가 직접적으로 사면의 안전계수 변화에 영향을 주는 것으로 판단되며, 이때 발생하는 물리적 특성변화로는 침투시 사면 내 지반의 단위 중량은 증가하여 전단응력의 증가 및 전단강도 감소현상이 발생하며, 이와 반대로 사면 내 배수로 인하여 전단응력의 감소 및 전단강도의 증가현상이 발생한다. 따라서 본 연구에서는 강우침투로 발생하는 지반의 포화도 변화를 지반 내 투수계수의 함수로 설명하여 강우로 인한 지반의 침투 및 배수과정을 규명하고자 한다. 일반적으로 지반 내 지하수의 침투과정은 라플라스 공식을 적용한다. 그러나 라플라스 공식은 정상 상태(Steady State)일 경우에만 사용할 수 있고, 강우 등으로 인한 지하수의 수두 변화가 발생한 비정상 상태(Unsteady State)의 경우에는 부적합하므로 사면과 옹벽 등의 토질구조물에서는 안전성 변화를 계산할 수 없다. 이를 위해 사면 내 지반의 침투 및 배수과정을 투수계수의 함수로 나타내어, 강우의 침투과정을 Fourier Series, 변수분리법 및 섭동함수를 사용하여 식으로 유도함으로서 강우에 의한 지반의 침투 및 배수과정에 따른 사면 내 지하수의 분포를 예측한다. 침투과정 해석을 위하여 지표에서 포화대까지의 깊이 10m의 모델사면 및 지표부터 포화대까지의 포화도는 직선으로 비례한다는 가정을 적용한다. 먼저 푸리에 급수를 이용, 시간에 따른 온도를 열전달에 관하여 편미분하여 발생하는 열확산계수를 투수계수로 변환함에 따라 지하수의 시간과 수직방향거리에 대한 지반의 포화도를 산정한다. 변수분리법은 산정된 포화도에 지반의 초기조건과 경계조건를 고려하기 위해 적용하며, 변수분리법에 의해 산정된 지하수 분포를 섭동함수법으로 과도 및 정상상태로 분류한다. 본 연구의 수행으로 인해 얻어진 결과를 요약하면 다음과 같다. 첫째, Fourier Series와 변수분리법, 섭동함수를 이용하여 강우에 의한 지반의 포화도 변화를 수식적으로 나타낼 수 있으며 둘째, 지반에서의 강우침투과정을 식으로 표현함으로서, 깊이별 시간에 따른 포화도의 영역이 상부로부터 하부로 전이되는 과정을 알 수 있다. 셋째, 푸리에 급수를 이용한 지반의 침투계산으로 강우로 인한 지반의 포화영역 및 불포화영역을 명확히 구분할 수 있으며, 각 깊이별 포화도를 계산하여 각 구간에서 불포화구간의 전단강도에 대한 보다 정확한 계산이 가능하리라 판단된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1998.05a
• /
• pp.395-403
• /
• 1998

오염원의 이송확산에 관한 많은 연구들이 수행되어 왔으나 특히 비포화 영역에서 오염원 이송확산을 측정하는 것은 매우 어려운 것으로 알려지고 있다. 비포화 토양에서의 오염원 이송확산은 매질의 함수량 변화에 영향을 받기 때문에 오염원 거동특성을 이해하려면 비포화 흐름 분석을 선행한 후 오염원의 이송확산 특성을 분석하여야 한다. 본 연구에서는 비포화 영역에서의 오염원 이송특성을 분석하기 위하여 TDR(Time Domain Reflectometry)을 이용하여 비포화 흐름 및 오염원 이송을 측정하였다. 이를 위하여 본 연구에서는 TDR을 이용하여 오염원 이송을 측정하는 방법을 개발하였으며, 이 방법을 이용하여 1차원의 토양기둥시료에서 비포화 흐름 및 오염원 이송확산에 관한 실험을 수행하고 수치모형을 적용함으로써 비포화 영역에서 오염원의 이송확산에 관한 거동특성을 규명하였다. 본 연구에서는 두 종류의 국내 토양시료(SUS, KUS)를 사용하였는데, 토양의 물리적 특성을 예비실험을 통하여 규명한 후 토양기둥시료를 이용한 본실험을 수행하였다. 비포화 천이흐름하의 오염원 이송확산 실험에서는 급격한 습윤전선의 전진에 따른 종형의 함수량변화를 관측할 수 있었고, 이때 오염원의 농도는 함수량의 천이구간의 중심점으로부터 전방영역의 농도분포가 습윤전선에서의 함수량 분포와 유사한 종형을 이루고 있음을 관측할 수 있었다. 비포화 정상흐름하의 오염원 이송확산 실험에서는 오염원이 이송하며 농도 천이구간이 확장되어지는 전형적인 형태를 보였다. 또한 예비실험에서 측정한 매개변수를 입력자료로하여 수행한 수치결과와 실험결과를 비교하였는데 비포화 흐름특성은 실험결과와 수치결과가 정량적으로 일치하는 경향을 보였으나, 오염원 이송확산 특성은 정량적으로 수치결과가 실험결과보다 더 많이 확산되는 경향을 보였다. 따라서 수치모형을 현장에 적용할 경우 확산지수 결정에 주의하여야 할 것으로 판단된다. 즉, 수치모형에 적용할 확산지수는 BTC 실험을 통하여 측정한 확산지수, 수치확산, 흡착계수, 적용영역의 크기 등을 고려하여 결정하여야 한다. 특히 본 논문에서는 TDR을 이용하여 최초로 천이상태의 함수량과 오염원 농도를 측정하였는데 이를 위하여 전기전도도와 함수량관계를 추정하는 식을 제안하였으며, 전기전도도와 토양수 농도, 전기전도도와 함수량의 관계를 이용한 천이상태의 오염원 농도 측정방법을 개발하였다. 특히 제안식에서는 한계함수량의 개념을 도입하여 전기전도도와 함수량관계를 추정하므로 추정식의 실험값 반영 정도를 증가시켰다. 본 연구에서 제안된 식을 이용하여 추정된 전기전도도와 함수량관계는 다른 제안식에 비하여 개선된 결과를 보여 주었고, 본 연구에서 개발한 오염원 농도 측정법을 이용하여 측정한 결과 함수량이 0.15이하에서는 측정오차가 크지만 함수량이 0.15이상일 경우 매우 좋은 결과를 보였는데 질량평형을 검토한 결과 약 5-10%의 오차율을 보였다. 따라서 본 논문에서 개발된 천이상태의 오염원 농도측정법은 용존 오염물질의 이송에 관한 정확한 실험을 제공할 것으로 판단된다.

• Journal of the Korean Vacuum Society
• /
• v.3 no.1
• /
• pp.1-7
• /
• 1994

전자방출에서 에너지 교환과 역온도를 새롭게 계산하였다. 전자방출에서 대체전자들에 유용한 빈상태들을 만드는 요소로 터널링 효과를 이 계산에서 고려하였다. 그것은 방출부분에서 일어나는 대체 관정을 설명하기 위해서는 빈상태를 만드는데 터널링 기여가 필수적이기 때문이다. 이렇게 계산하여 온 도와 전장의 함수로 얻어진전자당 에너지 교환은 실험결과와 잘 일치하였다. 또한 전장의 함수로 얻어 진 역온도도 실험치와 만족할 만한 일치를 보여주었다. 이 결과는 대체전자들의 평균에너지에 대한 노 팅햄-플레밍과 헨더슨의 논쟁에서 후자의 견해를 지지하는 것이다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.99-100
• /
• 2008

본 논문은 전력계통의 과도상태에서의 STATCOM에 의해 제공되는 제동력을 평가한다. 기존의 논문들은 FACTS장비가 시스템의 안정도에 영향을 주는 제동력을 주로 고유치해석을 통하여 평가하였지만 본 논문은 에너지함수를 이용하여 FACTS장비에 의한 추가적인 제동력을 평가한다. 동기발전기의 상세모델링을 사용한 에너지함수를 통하여 STATCOM의 제동력이 전력계통의 과도 안정도에 미치는 영향을 시뮬레이션한다. 1기무한대모선 시스템에 적용한 결과를 보인다.

• Journal of the Korea Concrete Institute
• /
• v.14 no.1
• /
• pp.118-125
• /
• 2002

Hydration is the main reason for the growth of the material properties. An exact parameter to control the chemical and physical process is not the time, but the degree of hydration. Therefore, it is reasonable that development of all material properties and the formation of microstructure should be formulated in terms of degree of hydration. Mathematical formulation of degree of hydration is based on combination of reaction rate functions. The effect of moisture conditions as well as temperature on the rate of reaction is considered in the degree of hydration model. This effect is subdivided into two contributions: water shortage and water distribution. The former is associated with the effect of W/C ratio on the progress of hydration. The water needed for progress of hydration do not exist and there is not enough space for the reaction products to form. The tatter is associated with the effect of free capillary water distribution in the pore system. Physically absorption layer does not contribute to progress of hydration and only free water is available for further hydration. In this study, the effects of chemical composition of cement, W/C ratio, temperature, and moisture conditions on the degree of hydration are considered. Parameters that can be used to indicate or approximate the real degree of hydration are liberated heat of hydration, amount of chemically bound water, and chemical shrinkage, etc. Thus, the degree of heat liberation and adiabatic temperature rise could be determined by prediction of degree of hydration.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.9
• /
• pp.28-35
• /
• 2015

In this paper, we propose to identify redundant power states of high-level power model based on clock gating enable signals(CGENs) using dependencies of Boolean functions and structural dependencies of clock gating cells. Three functional dependencies between two CGENs, namely equvalence, inversion, and inclusion, are used. Functions of CGENs in a circuit are represented by binary decision diagrams (BDDs) and the functional relations are used to reduce the number of power states. The structural dependency appears when a clock gating cell drives another clock gating cells in a circuit. Automatic dependency checking algorithm has been proposed. The experimental results show the average number of power state is reduced by 59%.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.39 no.2
• /
• pp.116-127
• /
• 2002

A new approach to improve the speaker adaptation algorithm by means of the variable number of observation density functions for CDHMM speech recognizer has been proposed. The proposed method uses the observation density function with more than one mixture in each state to represent speech characteristics in detail. The number of mixtures in each state is determined by the number of frames and the determinant of the variance, respectively. The each MAP Parameter is extracted in every mixture determined by these two methods. In addition, the state segmentation method requiring speaker adaptation can segment the adapting speech more Precisely by using speaker-independent model trained from sufficient database as a priori knowledge. And the state duration distribution is used lot adapting the speech duration information owing to speaker's utterance habit and speed. The recognition rate of the proposed methods are significantly higher than that of the conventional method using one mixture in each state.

• The Korean Journal of Rheology
• /
• v.8 no.1
• /
• pp.49-57
• /
• 1996

단섬유 강화복합재료의 가공공정에 있어서 유동 중에 일어나는 섬유 배향상태를 정 확히 예측하고 제어하는 일은 대단히 중요하다. 본 연구에서는 섬유현탁액의 거동을 살펴보 기 위하여 뉴톤유체를 매질로하는 섬유현탁액을 대상으로 하여 유변학적 해석을 하였다. 이 를 위해 섬유간 상호계수는 섬유배향상태의 함수의 섬유간 평균거리를 이용하여 계산하였는 데, 섬유간 평균거리는 변형된 Doi-Edwards의 방법을 이용하였다. 축대칭 압출팽창 문제를 예로 수치모사를 하여 본 저자들이 앞서 행한 결과와 비교하였다. 유동장을 축대칭 이차원 으로 하고 섬유배향을 삼차원 모두 고려하여 구한 수치모사의 결과는 실험과 잘 일치하였 다. 진한 섬유현탁액의 경우 섬유간 상호계수는 중요한 인자로서 이것을 섬유 배향상태에 의존하는데 이섬유간 상호계수를 섬유간 거리와 섬유배향상태의 함수로 나타내는 방법을 사 용하여 보다 실제적인 해석을 할수 있었다.