• 한국수학교육학회지시리즈A:수학교육
• /
• 제16권2호
• /
• pp.22-26
• /
• 1978

($\alpha$$_{x}$, $\alpha$X)와 ($\alpha$$_{Y}$ , $\alpha$Y)를 T$_2$ 공간 X와 Y의 Alexandroff base Compactification이라 할 때 $\alpha$fㆍ$\alpha$$_{x}$=$\alpha$$_{Y}$ f를 만족하는 open이고 연속인 함수 $\alpha$f:$\alpha$X$\longrightarrow$$\alpha$Y가 존재하는 연속함수 f:X$\longrightarrow$Y는 유일한 $\alpha$-extension $\alpha$f를 가지며 Category ABC를 T$_2$ 공간과 위와 같은 연속함수 f들의 Category라고 할 때 open이고 연속인 함수와 Compact space들의 Category는 Category ABC의 epireflective subcategory임을 밝혔다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.86-89
• /
• 2003

To model a numerical problem space under the limitation of available data, we need to extract sparse but key points from the space and to efficiently approximate the space with them. This study proposes a sampling method based on the search process of genetic algorithm and a space modeling method based on least-squares approximation using the summation of Gaussian functions. We conducted simulations to evaluate them for several kinds of problem spaces: DeJong's, Schaffer's, and our original one. We then compared the performance between our sampling method and sampling at regular intervals and that between our modeling method and modeling using a polynomial. The results showed that the error between a problem space and its model was the smallest for the combination of our sampling and modeling methods for many problem spaces when the number of samples was considerably small.

• 한국안전학회지
• /
• 제24권6호
• /
• pp.1-6
• /
• 2009

This study describes a construction procedure of 3D virtual space using the NGIS data and its application to simulation. 3D space topography is modeled by using DEM consisted with triangular regular network. The elevations of nodal points of DEM are calculated through the interpolation with contour line and elevation points from the NGIS. Also, data for 2D roads and their environments, such as trees, lamps, and traffic signals, were extracted from the NGIS and projected on the DEM surfaces to get 3D virtual space. To give a reality to 3D virtual space and accelerate its graphic speed, data were converted into the directX format. It is believed that the virtual space constructed in this work can be applicable to the ubiqutous because DEM data can be converted to the AutoCAD format and ASCII code.

• 천문학회보
• /
• 제44권1호
• /
• pp.82.2-82.3
• /
• 2019

Korea Astronomy and Space Science Institute (KASI), in collaboration with the NASA Goddard Sparce Flight Center (GSFC), will develop a next generation coronagraph for the International Space Station (ISS). COronal Diagnostic EXperiment (CODEX) uses multiple filters to obtain simultaneous measurements of electron density, temperature, and velocity within a single instrument. CODEX's regular, systematic, comprehensive dataset will test theories of solar wind acceleration and source, as well as serve to validate and enable improvement of space-weather/operational models in the crucial source region of the solar wind. CODEX subsystems include the coronagraph, pointing system, command and data handling (C&DH) electronics, and power distribution unit. CODEX is integrated onto a standard interface which provides power and communication. All full resolution images are telemeters to the ground, where data from multiple images and sequences are co-added, spatially binned, and ratioed as needed for analysis.

• 영재교육연구
• /
• 제21권4호
• /
• pp.847-860
• /
• 2011

이 연구에서는 고등학교 수학영재와 일반학생들의 수학적 사고력의 차이를 알아보았다. 이를 위하여 9개의 문항으로 구성된 수학적 사고력 검사를 353명의 일반계 고등학교 1학년 학생과 192명의 과학 고등학교 1학년 학생에게 실시하였다. 그 결과 수학적 사고력의 하위요소인 정보의 조직화 능력, 시각화/공간화 능력 및 직관적 통찰 능력이 수학영재와 일반학생을 구분하는 중요한 특성임을 추출하였다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2010년도 한국우주과학회보 제19권1호
• /
• pp.36.2-36.2
• /
• 2010

Followed the System Design Review (PDR) of a mobile SLR (Satellite Laser Ranging) system, a successful preliminary design review was finished in 2009. With the completion of this mobile SLR system, KASI (Korea Astronomy and Space Science Institute) can perform a series of test observation and calibration/validation procedures. After the operation performance of the whole system reaches the nominal design, a regular scheduled observation will be executed. However, the project has been disturbed by the frequent change of working staff, budget profile, and plan as well as the inexperienced man power. In this study, the contents and the issues of PDR are briefly reviewed and several items of SLR system are suggested. This mobile SLR system will push Korea's Space Geodetic study further and will make us jump to another step to the Space Science in Korea.

• 충청수학회지
• /
• 제28권3호
• /
• pp.431-441
• /
• 2015

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a topology on X and regard ${\tau}(X)$ a topological space. Our purpose of this study is to give new topologies on the family ${\tau}(X)$ of all topologies induced by old one and its ${\theta}$ topology and to compare them.

• 대한수학회지
• /
• 제46권3호
• /
• pp.463-473
• /
• 2009

Two $C^1$-mappings, whose domain is a connected compact $C^1$-Banach manifold modelled over a Banach space X over $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$ and whose range is a Banach space Y over $\mathbb{K}$, are introduced. Sufficient conditions are given to assert they share only a value. The proof of the result, which is based upon continuation methods, is constructive.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제21권1호
• /
• pp.19-21
• /
• 1982

In this paper, we define the z-S-closed spaces using the notions of zero-sets and S-closed spaces introduced by T. Thompson, and investigate some properties of these spaces. We also obtain the following results. If a space X is z-S-closed, then every cover of z-regular semiopen sets has a finite proximate subcover. A z-extremally disconnected z-QHC space is z-S-closed, z-S-closed is contagious.

• 충청수학회지
• /
• 제31권4호
• /
• pp.387-396
• /
• 2018

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a fixed topology on X and we will regard ${\tau}(X)$ a topological space. Our purpose of this study is to comparison new topologies on the family ${\tau}(X)$ of all topologies induced old one.