• Publications of The Korean Astronomical Society
• /
• v.15 no.spc2
• /
• pp.45-52
• /
• 2000

Four plasma instruments are currently under development for KAISTSAT-4 (K-4) which is scheduled for launch in 2002. They are the Solid-State Telescope, Electro-Static Analyzer, Langmuir Probe, and the Scientific Magnetometer, that will respectively allow in-situ detection of high energy and low energy components of auroral particles, ionospheric thermal electrons, and magnetic field disturbances. These instruments, together with the Far-ultraviolet IMaging Spectrograph, will provide micro-scale physics of Earth's polar ionosphere with detailed spectral information that has not been previously achieved with other space missions. In this paper, we review the concept of the four space plasma instruments as well as the anticipated results from the instruments.

• Proceedings of the KSRS Conference
• /
• 2005.10a
• /
• pp.526-529
• /
• 2005

Dual-channel Radiometers for Earth and Atmosphere Monitoring (DREAM) is the Korean first spaceborne microwave radiometer which is the main payload of Science and Technology SATellite-2 (STSAT-2). STSAT-2 will be launched by Korea Space Launch Vehicle-l (KSL V-I) at NARO Space Center in Korea in 2007. DREAM is a two-channel, total power microwave radiometer with the center frequencies of 23.8 GHz and 37 GHz. The spaceborne radiometer is composed of an antenna unit, a receiver unit, and a data acquisition/processing unit. The bandwidths of radiometer are 600 MHz at 23.8 GHz and 1000 MHz at 37 GHz. The integration time of two channels is 200 rns. The sensitivity of DREAM is less than 0.5 K. This paper presents the required performance and system design of DREAM in detail.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.793-806
• /
• 2016

G-vector-valued sequence space frames and g-Banach frames for Banach spaces are introduced and studied in this paper. Also, the concepts of duality mapping and ${\beta}$-dual of a BK-space are used to define frame mapping and synthesis operator of these frames, respectively. Finally, some results regarding the existence of g-vector-valued sequence space frames and g-Banach frames are obtained. In particular, it is proved that if X is a separable Banach space and Y is a Banach space with a Schauder basis, then there exist a Y-valued sequence space $Y_v$ and a g-Banach frame for X with respect to Y and $Y_v$.

• Honam Mathematical Journal
• /
• v.45 no.3
• /
• pp.491-502
• /
• 2023

As a generalization of Berwald spaces, we have the ideas of Douglas spaces and Landsberg spaces. S. Bacso defined a weakly-Berwald space as another generalization of Berwald spaces. In 1972, Matsumoto proposed the (α, β) metric, which is a Finsler metric derived from a Riemannian metric α and a differential 1-form β. In this paper, we investigated an important class of (α, β)-metrics of the form $F={\mu}_1\alpha+{\mu}_2\beta+{\mu}_3\frac{\beta^2}{\alpha}$, which is recognized as a special form of the first approximate Matsumoto metric on an n-dimensional manifold, and we obtain the criteria for such metrics to be weakly-Berwald metrics. A Finsler space with a special (α, β)-metric is a weakly Berwald space if and only if B^m_m is a 1-form. We have shown that under certain geometric and algebraic circumstances, it transforms into a weakly Berwald space.

• Bulletin of the Korean Space Science Society
• /
• 2002.10a
• /
• pp.82-82
• /
• 2002

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1187-1193
• /
• 2014

We will characterize the boundedness and compactness of weighted composition operators on the minimal M$\ddot{o}$bius invariant space.

• The Bulletin of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.65.2-65.2
• /
• 2005

• The Bulletin of The Korean Astronomical Society
• /
• v.29 no.2
• /
• pp.69.1-69.1
• /
• 2004

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.214-218
• /
• 1992

In this paper, we propose a method for obtaining state-space realization form of two-dimensional transfer function matrices (2DTFM). It contains free parameters. And, we perform various consideration about it. Moreover, we present the conditions so that the state-space realization form exists.

• Journal of the Chungcheong Mathematical Society
• /
• v.15 no.1
• /
• pp.35-41
• /
• 2002

In this paper, we prove the stability of a Jensen's functional equation on a normed almost linear space.