• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.7
• /
• pp.636-645
• /
• 2012

This paper presented the CanSat competition as one of very small satellite programs for expending the space technology base. The CanSat was compared and characterized with a real satellite and the foreign CanSat competition cases and domestic CanSat development trends were summarized. On the basis of the above information, the organizational structure and function were suggested for domestic CanSat competition and the required technologies, such as satellite, launcher and ground station were described. And also, the prior plan for competition, including mission, education and schedule were suggested.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.2
• /
• pp.154-162
• /
• 2017

CanSat Competition has been annually held in South Korea since 2012 to give students an opportunity for better understanding of system design and operation processes of satellite. SCSky CanSat(Smart Call from the Sky Can Satellite) proposed in this study is a name of CanSat that was participated in 2016 CanSat competition. Its main mission objective is to obtain flight imaging data of inside and outside the CanSat through the video call using on-board smart phone in the CanSat. To implement this mission, we developed a remote touch system using SMA(Shape Memory Alloy) wire. In addition, a wide scan camera mechanism using SMA spring was developed to obtain ground imaging data during the mission. This study introduced the mission of the SCSky CanSat, as well as the description of on-board payloads, system design results, and flight test results.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.41 no.4
• /
• pp.327-334
• /
• 2013

In August 2012 the first CanSat competition was hosted by the Satellite Research Center of KAIST under auspice of the Ministry of Education, Science and Technology. The present authors team won the first prize in the university session. In this paper the overall procedure of the CanSat project presented from the conceptual design stage to the final launch test. As the compulsory mission CanSat should send GPS data and attitude information to the ground station which in practice was performed via Bluetooth channel. In addition our CanSat is designed to trace the sun for the solar panels supplying electric power of satellite. IMU and servo motors are used for the attitude control in order that the solar sensor of the CanSat is always direct towards the sun. Launching of CanSat was simulated by dropping from a balloon at the height of around 150m via parachute. Launching test results showed that the attitude control of the CanSat and its solar sensing function were successful.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.4
• /
• pp.315-323
• /
• 2018

CanSat has being attracted considerable attentions for the use as training purposes owing to its advantage that can implement overall system functions of typical commercial satellites within a small package like a beverage can. So-called P.P.T CanSat (Power Plant Trio Can Satellite), proposed in this study, is the name of a CanSat project which have participated in 2015 domestic CanSat competition. Its main objective is to self-power on a LED and a MEMS sensor module by using electrical energy harvested from solar, wind and piezo energy harvesting systems. This study describes the system design results, payload level function tests, flight test results and lessons learned from the flight tests.

• Journal of Aerospace System Engineering
• /
• v.12 no.3
• /
• pp.86-96
• /
• 2018

The High Agility and Remote Control Camera System Can-Satellite ($HA+RC^2S$ CanSat) proposed in this study is a satellite designed by the authors of this work and submitted as an entry in the 2017 CanSat competition in Goheung gun, Jeonnam, Korea. The primary mission of this work is to develop a high agility camera system (HACS) that can obtain high quality images in the air. This objective is achieved by using a tuned mass damper (TMD) to attenuate the residual vibration that occurs immediately after rotating the camera. The secondary objective is to obtain a self-image of CanSat in the air using a remote control self-camera system (RCSS) that is wirelessly controlled using a joystick from a ground station. This paper describes the development process of the $HA+RC^2S$ CanSat, including mission definition, system design, manufacturing, function and performance tests carried out on the ground, and final launch test.

• Journal of The Korean Astronomical Society
• /
• v.54 no.1
• /
• pp.9-16
• /
• 2021

The Ozone Dynamics Investigation Nano-Satellite (ODIN) is a CubeSat design proposed by Chungnam National University as contribution to the CubeSat Competition 2019 sponsored by the Korean Aerospace Research Institute (KARI). The main objectives of ODIN are (1) to observe the polar ozone column density (latitude range of 60° to 80° in both hemispheres) and (2) to investigate the chemical dynamics between stratospheric ozone and ozone depleting substances (ODSs) through spectroscopy of the terrestrial atmosphere. For the operation of ODIN, a highly efficient power system designed for the specific orbit is required. We present the conceptual structural design of ODIN and an analysis of power generation in a sun synchronous orbit (SSO) using two different configurations of 3U solar panels (a deployed model and a non-deployed model). The deployed solar panel model generates 189.7 W through one day which consists of 14 orbit cycles, while the non-deployed solar panel model generates 152.6 W. Both models generate enough power for ODIN and the calculation suggests that the deployed solar panel model can generate slightly more power than the non-deployed solar panel model in a single orbit cycle. We eventually selected the non-deployed solar panel model for our design because of its robustness against vibration during the launch sequence and the capability of stable power generation through a whole day cycle.