• Journal of the Korean Mathematical Society
• /
• v.47 no.2
• /
• pp.331-350
• /
• 2010

We consider the variational problem consisting of minimizing a polyconvex integrand for maps between manifolds. We offer a simple and direct proof of the existence of a minimizing map. The proof is based on Young measures.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.257-268
• /
• 2004

In this paper, we give a proof of the Robinson-Schensted-Knuth correspondence by using the geometric. construction. We represent a generalized permutation in the first quadrant of the Cartesian plane and find a corresponding pair of semi-standard tableaux of same shape. This work extends the classical geometric construction of Viennot [10] for Robinson-Schensted correspondence.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.11a
• /
• pp.223-224
• /
• 2010

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.113-125
• /
• 2019

In this paper, we consider the Ricci curvature of a directed graph, based on Lin-Lu-Yau's definition. We give some properties of the Ricci curvature, including conditions for a directed regular graph to be Ricci-flat. Moreover, we calculate the Ricci curvature of the cartesian product of directed graphs.

• Journal of computational fluids engineering
• /
• v.20 no.2
• /
• pp.103-108
• /
• 2015

Fluid-body interaction analysis of floating body with six degree-of-freedom motion is presented. In this study, three-dimensional incompressible Navier-Stokes equations are employed as a governing equation. The numerical method is based on a finite-volume approach on a cartesian grid together with a fractional-step method. To represent the body motion, the immersed boundary method for direct forcing is employed. In order to simulate the coupled six degree-of-freedom motion, Euler's equations based on rigid body dynamics are utilized. To represent the complex body shape, level-set based algorithm is utilized. In order to describe the free surface motion, the volume of fluid method utilizing the tangent of hyperbola for interface capturing scheme is employed. This study showed three different continuums(air, water and body) are simultaneously simulated by newly developed code. To demonstrate the applicability of the current approach, two different problems(dam-breaking with stationary obstacle and water entry) are simulated and all results are validated.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.967-986
• /
• 2017

We give the necessary condition for an operator defined on a cartesian product of $c_0(\mathcal{X})$ spaces to be summing or dominated and we show that for the multiplication operators this condition is also sufficient. By using these results, we show that ${\Pi}_s(c_0,{\ldots},c_0;c_0)$ contains a copy of $l_s(l^m_2{\mid}m{\in}\mathbb{N})$ for s > 2 or a copy of $1_s(l^m_1{\mid}{\in}\mathbb{N})$, for any $l{\leq}S$ < ${\infty}$. Also ${\Delta}_{s_1,{\ldots},s_n}(c_0,{\ldots},c_0;c_0)$ contains a copy of $l_{{\upsilon}_n(s_1,{\ldots},s_n)}$ if ${\upsilon}_n(s_1,{\ldots},s_n){\leq}2$ or a copy of $l_{{\upsilon}_n(s_1,{\ldots},s_n)}(l^m_2{\mid}m{\in}\mathbb{N})$ if 2 < ${\upsilon}_n(s_1,{\ldots},s_n)$, where ${\frac{1}{{\upsilon}_n(s_1,{\ldots},s_n})}={\frac{1}{s_1}}+{\cdots}+{\frac{1}{s_n}}$. We find also the necessary and sufficient conditions for bilinear operators induced by some method of summability to be 1-summing or 2-dominated.

• Proceedings of the KSME Conference
• /
• 2004.11a
• /
• pp.573-578
• /
• 2004

This paper presents a methodology for the stiffness analysis of a low-DOF parallel manipulator. A low-DOF parallel manipulator is a spatial parallel manipulator which has less than six degrees of freedom. The reciprocal screws of actuations and constraints in each leg can be determined by making use of the theory of reciprocal screws, which provide information about reaction forces due to actuations and constraints. When pure force is applied to a leg, the leg stiffness is modeled as a linear spring along the line. For pure couple, it is modeled as a rotational spring about the axis. It is shown that the stiffness model of an F-DOF parallel manipulator consists of F springs related to actuations and 6-F springs related to constraints connected from the moving platform to the base in parallel. The $6{\times}6$ Cartesian stiffness matrix is obtained, which is the sum of the Cartesian stiffness matrices of actuations and constraints. Finally, a 3-UPU parallel manipulator is used as an example to demonstrate the methodology.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.5 s.236
• /
• pp.680-688
• /
• 2005

This paper presents a methodology for the stiffness analysis of a low-DOF parallel manipulator. A low-DOF parallel manipulator is a spatial parallel manipulator which has less than six degrees of freedom. The reciprocal screws of actuations and constraints in each leg can be determined by making use of the theory of reciprocal screws, which provide information about reaction forces due to actuations and constraints. When pure farce is applied to a leg, the leg stiffness is modeled as a linear spring along the line. For pure couple, it is modeled as a rotational spring about the axis. It is shown that the stiffness model of an it_DOF parallel nipulator consists of F springs related to actuations and 6-F springs related to constraints connected from the moving platform to the base in parallel. The 6x f Cartesian stiffness matrix is derived, which is the sum of the Cartesian stiffness matrices of actuations and constraints. Finally, the 3-UPU, 3-PRRR, and Tricept parallel manipulators are used as examples to demonstrate the methodology.

• Journal of the Ergonomics Society of Korea
• /
• v.21 no.2
• /
• pp.47-58
• /
• 2002

This research suggested the mathematical model (forward kinematics method) to provide the reference points of driver space more easily and accurately in designing the package layout of vehicle interiors. For this purpose, the lengths of body segments of drivers and various joint angles occurred while were used. The length data between joints for the mathematical model were extracted from $SAFEWORK^{\circed{R}}$ as well as 95th percentile male and 5th percentile female body dimensions were utilized. In addition, the angles of body segments were applied on its diverse values within proper ranges in order to compare them each other. the mathematical model in this study was based on the concept of converting polar coordinate system to Cartesian coordinate system so that reference points of driver space were acquired in Cartesian coordinate system after using the segment lengths of drivers and the joint angles of driving postures as an input of polar coordinate system. It is expected that reference points of driver space obtained from this research are helpful to the study on package layout that is appropriate for physical characteristics of drivers.

• Journal of computational fluids engineering
• /
• v.17 no.2
• /
• pp.35-41
• /
• 2012

This paper presents incompressible Navier-Stokes solution algorithm for 2D Free-surface flow problems on the Cartesian mesh, which was implemented to run on Graphics Processing Units(GPU). The INS solver utilizes the variable arrangement on the Cartesian mesh, Finite Volume discretization along Constrained Interpolation Profile-Conservative Semi-Lagrangian(CIP-CSL). Solution procedure of incompressible Navier-Stokes equations for free-surface flow takes considerable amount of computation time and memory space even in modern multi-core computing architecture based on Central Processing Units(CPUs). By the recent development of computer architecture technology, Graphics Processing Unit(GPU)'s scientific computing performance outperforms that of CPU's. This paper focus on the utilization of GPU's high performance computing capability, and presents an efficient solution algorithm for free surface flow simulation. The performance of the GPU implementations with double precision accuracy is compared to that of the CPU code using an representative free-surface flow problem, namely. dam-break problem.