• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.32 no.4
• /
• pp.249-256
• /
• 2019

This paper presents an optimization framework of electrical impedance tomography for characterizing electrical conductivity profiles of concrete structures in two dimensions. The framework utilizes a partial-differential-equation(PDE)-constrained optimization approach that can obtain the spatial distribution of electrical conductivity using measured electrical potentials from several electrodes located on the boundary of the concrete domain. The forward problem is formulated based on a complete electrode model(CEM) for the electrical potential of a medium due to current input. The CEM consists of a Laplace equation for electrical potential and boundary conditions to represent the current inputs to the electrodes on the surface. To validate the forward solution, electrical potential calculated by the finite element method is compared with that obtained using TCAD software. The PDE-constrained optimization approach seeks the optimal values of electrical conductivity on the domain of investigation while minimizing the Lagrangian function. The Lagrangian consists of least-squares objective functional and regularization terms augmented by the weak imposition of the governing equation and boundary conditions via Lagrange multipliers. Enforcing the stationarity of the Lagrangian leads to the Karush-Kuhn-Tucker condition to obtain an optimal solution for electrical conductivity within the target medium. Numerical inversion results are reported showing the reconstruction of the electrical conductivity profile of a concrete specimen in two dimensions.

• School Mathematics
• /
• v.19 no.1
• /
• pp.1-18
• /
• 2017

In this study we analyse the features of process of problem posing and explore the development of mathematical knowledge of primary preservice teachers as result of their engagement in problem posing activity. Data was collected through the preservice teachers' class discussions. Analysis of the data shows that preservice teachers developed their ability to understand connections among mathematical concepts.

• Journal of The Korean Association of Information Education
• /
• v.11 no.1
• /
• pp.107-116
• /
• 2007

To produce accurate editing results, the ambiguity of editing scopes related to marked correction signs should be solved. Proofreading the web document modifies the document structures, and the modified structures should be robustly valid for the defined DTD. This paper presents a pen-based proof-reading interface in the XML document. In the proposed interface, correction signs are free-drawn, and the editing scopes are recognized and revised based on the contexts of the document to minimize the ambiguity of the editing scopes. The proposed interface provides both implicit and explicit modification methods for document structures. As a result, the editing scopes processed in the proposed interface are more accurate, and the document structures are maintained valid for DTD after the editing.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2002.03a
• /
• pp.443-450
• /
• 2002

본 논문에서는 미국토목학회(ASCE)의 사장교에 대한 첫번째 벤치마크 문제를 이용하여 제어-구조물 상호작용을 고려한 새로운 반능동 제어 기법을 제안하였다. 이 벤치마크 문제에서는 2003년 완공 예정으로 미국 Missouri 주에 건설 중인 Cape Girardeau 교를 대상 구조물로 고려하였다. Cape Girardeau 교는 New Madrid 지진구역에 위치하고, Mississippi 강을 횡단하는 주요 교량이라는 점 때문에 설계단계에서부터 내진 문제에 대하여 자세하게 고려되었다. 상세 설계 도면을 기반으로 하여 교량의 전체적인 거동 특성을 정확하게 나타낼 수 있는 3차원 모델이 만들어졌고, 사장교의 제어 성능에 관련된 평가 기준이 수립되었다. 본 연구에서는 제어 가능한 유체 감쇠기에 속하는 MR 유체 감쇠기를 제어 장치로 제안하였고, 기존 연구에서 MR 유체 감쇠기를 포함한 구조물의 제어에 효율적이라고 검증된 clipped-optimal 알고리듬을 제어 알고리듬으로 사용하였다. 또한, 실제 규모의 MR 유체 감쇠기 실험 결과를 이용하여 수치해석에 이용할 수 있는 동적 모델을 개발하였다. MR 유체 감쇠기는 제어 가능한 에너지 소산장치이며 구조물에 에너지를 가하지 않기 때문에 제안된 제어 기법은 한정입출력 안정성이 보장된다. 수치해석을 통해, MR 유체 감쇠기를 이용한 반능동 제어 기법이 사장교의 응답 감소에 효과적인 방법임을 증명하였다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.40 no.6
• /
• pp.56-68
• /
• 2003

Difficult problems In implementing digital neural network hardware are the extension of synapses and the programmability for relocating neurons. In this paper, the structure of a new hardware is proposed for solving these problems. Our structure based on traditional SIMD can be dynamically and easily reconfigured connections of network without synthesizing and mapping original design for each use. Using additional modular processing unit the numbers of neurons find synapses increase. To show the extensibility of our structure, various models of neural networks : multi-layer perceptrons and Kohonen network are formed and tested. The performance comparison with software simulation shows its superiority in the aspects of performance and flexibility.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.8
• /
• pp.71-77
• /
• 2002

We consider the simultaneous slewing and vibration suppression control problem of an idealized structural model which has a rigid hub with two cantilevered flexible appendages and finite tip masses. The finite clement method(FEM) is used to obtain linear finite dimensional equations of motion for the model. In the linear quadratic regulator(LQR) problem, a simple method is introduced to provide a physically meaningful performance index for space structure models. This method gives us a mathematically minor but physically important modification of the usual energy type performance index. A numerical procedure to solve a time-variant LQR problem with inequality control constraints is presented using the method of particular solutions.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.22 no.3
• /
• pp.223-229
• /
• 2009

Most of structural analyses are concerned with the deformation and stress in a body subjected to external loads. In many fields, however, the interpretation of inverse problems is needed to determine surface tractions or internal stresses from measured displacements. In this study, the inverse processes by using the boundary element method are formulated for the evaluation of boundary tractions from displacements measured on a remote surface. Small errors in measured displacements often result in a substantial loss of accuracy of an inverse system. Numerical results show that the error in reconstructed tractions by using the inverse boundary element methods is sensitive to measurement location and noise.

• Korea journal of population studies
• /
• v.21 no.1
• /
• pp.42-79
• /
• 1998

There was a rapid population change accompanied with changes in population structure recently in Korea. The changes were nationwide though greater in rural, where the population decreased steeply, through the internal migration from rural to urban. There, in the structure of Gun's population, severely distorted features have been shown in the study. Also, the structure differ greatly by Gun. It indicated that the rural problems were much more serious than anticipated when analyzed generally. It tells us that we should consider the problems related with different population structure in developing the programs for the rural.

• Computational Structural Engineering
• /
• v.10 no.1
• /
• pp.185-191
• /
• 1997

Beam - and arch-like structures are two-dimensional bodies characterized by the fact of small thickness compared to the length of structures. Owing to this geometric feature, linear displacement approximations through the thickness such as Kirchhoff and Reissner-Mindlin theories which are more accessible one dimensional problems have been used. However, for accurate analysis of the behavior in the regions where the state of stresses is complex, two-dimensional linear elasicity or relatively high order of thickness polynomials is required. This paper analyses accuracy according to the order of thickness polynomials and introduces a technique for model combination for which several different polynomial orders are mixed in a single structure.

• Korea journal of population studies
• /
• v.11 no.1
• /
• pp.131-145
• /
• 1988

There was a rapid population change accompanied with changes in population structure recently in Korea. The changes were nationwide though greater in rural, where the population decreased steeply, through the internal migration from rural to urban. There, in the structure of Gun's population, severely distorted features have been shown in the study. Also, the structure differ greatly by Gun. It indicated that the rural problems were much more serious than anticipated when analyzed generally. It tells us that we should consider the problems related with different population structure in developing the programs for the rural.