• Magazine of the Korea Concrete Institute
• /
• v.4 no.1
• /
• pp.127-134
• /
• 1992

Generally speaking, the internal moisture of concrete is mainly distributed in inner part and concrete surface which is exposed are dned according to influence of temperature and humidity. So, the properties which are compressive strength, modular elasticity, and volume change are different at each part even in same concrete. This is because moisture distribution is changed according to the evaporation and move ment of moisture, exist in the inner porosity of concrete. Therefore, it is necessary that we investigate the properties of concrete according to moisture distribution. The purpose of this study is investigating correlation between the moisture content and mechanical properties in concrete. Compressive and tenslle strength decrease according to increasing moisture content, but modular elas ticity increase. Those increasing or decreasing ratio at drying ratio 100% (absolute dries) is as follows in comparative of drying ratio 0 % (saturated condition).tion).

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.39 no.4
• /
• pp.485-492
• /
• 2019

In this study, the effect of moisture conditions of recycled coarse aggregates on the compressive strength of concrete was evaluated with the water/binder ratios and the curing conditions. The saturated recycled aggregates seemed to have the negative effect on the strength development of concrete. This is the because of the decrease in bond strength between aggregate and cement paste due to the increase of surface water according to the high absorption of recycled aggregates. The effect of types and moisture conditions of aggregates according to the change of water/binder ratio was similar. However, the curing conditions had a significant effect on the compressive strength of the concrete with the different types of aggregates. In the case of curing in air, the recycled aggregates with high absorption reduced the moisture required for hydration and increased the rate of vaporizing, and these result in interfering strength development. The moisture conditions of the recycled aggregates have a considerable effect on the compressive strength of the concrete, and it is necessary to control the moisture conditions of aggregates in the production of concrete with recycled coarse aggregate. And the control of the curing condition is very important for the concrete with recycled aggregate.

• Journal of the Korean Geotechnical Society
• /
• v.36 no.7
• /
• pp.29-40
• /
• 2020

In this study, various laboratory tests were conducted to evaluate the effect of the moisture conditions of Jeju basalt on the mechanical properties. Twenty specimens were produced respectively from basalts collected from Sangga-ri and Eoeum-ri in northwestern Jeju. The tests were performed under saturated and dry conditions, and the results of these tests were used to examine the relationship with the physical properties and the mechanical properties depending on the moisture conditions. As a result of analysis with the test results and references, it was found that the uniaxial compressive strength, Brazilian tensile strength and elastic modulus in the saturated condition decrease at a similar ratio as compared with the dry condition. Also, the Brazilian tensile strength and the uniaxial compressive strength were in a linear proportional relationship, and in the moisture conditions, this relationship was not significantly affected.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.2
• /
• pp.51-51
• /
• 2001

본 논문은 디지털 순서회로 설계시 상태할당 알고리즘 개발에 관한 연구로, 동적 소비전력을 감소시키기 위하여 상태변수의 변화를 최소로 하는 코드를 할당하여 상태코드가 변화하는 스위칭횟수를 줄이도록 하였다. 상태를 할당하는데는 Markov의 확률함수를 이용하여 hamming거리가 최소가 되도록 상태 천이도에서 각 상태를 연결하는 edge에 weight를 정의한 다음, 가중치를 이용하여 각 상태들간의 연결성을 고려하여 인접한 상태들간에는 가능한 적은 비트 천이를 가지도륵 모든 상태를 반복적으로 찾아 계산하였다. 비트 천이의 정도를 나타내기 위하여 cost 함수로 계산한 결과 순서회로의 종류에 따라 Lakshmikant의 알고리즘보다 최고 57.42%를 감소시킬 수 있었다.

• Proceedings of the Optical Society of Korea Conference
• /
• 2003.07a
• /
• pp.40-41
• /
• 2003

둘 이상의 부분으로 나누어질 수 있는 계의 전체상태함수를 각각의 부분 계의 상태함수의 텐서 곱으로 나타낼 수 없는 경우 이 계의 상태를 양자 얽힘 상태라고 한다. 이러한 양자 얽힘 상태는 양자 원격 전송이나 양자 암호 등의 양자정보 이론에서 핵심적인 부분을 차지한다. 지금까지 가장 성공적인 얽힘 상태 구현 방법은 매개 하향 변환을 이용한 광자의 편광 상태의 얽힘을 구현하는 것이다. 광자가 아닌 다른 양자 계에서 얽힘 상태를 구현하자는 논의 역시 계속 있어 왔으며, 그 중에서 공동 QED를 이용한 얽힘 상태의 구현에 관한 연구는 최근에 발전된 공동 QED 부분의 기술로 인해 가장 활발한 분야이다. (중략)

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.10
• /
• pp.141-150
• /
• 1997

분산은 확률모델을 표현하는 유용한 변수중 하나이다. 입력변수에 대한 함수로 표현되는 조건부 분산을 학습하는 신경회로망에 대한 많은 연구가 있어왔다. VALEAN이라는 신경회로망 역시 이러한 많은 연구중 하나인데 이것은 기본적으로 feedforward 다층 퍼셉트론 구조를 가지며 새롭게 제시된 에너지 함수를 사용하고 있다. 이 논문에서는 이 에너지 모델에 의해 결정되는 피드백에러(델타)가 신경망의 transient, steady state에서 미치는 영향을 다루었다. 과도 상태 분석에서는 델타와 수렴성, 안정성에 관한 내용을 다루고 모의 실험을 하였으며 정상 상태 분석에서는 신경회로망의 정상상태 에러의 크기와 델타의 크기사이의 상관관계에 대하여 다루었다. 학습 알고 리듬이 확률적이므로 정상상태 역시 확률적인 상태를 나타낸다. 따라서 델타의 크기에 따른 정상 상태 에러의 최대치는 확률적인 모델을 가지게 된다. 여기서는 이 확률 관계를 분석적으로 규명하고 이에 따라 원하는 신뢰도로 정상 상태 에러를 제어하기 위해 필요한 델타의 크기를 예측할 수 있는 이론적 배경을 마련하게 된다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.846-858
• /
• 1997

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.409-409
• /
• 2017

유역단위에서 수문모델링을 수행함에 있어 토양수분은 물수지 관점에서 매우 중요한 인자로 고려된다. 더욱이, 최근 발생빈도가 커지고 있는 가뭄을 효과적으로 평가하고 예측하는 데에도 활용성이 매우 큰 것으로 인식되고 있다. 이러한 중요성에도 불구하고, 가용자료의 부족, 자료의 부정확성 등으로 인해 실제 유역모델링을 수행하는데 있어 활용도는 매우 적다. 이러한 점에서 본 연구에서는 동질성이 확보된 유역단위를 기준으로 다지점의 토양수분 자료를 추계학적으로 모의할 수 있는 기법을 개발하고자 한다. 토양함수자료는 지속성(persistence)이 매우 큰 특징을 가진다. 즉, 상태의 지속성이 크며 메모리가 오랫동안 유지된다는 점에서 추계학적 모의가 가능할 것으로 판단된다. 이러한 지속성을 이용함과 동시에 토양함수를 다양한 상태로 분리하고 이들 상태들간의 천이확률을 효과적으로 모의할 수 있다면 관측 토양함수 자료의 통계적 특성 재현이 가능하다. 본 연구에서는 용담댐 유역에 대해서 개발된 모형을 적용하고 활용성을 검토하고자 한다.

• Communications for Statistical Applications and Methods
• /
• v.5 no.3
• /
• pp.777-792
• /
• 1998

병원의 임상연구실험에서 종종 환자들의 치료에 따른 병세의 호전상태를 여러단계로 분류하여 상이한 치료방법에 대한 치료효과간의 차이론 알고자 하는 경우가 있다. 이와 같이 다중상태의 생존자료를 분석하기 위해서 본 논문에서는 semi-Markov 모형에 Cox 회귀모형을 적용하여 회귀계수와 기저생존함수를 추정하고 이를 바탕으로 반응확률함수를 추정하였다. 그리고 본 논문의 결과를 실제 임상실험에서 얻어진 자료에 적용하여 분석하였다.