PC 와 모바일 기기에 있는 다양한 프로그램을 이용하여 인터넷을 이용하는 사람들이 늘어날수록 프로그램에서 개인정보 등이 유출될 가능성은 매우 높아지고 있다. 따라서 인터넷을 사용하는 프로그램에서 정보흐름의 안전성 분석을 한 후에 개인정보의 유출이 없는 안전한 프로그램을 사용해야 한다. 정보흐름의 안전성 분석은 프로그램 내에서 정보의 흐름이 안전한지 분석하는 방법으로 정보흐름이 안전하면 개인정보 유출이 없고 안전하지 않으면 개인정보 유출이 발생할 수 있다. 본 논문에서는 SAT 해결기를 활용하여 정보흐름 분석을 수행하는 방법을 제시한다. 이 방법은 보안 수준이 설정된 변수를 포함하는 프로그램을 제어와 정보흐름을 나타내는 명제 논리식으로 변환하고, SAT 해결기를 이용해 명제 논리식으로부터 만족가능성 여부를 판단한다. 판단된 결과를 통해 프로그램에서 정보흐름이 안전한지 알 수 있으며, 안전하지 않은 경우 반례를 생성하여 어느 부분에서 안전하지 않은 지 알 수 있다.
㈜쎄트렉아이는 UAE의 EIAST와 함께 2008년 발사를 목표로 SI-200 표준버스시스템을 기반으로 하는 DubaiSat-1 비행모델을 개발하였다. DubaiSat-1 비행모델의 열제어계는 전력 소비의 최소화를 위해 수동 열제어를 기반으로 하되, 주요 부품에는 히터를 이용한 능동 열제어가 이뤄지도록 설계되었다. 또한 열해석 모델을 작성하여 DubaiSat-1의 임무궤도에 대해 열해석을 수행하였으며, 해석 결과를 토대로 모든 구성품이 설계 요구조건을 만족시킬 수 있도록 설계 보정 작업을 진행하였다. 또한 우주환경을 모사한 열진공시험을 수행하여 DubaiSat-1 비행모델의 열제어 성능에 대해 검토하였으며, 시험 결과와 해석 결과의 비교를 통한 열해석 모델의 보정 작업을 완료하였다.
본 논문에서는 SAT 솔버를 이용하여 디퍼렌셜 확률의 근사값을 구하는 방법에 대해서 설명한다. SAT 솔버를 이용해서 이미 알려진 차분특성을 디퍼렌셜로 구성하여 확률을 높일 수 있다. 본 논문에서 제안하는 방법으로 SPECK32와 SPECK48의 디퍼렌셜을 구성하였다. SPECK32는$2^{-30.39}$의 확률을 가지는 10-라운드 디퍼렌셜을 찾아냈고, SPECK48은 $2^{-46.8}$의 확률을 가지는 12-라운드 디퍼렌셜을 찾아냈다. 두 특성 모두 가장 길고 높은 확률을 가지는 새로운 디퍼렌셜이다. 본 논문에서 발견한 디퍼렌셜을 이용해서 SPECK32/64의 15 라운드 차분공격, SPECK48/72의 16 라운드 차분공격, SPECK48/96의 17 라운드 차분공격을 하여 이전 공격보다 각각 1 라운드씩 개선하였다.
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.
본 논문은 NP-완전으로 알려진 3-SAT 문제에 대해 O(nm)의 다항시간 알고리즘을 제안하였다. 여기서 n은 3-SAT 수식 f에 포함된 문자수이며, m은 모든 문자의 총 발생 빈도수이다. 제안된 알고리즘은 우선순위롤 정하여 문자의 진리 값을 결정하였다. 하나의 절에 포함된 최소 문자의 수가 1개(k=1)인 문자, k≥2 이고 진리 값이 '0' 또는 '1'만 존재하는 문자, 발생 빈도수가 최소인 문자 우선순위로 진리 값을 결정하였다. 진리 값이 결정된 문자의 r인 절을 삭제하고, 남아 있는 절에서 해당 문자를 삭제하는 방법으로 식을 축소시킨다. 이 과정을 문자 수 l회를 수행하면 주어진 f의 충족 가능 여부를 결정할 수 있다. 이 방법을 적용한 결과 주어진 식 f의 충족 가능 여부를 판단할 수 있었으며, 모든 문자의 진리 값도 결정할 수 있었다. 제안된 알고리즘을 다양한 문제들에 적용한 결과 모든 문제들에서 충족가능 여부를 정확히 결정할 수 있었다. 결국, 제안된 알고리즘은 모든 SAT 문제를 선형시간으로 풀 수 있는 일반화된 알고리즘으로 확장 가능하며, 오랜 숙원이던 P vs. NP 문제를 풀 수 있는 기반을 제공하였다.
본 논문에서는 IMT-2000 위성 부문 무선 인터페이스 표준을 위한 임의 접속 채널의 전송 구조 및 접속 과정을 제시한다. 제안된 임의 접속에 관한 표준 내용은 IMT-2000 지상 부문 무선 인터페이스 표준의 하나인 3GPP FDD 모드의 임의 접속 기법과 많은 부분에서 공통성을 가지며, 위성 부문의 채널 특징을 고려하여 프리엠블의 반복 전송, 프리엠블과 메시지의 동시 전송, 그리고 물리 계층 레벨에서의 빠른 검출 확인이라는 특징을 갖는다. 현재, 제안된 임의 접속 기술은 한국 TTA에 의해 제안되어 IMT-2000 위성 부문의 하나의 무선 인터페이스로 ITU-R에서 승인된 SAT-CDMA의 임의 접속 기술로 포함되었다. 또한, 본 논문에서는 SAT-CDMA에 적용된 임의 접속 채널을 이용한 시그널링 과정과 지연 특성을 분석하였으며, 기존의 ALOHA 방식과 3GPP에서 사용하는 임의 접속 방식과 시그널링 지연 측면에서 비교하였다. SAT-CDMA의 고도 1600 km LEO 위성 궤도를 고려할 때, SAT-CDMA 임의 접속 방식은 기존 ALOHA 방식에 비해 전송 회수가 증가함에 따라 100 ms 이상의 적은 지연 시간을 보이며, 3GPP 방식에 비해 약 30 ms의 적은 지연 시간을 갖는다.
MTF(modulation transfer function)는 광학 시스템의 성능을 평가하기 위하여 사용되는 중요한 파라미터 중 하나이다. 또한 열악한 우주 환경(방사능, 극한 열조건 및 전자기장 등), 대기 영향 및 시스템 성능의 저하 등으로 저하된 영상품질을 복원시켜주기 위한 파라미터로 사용될 수도 있다. 본 논문에서는 소형 지구관측위성인 DubaiSat-1이 발사된 후, 위성영상의 품질을 평가하기 위하여 MTF를 측정하였다. 일반적으로 MTF는 point source 혹은 knife-edge 방법 등과 같은 다양한 방법을 이용하여 측정되어왔다. 그러나 본 논문에서는 ISO에서 line source에 의한 MTF 측정을 표준화한 slanted-edge 방법을 이용하여 MTF를 측정하였다. Slanted-edge 방법은 전자 스틸 카메라(electronic still-picture camera)의 MTF를 측정하기 위한 ISO 12233 표준으로써, 라인스캐닝 망원경(line-scanning telescope)의 MTF를 추정하기 위하여 사용된 방법이다. 또한 PSF(point spread function) 기반으로 제작된 MTF 회선 커널(MTF convolution kernel)에 의한 MTF 보상(MTF compensation)과 영상의 노이즈 제거(image denoising)를 수행하여 영상의 품질 저하(degradation)를 완화시켰다.
큐브위성은 기존의 인공위성과 마찬가지로 지구 관측뿐만 아니라, 우주탐사 분야에도 폭넓게 활용되는 인공위성 플랫폼이다. 또한 우주 공간물리현상을 관측하기 위한 자기장관측 임무에서도 다양한 형태로 제작되어 활용되고 있다. 자기장 측정의 경우, 일반적으로 위성의 자기 교란을 최소화하기 위해 자기장측정기가 위성 몸체로부터 멀리 떨어져 있다. 그러나 큐브위성과 같은 작은 위성의 경우 공간적인 제약으로 인해 자기장 센서의 위치 설정이 제한적이다. 이에 이 논문에서는 큐브위성에서 생성된 자기장 간섭을 추정하여 자기장 측정의 신뢰성에 얼마나 영향을 줄 수 있는지 분석하였다. 주요 잡음원으로는 상대적으로 높은 소비전력을 가진 반작용 휠과 자기 토크로드를 대상으로 조사하였다. 이러한 부품의 자기 쌍극자 모멘트는 제조업체의 데이터 시트에 제공된 정보를 사용하였다. 외부 자기장이 없는 공간에서 3 U 큐브위성 중간에 위치한 자기 토크로드의 잔류 모멘트의 영향은 위성의 몸체 최 외곽 끝에서 약 36,000 nT까지 나타날 수 있음을 확인했다. 또한, 1 nT 미만의 정확한 자기장 측정의 임무라면, 자력계는 위성 본체에서 약 0.6 m 반경 거리 외곽에 있어야 함을 알 수 있었다. 이러한 분석 방법은 자기장 측정을 수행하기 위해 CubeSat을 설계할 때 자기 청결도 분석의 중요한 역할이 될 것으로 기대한다.
최근 정형 검증 분야에서 상태 폭발 문제를 극복하기 위해 만족가능성(Satisfiability) 처리기를 사용하는 방법이 많이 연구되고 있다. 만족가능성 처리기를 사용하려면 대상을 CNF 식으로 변환해야 하는데, 이진 기수 제약 조건은 시스템을 CNF 식으로 변환하기 위해 많이 사용되는 기법이다. 그러나 이진 기수 제약 조건은 이진 변수들의 집합을 다루기 때문에 이진 변수들의 순서 정보는 변환할 수 없었다. 본 논문에서는 이진 변수의 시퀀스에서 길이가 k인 서브시퀀스 추출 문제에 대한 CNF 변환 방법을 제안한다. 또한 실험을 통해 제안된 방법이 순서정보를 고려치 않고 적용한 변환 방법보다 훨씬 더 좋은 결과를 얻을 수 있었다.
본 연구는 철 생산 공정 중에 발생되는 철강슬래그를 재활용하는 것으로 매립에 의존하는 철강 슬래그를 건설용 재료로 사용하는 것이다. 철강 슬래그는 물과 반응할 경우 팽창 붕괴되어지는 문제로 인하여 에이징 처리를 실시하고 있다. 이런 문제점을 해결하기 위하여 개발된 SAT 공법은 철강슬래그의 팽창 붕괴에 대한 안전성을 갖는다. 이에 본 연구에서는 SAT 공법에 의해 제조된 환원슬래그와 전기로 산화슬래그, 실리콘 망간 슬래그를 사용하여 도로용 긴급 보수모르타르에 관한 실험적 연구를 실시하였으며 다음과 같은 결론을 도출하였다. 환원슬래그는 초속경 시멘트에 대해 대체할 경우 속경성을 갖는 것으로 나타났으며, 대체율 15%까지는 동등하게 나타났다. 전기로 산화슬래그는 천연 골재에 대해 100% 대체하여도 동등한 특성을 갖는 것으로 나타났으며, 이런 전기로 산화슬래그에 대해서 실리콘 망간 슬래그를 대체할 경우 15-30%까지 대체가 가능한 것으로 나타났다. 이상의 배합으로 도로용 긴급 보수 모르타르의 배합 설계가 가능하였다. 이런 슬래그를 재활용은 시멘트와 천연 골재의 사용량을 저감시켜 이산화탄소 발생의 감소와 폐기물인 슬래그를 재활용으로 녹색 산업에 이바지가 가능하다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.