• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1163-1170
• /
• 2010

We study finite type curve in $R^3$(-3) which lies in a cylinder $N^2$(c). Baikousis and Blair proved that a Legendre curve in $R^3$(-3) of constant curvature lies in cylinder $N^2$(c) and is a 1-type curve, conversely, a 1-type Legendre curve is of constant curvature. In this paper, we will prove that a 1-type curve lying in a cylinder $N^2$(c) has a constant curvature. Furthermore we will prove that a curve in $R^3$(-3) which lies in a cylinder $N^2$(c) is finite type if and only if the curve is 1-type.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.581-590
• /
• 2018

In this paper, we consider surfaces in the 3-dimensional Euclidean space $\mathbb{E}^3$ which are of finite III-type, that is, they are of finite type, in the sense of B.-Y. Chen, corresponding to the third fundamental form. We present an important family of surfaces, namely, tubes in $\mathbb{E}^3$. We show that tubes are of infinite III-type.

• East Asian mathematical journal
• /
• v.14 no.1
• /
• pp.205-217
• /
• 1998

We obtain some theorems on nonexistence of certain finite type closed curves on the pseudo-hyperbolic space $H^4(-c^2)$ in the Minkowski spacetime $E^5_1$.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.12C
• /
• pp.1129-1134
• /
• 2006

In this paper, we analyze the cycle structure of punctured finite-length RA-type LDPC codes and design interleavers which have good memory efficiency and avoid short cycles. Furthermore, we introduce the check-node merging scheme for punctured finite-length RA-type LDPC codes and design simple interleavers. Simulation results show that punctured finite-length RA-type LDPC codes using the proposed simple interleavers have better performance than those with random and S-random interleavers.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.217-227
• /
• 2024

Let G be an infinite countable group and A be a finite set. If Σ ⊆ A^G is a strongly irreducible subshift of finite type and 𝓖 is the local conjugacy equivalence relation on Σ. We construct a decreasing sequence 𝓡 of unital C^*-subalgebras of C(Σ) and a sequence of faithful conditional expectations E defined on C(Σ), and obtain a Toeplitz algebra 𝓣 (𝓡, 𝓔) and a C^*-algebra C^*(𝓡, 𝓔) for the pair (𝓡, 𝓔). We show that C^*(𝓡, 𝓔) is *-isomorphic to the reduced groupoid C^*-algebra C^*_r(𝓖).

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2011.06a
• /
• pp.1225-1226
• /
• 2011

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.13 no.1
• /
• pp.84-91
• /
• 2017

This paper is proposed to select the optimal finite element type in finite element analysis. Based on the NUREG reports, static analyses were performed using a commercial analysis program, $ABAQUS^{TM}$. In this study, we used a nonlinear kinematic hardening model proposed by Chaboche. The analysis result of solid elements by inputting the same material constants was different from the results of the NUREG report. This is resulted from the difference between shell element and solid element. Therefore, the material constants that have similar result to the experimental result were determined and compared according to element type. In case of using solid element for efficient finite element analysis, we confirmed that the use of C3D8I element type(incompatible mode 8-node linear brick element) leads the accurate result while reducing the analysis time.

• Korean Journal of Mathematics
• /
• v.7 no.1
• /
• pp.71-77
• /
• 1999

We show that if the stable rank of $B^{\alpha}$ is one, then the stable rank of B is less than or equal to the order of G for any action of a finite group G. Also we give a short proof to the known fact that if the action of a finite group on a $C^*$-algebra B is saturated then the canonical conditional expectation from B to $B^{\alpha}$ is of index-finite type and the crossed product $C^*$-algebra is isomorphic to the algebra of compact operators on the Hilbert $B^{\alpha}$-module B.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.85-92
• /
• 1995

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.405-408
• /
• 2002

A high speed feeding type laser cutting UC is developed for the precise cutting of sheet metal. The M/C is a flying optics type one with specified functions of movability and strength in order to increase workability. The gantry frame should be moved with a certain velocity within a relatively short time for the proper cutting of object materials. The gantry is actuated by rack and pinion. In this paper, modal and structural analysis for a laser culling M/C, is carried out in development of the machine The machine is modeled by placing proper shell and solid finite elements and fictitious mass properties to represent the real one.