• 한국도서관정보학회지
• /
• 제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
• /
• 제48권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).

• 대한수학회논문집
• /
• 제18권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.

• 한국항공우주학회지
• /
• 제50권6호
• /
• pp.435-444
• /
• 2022

본 연구는 우주 쓰레기를 제거하기 위한 청소 위성(Space debris removal satellite)의 우주 그물(Space-net)을 이용한 우주 쓰레기의 포획 시뮬레이션 연구를 수행하였다. 포획 시뮬레이션은 비선형 구조 동역학 해석 코드인 ABAQUS를 이용하여 수행하였다. 정사각형(1 m × 1 m)의 우주 그물 및 30 kg 질량의 정육면체(0.3 m × 0.3 m × 0.3 m) 형상인 우주 쓰레기를 기본 모델로 설계하였다. 기본 모델에 기반하여 포획 과정을 이해하고 포획 성공 또는 실패에 대한 기준을 정립하기 위하여 ABAQUS를 이용한 포획 시뮬레이션을 수행하였다. 또한 우주 그물의 다양한 설계 조건을 고려하여 포획 시뮬레이션을 수행하였으며, 우주 쓰레기를 성공적으로 포획하기 위한 우주 그물의 주요 설계 인자를 확인하였다.

• 충청수학회지
• /
• 제27권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.

• 대한수학회보
• /
• 제35권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
• /
• 제53권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.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• 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
• /
• 제30권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
• /
• 제9권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.