• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 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.

• 대한간호학회지
• /
• 제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.

• 인터넷정보학회논문지
• /
• 제9권2호
• /
• pp.89-105
• /
• 2008

지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

• 정보보호학회논문지
• /
• 제28권1호
• /
• pp.15-24
• /
• 2018

본 논문에서는 SAT 솔버를 이용하여 디퍼렌셜 확률의 근사값을 구하는 방법에 대해서 설명한다. SAT 솔버를 이용해서 이미 알려진 차분특성을 디퍼렌셜로 구성하여 확률을 높일 수 있다. 본 논문에서 제안하는 방법으로 SPECK32와 SPECK48의 디퍼렌셜을 구성하였다. SPECK32는$2^{-30.39}$의 확률을 가지는 10-라운드 디퍼렌셜을 찾아냈고, SPECK48은 $2^{-46.8}$의 확률을 가지는 12-라운드 디퍼렌셜을 찾아냈다. 두 특성 모두 가장 길고 높은 확률을 가지는 새로운 디퍼렌셜이다. 본 논문에서 발견한 디퍼렌셜을 이용해서 SPECK32/64의 15 라운드 차분공격, SPECK48/72의 16 라운드 차분공격, SPECK48/96의 17 라운드 차분공격을 하여 이전 공격보다 각각 1 라운드씩 개선하였다.

• 정신신체의학
• /
• 제7권1호
• /
• pp.42-50
• /
• 1999

감정표현불능증은 감정과 공상을 언어적으로 표현하는 능력의 어려움을 특징으로 하는 정신기능의 특정 장애를 의미한다. 이는 초기에 정신신체질환에서 언급되었음에도 불구하고 감정표현불능증적 특성은 내과적 그리고 정신과적장애를 가진 환자들에게서 폭 넓게 관찰되고 있다. 본 연구는 Scored Archetypal 9 Test(SAT9)파 한국판 토론토 감정표현불능증 척도-20(TAS-20K)를 사용하여 알코올리즘 환자들에서의 감정표현불능증적 특성을 조사하기 위해 계획되었다. 20명의 알코올리즘 환자들과 24명의 정상대조군이 본 연구를 수행하였다. 결과는 다음과 같다. 1) SAT9과 TAS-20K에서 알코올리즘 환자군은 정상대조군에 비하여 좀 더 alexithymic하였다. 2) 두 군간 성별사이의 감정표현불능증 척도는 통계학적으로 유의한 차이가 없었다. 3) 두 군간 나이나 교육정도와 감정표현불능증 척도사이에는 통계학적으로 유의한 상관은 없었다. 4) SAT9과 TAS-20K은 환자군에서 통계학적으로 유의한 상관을 보여주었다.

• 전기전자학회논문지
• /
• 제25권2호
• /
• pp.350-355
• /
• 2021

IGBT는 MOSFET과 BJT의 구조를 동시에 포함하고 있는 전력반도체 소자이며, MOSFET의 빠른 스위칭 속도와 BJT의 고 내압, 높은 전류내량 특성을 갖고 있다. GBT는 높은 항복전압, 낮은 V_CE-SAT, 빠른 스위칭 속도, 고 신뢰성의 이상적인 파워 반도체 소자의 요구사항을 목표로 하는 소자이다. 본 논문에서는 1,200V 급 Trench Gate Field Stop IGBT의 상단 공정 파라미터인 Gate oxide thickness, Trench Gate Width, P+ Emitter width를 변화시키면서 변화하는 Eoff, V_CE-SAT을 분석하였고, 이에 따른 최적의 상단 공정 파라미터를 제시하였다. Synopsys T-CAD Simulator를 통해 항복전압 1,470V와 V_CE-SAT 2.17V, Eon 0.361mJ, Eoff 1.152mJ의 전기적 특성을 갖는 IGBT 소자를 구현하였다.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 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.

• 우주기술과 응용
• /
• 제2권1호
• /
• pp.41-51
• /
• 2022

큐브위성은 기존의 인공위성과 마찬가지로 지구 관측뿐만 아니라, 우주탐사 분야에도 폭넓게 활용되는 인공위성 플랫폼이다. 또한 우주 공간물리현상을 관측하기 위한 자기장관측 임무에서도 다양한 형태로 제작되어 활용되고 있다. 자기장 측정의 경우, 일반적으로 위성의 자기 교란을 최소화하기 위해 자기장측정기가 위성 몸체로부터 멀리 떨어져 있다. 그러나 큐브위성과 같은 작은 위성의 경우 공간적인 제약으로 인해 자기장 센서의 위치 설정이 제한적이다. 이에 이 논문에서는 큐브위성에서 생성된 자기장 간섭을 추정하여 자기장 측정의 신뢰성에 얼마나 영향을 줄 수 있는지 분석하였다. 주요 잡음원으로는 상대적으로 높은 소비전력을 가진 반작용 휠과 자기 토크로드를 대상으로 조사하였다. 이러한 부품의 자기 쌍극자 모멘트는 제조업체의 데이터 시트에 제공된 정보를 사용하였다. 외부 자기장이 없는 공간에서 3 U 큐브위성 중간에 위치한 자기 토크로드의 잔류 모멘트의 영향은 위성의 몸체 최 외곽 끝에서 약 36,000 nT까지 나타날 수 있음을 확인했다. 또한, 1 nT 미만의 정확한 자기장 측정의 임무라면, 자력계는 위성 본체에서 약 0.6 m 반경 거리 외곽에 있어야 함을 알 수 있었다. 이러한 분석 방법은 자기장 측정을 수행하기 위해 CubeSat을 설계할 때 자기 청결도 분석의 중요한 역할이 될 것으로 기대한다.

• 대한산업공학회지
• /
• 제30권1호
• /
• pp.17-26
• /
• 2004

In this study, the usability evaluation of a menu-structure was performed using spreading activation model with respect to human's memory retrieval. Spreading Activation Model is effectively used to understand the process of information retrieval, so it can be used as a theoretical background for modeling of the process of human's information retrieval. For spreading activation test (SAT), subjects were presented with 67 pairs of menu titles, which consist of a menu title in the high level menu item and a menu title for the next lower level menu item, from Korea University's web site. For performance tests, three scenarios were developed with longer reaction times and ambiguous associations found in the SAT to reflect the existing problems of the website. As a result, the SAT was found to bean effective tool to enhance the website usability because the SAT could bea substitute for the performance test with a high correlation $({\rho}=0.735,\;{\alpha}=0.05)$. After remaining menu titles with slow reaction times and ambiguous associations found in SAT, the website usability was significantly improved with faster reaction times and less ambiguous associations proven with smaller number of web-page visits. Therefore, the SAT could be used as a methodology to design and evaluate the user-centered menu structure related to human's association structure.

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

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