• The Pure and Applied Mathematics
• /
• v.5 no.2
• /
• pp.115-122
• /
• 1998

In this paper, when N is a compact Riemannian manifold, we discuss the method of using warped products to construct timelike or null future(or past) complete Lorentzian metrics on $M{\;}={\;}[a,{\;}{\infty}){\times}_f{\;}N$ with specific scalar curvatures.

• The Pure and Applied Mathematics
• /
• v.6 no.2
• /
• pp.95-101
• /
• 1999

In this paper, when N is a compact Riemannian manifold, we discuss the method of using warped products to construct timelike or null future complete Lorentzian metrics on $M{\;}={\;}[\alpha,\infty){\times}_f{\;}N$ with specific scalar curvatures.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.3
• /
• pp.287-308
• /
• 2018

This paper deals with blow-up phenomena for an initial boundary value problem of a quasilinear parabolic equation with time-dependent coefficient in a bounded star-shaped region under nonlinear boundary flux. Using the auxiliary function method and differential inequality technique, we establish some conditions on time-dependent coefficient and nonlinear functions for which the solution u(x, t) exists globally or blows up at some finite time $t^*$. Moreover, some upper and lower bounds for $t^*$ are derived in higher dimensional spaces. Some examples are presented to illustrate applications of our results.

• Journal of Mechanical Science and Technology
• /
• v.17 no.10
• /
• pp.1496-1506
• /
• 2003

The SIMP (solid isotropic material with penalization) approach is perhaps the most popular density variable relaxation method in topology optimization. This method has been very successful in many applications, but the optimization solution convergence can be improved when new variables, not the direct density variables, are used as the design variables. In this work, we newly propose S-shape functions mapping the original density variables nonlinearly to new design variables. The main role of S-shape function is to push intermediate densities to either lower or upper bounds. In particular, this method works well with nonlinear mathematical programming methods. A method of feasible directions is chosen as a nonlinear mathematical programming method in order to show the effects of the S-shape scaling function on the solution convergence.

• Geomechanics and Engineering
• /
• v.38 no.3
• /
• pp.261-273
• /
• 2024

This study presents a groundbreaking analytical approach to find an exact solution for the bearing capacity of strip footings on reinforced slopes, utilizing the two-phase approach and slip line method. The two-phase approach is considered as a generalized homogenization technique. The slip line method is leveraged to derive the stress field as a lower bound solution and the velocity field as an upper bound solution, thereby facilitating the attainment of an exact solution. The key finding points out the variation of the bearing capacity factor N_γ with influencing factors including the backfill soil friction angle, the footing setback distance from the slope crest edge, slope angle, strength, and volumetric fraction of inclusion layers. The results are evaluated by comparing them with those of relevant studies in the literature considering analytical and experimental studies. Through the application of the two-phase approach, it becomes feasible to determine the tensile loads mobilized along the inclusion layers associated with the failure zone. It is attempted to demonstrate the results by utilizing non-dimensional graphs to clearly illustrate variable impacts on reinforced soil stability. This research contributes significantly to advancing geotechnical engineering practices, specifically in the realm of static design considerations for reinforced soil structures.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.705-714
• /
• 2012

In this paper, we study nonlinear equation arising in MEMS modeling electrostatic actuation. We will prove the local and global existence of solutions of the generalized parabolic MEMS equation. We present that there exists a constant ${\lambda}^*$ such that the associated stationary problem has a solution for any ${\lambda}$ < ${\lambda}^*$ and no solution for any ${\lambda}$ > ${\lambda}^*$. We show that when ${\lambda}$ < ${\lambda}^*$ the global solution converges to its unique maximal steady-state as $t{\rightarrow}{\infty}$. We also obtain the condition for the existence of a touchdown time $T{\leq}{\infty}$ for the dynamical solution. Furthermore, there exists $p_0$ > 1, as a function of $p$, the pull-in voltage ${\lambda}^*(p)$ is strictly decreasing with respect to 1 < $p$ < $p_0$, and increasing with respect to $p$ > $p_0$.

• Journal of the Society of Naval Architects of Korea
• /
• v.54 no.6
• /
• pp.461-469
• /
• 2017

A segment of the wave board has been expressed as a submerged line segment in the two dimensional wave flume. The lower end of the line segment could be extended to the bottom of the wave flume and the other opposite upper end of the board could be extended to the free surface. It is assumed that the motion of the wave board could be defined by the sinusoidal motion in horizontal direction on either end of the wave board. When the amplitude of sinusoidal motion of the wave board on lower and upper end are equal, the wave board motion could express the horizontally oscillating submerged segment of piston type wave generator. The submerged segment of flap type wave generator also could be expressed by taking the motion amplitude differently for the either end of the board. The pivot point of the segment motion could play a role of hinge point of the flap type wave generator. Simplified analytic solution of oscillating submerged wave board segment in water of finite depth has been derived through the first order perturbation method at two dimensional domain. The case study of the analytic solution has been carried out and it is found out that the solution could be utilized for the design of wave generator with arbitrary shape by linear superposition.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1995.03a
• /
• pp.124-130
• /
• 1995

An upper-bound elemental stream function technique(UBST) is proposed for solivng forging and backward extrusion problems that are geometrically complex or need a forming simulation . And in the forging problems, this study investigates that layer of elements effects dissipation of total energy and load. The element system of UBSTuses the curve fitting property of FEM and the fluid incompressiblity of the stream function . The foumulated optimal design problems with constraints ae solved by the flixible toerance method. In the closed-die forging and backward extrusion, the result of layer of element by this study produces a lower upper-bound solution than that fo UBET and conventional layer of element . And the main advantage of UBST program is that a computer code, once written , can be used for a large variety problems by simply changing the input data.

• Geomechanics and Engineering
• /
• v.32 no.2
• /
• pp.145-157
• /
• 2023

This paper aims at investigating the face stability of large-diameter underwater shield tunnels considering seepage in soft-hard uneven strata. Using the kinematic approach of limit upper-bound analysis, the analytical solution of limit supporting pressure on the tunnel face considering seepage was obtained based on a logarithmic spiral collapsed body in uneven strata. The stability analysis method of the excavation face with different soft- and hard-stratum ratios was explored and validated. Moreover, the effects of water level and burial depth on tunnel face stability were discussed. The results show the effect of seepage on the excavation face stability can be accounted as the seepage force on the excavation face and the seepage force of pore water in instability body. When the thickness ratio of hard soil layer within the excavation face exceeds 1/6D, the interface of the soft and hard soil layer can be placed at tunnel axis during stability analysis. The reliability of the analytical solution of the limit supporting pressure is validated by numerical method and literature methods. The increase of water level causes the instability of upper soft soil layer firstly due to the higher seepage force. With the rise of burial depth, the horizontal displacement of the upper soft soil decreases and the limit supporting pressure changes little because of soil arching effect.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.193-203
• /
• 2007

In this paper we consider the inverse minimum flow (ImF) problem, where lower and upper bounds for the flow must be changed as little as possible so that a given feasible flow becomes a minimum flow. A linear time and space method to decide if the problem has solution is presented. Strongly and weakly polynomial algorithms for solving the ImF problem are proposed. Some particular cases are studied and a numerical example is given.