• Journal of the Korea Concrete Institute
• /
• v.27 no.3
• /
• pp.237-244
• /
• 2015

Entering the 20th century since the industrial revolution, the cement has been widely used in the field of construction and civil engineering due to the remarkable development of construction industry. However, result from that development, each kind of industrial by-products and waste and the carbon dioxide generated in the process of cement production cause air pollution and environmental damage so earth is getting sick now slowly. Therefore, we have to recognize importance about this. It means that the time taking specific and long-term measures have come. In this research paper, as substitution of the cement generating environmental pollution, we investigate the hydration reaction of non-Sintered Cement mortar mixed with GBFS, active stimulant of alkaline and sulphate series by using SEM and XRD, mechanical and chemical properties according to the curing method. As a result of this experiment, NSC realized outstanding strength for water curing and steam curing. It means that it has a good possibility as substitution of cement. From now on, it can be used for structure satisfying specific standard. We expect to find a substitution of outstanding cement by progressing continuous research making the best use of pros and cons according to the curing method.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.2
• /
• pp.249-256
• /
• 2011

Finding a new set of features representing textured images is one of the most important studies in textured image analysis. This is because it is impossible to construct a perfect set of features representing every textured image, and it is inevitable to choose some relevant features which are efficient to on-going image processing jobs. This paper intends to find relevant features which are efficient to textured image segmentation. In this regards, this paper presents a different method for the segmentation of textured images based on the Gabor filter. Gabor filter is known to be a very efficient and effective tool which represents human visual system for texture analysis. Filtering a real-valued input image by the Gabor filter results in complex-valued output data defined in the spatial frequency domain. This complex value, as usual, gives the module and the phase. This paper focused its attention on the phase information, rather than the module information. In fact, the module information is considered very useful at region analysis in texture, while the phase information was considered almost of no use. But this paper shows that the phase information can also be fully useful and effective at region analysis in texture, once a good method introduced. We now propose "phase derivated method", which is an efficient and effective way to compute the useful phase information directly from the filtered value. This new method reduces effectively computing burden and widen applicable textured images.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.12
• /
• pp.641-655
• /
• 2007

Parameterization has been one of very important research subjects in several application areas including computer graphics. In the parameterization research, the problem of mapping 3D polygonal model to 2D plane has been studied frequently, but the previous methods often fail to handle complicated shapes of polygonal surfaces effectively as well as entail distortion between the 3D and 2D spaces. Several attempts have been made especially to reduce such distortion, but they often suffer from the problem when an arbitrary rectangular surface region on 3D model is locally parameterized. In this paper, we propose a new local parameterization scheme based on the projection level set method. This technique generates a series of equi-distanced curves on the surface region of interest, which are then used to generate effective local parameterization information. In this paper, we explain the new technique in detail and show its effectiveness by demonstrating experimental results.

• Journal of the Korean Institute of Telematics and Electronics T
• /
• v.36T no.2
• /
• pp.21-31
• /
• 1999

This paper presents a new possibility of calculating optimal control for large scale which consist of non-linear dynamic sub-systems using two level hierarchical structures method. And the proposed method is based on the idea of block pulse transformation to simplify the algorithm and its calculation. This algorithm used an expansion around the equilibrium point of the system to fix the second and higher order terms. These terms are compensated for iteratively at the second level by providing a prediction for the states and controls which form of a part of the higher order terms. In this new approach the quadratic penalty terms are not used in the cost function. This allows convergence over a longer time horizon and also provides faster convergence. And the method is applied to the problem of optimization of the synchronous machine. Results show that the new approach is superior to conventional numerical method or other previous algorithm.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.6 no.4
• /
• pp.1-9
• /
• 1986

In this paper research results of developing a method of selecting design variables of an optimization problem from a finite set of pre-specified numbers, which can be utilized for the structural optimization with standardized structural members, is presented. The method first finds a continuous optimum under the assumption that design variables can be varied continuously. Then a pseudo-optimum is determined by selecting numbers from the set that are near to the continuous optimum and do not violate constraints. The pseudo-optimum is further improved to obtain the final discrete optimum from the set which minimizes cost function of the problem. In this research, the method is combined with the gradient projection optimization algorithm. The method is applied to several minimum weight truss optimization problems with constraints on the stresses, displacements, and design variables. As the results, it is found that the method can be efficiently applied to various optimization problems of which design variables must be chosen from a standard.

• Composites Research
• /
• v.23 no.3
• /
• pp.19-30
• /
• 2010

The present study describes a method for analytical solution to elastic field in structural elements of general symmetric laminated composite materials. The two dimensional plane stress elasticity problems under mixed boundary conditions are reduced to the solution of a single fourth order partial differential equation, expressed in terms of a single unknown function, called displacement potential function. In addition, all the components of stress and displacement are expressed in terms of the same displacement potential function, which makes the method suitable for any boundary conditions. The method is applied to obtain analytical solutions to two particular problems of structural elements consisting of an angle-ply laminate and a cross-ply laminate, respectively. Some numerical results are presented for both the problems with reference to the glass/epoxy composite. The results are highly accurate and reliable as all the boundary conditions including those in the critical regions of supports and loads are satisfied exactly. This verifies the method as a simple and reliable one as well as capable to obtain exact analytical solution to elastic field in structural elements of composite materials under mixed and any other boundary conditions.

• Journal of KIISE
• /
• v.44 no.4
• /
• pp.399-410
• /
• 2017

We present a system that automatically annotates unverified Web sentences with information from credible sources. The system turns to neural theorem proving for an annotating task for cancer related Wikipedia data (1,486 propositions) with Korean National Cancer Center data (19,304 propositions). By switching the recursive module in a neural theorem prover to a word embedding module, we overcome the fundamental problem of tremendous learning time. Within the identical environment, the original neural theorem prover was estimated to spend 233.9 days of learning time. In contrast, the revised neural theorem prover took only 102.1 minutes of learning time. We demonstrated that a neural theorem prover, which encodes a proposition in a tensor, includes a classic theorem prover for exact match and enables end-to-end differentiable logic for analogous words.

• Journal of the Korea Organic Resources Recycling Association
• /
• v.8 no.2
• /
• pp.114-123
• /
• 2000

The aim of this study is to provide basic concept for recycling-industrial park, such as necessity of recycling industry, role of park, construction scheme, etc, in metropolitan area. For this study, questionnaire survey, examination of regulations and walk over survey on industrial parks were conducted. In metropolitan area, recycling industry made incomes of 445 billion won per year and supplied work place for 44 thousand persons. Based on present status and questionnaire analysis, waste recyclers had difficulties in securing factory site, impending the term of contract, NIMBY and proper treating a lot of solid wastes and wastewater, and construction of recycling-industrial park was supposed to be a tool to overcome those problems faced to waste recyclers. By considering the availability of existing industrial park, constraints of constructing new park in metropolitan area, potential recycling amounts and low opinion of moving in to parks, it is reasonable that Inchon-kanghwa district or Seoul adjacent district is potential sites, area for recycling-industrial park are within 640 thousand Pyong, and plastic recyclers are main invited item.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.31 no.5C
• /
• pp.171-185
• /
• 2011

Ready-mixed shotcrete that mixed with high quality aggregate and can improve construction quality is produced in a dry mortar plant and transported to construction sites. Because of using aggregate that produced in a special plant, Ready-mixed shotcrete has many advantages : good grain-size distribution, minimum stone powder, high quality and standardization material, etc. In this basic study different from the existing study that limited to additive and accelerator, the improvement of aggregate quality was tried to upgrade the shotcrete performance. The investigation about the construction conditions of shotcrete was performed and the result of an opinion poll was analyzed for a good grasp of the problems in domestic shotcrete quality. Pilot Plant Test was also performed to minimize the material segregation in plant manufacturing process. In additions, the field test was performed to find the optimum contents of synthetic fiber, appearing the same flexible toughness with that of steel fiber, and to find the optimum replacement ratio of blast furnace slag.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.7
• /
• pp.90-97
• /
• 2002

Wall slip models are essential to the study of nonequilibrium gas transport in rarefied and microscale condition that can be found in gas flows associated with aerospace vehicle, propulsion system, and MEMS. The Maxwell slip model has been used for this type of problem, but it has difficulty in defining the so-called accommodation coefficient and has not been very effective in numerical implementation. In the present study, on the basis of Langmuir's theory of the adsorption of gases on metals, a physical slip model is developed. The concept of the accommodation coefficient and the difference of gas particles are clearly explained in the new model. It turned out that the Langmuir model recovers the Maxwell model in the first-order approximation. The new models are also applied to various situations including internal flow in a microchannel. Issues of validation of models are treated by comparing analytic results with experiment.