• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.329-337
• /
• 2016

In this paper, we show that every compactification, which is a quasi-F space, of a space X is a Wallman compactification and that for any compactification K of the space X, the minimal quasi-F cover QFK of K is also a Wallman compactification of the inverse image ${\Phi}_K^{-1}(X)$ of the space X under the covering map ${\Phi}_K:QFK{\rightarrow}K$. Using these, we show that for any space X, ${\beta}QFX=QF{\beta}{\upsilon}X$ and that a realcompact space X is a projective object in the category $Rcomp_{\sharp}$ of all realcompact spaces and their $z^{\sharp}$-irreducible maps if and only if X is a quasi-F space.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1093-1095
• /
• 2003

MSC(Multi-Spectral Camera) system is a remote sensing instrument to obtain high resolution ground image. MSC system includes main control unit, called SBC(Single Board Computer). SBC controls all the sub-units of MSC system and communicates with spacecraft bus. The software developed for SBC should be reliable and autonomous to support various kinds of imaging missions. It is being developed using VxWorks real-time operating system to manage all tasks for all units efficiently. In this paper, the characteristics of the embedded software on the MSC system will be presented. It covers the hardware related characteristics like the BSP(Board Support Package), device driver and code patch mechanism.

• Journal of Environmental Impact Assessment
• /
• v.17 no.5
• /
• pp.289-297
• /
• 2008

An impervious cover is one of most important factors which effect on a water body environment in a watershed. There are many researches on the impact of an impervious cover on water quality, quantity and ecosystem and most of these researches have been focused on an impervious rate or area in a watershed without considering structure features as like shape, edge, connection of impervious cover. In this study, we focused on a landscape structure which includes shape, density, contiguity, distance, aggregation of land cover type as well as area and rate. The calculation of a landscape indices made to analyse a landscape structure is conducted by applying Fragastats 3.3 program. Osan-cheon watershed where has rapidly urbanized is selected as a study field. Land information for 2002 and 2007 is from land classification maps provided by Ministry of Environment. The result shows that the increasing rate of an impervious cover is more conspicious in Kiheung dam watershed but the fragment of impervious cover areas is shown remarkably in the Osan sub-watershed. The trend of aggregation and connection of impervious covers is increasing. But it was very difficult to say that which type of landscape structure is more beneficial for a watershed management. The implication of this study is to find the need to come over the conventional ways to evaluate landscape structure of a watershed such as rates and areas of impervious cover, and define the importance of landscape feature as like connection, distance, edge density, fragment of impervious covers.

• Journal of Korean Home Economics Education Association
• /
• v.9 no.1
• /
• pp.133-143
• /
• 1997

The purposes of the study is to see as to how much of changes has occurred in the newly revised Home Economics Textbooks required by the 6th Curriculum as compared to those by the former the 5th Curriculum, and to seek future policy directions which can be improved even better, if any, for further revision. To implement this proposal, the study employs 8 different textbooks published in 1997 geared for the 6th Curriculum for data base. The components of the contents divides into two major parts. The first part falls into a category of holistic analysis of the textbooks, which gives a general perspective of the changes in the textbook revised. It includes those areas of changes in the total number of pages, cover page, illustrations, table of contents, appendices, unit cover, introductory remarks, summary and evaluation, etc. It also covers the information on authors of textbook. The latter part consists of several specific areas of major changes occurred in the textbooks for the 6th Curriculum. It covers such areas of changes in the composition of category and its weight, laboratory experiences, and illustrations and tables. To conclude the study, among many findings, two major points are of great importance to mention here. First, the new textbooks have adopted more of varieties in physical appearances and contents per se as to the older ones. And yet, there still found a weakness in numbers of authors participated to a full reflection of contents variety. In addition, the background of authors reflected on an unrealistic idealism which lacks the on-site information provided by the school teachers. Second, the strict regulations created by the Ministry of Education for developing textbook found restricting the authors creativity and thus contents variety of textbooks. Those restricting factors include letter type and size, coloring, paper quality, and volume size.

• Journal of the Korean Society of Costume
• /
• v.63 no.7
• /
• pp.164-175
• /
• 2013

This study examined the Yemou(a hat for a dead woman) from the ladies' clothes excavated from the Lady Lee's tomb in order to trace the significance of the clothing composition and its social origin in the Chosun dynasty. The compositional characteristic of Yemou covers the body of the hat which is not connected with the cover, Wonsal which has a round shape that covers the face of the dead body, and two Gae(a ribbon on the backside of a hat). Seongho Lee-ik(one of representative Confucian scholars in the Chosun dynasty) stated in his book entitled "Seongho Notes", that the structural elements of Yemou originated in Yum(wrapping cloth for the head of a dead body). According to Seongho, Yemou's body part came from the scarf used to cover the head. Wonsal(the cloth of round shape for covering the face) and Gae were derived from Yum made of two ends of long cloth for covering and binding the head of a dead body. Yongjae Kim-kunhang(one of Confucian scholars in the late-Chosun dynasty) demonstrated in his "Yongjae Collection" the social background of the emergence of Yemou. Yemou was the hat produced from the process of nationalizing the Chinese courtesy of clothing. In other words, Bokgun(a man's hat) in the Chosun dynasty replaced the Chinese Yum. Unlike the Chinese custom, man and woman in the Chosun dynasty wore different clothes respectively. According to the clothing custom of the Chosun dynasty a woman wore a female hat, Yemou instead of men's Bokgun.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.492-495
• /
• 2011

그래프 G의 쌍형 다대다 k-서로소민 경로 커버 (k-DPC)는 k개의 서로 다른 소스 정점과 싱크 정점 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합을 말한다. 2-차원 $m{\times}n$ 토러스는 길이가 각각 m과 n인 두 사이클 $C_m$과 $C_n$의 곱으로 정의되는 그래프이다. 이 논문에서는 고장 정접이나 에지가 하나인 $m{\times}n$ 이분 토러스(짝수 m,n ${\geq}$4)에는, 정점 고장이 있고 소스나 싱크 중에 고장 정점과 같은 색을 가진 정점이 오직 하나 존재하거나 혹은 정점 고장이 없고 에지 고장이 하나 존재하면서 둘은 흰색 정점이고 둘은 검정색 정점이면 항상 두 소스-싱크 쌍을 잇는 쌍형 다대다 2-DPC가 존재 힘을 보인다.

• The Bulletin of The Korean Astronomical Society
• /
• v.41 no.2
• /
• pp.56.2-56.2
• /
• 2016

We present chemical abundances for about 800 red giant stars in Omega Centauri, based on medium-resolution spectra obtained using Hydra multi-fiber spectrograph at the CTIO 4-m telescope. Our sample covers 14.2 < V < 15.0, and is almost unbiased against colors (and therefore metallicity). The metallicity distribution function (MDF) constructed from our data has an overall shape and local peaks that approximately match those for brighter giant stars in Johnson et al.. We also find that more metal-rich cluster members are more concentrated in the cluster center, which is consistent with previous studies. On the other hand, we find no clear evidence for such a spatial dependence with respect to alpha elemental abundance ([${\alpha}/Fe$]).

• Design & Manufacturing
• /
• v.2 no.2
• /
• pp.6-9
• /
• 2008

Injection molding is representative process of plastic production. Most of numerical analyses for injection molding have been based on the Hele Shaw's approximation: two-dimensional flow analysis. The present work covers numerical analyses of injection molding using three-dimensional solid elements. The accuracy of the analysis results has been verified through some numerical examples in comparison with the various conditions. In this study, moldflow software was used to analyze the cooling analysis. The results of cooling analysis and testing catapult were compared for plastic products.

• Journal of Computing Science and Engineering
• /
• v.4 no.1
• /
• pp.1-22
• /
• 2010

A field of spoken dialog systems is a rapidly growing research area because the performance improvement of speech technologies motivates the possibility of building systems that a human can easily operate in order to access useful information via spoken languages. Among the components in a spoken dialog system, the dialog management plays major roles such as discourse analysis, database access, error handling, and system action prediction. This survey covers design issues and recent approaches to the dialog management techniques for modeling the dialogs. We also explain the user simulation techniques for automatic evaluation of spoken dialog systems.

• The Journal of the Korean dental association
• /
• v.50 no.3
• /
• pp.140-147
• /
• 2012

Recently, the digital solution of fabricating removable prosthesis by applying haptic input device, electronic surveying, and rapid prototyping was introduced. This review article covers the concept of electronic surveying, computer-aided denture framework designing procedure, discussions after several digital denture cases, directions of future development, such as digital tooth arrangement and RP flasking.