• Journal of Korean Tunnelling and Underground Space Association
• /
• v.9 no.3
• /
• pp.299-307
• /
• 2007

In this study, a new concept for simulating a physical damage of tunnel shotcrete lining due to a long-term chemical deterioration has been proposed. It is known that the damage takes place mainly by internal cracks, reduction of stiffness and strength, which results mainly from volume expansion of the lining and corrosion of cement materials, respectively. This damage mechanism of shotcrete lining appears similar in most kinds of chemical reactions in tunnels. Therefore, the mechanical deterioration mechanism induced by a series of chemical reactions was generalized in this study and mathematically formulated in the framework of thermodynamics. The numerical model was implemented to a 3D finite element code, which can be used to simulate behaviour of tunnel structures undergoing external loads as well as chemical deterioration in time. A number of illustrative examples were given to show a feasibility of the model in tunnel designs.

• The Journal of the Acoustical Society of Korea
• /
• v.23 no.2
• /
• pp.125-133
• /
• 2004

Most of the way shape estimation method using reference sources assume that the reference sources are in the farfield. That is, the reference sources are assumed to be far from the array. However, in applications of the array with reference sources, the reference sources are not far from the way, so that in practical ocean environments, the conventional method using farfield source model fail to estimate the positions of the hydrophones. In this paper, based on the nearfield source model, a subspace-based array shape estimation method was proposed. In the proposed method, nearfield reference source is modeled using the differential time delay at each hydrophone, and nearfield parameters are derived. Using these parameters, a subspace-based array shape estimation method that generalizes the existing farfield subspace fitting method which can work regardless of the range of the source is proposed. The Cramer-Rao lower bound for the proposed method is investigated. The results of the numerical experiments indicate that the proposed method performs well in estimating the shape of a perturbed way regardless of the ranges of the reference sources.

• KIISE Transactions on Computing Practices
• /
• v.23 no.11
• /
• pp.641-649
• /
• 2017

As Internet of Things devices become pervasive, services improve to better assess the context and to alert other users to deal with emergencies. Such services use Internet of Things devices to detect the context around the user and promptly notify public institutions, hospitals or other parental users in emergencies. Most of these systems analyze an event when the value of the device is unchanged for a period of time or if it detects an abnormal value. However, just monitoring sensor values makes it difficult to accurately understand the context surrounding a user. Also if the device is inactive, it can not identify the context or provide services again. However, understanding the user requirements, services provided through other devices, information sent to other users lets, appropriate actions be taken. This paper, proposes a device search method and system based on a context-aware model that includes user demands. The proposed system analyzes the user's context and demands by using data collected from the internet of things devices. If user devices are inactive, they can recognize other devices by searching for other devices and providing services to users again. Through the proposed method, the user-centric services are provided. This method also analyzes and responds to requirements in various emergencies.

• Journal of Korean Society of Steel Construction
• /
• v.15 no.4 s.65
• /
• pp.341-358
• /
• 2003

This paper proposed a general formulation of Life-Cycle Cost (LCC) models and LCC effective design system models of steel bridges suitable for practical implementation. An LCC model for the optimum design of steel bridges included initial cost and direct/indirect rehabilitation costs of a steel bridge as well as repair/replacement costs, loss of contents or fatality and injury losses, road user costs, and indirect socioeconomic losses. The new road user cost model and regional socioeconomic losses model were especially considered because of the traffic network. Illustrative design examples of an actual steel box girder and an orthotropic steel deck bridge were discussed to demonstrate the LCC effectiveness of the design of steel bridges. Based on the results of the numerical investigation, the LCC-effective optimum design of steel bridges based on the proposed LCC model was found to lead to a more rational, economical, and safer design compared with the initial cost-optimum design and the conventional code-based design.

• Computational Structural Engineering
• /
• v.10 no.3
• /
• pp.241-250
• /
• 1997

The strain localization of concrete is a phenomenon such that the deformation of concrete is localized in finite region along with softening behavior. The objective of this paper is to develop a plasticity and damage algorithm for the finite element analysis of the strain-localization in concrete. In this paper, concrete member under strain localization is modeled with localized zone and non-localized zone. For modeling of the localized zone in concrete under strain localization, a general Drucker-Prager failure criterion by which the nonlinear strain softening behavior of concrete after peak-stress can be considered is introduced in a thermodynamic formulation of the classical plasticity model. The return-mapping algorithm is used for the integration of the elasto-plastic rate equation and the consistent tangent modulus is also derived. For the modeling of non-localized zone in concrete under strain localization, a consistent nonlinear elastic-damage algorithm is developed by modifying the free energy in thermodynamics. Using finite element program implemented with the developed algorithm, strain localization behaviors for concrete specimens under compression are simulated.

• The Journal of the Acoustical Society of Korea
• /
• v.14 no.5
• /
• pp.44-50
• /
• 1995

This paper describes a large-vocabulary continuous speech recognition system using continuous hidden Markov models for the Korean language. To improve the performance of the system, we study on the selection of speech modeling units, inter-word modeling, search algorithm, and grammars. We used triphones as basic speech modeling units, generalized triphones and function word-dependent phones are used to improve the trainability of speech units and to reduce errors in function words. Silence between words is optionally inserted by using a silence model and a null transition. Word pair grammar and bigram model based oil word classes are used. Also we implement a search algorithm to find N-best candidate sentences. A postprocessor reorders the N-best sentences using word triple grammar, selects the most likely sentence as the final recognition result, and finally corrects trivial errors related with postpositions. In recognition tests using a 3,000-word continuous speech database, the system attained $93.1\%$ word recognition accuracy and $73.8\%$ sentence recognition accuracy using word triple grammar in postprocessing.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.2
• /
• pp.117-123
• /
• 2018

In this study, we suggest a fast image reconstruction scheme using Poisson equation from image gradient domain. In this approach, using the Poisson equation, a guided vector field is created by employing source and target images within a selected region at the first step. Next, the guided vector is used in generating the result image. We analyze the problem of reconstructing a two-dimensional function that approximates a set of desired gradients and a data term. The joined data and gradients are able to work like modifying the image gradients while staying close to the original image. Starting with this formulation, we have a screened Poisson equation known in physics. This equation leads to an efficient solution to the problem in FFT domain. It represents the spatial filters that solve the two-dimensional screened Poisson model and shows gradient scaling to be a well-defined sharpen filter that generalizes Laplace sharpening. We demonstrate the results using a discrete cosine transformation based this Poisson model.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.18 no.2
• /
• pp.1-8
• /
• 2014

The present study proposes a simple equation to straightforwardly determine the potential plastic hinge length in boundary element of reinforced concrete shear walls. From the idealized curvature distribution along the shear wall length, a basic formula was derived as a function of yielding moment, maximum moment, and additional moment owing to diagonal tensile crack. Yielding moment and maximum moment capacities of shear wall were calculated on the basis of compatability of strain and equilibrium equation of internal forces. The development of a diagonal tensile crack at web was examined from the shear transfer capacity of concrete specified in ACI 318-11 provision and then the additional moment was calculated using the truss mechanism along the crack proposed by Park and Paulay. The moment capacities were simplified from an extensive parametric study; as a result, the equivalent plastic hinge length of shear walls could be formulated using indices of longitudinal tensile reinforcement at the boundary element, vertical reinforcement at web, and applied axial load. The proposed equation predicted accurately the measured plastic hinge length, providing that the mean and standard deviation of ratios between predictions and experiments are 1.019 and 0.102, respectively.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.2
• /
• pp.37-45
• /
• 2012

The case of South Korea's Internet newspapers, harmful advertising is illegal but rampant. The children and youth are not protected, so effective measures are urgently required. Therefore, to achieve self-regulation, a discrimination system model using collective intelligence and collective emotions is proposed. This study is to suggest a Discrimination System Model of harmful contents using collective intelligence and collective emotions as the actual program of self-regulation. The Discrimination System model forms the level of harmful contents by using contents, form, text, size as well as the implied and reminiscent story of image as discriminant factors of a group testing. The formed level is established for harmful contents discriminant criteria after going through the process of generalization again. It can be not clear and ambiguous for internet newspaper banner ads to be measure the level of harmfulness. This Discrimination System will have the strengths of resolving this problem.

• Journal of the Korea Computer Graphics Society
• /
• v.21 no.5
• /
• pp.1-10
• /
• 2015

This study proposes a method of developing authoring tool that can easily and intuitively generate diverse digital leaves that compose virtual landscape. The main system of the proposed authoring tool consists of deformation method for the contour of leaf blade based on image warping, procedural modeling of leaf vein and visualization method based on mathematical model that expresses the color and brightness of leaves. First, the proposed authoring tool receives leaf input image and searches for contour information on the leaf blades. It then designs leaf blade deformation method that can generate diverse shapes of leaf blades in an intuitive structure using feature-based image warping. Based on the computed leaf blade contour, the system implements the generalized procedural modeling method suitable for the authoring tool that generates natural vein patterns appropriate for the leaf blade shape. Finally, the system applies visualization function that can express color and brightness of leaves and their changes over time using a mathematical model based on convolution sums of divisor functions. This paper provides texture support function so that the digital leaves that were generated using the proposed authoring tool can be used in a variety of three-dimensional digital contents field.