• Journal of Astronomy and Space Sciences
• /
• 제34권2호
• /
• pp.127-138
• /
• 2017

The current study designs the mission orbit of the lunar CubeSat spacecraft to measure the lunar local magnetic anomaly. To perform this mission, the CubeSat will impact the lunar surface over the Reiner Gamma swirl on the Moon. Orbit analyses are conducted comprising ${\Delta}V$ and error propagation analysis for the CubeSat mission orbit. First, three possible orbit scenarios are presented in terms of the CubeSat's impacting trajectories. For each scenario, it is important to achieve mission objectives with a minimum ${\Delta}V$ since the CubeSat is limited in size and cost. Therefore, the ${\Delta}V$ needed for the CubeSat to maneuver from the initial orbit toward the impacting trajectory is analyzed for each orbit scenario. In addition, error propagation analysis is performed for each scenario to evaluate how initial errors, such as position error, velocity error, and maneuver error, that occur when the CubeSat is separated from the lunar orbiter, eventually affect the final impact position. As a result, the current study adopts a CubeSat release from the circular orbit at 100 km altitude and an impact slope of $15^{\circ}$, among the possible impacting scenarios. For this scenario, the required ${\Delta}V$ is calculated as the result of the ${\Delta}V$ analysis. It can be used to practically make an estimate of this specific mission's fuel budget. In addition, the current study suggests error constraints for ${\Delta}V$ for the mission.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2005년도 추계학술대회 및 정기총회
• /
• pp.123-129
• /
• 2005

‘Digital Convergence’는 이동통신 단말산업의 중요한 화두이며, 대부분의 휴대폰에 카메라, 음악 및 동영상 재생 등의 기능들이 내장되어 상용화되고 있다. 앞으로도, 휴대폰의 다양한 멀티미디어기능에 대한 소비자의 요구는 지속적으로 심화될 깃이 명백하다. 본 적용사례에서는 기개발된 요구기능과 실현수단으로 구성되는 ${\ulcorner}$SAT ${\lrcorner}$ 구조모형에 근거하여 설정된 휴대폰컨셉대체안들에 대한 평가를 통하여 멀티미디어기능이 강화된 휴대폰컨셉을 개발하였다. 이 과정에서 ${\ulcorner}$SAT${\lrcorner}$ 모형의 기존 투표방식 (Ballot Form)으로는 주요 요구기능과 단말실현기 술에 대한 전문기술집단의 선호구조를 정밀하게 분석할 수 없기 때문에 ${\ulcorner}$컨조인트SAT 모형 (Cj-SAT Model)${\lrcorner}$ 을 개발하고, 이를 이동통신단말기 에 적용하였다.

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

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

• 대한수학교육학회지:수학교육학연구
• /
• 제26권3호
• /
• pp.527-542
• /
• 2016

통계 정보에 대한 비판적 이해 능력을 강조하는 통계적 소양이 통계 교육의 목표로 주목받고 있다. 통계적 소양 교육을 위해서는 평가의 역할이 중요하다. 특히 대학수학능력시험이 우리나라 학교 수업에 미치는 영향을 고려할 때, 대학수학능력시험에서 통계적 소양을 평가할 수 있는 문항이 출제될 필요가 있다. 이를 확인하기 위하여 PISA 평가틀(OECD, 2013)을 이용하여 대학수학능력시험의 통계 문항이 통계 정보에 대한 비판적 이해 능력을 측정하는지, 다양한 맥락을 활용하는지를 분석하였다. 대학입학시험에서 통계적 소양의 평가와 측정을 반영하기 위한 시사점을 도출하고자, 미국의 대학입학시험인 SAT의 통계 문항과 비교 또한 시도하였다. 분석 결과 수능과 SAT 모두 다양한 유형의 맥락을 활용하고 있었으나, 수능에 출제된 통계 문항들은 비판적 이해 능력을 평가하는 것에 있어 제한적인 것으로 나타났다. SAT에 출제된 통계 문항에는 비판적 이해 능력을 평가하는 것이 상당수 포함되어 있다. 이를 포함하여 통계적 소양을 평가하기 위한 다양한 문항들이 있다. 이 문항들을 참고하여 우리나라의 교육과정에서 제시하는 통계교육의 목표, 내용, 방법에 적합한 통계적 소양 평가문항을 개발할 필요가 있다.

• 한국인터넷방송통신학회논문지
• /
• 제23권6호
• /
• pp.125-132
• /
• 2023

본 논문은 NP-완전으로 알려진 k-SAT 문제의 절의 수 m에 대해 O(km)의 다항시간 알고리즘을 제안하였다. 기존에 널리 알려진 DPLL은 문자 수 𝑙에 대해 분기한정법의 전수탐색으로 해를 찾지 못하면 역추적을 수행하는 방식으로 최악의 경우 O(2^𝑙)을 수행해야 한다. DPLL은 최소 빈도수 문자가 포함된 절을 참(T)으로 하도록 문자에 참(T) 또는 거짓(F)을 대입하여 해당 문자가 포함된 절을 제거하는 방식으로 SAT Solver의 근간을 이루고 있다. 제안된 알고리즘은 DPLL과는 반대로 부울 수식 f에 존재하는 최대 빈도수 문자 _max𝑙을 선택하고, $_{\max}({\mid}l{\mid},{\mid}{\bar{l}}{\mid})=1$로 설정하고, 𝑙∈c_i 절은 삭제하며, ${\bar{l}}{\in}c_i$절에서 ${\bar{l}}$를 삭제하는 방법을 적용하였다. 제안된 알고리즘을 다양한 k-SAT 문제들에 적용한 결과 기존의 DPLL 알고리즘보다 적은 횟수를 수행함을 알 수 있었다.

• 한국환경농학회지
• /
• 제37권1호
• /
• pp.1-8
• /
• 2018

BACKGROUND: Different physical and chemical properties of biochar, which is made out of a variety of biomass materials, can impact water movement through amended soil. The objective of this research was to develop a decision support tool evaluating the impact of the shape and the size distribution of biochar on soil saturated hydraulic conductivity ($K_{sat}$). METHODS AND RESULTS: Plastic beads of different size and morphology were compared with biochar to assess impacts on soil $K_{sat}$. Bead and biochar were added at the rate of 5% (v/w) to coarse sand. The particle size of bead and biochar had an effect on the $K_{sat}$, with larger and smaller particle sizes than the original sand grain (0.5 mm) decreasing the $K_{sat}$ value. The equivalent size bead or biochar to the sand grains had no impact on $K_{sat}$. The amendment shape also influenced soil hydraulic properties, but only when the particle size was between 3-6 mm. Intra-particle porosity had no significant influence on the $K_{sat}$ due to its small pore size and increased tortuosity compared to the inter-particle spaces (macro-porosity). CONCLUSION: The results supported the conclusion that both particle size and shape of the amended biochar impacted the $K_{sat}$ value.

• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• 대기
• /
• 제32권1호
• /
• pp.39-49
• /
• 2022

The relationship between the Quasi-Biennial Oscillation (QBO) and the surface air temperature (SAT) in the Korean Peninsula is investigated for the period of 1979~2019. The QBO shows a statistically significant causal relationship with the Korean SAT in early spring when the El Niño-Southern Oscillation (ENSO)'s effect is relatively weak. In particular, when the QBO wind at 70 hPa is westerly, the Korean SAT becomes colder than normal in March. This relationship in March, which is statistically significant, is valid not only for March QBO but also for February QBO, indicating that the QBO is leading the Korean SAT. The Granger causality test indeed shows a causal relationship between February QBO and March Korean SAT. The QBO-Korean SAT relationship is more pronounced in the southeastern part of the Korean Peninsula. As the QBO-related circulation anomalies are evident in the North Pacific and the eastern Eurasia, they induce the horizontal temperature advection to the southeastern part of the Korean Peninsula. This result suggests that the QBO could be useful for improving seasonal prediction of the Korean SAT in March.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.881-883
• /
• 2003

하드웨어 검증과 모델 체킹 등의 분야에서, SAT(satisfiability problem)나 항진 명제 검사(tautology checking)는 매우 중요한 문제이다. 그러나 이들은 모두 NP-complete 문제이므로 그 복잡도가 매우 크다. 이를 해결하기 위해 여러 가지 연구가 이루어져 왔으며, 여러 효율적인 알고리즘이 존재한다. 이러한 알고리즘은 대부분 일반 표현식을 CNF(conjunctive normal form)로 바꾸어 입력 형식으로 사용한다. 이 논문에서는 일반 표현식을 입력으로 받아 DNF로 변환한 뒤 DNF의 특성을 이용하여 SAT를 검사하는 효율적인 방법을 제시한다.

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

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