• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2004년도 Proceedings of ISRS 2004
• /
• pp.39-41
• /
• 2004

This paper demonstrates the in-house development of the subsystem C&DH in a D-SAT satellite project of Astronautic Technology (M) Sdn. Bhd. (ATSB). D-SAT is a non-imaging satellite. It will carry a dosimeter as the payload for scientific objectives. Since one of the D-SAT project establishment intended objectives is to demonstrate the research and development skill of the ATSB engineers on the satellite system building, most of the subsystems of the D-SAT are developed in-house including the C&DH subsystem. C&DH subsystem plays an important role for managing data handling tasks and general operation of the satellite system. The C&DH development includes the research and study on the hardware and software design, the design of both the hardware and software, the development of the software system, the integration between the software and the hardware system and the implementation of the subsystem into the satellite system. This program allows ATSB to accomplish the engineers with expertise not only in the C&DH subsystem but other subsystems too besides developing knowledge in the management of a space project that covers not only on the technical issues but issues relating to the economic, political and legal issues.

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

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

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

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.371-380
• /
• 2009

최근에 테스트 데이터를 자동으로 생성하는 방법에 관한 연구가 활발하게 진행되고 있다. 그러나 이러한 방법들은 플래그 변수가 프로그램에 존재하는 경우에는 효과적이지 못함이 밝혀졌다. 이는 엔진 제어기와 같은 내장형 시스템들이 전형적으로 디바이스 관련 상태 정보를 기록하기 위해 플래그 변수를 많이 이용한다는 점을 고려할 때 문제가 된다. 이 논문에서는 플래그 변수가 있는 프로그램에 대하여 효과적으로 테스트 데이터를 생성할 수 있는 방법을 소개한다. 이 방법은 테스트 데이터 생성 문제를 SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성한다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

• 한국전자통신학회논문지
• /
• 제6권5호
• /
• pp.621-627
• /
• 2011

본 논문에서는 로드-풀을 이용하여 X-band에서 on-Wafer 상태의 GaN HEMT 소자에 대한 성능을 분석하고 분석한 결과를 바탕으로 최적의 임피던스 점을 분석하였다. 패키징 하기 전 on-Wafer 상태에 있는 반도체 소자의 최적의 임피던스 분석을 통해 소자 자체에서 최적의 성능을 내는 방안을 제안하였다. Gate length가 0.25um이고 Gate Width가 각각 400um, 800um인 소자에 대한 최적의 임피던스를 선정하여 성능을 분석한 결과, 400um는 $P_{sat}$=33.16dBm(2.06W), PAE=67.36%, Gain=15.16dBm의 성능을 가지며, 800um는 $P_{sat}$=35.9 dBm(3.9W), PAE=69.23%, Gain=14.87dB의 성능을 보였다.

• 한국항공우주학회지
• /
• 제44권1호
• /
• pp.70-79
• /
• 2016

(주)쎄트렉아이는 고해상도 전자광학카메라 시스템, EOS-D Ver.1.0의 개발을 성공적으로 완료하였다. EOS-D Ver.1.0은 DubaiSat-2와 Deimos-2의 주 탑재체(main payload)로, 이 두 위성은 동사의 지구관측 위성 플랫폼(platform)인 SI-300을 기반으로 개발되었다. 두 위성의 발사 및 초기운용 후, 수분 발산에 의한 EOS-D Ver.1.0 광학계의 변형을 보상하기 위해 초점 조절(refocusing)을 수행하였다. EOS-D Ver.1.0 열제어계의 성능을 평가하고 신뢰성을 확인하는 동시에 설계 개선요소를 파악하기 위해, 초점 조절 전후 궤도상 비행 데이터를 수집, 분석하였다. 비행 데이터의 분석 결과, EOS-D Ver.1.0 열제어계가 설계 요구사항을 모두 만족하는 것을 확인하였다.

• 설비공학논문집
• /
• 제18권3호
• /
• pp.254-261
• /
• 2006

The effect of enhanced geometry (pore diameter, gap width) is investigated on the pool boiling of R-123/oil mixture for the enhanced tubes having pores with connecting gaps. Tubes with different pore diameters (and corresponding gap widths) are specially made. Significant heat transfer degradation by oil is observed for the present enhanced tubes. At 5% oil concentration, the degradation is 26 to 49% for $T_{sat}=4.4^{\circ}C$. The degradation increases 50 to 67% for $T_{sat}=26.7^{\circ}C$. The heat transfer degradation is significant even with small amount of oil (20 to 38% degradation at 1% oil concentration for $T_{sat}=4.4^{\circ}C$), probably due to the accumulation of oil in sub-tunnels. The pore size (or gap width) has a significant effect on the heat transfer degradation. The maximum degradation is observed for $d_p$ = 0.20 mm tube at $T_{sat}=4.4^{\circ}C$, and for $d_p$=0.23 mm tube at $T_{sat}=26.7^{\circ}C$. The minimum degradation is observed for $d_p$=0.27 mm tube for both saturation temperatures. It appears that the oil removal is facilitated for the larger pore diameter (along with larger gap) tube. The highest heat transfer coefficient with oil is obtained for $d_p$ =0.23 mm tube, which yielded the highest heat transfer coefficient for pure R-123. The heat transfer degradation increases as the heat flux decreases.

• 항공우주시스템공학회지
• /
• 제8권3호
• /
• pp.27-33
• /
• 2014

The CubeSat, which was first launched to verify new technologies and for educational purposes, is now widely used as an educational tool since it makes possible development of manpower through practical training to produce the satellite at low development costs. At present, research and development on the CubSat is rapidly expanding in domestic and foreign universities. As one of the final 3 teams selected in the 2013 CUBE SATELLITE CONTEST organized by the Ministry of Science, ICT and Future Planning, Chosun University is also currently conducting R & D of STEP Cube Lab, which is a CubeSat scheduled to be launched in 2015 and whose main task is to verify space-based technologies in orbit. The present paper tries to present an overview of the CubeSat of Chosun University whose development is being led by its undergraduate students, and further, introduce the strengths of the present development program for developing space experts, based on the educational achievements from the R & D.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 D
• /
• pp.1252-1254
• /
• 1998

The characteristics of linear dichroism with temperature were investigated in normally($0^{\circ}$) and $80^{\circ}$-obliquely deposited amorphous $As_{40}Ge_{10}Se_{15}S_{35}$ thin films using low temperature equipment. The saturated dichroism($D_{sat}$) of a $80^{\circ}$-obliquely deposited film shows approximately 6% which is the larger value than 4.2 % of normally($0^{\circ}$) deposited film. The $D_{sat}$ of $80^{\circ}$-deposited film was increased to 25 % at 77 K, which is four times larger than that at room temperature. The $D_{sat}$ decreased with increasing temperature and was completely disappeared at about 335K. This could be explained as the tunneling effect due to the thermal excitation of lone-pair electrons in intimate valence alternation pairs(IVAPs) which are considered to be the origin of anisotropy. The decrease of $D_{sat}$ with increasing temperature from 77K to room temperature satisfied Gaussian approximation with a standard deviation of 158K.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.777-784
• /
• 2008

최근 정형 검증 분야에서 상태 폭발 문제를 극복하기 위해 만족가능성(Satisfiability) 처리기를 사용하는 방법이 많이 연구되고 있다. 만족가능성 처리기를 사용하려면 대상을 CNF 식으로 변환해야 하는데, 이진 기수 제약 조건은 시스템을 CNF 식으로 변환하기 위해 많이 사용되는 기법이다. 그러나 이진 기수 제약 조건은 이진 변수들의 집합을 다루기 때문에 이진 변수들의 순서 정보는 변환할 수 없었다. 본 논문에서는 이진 변수의 시퀀스에서 길이가 k인 서브시퀀스 추출 문제에 대한 CNF 변환 방법을 제안한다. 또한 실험을 통해 제안된 방법이 순서정보를 고려치 않고 적용한 변환 방법보다 훨씬 더 좋은 결과를 얻을 수 있었다.