• International Journal of Advanced Culture Technology
• /
• v.6 no.2
• /
• pp.80-85
• /
• 2018

In the 1990s, South Korea recently launched Space Development and is pushing for a step toward Space. In the Space Launch Vehicle field, the development of Practical satellite type Launch Vehicle (Korea Space Launch Vehicle II) has progressed to the stage of proprietary development, and in the field of Satellite development, they also have a great deal of competitiveness. This study will be a shortcut to rediscovering our potential and looking for breakthroughs by reviewing and re-examining the effects of past Space development.

• Journal of KIISE:Software and Applications
• /
• v.37 no.9
• /
• pp.669-675
• /
• 2010

For detecting requirement errors in early system development phase, the behaviors of a system should be described in formal methods and be analyzed with analysis techniques such as reachability analysis and cycle detection. However, since they are usually based on explicit exploration of system state space, state explosion problem may be occurred when a system becomes complex. That is, the memory and execution time for exploration exponentially increase due to a huge state space. In this paper, we analyze the fundamental causes of this problem in concurrent systems and explore the state space without composing concurrent state spaces for reducing the memory requirement for exploration. Also our new technique keeps a visited history minimally for reducing execution time. Finally we represent experimental results which show the efficiency of our technique.

• The Bulletin of The Korean Astronomical Society
• /
• v.33 no.2
• /
• pp.40.1-40.1
• /
• 2008

• Publications of The Korean Astronomical Society
• /
• v.27 no.4
• /
• pp.285-286
• /
• 2012

We combine data from two all-sky surveys, the Swift/Burst Alert Telescope 22 Month Source Catalog and the AKARI Point Source Catalogue, in order to study the connection between the hard X-ray (> 10 keV) and infrared (IR) properties of local active galactic nuclei (AGN). We find two photometric diagnostics are useful for source classification: one is the X-ray luminosity vs. IR color diagram, in which type 1 radio-loud AGN are well isolated from other AGN. The second one uses the X-ray vs. IR color-color diagram as a redshift-independent indicator for identifying Compton-thick (CT) AGN. Importantly, CT AGN and starburst galaxies in composite systems can also be separated in this plane based upon their hard X-ray fluxes and dust temperatures. This diagram may be useful as a new indicator to classify objects in new surveys such as with WISE and NuSTAR.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.03a
• /
• pp.713-721
• /
• 2004

Variable air intake and variable exhaust nozzle of hypersonic engines are designed and tested in this study. Dimensions for variable geometry air intake, ram combustor and variable geometry exhaust nozzle are defined based on the requirements of a pre-cooled turbojet engine. Hypersonic Ramjet Engine is designed as a scaled test bed for each component. Actuation forces of moving parts for variable intake and variable nozzle are reduced by balancing the other force in the opposite direction. A demonstrator engine which includes variable intake and variable nozzle is designed and the components are fabricated. Composite material with silicone carbide is applied for high temperature parts under oxidation environment such as leading edge of the variable intake and combustor liner. Internal cooling structure is adopted for both moving and static parts of the variable nozzle. Pressure recovery and mass capture ratio of the variable intake at Mach 5 is obtained by a hypersonic wind tunnel test. Flow characteristics of the variable nozzle are obtained by a low temperature flow test. Wall temperature and heat flux of the nozzle at Mach 3 is obtained by a firing test. As results, the intake and the nozzle are proved to be used at designed pressure and temperature environment.

• Publications of The Korean Astronomical Society
• /
• v.27 no.4
• /
• pp.185-186
• /
• 2012

We have carried out a survey of T Tauri stars (TTSs) in a 1,800-square-degrees region toward the Taurus-Auriga star forming region with the AKARI Mid-Infrared All-Sky Survey. By combination of AKARI, 2MASS, and UCAC surveys, we created new criteria to chose TTS candidates. We also considered Asymptotic Giant Branch stars and galaxies, which have similar infrared colors, to separate TTSs from these sources. On the basis of our criteria, we find 27 new TTS candidates. To verify our criteria, we performed follow-up observations for them and confirmed that 23 are TTSs.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.03a
• /
• pp.398-400
• /
• 2004

The three-dimensional woven fabric C/SiC composites blisk turbine rotor model was evaluated. The spin tests of the blisk model were performed to measure strain distributions at the room temperature. The rotational strength of the blisk model could be improved by the fiber addition. But, there are still more researches to be done.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2008.03a
• /
• pp.182-186
• /
• 2008

Fundamental experiments with single row heat exchanger were conducted for the purpose of validating new defrosting method using jet impingement. The coolant temperature were varied from 83 to 250 K. We used the jet periodically, once in 50 second and the duration of the jet is 0.1 second. The effect of the coolant temperature in the effectiveness of the jet defrosting was investigated.

• Journal of Advanced Information Technology and Convergence
• /
• v.9 no.1
• /
• pp.127-134
• /
• 2019

In terms of deep Reinforcement Learning (RL), exploration can be worked stochastically in the action of a state space. On the other hands, exploitation can be done the proportion of well generalization behaviors. The balance of exploration and exploitation is extremely important for better results. The randomly selected action with ε-greedy for exploration has been regarded as a de facto method. There is an alternative method to add noise parameters into a neural network for richer exploration. However, it is not easy to predict or detect over-fitting with the stochastically exploration in the perturbed neural network. Moreover, the well-trained agents in RL do not necessarily prevent or detect over-fitting in the neural network. Therefore, we suggest a novel design of a deep RL by the balance of the exploration with drop-out to reduce over-fitting in the perturbed neural networks.

• Journal of Space Technology and Applications
• /
• v.3 no.4
• /
• pp.373-384
• /
• 2023

Initiated as Korea's inaugural space exploration endeavor, the lunar exploration development project has resulted not only the Danuri lunar orbiter but also payloads designed to achieve mission objectives and the associated Korea Pathfinder Lunar Orbiter (KPLO) Deep-space Ground System for the operation and control of the Danuri. Scientific data gathered by four scientific payloads, developed by domestic institutions and installed on board the Danuri, will be publicly available starting January 2024. To facilitate this, the first-ever Korean space exploration scientific data management and public release system, KARI Planetary Data System (KPDS), has been developed. This paper provides details on the configuration and functions of the established KPDS website.