• Journal of the Korean Geotechnical Society
• /
• v.20 no.7
• /
• pp.207-215
• /
• 2004

In this study, the upper bound theory is applied to a reinforced slope to develop an limit state analysis method. As processing of this upper bound theory in formulating finite element, the basic idea of numerical method can be obtained from a macroscopic point of view with an anisotropic homogeneous material. The reinforced soil strength reliability depends on properties of reinforcements which consist of the interaction of interfaces between back fill and reinforcements. Both soil's mechanical property and overall behaviour of reinforced soil can be controlled via arranging geometry and relative proportions of reinforced soil. Therefore, the upper bound theory can not only predict the particular limit state action of reinforced soil slope but also is efficiently able to estimate the local plastic failure.

• Journal of Korea Multimedia Society
• /
• v.13 no.12
• /
• pp.1798-1804
• /
• 2010

TCP with AIMD mechanism, one of the most popular protocols in internet, can solve congestion control in wired networks. This protocol, however, is not efficient in wireless networks. This paper proposes a new mechanism namely General AIMD with Congestion Window Upper Bound in which congestion window is limited by an upper bound. By applying optimization theory, we find an optimal policy for congestion window upper bound to maximize network throughput.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2005.03a
• /
• pp.521-528
• /
• 2005

The evaluation process of rock mass properties intrinsically contains some uncertainty due to the inhomogeneity of rock mass and the measurement error. Although various empirical methods for the determination of rock mass properties were suggested, there is no way of integrating various information on rock mass properties except averaging. For these reasons, this research introduces evidence theory which can model epistemic uncertainty and yield reasonable rock mass properties through combining various information such as empirical equations, in-situ test results, and so on. Through the application of evidence theory to the real site investigation and in situ experiment results, an interval of deformation modulus, cohesion and friction angle of rock mass were obtained. The ratios between lower and upper bound of those properties ranges from 1.6 to 3.6. Numerical analyses of circular hole using the properties for TYPE-2 rock mass were carried out. The magnitude or size of plastic region and radial displacement in case of lower bound properties is about 4 times larger than that of upper bound properties.

• Communications of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.95-100
• /
• 2016

In this paper, we establish a new refinement of the arithmetic-geometric mean inequality. Applying this result in information theory, we obtain a more precise upper bound for Shannon's entropy.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.344-346
• /
• 1992

In this paper a robust hybrid control algorithm for n-link nonredundant robot manipulators is proposed. This scheme includes an estimation law for the upper bound on the uncertainty such that robust control input is updated as a function of the estimated upper bound. The uniform ultimate boundedness of the tracking error is generated by the Lyapunov based theory.

• Communications of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.235-240
• /
• 2007

In this paper the authors study the properties of the so-called exponent-quasiadditive functions and an application to the generalized $Gr\ddot{o}tzsch$ ring function of quasiconformal theory is specified.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.13 no.3
• /
• pp.330-336
• /
• 1989

In analyzing the axisymmetric backward extrusion process a new method of analysis using upper-bound theorem is proposed in which the plastic zone and dead metal zone cam be predicted. Experiments are carried out with commercial aluminum. The metal flow on the meridional plane has been visualized experimentally by using the gridded specimens. It is shown that the theoretical results both in extrusion load and deformation pattern are in good agreement with the experimental results and they can be used for effective punch and die design to consider various process parameters in axisymmetric backward extrusion.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.11
• /
• pp.91-97
• /
• 1995

In this study, a deformation model for the regular polygonal-shaped tubes from hollow-cylindrical billets is proposed and a kinematically admissible velocity field is obtained from this deformation model. The final stage upper-bound extrusion load and the average extruded length are determined by minimizing the total power consumption with respect to chosen parameters. Experiments have been carried out with hard solder billets at room temperature. The theoretical predictions of the extrusion load are in good agreements with the experimental results and there is generally reasonable agreement in average extruded height between theory and experiment.

• Journal of Ocean Engineering and Technology
• /
• v.13 no.2 s.32
• /
• pp.11-17
• /
• 1999

The objective of this paper is to introduce very fast but still stable solution using finite element procedures, and it has been used in an iterative mode for product design applications. A lot of numerical techniques have been developed to deal with the material, geometric and boundary condition non-linearities occurred in the stamping process. One of them, the One-Step FEM is very efficient and useful tool for a design and trouble-shooting in various stamping processes. In this method, the mathod, the material is assumed to deform directly from the initial flat blank to the final configuration without any intermediate steps. The formulation is based on the deformation theory of plasticity and the upper bound theorem. As a result of the calculations, the initial blank shape is obtained, together with the material flow, strains and thickness distribution in the part.

• Journal of the Korean Society for Precision Engineering
• /
• v.24 no.8 s.197
• /
• pp.34-40
• /
• 2007

In this study, focusing on reducing a load in forming helical gears, the extrusion using two-step processes for manufacturing helical gear is proposed. The process is composed of the extrusion step in which spur gear to be used as a preform in next step is formed, and the torsion step in which the preform of spur gear is formed to helical gear. Upper-bound theory for the two-step process is applied and compared with the results of experiment. The result of upper-bound solution has a good agreement with that of the experiment and the FE analysis. The newly proposed method can be used as an advanced forming technique to remarkably reduce a forming load, to prolong a tool life, and to replace the conventional forming process of helical gears. Results obtained from the extrusion using two-step processes enable the designer and manufacturer of helical gear to be more efficient in this field.