• Computers and Concrete
• /
• v.18 no.3
• /
• pp.319-336
• /
• 2016

In this study, both two- and three-dimensional (2D and 3D) finite-volume-based models were developed to analyze the heat transfer mechanisms through the porous structures of cellular concretes under steady-state heat transfer conditions and to investigate the differences between the 2D and 3D modeling results. The 2D and 3D reconstructed pore networks were generated from the microstructural information measured by 3D images captured by X-ray computerized tomography (X-CT). The computed effective thermal conductivities based on the 2D and 3D calculations performed on the reconstructed porous structures were found to be nearly identical to those evaluated from the 2D cross-sectional images and the 3D X-CT images, respectively. In addition, the 3D computed effective thermal conductivity was found to agree better with the measured values, in comparison with the 2D reconstruction and real cross-sectional images. Finally, the thermal conductivities computed for different reconstructed porous 3D structures of cellular concretes were compared with those obtained from 2D computations performed on 2D reconstructed structures. This comparison revealed the differences between 2D and 3D image-based modeling. A correlation was thus derived between the results of the 3D and 2D models.

• Proceedings of the Korean Magnestics Society Conference
• /
• 2007.05a
• /
• pp.77.1-77.1
• /
• 2007

• Proceedings of the Korean Magnestics Society Conference
• /
• 2007.05a
• /
• pp.168.1-168.1
• /
• 2007

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.54 no.1
• /
• pp.40-47
• /
• 2005

This paper concerns on Filtered-x least mean square (FXLMS) algorithm for adaptive estimation of feedforward control parameters. The conditions for convergence in ensemble mean of the FXLMS algorithm are derived and the directional convergence properties are discussed from a new geometric vector analysis. The convergence and its directionality are verified along with some computer simulations.

• Proceedings of the KIPE Conference
• /
• 2000.07a
• /
• pp.476-479
• /
• 2000

한국전력연구원은 로봇제어기술과 가상현실기술을 접목하는 과정의 일환으로 로봇작업을 3D 그래픽으로 가시화(Visualization) 하는 연구를 수행하고 있다 본 논문에서는 원자력발전소 증기발생기 내부에 발생하는 슬러지를 제거하기 위한 로봇시스템과 그 작업내용의 3차원 Visualization 시스템 개발에 관한 내용을 다룬다. 본 시스템은 Microsoft사의 제작툴인 DirectX를 그래픽엔진으로 사용하였으며 C++로 작성되어있어 매우 개방적인 구조를 가지고 있어 타 분야로의 적용이 용이하다.

• Communications of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.135-144
• /
• 2005

We consider the stochastic differential inclusion of the form $dX_t{\in}{\sigma}(t, X_t)dB_t+b(t, X_t)dt$, where ${\sigma}$, b are set-valued maps, B is a standard Brownian motion. We prove that the set of solutions is closed.

• Kyungpook Mathematical Journal
• /
• v.47 no.2
• /
• pp.191-202
• /
• 2007

By using the weighted averaging techniques, we establish oscillation criteria for the second order damped quasilinear elliptic differential equation $$\sum_{i,j=1}^{N}D_i(a_{ij}(x){\parallel}Dy{\parallel}^{p-2}D_jy)+{\langle}b(x),\;{\parallel}Dy{\parallel}^{p-2}Dy{\rangle}+c(x)f(y)=0,\;p>1$$. The obtained theorems include and improve some existing ones for the undamped halflinear partial differential equation and the semilinear elliptic equation.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.807-816
• /
• 2007

For the stochastic differential inclusion on infinite dimensional space of the form $dX_t{\in}\sigma(X_t)dW_t+b(X_t)dt$, where ${\sigma}$, b are set-valued maps, W is an infinite dimensional Hilbert space valued Q-Wiener process, we prove the boundedness and continuity of solutions under the assumption that ${\sigma}$ and b are closed convex set-valued satisfying the Lipschitz property using approximation.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.85-89
• /
• 2003

Let V be a localizing infinite-dimensional complex Banach space. Let X be a flag manifold of finite flags either of finite codimensional closed linear subspaces of V or of finite dimensional linear subspaces of V. Let E be a holomorphic vector bundle on X with finite rank. Here we prove that E is uniform, i.e. that for any two lines $D_1$ R in the same system of lines on X the vector bundles E$\mid$D and E$\mid$R have the same splitting type.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.06a
• /
• pp.181-182
• /
• 2007