• 한국항공우주학회지
• /
• 제40권7호
• /
• pp.636-645
• /
• 2012

본 논문은 우주기술 저변확대를 위한 초소형위성 프로그램 중 하나로 캔위성 경연대회에 대해 살펴보았다. 먼저 캔위성과 인공위성의 차이점을 알아보고 해외 캔위성 경연대회 사례 및 국내 캔위성 개발 동향을 정리하였다. 이를 바탕으로 국내 캔위성 경연대회의 운영조직 및 역할을 제시하였으며, 캔위성, 발사체, 지상국 등과 같은 경연대회 소요기술의 요구조건 및 개발방안을 도출하였다. 또한 경연대회 수행임무, 사전교육, 진행일정 등 경연대회 추진방안을 마련하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• 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.

• 한국항공우주학회지
• /
• 제45권2호
• /
• pp.154-162
• /
• 2017

인공위성의 시스템 설계 및 운용에 대한 이해증진을 목적으로 국내에서는 2012년을 시작으로 매년 캔위성 경연대회가 개최되고 있다. 본 논문에서 제안한 캔위성은 2016년 경연대회에 출전한 SCSky(Smart Call from the Sky) CanSat으로, 주요임무는 캔위성에 탑재된 스마트폰을 이용하여 영상통화 연결을 통해 위성체 내 외부 및 비행영상 획득을 목표로 하고 있으며, 임무 구현을 위해 형상기억합금 와이어를 적용한 원격터치시스템을 개발하였다. 아울러 부가적인 임무로 비행 임무동안 보다 넓은 범위의 지상관측영상 획득을 목적으로 형상기억합금스프링을 적용한 광역스캔카메라 메커니즘을 개발하였다. 본 논문에서는 상기 캔위성에 대한 임무를 비롯해 개발 탑재체 및 캔위성 시스템 소개, 최종 비행시험결과에 대하여 서술하였다.

• 한국항공우주학회지
• /
• 제41권4호
• /
• pp.327-334
• /
• 2013

2012년 8월, 교육과학기술부와 KAIST 인공위성 센터 주최로 국내 최초의 캔위성 경연대회가 열렸다. 본 논문은 대학부 최우수 수상팀의 캔위성의 설계에 대한 것으로, 개념설계 단계에서 부터 대회 결과에 이르기까지의 전반적인 내용을 다룬다. 캔위성의 임무는 GPS 정보, 자세정보, 지상 이미지 정보를 송신하는 필수임무와 낙하하는 동안 태양이 떠 있는 방향으로 캔위성의 센서부를 지향하는 창의적인 임무로 구분된다. 센서부가 안정적으로 태양의 위치를 추적할 수 있도록 IMU와 Servo motor를 이용하여 자세제어를 수행하도록 설계하였다. 약 150m 상공에서 캔위성을 낙하시켜 임무 수행을 한 결과, 자세제어와 태양 위치 추적 기능이 성공적으로 수행되었음을 알 수 있었다.

• 한국항공우주학회지
• /
• 제46권4호
• /
• pp.315-323
• /
• 2018

캔 위성은 음료수 캔 크기로 위성의 전반적인 시스템을 모사할 수 있어 교육프로그램 일환으로서 큰 각광을 받고 있으며, 국내에서는 2012년도부터 매년 캔 위성 경연대회가 개최되고 있다. 본 논문에서 제안된 캔 위성은 2015년도 국내 캔 위성 경연대회에 출전한 P.P.T CanSat으로 태양에너지 무선전송시스템 및 피에조, 풍력 에너지 하베스팅 시스템을 통해 생성된 전력으로 LED 점멸 및 MEMS기반의 센서 모듈을 자가 구동하는 것을 임무목표로 한다. 본 논문에서는 상기 캔 위성의 시스템 설계 및 주요 임무 탑재체 기능검증 시험, 비행시험, 실패원인 분석 및 재시험에 대해 기술하였다.

• 항공우주시스템공학회지
• /
• 제12권3호
• /
• pp.86-96
• /
• 2018

본 논문에서 제안한 캔위성은 2017년 캔위성 경연대회에 출전한 $HA+RC^2S$ CanSat (High Agility and Remote Control Camera System Can Satellite)이다. 주요임무는 수동진동감쇠기인 동흡진기를 사용하여 카메라를 회전시킨 직후에 발생하는 잔류진동을 감쇠하여 고품질의 영상획득이 가능한 고기동 안정화 카메라 시스템을 검증하는 것이다. 부가적으로는 지상국의 조이스틱을 사용하여 무선으로 제어되는 원격 제어 셀프카메라로 캔위성 자체의 이미지데이터를 획득하는 것이다. 본 논문에서는 임무 정의, 시스템 설계, 제작, 기능 및 성능시험, 최종 비행시험을 포함하는 $HA+RC^2S$ CanSat의 개발과정에 대해 서술하였다.

• 천문학회지
• /
• 제54권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.