• Communications of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.257-268
• /
• 2008

Let G and K be compact subgroups of orthogonal groups and $0{\leq}r<x<{\infty}$. We prove that every topological fiber bundle over a definable $C^r$ manifold whose structure group is K admits a unique strongly definable $C^r$ fiber bundle structure up to definable $C^r$ fiber bundle isomorphism. We prove that every G vector bundle over an affine definable $C^rG$ manifold admits a unique strongly definable $C^rG$ vector bundle structure up to definable $C^rG$ vector bundle isomorphism.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.165-167
• /
• 2005

Let M = (R, +, $\cdot$, <, ... ) be an o-minimal expansion of the standard structure R = (R, +, $\cdot$, >) of the field of real numbers. We prove that if 2 $\le$ r < $\infty$, then every n-dimensional definable $C^r$ manifold is definably $C^r$ imbeddable into $R^{2n+l}$. Moreover we prove that if 1 < s < r < $\infty$, then every definable $C^s$ manifold admits a unique definable $C^r$ manifold structure up to definable $C^r$ diffeomorphism.

• East Asian mathematical journal
• /
• v.36 no.3
• /
• pp.389-415
• /
• 2020

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (𝜙, ξ, η, g) in a complex space form M_n+1(c), c ≠ 0. We denote by R_ξ and R'_X be the structure Jacobi operator with respect to the structure vector ξ and be R'_X = (∇_XR)(·, X)X for any unit vector field X on M, respectively. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a scalar 𝜃(≠ 2c) and any vector fields X and Y on M. In this paper, we prove that if it satisfies R_ξ𝜙 = 𝜙R_ξ and at the same time R'_ξ = 0, then M is a Hopf real hypersurfaces of type (A), provided that the scalar curvature ${\bar{r}}$ of M holds ${\bar{r}}-2(n-1)c{\leq}0$.

• East Asian mathematical journal
• /
• v.38 no.1
• /
• pp.43-63
• /
• 2022

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (φ, ξ, η, g) in a complex space form M_n+1(c). We denote by R_ξ the structure Jacobi operator with respect to the structure vector field ξ and by ${\bar{r}}$ the scalar curvature of M. Suppose that R_ξ is φ∇_ξξ-parallel and at the same time the third fundamental form t satisfies dt(X, Y) = 2θg(φX, Y) for a scalar θ(≠ 2c) and any vector fields X and Y on M. In this paper, we prove that if it satisfies R_ξφ = φR_ξ, then M is a Hopf hypersurface of type (A) in M_n+1(c) provided that ${\bar{r}-2(n-1)c}$ ≤ 0.

• Computers and Concrete
• /
• v.8 no.1
• /
• pp.97-110
• /
• 2011

In this paper, FEM procedure is applied to the static and dynamic analyses of R/C structures. Simple R/C shell structure is solved by using FEM procedures and the experimental evaluations are performed to represent the applicability of FEM procedure to R/C structures. Also, R/C columns are analyzed numerically and experimentally. On the basis of these results, FEM procedures are applied to the R/C cooling tower structures assembled by huge R/C shell structure and a lot of discrete R/C columns. In this analysis, the parallel computing procedures are introduced into these analyses to reduce the computational effort. The dynamic performances of R/C cooling tower are also solved by the application of parallel computations as well. From the numerical analyses, the conventional FEM procedures combined with computational technologies enables us to design the huge R/C structures statically and dynamically.

• Kyungpook Mathematical Journal
• /
• v.62 no.1
• /
• pp.133-166
• /
• 2022

Let M be a semi-invariant submanifold with almost contact metric structure (𝜙, 𝜉, 𝜂, g) of codimension 3 in a complex space form M_n+1(c) for c ≠ 0. We denote by S and R_𝜉 be the Ricci tensor of M and the structure Jacobi operator in the direction of the structure vector 𝜉, respectively. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a certain scalar 𝜃 ≠ 2c and any vector fields X and Y on M. In this paper, we prove that if it satisfies R_𝜉𝜙 = 𝜙R_𝜉 and at the same time S𝜉 = g(S𝜉, 𝜉)𝜉, then M is a real hypersurface in M_n(c) (⊂ M_n+1(c)) provided that $\bar{r}-2(n-1)c{\leq}0$, where $\bar{r}$ denotes the scalar curvature of M.

• Molecules and Cells
• /
• v.44 no.3
• /
• pp.179-185
• /
• 2021

Vancomycin response regulator (VncR) is a pneumococcal response regulator of the VncRS two-component signal transduction system (TCS) of Streptococcus pneumoniae. VncRS regulates bacterial autolysis and vancomycin resistance. VncR contains two different functional domains, the N-terminal receiver domain and C-terminal effector domain. Here, we investigated VncR C-terminal DNA binding domain (VncRc) structure using a crystallization approach. Crystallization was performed using the micro-batch method. The crystals diffracted to a 1.964 Å resolution and belonged to space group P212121. The crystal unit-cell parameters were a = 25.71 Å, b = 52.97 Å, and c = 60.61 Å. The structure of VncRc had a helix-turn-helix motif highly similar to the response regulator PhoB of Escherichia coli. In isothermal titration calorimetry and size exclusion chromatography results, VncR formed a complex with VncS, a sensor histidine kinase of pneumococcal TCS. Determination of VncR structure will provide insight into the mechanism by how VncR binds to target genes.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1996.04a
• /
• pp.328-333
• /
• 1996

Concrete can be defective for several reasons, including an inadequate design, material selection of workmanship, failure to appreciate the hazards associated with prevailing enviromental conditions. Concrete can also deteriorate or be damaged in use. Thus, it is necessary to evaluate the safety of existing concrete strucutres. On the basis of these reasons, they must be performed for repair or rehabilitation. Presently, strengthening methods of R/C structure used in Korea, are an enlargement of concrete member, strengthening with steel plate or CFRP on the R/C structure. It has been widely estabilished that strengthening effect of CFRP is superior to steel plate in terms of it's lighter unit weight and higher tensile strength. But there are no construction results of CFRP on the civil R/C structure in Korea. The strengthening design technique with CFRP, it's const겨ction, and it's strengthening effect for deteriorated R/C rahmen bridge is introduced in this paper.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.149-157
• /
• 2003

Let M be an exponentially bounded o-minimal expansion of the standard structure R = (R ,＋,.,<) of the field of real numbers. We prove that if r is a non-negative integer, then every definable $C^{r}$ manifold is affine. Let f : X ${\longrightarrow}$ Y be a definable $C^1$ map between definable $C^1$ manifolds. We show that the set S of critical points of f and f(S) are definable and dim f(S) < dim Y. Moreover we prove that if 1 < s < ${\gamma}$ < $\infty$, then every definable $C^{s}$ manifold admits a unique definable $C^{r}$ manifold structure up to definable $C^{r}$ diffeomorphism.

• East Asian mathematical journal
• /
• v.37 no.1
• /
• pp.41-77
• /
• 2021

Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (��, ξ, η, g) in a complex space form Mn+1(c), c ≠ 0. We denote by Rξ = R(·, ξ)ξ and A(i) be Jacobi operator with respect to the structure vector field ξ and be the second fundamental form in the direction of the unit normal C(i), respectively. Suppose that the third fundamental form t satisfies dt(X, Y ) = 2��g(��X, Y ) for certain scalar ��(≠ 2c)and any vector fields X and Y and at the same time Rξ is ��∇ξξ-parallel, then M is a Hopf hypersurface in Mn(c) provided that it satisfies RξA(1) = A(1)Rξ, RξA(2) = A(2)Rξ and ${\bar{r}}-2(n-1)c{\leq}0$, where ${\bar{r}}$ denotes the scalar curvature of M.