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

• 한국환경농학회지
• /
• 제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.

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

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

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.505-507
• /
• 2003

SAT 문제는 하드웨어/소프트웨어 검증과 모델 체킹 등 다양한 분야에서 유용하게 사용되고 있으나 복잡도가 NP-complete 라는 어려움을 가지고 있다. 다양한 알고리즘과 휴리스틱, 도구들이 개발되었지만 그럼에도 불구하고 해결할 수 없는 hard instance 들이 존재한다. 이 논문에서는 그러한 hard instance를 해결하기 위한 방법의 하나로 model accumulation을 제안한다.

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

The purpose of this study is to develop a Cross Impact System Alternatives Tree(CISAT) model necessary for selecting the interdependent R&D planning system alternatives. This model modifies System Alternatives Tree(SAT) model developed by Kwon et al.. The SAT model is composed of several functions necessary for the achievement of a final goal and several subsystems for satisfying each function. In case that the relationship of technology alternatives is interdependent, this model overlooked a relative importance derived from occurrence or nonoccurrence of the technology alternatives in the future time varience. However, a complex evaluation process within the ballot system is another disadvantage of the SAT. To solve such problems, the Cross Impact Analysis(CIA) model is applied in the SAT model so as to consider the cross impact among interdependent system alternatives.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2003년도 추계학술발표회
• /
• pp.83-86
• /
• 2003

Soil Aquifer Treatment (SAT) is a technique in which secondary- or tertiary-treated wastewater is infiltrated through unsaturated soil and stored in the saturated zone. In SAT, contaminants are removed by physical and biochemical reactions taking place in soils. In this study, a numerical model was developed to predict changes in water quality during SAT operations. The contaminant species considered in the model were ammonium, nitrate, dissolved organic carbon, and dissolved oxygen. The model was calibrated against experimental data obtained from one dimensional soil column tests conducted for 84 days. The calibrated model will be used to find out optimum conditions for the pilot- and regional-scale SAT operations to be scheduled for the next phase of this project.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 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.

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

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

• 대한간호학회지
• /
• 제31권5호
• /
• pp.835-845
• /
• 2001

This study was to identify the relationship between personality type, college admission SAT scores and GPA scores of student nurses. Method: The data was collected from 270 student nurses enrolled in a baccaleaureate program in Seoul. MBTI was used to identify students' personality and SAT score and GPA score were collected over 4 years. The collected data was analyzed by using SPSS Win. package. Result: 1. There were slightly more extrovert (E) type (54.4%) students than the introvert (I) type; more sensing (S) type (71.1%) than the intuitive (N) type. 2. The introvert type students had significantly higher SAT scores than those of the extrovert type (p=.002). 3. The judging type students had significantly higher GPA scores throughout their college years than the perceiving type. 4. There was no statistically significant relationship between SAT and GPA scores. SAT scores did not accurately predict students' academic achievement in college in this sample. Conclusion: The distribution of the personality types in the sample was different from the general population which may suggest that college admission criteria is biased toward certain personality type. Since different personality types process information and cope with the outside world differently, effective teaching strategies need to be considered for each class.