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

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

• 한국항공우주학회지
• /
• 제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기반의 센서 모듈을 자가 구동하는 것을 임무목표로 한다. 본 논문에서는 상기 캔 위성의 시스템 설계 및 주요 임무 탑재체 기능검증 시험, 비행시험, 실패원인 분석 및 재시험에 대해 기술하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 추계학술대회
• /
• pp.556-558
• /
• 2022

본 논문에서는 인공지능 알고리즘을 운용할 수 있는 고성능 소형 컴퓨터인 젯슨 나노를 기반으로 차량 추적 기능을 가진 캔위성 시스템을 제안한다. 캔위성 시스템은 캔위성과 지상국으로 구성되며, 캔위성은 대기권 내에서 낙하하며 장착된 센서를 통해 얻은 데이터를 무선통신을 이용해 지상국으로 전송한다. 기존 캔위성은 단순히 수집된 정보를 지상국에 전송하는 임무로 제한되며, 제한된 낙하 시간과 무선통신의 대역폭 제한으로 효율적인 임무 수행에는 한계가 있었다. 본 논문에서 제안하는 젯슨 나노 기반의 캔위성은 사전에 학습된 신경망 모델을 이용하여 공중에서 촬영한 영상에서 차량의 위치를 실시간으로 탐지 후, 2축 모터를 이용하여 카메라를 움직여 차량을 추적한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권7호
• /
• pp.616-624
• /
• 2007

SAT을 이용해서 수도쿠 퍼즐을 풀기 위해서는 수도쿠를 SAT 처리기의 표준 입력 언어인 CNF 논리식으로 인코딩 해야 한다. 기존에 제시된 인코딩 알고리즘으로 크기가 큰 수도쿠를 인코딩하면 현재 SAT 처리기의 처리 수준을 넘을 정도로 많은 논리식이 생성된다. 본 논문에서는 크기가 큰 수도쿠를 다루기 위해서 수도쿠의 고정 셀을 이용하여 최적화된 CNF 논리식을 생성하는 방법을 제시한다. 고정 셀에 배정된 숫자는 불변이기 때문에 이를 이용해서 일부 변수의 값을 인코딩 단계에서 미리 결정할 수 있고, 이들 변수의 값을 이용해서 SAT 처리에 영향을 주지 않는 절과 리터럴을 인코딩 단계에서 제거할 수 있다. 다양한 크기의 수도쿠 퍼즐에 적용한 결과 기존 인코딩 알고리즘에 비해서 우수한 성능을 보였다.

• 공학교육연구
• /
• 제24권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.

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

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

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2008년도 정기총회 및 학술발표대회
• /
• 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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 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.

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

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