• The Bulletin of The Korean Astronomical Society
• /
• v.17
• /
• pp.15.2-15.2
• /
• 1992

• Bulletin of the Korean Space Science Society
• /
• 1995.10a
• /
• pp.34-34
• /
• 1995

No Abstract, See Full Text

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.721-727
• /
• 2021

The convex hull of a generic triple of boundary points has non-zero finite volume in complex hyperbolic 2-space.

• Kyungpook Mathematical Journal
• /
• v.51 no.3
• /
• pp.311-322
• /
• 2011

In this paper, we generalize the definition of a closure operator for a finite matroid to a pi-space and obtain the corresponding closure axioms. Then we discuss some properties of pi-spaces using the closure axioms and prove the non-existence for the dual of a pi-space. We also present some results on the automorphism group of a pi-space.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.911-916
• /
• 2017

A Damek-Ricci space is a typical locally harmonic manifold, which is a generalization of the rank one symmetric space of the non-compact type. In this paper, we determine explicitly the characteristic function of a Damek-Ricci space by calculating the determinant of a Jacobi tensor.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.993-1002
• /
• 2016

In this paper we give some non-existence theorems for parallel normal Jacobi operator of real hypersurfaces in real, complex and quaternionic space forms, respectively.

• Journal of Ocean Engineering and Technology
• /
• v.20 no.2 s.69
• /
• pp.16-21
• /
• 2006

This paper discusses the behavior of post-tensioned and shaped hypar space truss, with consideration of the influence of removing some web members. Hypar space truss is post-tensioned at the bottom chords of one diagonal on the ground; the essential behavior characteristic of shape formation is discussed by using a small-scale test model. Results of experiments and nonlinear finite-element analysis indicate that a planar, rectangular- arranged structure can be deformed to a predicted hyper shape, by the proposed shape formation method. Also the feasibility of the proposed method for furnishing of a hypar shaped face truss has been presented, under the condition of both non-removed and partially removed web members. It follows that a nonlinear finite element analysis method can be used in predicting the behavior of the space shape and the post-tensioning force in sharing of hypar space truss. Further, in comparison to the other cases, the results of test and analysis show that the active diagonal shaping in the non-removed web members and passive diagonal shaping of partially removed web members are in relatively good agreement.

• Interaction and multiscale mechanics
• /
• v.6 no.1
• /
• pp.1-14
• /
• 2013

The aim of this paper is to study the propagation of torsional surface waves in non-homogeneous isotropic layer of finite thickness placed over a homogeneous viscoelastic half-space, when both density and rigidity of the non-homogeneous medium are assumed to vary exponentially with depth. The frequency equations are obtained by using simple method of separation of variables. Further, it is seen that when viscoelastic parameter and non-homogeneity parameter is neglected, the dispersion equation gives the dispersion equations of Love waves in homogeneous, elastic and isotropic layer placed over homogeneous viscoelastic medium. The problem has been solved numerically and the effects of various inhomogeneities of the medium on torsional waves have been illustrated graphically.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1997.10a
• /
• pp.134-141
• /
• 1997

A geometrically non-linear finite element formulation of spatial cable networks is presented using three cable elements. Firstly, derivation procedures of tangent stiffness and mass matrices for the space truss element and the elastic catenary cable element, and the isoparametric cable element are summarized. The load incremental method based on Newton-Raphson iteration method and the dynamic relaxation method are presented in order to determine the initial static state of cable nets subjected to self-weights and support motions. Furthermore, static non-linear analysis of cable structures under additional live loads are performed based on the initial configuration. Challenging example problems are presented and discussed in order to demonstrate the feasibility of the present finite element method and investigate static non-linear behaviors of cable nets.

• The Pure and Applied Mathematics
• /
• v.20 no.3
• /
• pp.181-198
• /
• 2013

C. Vetro [4] gave the concept of weak non-Archimedean in fuzzy metric space. Using the same concept for Menger PM spaces, Mishra et al. [22] proved the common fixed point theorem for six maps, Also they introduced semi-compatibility. In this paper, we generalized the theorem [22] for family of maps and proved the common fixed point theorems using the pair of semi-compatible and reciprocally continuous maps for one pair and R-weakly commuting maps for another pair in Menger WNAPM-spaces. Our results extends and generalizes several known results in metric spaces, probabilistic metric spaces and the similar spaces.