• Journal of Astronomy and Space Sciences
• /
• v.20 no.3
• /
• pp.227-238
• /
• 2003

Spacecraft mission planning functions including event prediction, mission scheduling, command planning, and ground track display have been developed for the KOMPSAT-2 mission operations. Integrated event prediction functions including satellite orbital events, user requested imaging events, and satellite operational events have been implemented. Mission scheduling functions have been realized to detect the mission conflicts considering the user specified constraints and resources, A conflict free mission scheduling result is mapped into the spacecraft command sequences in the command planning functions. The command sequences are directly linked to the spacecraft operations using eXtensible Markup Language(XML) for command transmission. Ground track display shows the satellite ground trace and mission activities on a digitized world map with zoom capability.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.29 no.2
• /
• pp.49-60
• /
• 2023

Purpose: This study aims to establish detailed spatial planning by identifying the needs for a seclusion module for emergency psychiatric patients. Methods: The necessity of medical space with seclusion function was analyzed from spatial, medical, and social perspectives. The needs for a space capable of performing three medical functions: protection, isolation, and treatment, was analyzed. Among various types of mobile medical facilities, seclusion space was considered suitable for utilizing modular construction methods, as it is the most rational method that can satisfy the environmental level of fixed healthcare facilities' space. Therefore, seclusion modules based on modular construction were planned, consisting of two protective units for stabilizing patients with psychiatric illness, one for treatment unit that can accommodate both internal and external treatment, and another one for an infectious disease isolation unit equipped with negative pressure equipment. Implications: This study analyzed the necessary medical functions of the interior space of the mobile stabilization module based on the spatial analysis of existing medical facilities, and proposed alternative spatial configurations according to treatment, seclusion, isolation functions.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.714-719
• /
• 2005

In this paper, the informative space is proposed to implant ubiquitous functions into physical spaces. We merge physical and virtual spaces through the space structurization using an RFID system, and solve the space localization and mapping problem for a robot to navigate through the distribution and synthesis of information and knowledge. To distribute knowledge flexibly and reliably to changing environment and also to develop a system which allows a robot to invoke and merge the distributed knowledge more freely, we employ a novel approach of knowledge management based on Web services. The proposed method is verified by building a physical space with two kinds of RFID tags and a virtual space with knowledge database based on Web services.

• Journal of the Korean Institute of Rural Architecture
• /
• v.14 no.2
• /
• pp.27-34
• /
• 2012

This study aims to examine and classify plane types of Hanok at Haengbok village, analyze changes, area distribution and space structures of space components and sort plane types and their characteristics. Plane types were divided into four; living room, kitchen, dining room, etc. These plane types were labelled as LK type, L+K type, L+DK type and LDK type. LK type and L+K type were mainly found at single-wing house and made of living room and kitchen centered space structure, but substantially they were designed to ensure guest room, room and living room. Therefore, hanok built at Haengbok village were designed to combine the functions of residential function and lodging. Plane type was preferred to be used for double functions of residence and lodging. On the other side, L+DK type and LDK type were mainly found in house with several wings and they were designed centering around living room for family space. In addition entrance was placed to simplify entry from the outside and each room and guest room were arranged to be accessed from living room. It means that the functions of house focused on residence rather than lodging and all rooms had the structure to be used as residential space in case of emergency.

• Journal of Positioning, Navigation, and Timing
• /
• v.5 no.2
• /
• pp.75-85
• /
• 2016

The performance of up-to-date mapping functions and various mean temperature equations were analyzed to derive optimal mapping function and mean temperature equation when GNSS precipitable water vapor (PWV) was investigated in the Korean Peninsula. Bernese GNSS Software 5.2, which can perform high precision GNSS data processing, was used for accurate analysis, and zenith total delay (ZTD) required to calculate PWV was estimated via the Precise Point Positioning (PPP) method. GNSS, radiosonde, and meteorological data from 2009 to 2014 were acquired from Sokcho Observatory and used. ZTDs estimated by applying the global mapping function (GMF) and Vienna mapping function 1 (VMF1) were compared with each other in order to evaluate the performance of the mapping functions. To assess the performance of mean temperature equations, GNSS PWV was calculated by using six mean temperature equations and a difference with radiosonde PWV was investigated. Conclusively, accuracy of data processing was improved more when using VMF1 than using GMF. A mean temperature equation proposed by Wu (2003) had the smallest difference with that in the radiosonde in the analysis including all seasons. In summer, a mean temperature equation proposed by Song & Grejner-Brzezinska (2009) had the closest results with that of radiosonde. In winter, a mean temperature equation proposed by Song (2009) showed the closest results with that of radiosonde.

• Journal of the Korean Society for information Management
• /
• v.31 no.4
• /
• pp.229-248
• /
• 2014

University libraries have been attempting to reorganize their space through new building construction and remodeling to cope with the rapid changes in information and communication technologies and university environment. These changes seem to reflect the need for the shift of the university library functions toward the facilitator role of enabling continuous learning and research through space reorganization beyond the traditional supporter role of preserving and supplying library materials and providing learning space and services to university members. Despite all these changes of university library space functions, however, their assessment has been still limited to the library users' satisfaction and usage changes before and after library building renovation or new construction, calling for the need to develop proper measurement tools for evaluating the library functions as learning commons that reflect university vision and goals. Therefore, this study intends to analyze the trend of space reorganization practices in university libraries and the studies of evaluating its effect, in order to develop tools to evaluate the effectiveness of space reorganization and to provide basic data for future space reorganization and assessment strategies.

• Communications for Statistical Applications and Methods
• /
• v.27 no.1
• /
• pp.149-161
• /
• 2020

In this paper we extend the functional principal component analysis for real-valued random functions to the case of Hilbert-space-valued functional random objects. For this, we introduce an autocovariance operator acting on the space of real-valued functions. We establish an eigendecomposition of the autocovariance operator and a Karuhnen-Loève expansion. We propose the estimators of the eigenfunctions and the functional principal component scores, and investigate the rates of convergence of the estimators to their targets. We detail the implementation of the methodology for the cases of compositional vectors and density functions, and illustrate the method by analyzing time-varying population composition data. We also discuss an extension of the methodology to multivariate cases and develop the corresponding theory.

• Honam Mathematical Journal
• /
• v.41 no.2
• /
• pp.301-319
• /
• 2019

The aim of the paper is to characterize some curves with the help of their harmonic curvature functions. First of all, we have defined harmonic curvature function of an arbitrary curve and have re-determined the position vectors of helices in terms of their harmonic curvature functions in Galilean 3-space. Then, we have investigated the relation between rectifying curves and Salkowski (or anti-Salkowski) curves in Galilean 3-space. Furthermore, the position vectors of them are obtained via the serial approach of the curves. Finally, we have given some illustrated examples of helices and rectifying curves with some assumptions.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• Journal of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.683-695
• /
• 2001

In this paper we are concerned with theoretical properties of gap functions for the extended variational inequality problem (EVI) in a general Banach space. We will present a correction of a recent result of Chen et. al. without assuming the convexity of the given function Ω. Using this correction, we will discuss the continuity and the differentiability of a gap function, and compute its gradient formula under tow particular situations in a general Banach space. Our results can be regarded as infinite dimensional generalizations of the well-known results of Fukushima, and Zhu and Marcotte with soem modifications.