• 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.

• 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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.556-558
• /
• 2022

This paper proposes a CanSat system with a vehicle tracking function based on Jetson Nano, a high-performance small computer capable of operating artificial intelligence algorithms. The CanSat system consists of a CanSat and a ground station. The CanSat falls in the atmosphere and transmits the data obtained through the installed sensors to the ground station using wireless communication. The existing CanSat is limited to the mission of simply transmitting the collected information to the ground station, and there is a limit to efficiently performing the mission due to the limited fall time and bandwidth limitation of wireless communication. The Jetson Nano based CanSat proposed in this paper uses a pre-trained neural network model to detect the location of a vehicle in each image taken from the air in real time, and then uses a 2-axis motor to move the camera to track the vehicle.

• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.616-624
• /
• 2007

Sudoku can be regarded as a SAT problem. Various encodings are known for encoding Sudoku as a Conjunctive Normal Form (CNF) formula, which is the standard input for most SAT solvers. Using these encodings for large Sudoku, however, generates too many clauses, which impede the performance of state-of-the-art SAT solvers. This paper presents an optimized CNF encodings of Sudoku to deal with large instances of the puzzle. We use fixed cells in Sudoku to remove redundant clauses during the encoding phase. This results in reducing the number of clauses and a significant speedup in the SAT solving time.

• Journal of Engineering Education Research
• /
• v.24 no.5
• /
• pp.38-45
• /
• 2021

The CanSat was designed as an educational satellite simulation program that implements the overall system of the satellite such as the command processing unit, the communication unit, and the power unit in a structure of the size of a can. In particular, the training effect is very excellent because the trainee can learn a process similar to the actual satellite development process by designing, manufacturing, testing, and launching. Republic of Korea Air Force Academy has been using the CanSat production kit used by the domestic can satellite contest experience department for education, but since it was produced based on PCB, it was impossible to show creativity and operation was restricted even with small mistakes. In this paper, we analyze the existing CanSat kit and propose a new educational CanSat kit that can be used in creative engineering design and practice subjects that will be reorganized into a regular course from 2021, and a lesson plan. In conclusion, by using the proposed CanSat kit for lectures, it is possible to achieve educational purposes and effects, improve lecture satisfaction, and provide stable instruction.

• 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.

• 한국방재학회:학술대회논문집
• /
• 2008.02a
• /
• pp.409-411
• /
• 2008

Water conveyance from waste water treatment plant can play a role in securing river water quantitatively in urban watershed, but it can also cause more severe contamination of river water due to lack of water quality management. Soil aquifer treatment(SAT) has been introduced to overcome the worsening water quality in the water conveyance system considering the characteristics of Korean urban watershed. The application of SAT to the water conveyance system not only improve water quality of ordinarily discharged water but also prevent accidential water pollution to the urban watershed. Since most domestic urban watersheds are consist of narrow terrace lands and surrounded by roads, SAT is estimated not to be appropriate to the urban watershed with respect to the quantitative efficiency. However, since the upstream of urban watershed in which discharge ports are located usually consists of agricultural lands, SAT can be applied near discharge ports. Therefore, combination of water conveyance and SAT is expected to supply clean and safe river water in urban watershed.

• 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 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.