• Journal of Korean Library and Information Science Society
• /
• v.23
• /
• pp.363-404
• /
• 1995

This study is to set up a model of minimum and optimum standards for college and university library building areas in Korea. The results of this study are summarized as follows: 1. minimum standards(proposal) At first, Areas needed by factors of space component are as follows: User space --- 0.45 $m^{2}$ per student. Collection space --- 0.0107 $m^{2}$ per volume Staff space --- 10.1 $m^{2}$ per person Space attached to user, collection and staff space --- 5% of the sum of user, collection and staff areas(0.041 $m^{2}$ per student). Nonassignable space --- 25% of the sum of user, collection and staff areas (0.21 $m^{2}$ per student). Next, the formula to calculate the total area of the college and university library building is as follows: N = 0.45T $m^{2}$(a) + 0.0107V $m^{2}$(b) + 10.1S $m^{2}$(c) + 0.05(a+b+c) $m^{2}$, NS = 0.25N $m^{2}$. 2. Optimum standards(proposal) At first, Areas needed by factors of space component are as follows: User spae --- 0.64 $m^{2}$) per student. Collection space --- 0.01 $m^{2}$ per volume Staff space --- 9.7 $m^{2}$ per person Space attached to user, collection and staff space --- 5% of the sum of user, collection and staff areas(0.073 $m^{2}$ per student). Nonassignable space --- 25% of the sum of user, collection and staff areas(0.38 $m^{2}$ per student). Next, the formula to calculate the total area of the college and university library building is as follows: N = 0.64T $m^{2}$(a) + 0.01V $m^{2}$(b) + 9.7S $m^{2}$(c) + 0.05(a+b+c) $m^{2}$, NS = 0.25N $m^{2}$.

• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.109-121
• /
• 2008

We determine maximal space-like hypersurfaces which are the images of subbundles of the normal bundle of m-dimensional totally geodesic space-like submanifolds of an (m + 2)-dimensional Lorentzian space form $\tilde{M}_1^{m+2}$(c) under the normal exponential map. Then we construct examples of maximal space-like hypersurfaces of $\tilde{M}_1^{m+2}$(c).

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.677-685
• /
• 2003

Let M be the vector space of all real S-measurable functions defined on a measure space (X, S, $\mu$). In this paper, we investigate some topological structure of T on M. Indeed, (M, T) becomes a topological vector space. Moreover, if $\mu$, is ${\sigma}-finite$, we can define a complete invariant metric on M which is compatible with the topology T on M, and hence (M, T) becomes a F-space.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.6
• /
• pp.435-444
• /
• 2022

This study conducts capture simulations of space debris using a space-net. The present capture simulations are performed using ABAQUS, a nonlinear structural dynamics analysis code. A square space-net with 1 m × 1 m and a space debris with a cube configuration(0.3 m × 0.3 m × 0.3 m and 30 kg) are considered as baseline models. Using the baseline models, the capture simulation using ABAQUS is conducted to understand the capture process and establish the criteria of capture success or fail. In addition, the capture simulations are performed when various properties of the space-net are considered, and it is investigated that major design factors of the space-net are recognized to capture successfully the space debris.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.4
• /
• pp.689-695
• /
• 2014

Let M be an N-function satisfies the ${\Delta}_2$-condition and let $O_M$ be the Orlicz space associated with M. Let $C(O_M)$ be the space of all continuous functions defined on the interval [0, T] with values in $O_M$. In this note, we define the analogue of Wiener measure $m^M_{\phi}$ on $C(O_M)$, establish the Wiener integration formulae for the cylinder functions on $C(O_M)$ and give some examples related to our formulae.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.757-767
• /
• 1998

For a Riemannian manifold $(M^n, g)$ we consider the space $V(M^n, g)$ of all smooth functions on $M^n$ whose Hessian is proportional to the metric tensor $g$. It is well-known that if $M^n$ is a space form then $V(M^n)$ is of dimension n+2. In this paper, conversely, we prove that if $V(M^n)$ is of dimension $\ge{n+1}$, then $M^n$ is a Riemannian space form.

• Kyungpook Mathematical Journal
• /
• v.53 no.3
• /
• pp.319-332
• /
• 2013

The sequence space $m(M,{\phi})^F$ of fuzzy real numbers is introduced. Some properties of this sequence space like solidness, symmetricity, convergence-free etc. are studied. We obtain some inclusion relations involving this sequence space.

• Bulletin of the Korean Space Science Society
• /
• 2004.10b
• /
• pp.281-284
• /
• 2004

According to the National Space Program of Korea, KARI (Korea Aerospace Research Institute) has been developing a large space simulator (working dimension; $\Phi8m\;\times\;L10m$) to verify the performance of future large satellites under the space environment conditions. Especially, a very low temperature condition of space will be simulated by shrouds covering the inside surface of the vessel. The surface of shrouds will be cooled down to 17K by liquid nitrogen (LN2) from ambient temperature and hence, an optimal LN2 circulation system design is necessary to remove gaseous nitrogen (GN2) sufficiently and maintain the shrouds at the LN2 temperature.

• Journal of Astronomy and Space Sciences
• /
• v.30 no.1
• /
• pp.49-58
• /
• 2013

ARGO-M is a satellite laser ranging (SLR) system developed by the Korea Astronomy and Space Science Institute with the consideration of mobility and daytime and nighttime satellite observation. The ARGO-M optical system consists of 40 cm receiving telescope, 10 cm transmitting telescope, and detecting optics. For the development of ARGO-M optical system, the structural analysis was performed with regard to the optics and optomechanics design and the optical components. To ensure the optical performance, the quality was tested at the level of parts using the laser interferometer and ultra-high-precision measuring instruments. The assembly and alignment of ARGO-M optical system were conducted at an auto-collimation facility. As the transmission and reception are separated in the ARGO-M optical system, the pointing alignment between the transmitting telescope and receiving telescope is critical for precise target pointing. Thus, the alignment using the ground target and the radiant point observation of transmitting laser beam was carried out, and the lines of sight for the two telescopes were aligned within the required pointing precision. This paper describes the design, structural analysis, manufacture and assembly of parts, and entire process related with the alignment for the ARGO-M optical system.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.2
• /
• pp.128-132
• /
• 2009

In this paper, we introduce the concept of IVF weakly M-continuity and investigate some characterizations for IVF weakly M-continuous mappings between an IVF minimal space and an IVF topological space.