• Communications of the Korean Mathematical Society
• /
• v.18 no.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.

• Journal of Korean Association for Spatial Structures
• /
• v.16 no.1
• /
• pp.105-113
• /
• 2016

Since the 1980s, the number of large space buildings in Korea has consistently been increasing due to large scale international competitions such as the Olympics and the World Cup, demands for environmental improvement, and development of structural systems. Due to these reasons, this paper conducted a comparative analysis on terrorism risk factors of large space structure and skyscrapers in Korea. The results suggest that the total risk level of high-rise and large space structure was "medium level risk" and that the terrorism risk level for large space structure was as high as that for high-rise buildings. As it relates to the risk levels depending on scenarios, terrorism risks to large space structure were higher than high-rise buildings in the "internal explosion" and "internal intrusion" categories. And the results of analyzing explosion-related scenarios except for CBR suggest that terrorism risks to large space structure were highest when it comes to Internal-Explosive followed by Internal-Intrusion and Explosive-Zone I; and the results showed a regular pattern. On the other hand, in the case of high-rise buildings, terrorism risks were highest in Internal-Explosive followed by Explosive-Zone I and Explosive-Zone II; and the results showed an irregular pattern.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.25 no.6
• /
• pp.492-497
• /
• 2016

Teaching an industrial robot is still a dangerous and time-consuming process. It is expected that a robot can track a trajectory that is repeatedly taught by a human operator. Teaching a robot in joint space is easier than that in Cartesian space or a work space because the robot will never lose its stability when it is taught and operated in a joint space. However, it is very easy for a robot to lose its stability when it is taught in a work space. This is because of the singular points problem in kinematics for manipulators. Thus, experts should teach a given task to a robot in a careful manner. A new algorithm that avoids the problem of singular points is proposed. Using this proposed method, a user can freely teach a robot without the chance of instability in an entire work space.

• Journal of Astronomy and Space Sciences
• /
• v.32 no.1
• /
• pp.45-50
• /
• 2015

We have developed a 2.5-dimensional electromagnetic particle simulation code using the particle-in-cell (PIC) method to investigate electromagnetic phenomena that occur in space plasmas. Our code is based on the leap-frog method and the centered difference method for integration and differentiation of the governing equations. We adopted the relativistic Buneman-Boris method to solve the Lorentz force equation and the Esirkepov method to calculate the current density while maintaining charge conservation. Using the developed code, we performed test simulations for electron two-stream instability and electron temperature anisotropy induced instability with the same initial parameters as used in previously reported studies. The test simulation results are almost identical with those of the previous papers.

• Journal of Astronomy and Space Sciences
• /
• v.33 no.4
• /
• pp.295-304
• /
• 2016

The atmosphere strongly affects the Earth's spin rotation in wide range of timescale from daily to annual. Its dominant role in the seasonal perturbations of both the pole position and spinning rate of the Earth is once again confirmed by a comparison of two recent data sets; i) the Earth orientation parameter and ii) the global atmospheric state. The atmospheric semi-diurnal tide has been known to be a source of the Earth's spin acceleration, and its magnitude is re-estimated by using an enhanced formulation and an up-dated empirical atmospheric S2 tide model. During the last twenty years, an unusual eastward drift of the Earth's pole has been observed. The change in the Earth's inertia tensor due to glacier mass redistribution is directly assessed, and the recent eastward movement of the pole is ascribed to this change. Furthermore, the associated changes in the length of day and UT1 are estimated.

• Journal of Space Technology and Applications
• /
• v.1 no.1
• /
• pp.85-103
• /
• 2021

Environmental Control & Life Support System (ECLSS) technology is essential for humans to live safely in space other than on Earth and celestial bodies (ex, Moon, Mars etc.) in our solar system. Life support systems generally consist of Air Management System (AMS), Water Recovery System (WRS), and Waste Management System (WMS), and it can enable humans to breathe and live in enclosed dwellings in outer space. First, this paper described the development trends of life support systems that have been developed under the leadership of NASA. In addition, we introduced the current development status of life support system in operation on the International Space Station (ISS) and prospected the development trends in Korea.

• Journal of the Korean housing association
• /
• v.18 no.3
• /
• pp.19-29
• /
• 2007

This study is aimed at interpreting into changes and characters of function applied into quantative analysis in ubiquitous house. Digital technology being introduced into architectural fields, It applied expansively from design and construction to user's convenience. The application of digital technology is presented to various change like effectiveness and exactness in design and function of space, which is overlayed digital space to physical space beyond the extent of receiving human needs in physical space. In ubiquitous house, digital technologies are supplied to function coordinated with life, appreciating into positional informations of human and materials, spatial informations. Ubiquitous house is comparably effective into funtional expansion, user's convenience, safty, which, for the future, is going to using on housing of high performance encouraging the application of advanced technology. Therefore this study is classified into human behaviors, functions, performances and characters of digital system in ubiquitous house, which being established into the relation of elements, is interpreted numerically into functional changes and charats being applied to ARM.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.1053-1056
• /
• 2004

Research in Human Computer Interface (HCI) is towards development of an application environment able to deal with interactions of both human and computers that can be more intuitive and efficient. This can be achieved by bridging the gap between the synthetic virtual environment and the natural physical environment. Thus a project called Tangible Space Initiative (TSI) has been launched by KIST. TSI is subdivided into Tangible Interface (TI) which controls 3D cyber space with user's perspective, Responsive Cyber Space (RCS) which creates and controls the virtual environment and Tangible Agent (TA) which senses and acts upon the physical interface environment on behalf of any components of TSI or the user. This paper is a brief introduction to a new generation of Human Computer Interface that bring user to a new era of interaction with computers in the future.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.6
• /
• pp.2065-2069
• /
• 2014

The DAC-7512E is a 12-bit digital to analog converter that is low power and a single package with internal buffers. The DAC-7512E takes up minimal PCB area for applications of space power electronics design. The spacecraft mass is a crucial point considering spacecraft launch into space. Therefore, we have performed a TID test for the DAC-7512E 12-bit serial input digital to analog converter to reduce the spacecraft mass by using a low-level Gamma-ray irradiator with $Co^{60}$ gamma-ray sources. The irradiation with $Co^{60}$ gamma-rays was carried out at doses from 0 krad to 100 krad to check the error status of the device in terms of current, voltage and bit error status during conversion. The DAC-7512E 12-bit serial digital to analog converter should work properly from 0 krad to 30 krad without any error.

• Communications of the Korean Mathematical Society
• /
• v.22 no.4
• /
• pp.527-534
• /
• 2007

This paper deals with the BK-AK property of the integrated rate space ${\int}{\ell}_{\pi}$. Importance of ${\delta}^{(k)}$ in this content is pointed out. We investigate a determining set for the integrated rate space ${\int}{\ell}_{\pi}$. The set of all infinite matrices transforming ${\int}{\ell}_{\pi}$, into BK-AK space Y is denoted $({\int}{\ell}_{\pi}:\;Y)$. We characterize the classes $({\int}{\ell}_{\pi}:\;Y)$. When $Y={\ell}_{\infty},\;c_0,\;c,\;{\ell}^p,\;bv,\;bv_0,\;bs,\;cs,\;{\ell}_p,\;{\ell}_{\pi}$. In summary we have the following table: