• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.23-28
• /
• 1995

국내 핵연료 가공시설에 대한 핵임계 안전성을 가상 사고 조건하의 핵임계 상태를 확인하는 방법으로 평가하였으며, 이미 사용되어왔던 설계 안전 변수의 안전성도 검증하였다. 또한 MOX 핵연료 가공시설에 대한 안전 변수도 같은 방법으로 산출하였다. SCALE system을 사용하여 임계도 계산을 수행한 결과, 국내 $UO_2$ 핵연료 가공시설과 이 시설에 적용된 안전 변수는 극단적인 사고시에도 핵임계 측면에서 충분한 여유도를 가지고 있있다.

• Review of KIISC
• /
• v.30 no.1
• /
• pp.61-64
• /
• 2020

본 연구에서는 하드웨어 암호화 로직이 적용된 FPGA 암호 시험 평가 보드를 기반으로 구축한 부채널 분석 시험 환경과 이 환경에서의 부채널 취약성 시험 결과를 소개한다. 시험 대상은 2종의 RSA 암호화 로직 오픈소스가 적용된 FPGA 암호시험 평가 보드이며, 암호화 과정을 수행 중에 전력 파형을 수집 분석하여 부채널 취약성을 검증하였다.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.11a
• /
• pp.561-567
• /
• 2013

본 연구는 졸음운전의 지표로 예상되는 심전도의 LF/HF 비율이 효과적으로 졸음운전을 예측하는지를 검증하는 것이었다. 본 연구는 총 31명이 참가하였으며, 가상 운전 시뮬레이션 과제를 활용하여 진행하였다. 수면박탈이 운전 중 LF/HF 비율에 영향을 미치는지를 검증하기 위해 충분한 수면을 취한 조건과 수면이 박탈된 조건으로 실험을 실시하였다. 충분한 수면을 취한 조건에서 참가자는 전날 6시간 이상의 수면을 취한 후 30분동안 진행되는 가상 운전과제를 수행하였다. 수면이 박탈된 조건에서는 실험에 참여하기 전날에 참가자가 5시간 이하의 수면을 취하도록 유도한 후 60분 동안 진행되는 가상 운전 과제에 참여하도록 하였다. 참가자는 두 조건 모두에서 심전도를 측정할 수 있는 장비를 착용한 상태로 가상 운전 과제를 수행하였다. LF/HF 비율과 지각된 졸음운전과의 관계성을 확인하기 위해서 참가자가 가상 운전 과제를 수행하는 동안 10분간격으로 주관적 졸림정도를 측정하였다. 실험 결과 충분한 수면을 취한 조건보다 수면박탈 조건에서 참가자의 LF/HF 비율이 감소하였으며, 동일하게 주관적 졸림정도는 증가하였다. 또한 주관적 졸림정도가 LF/HF비율을 예측하는 것으로 나타났다. 따라서 LF/HF 비율을 통한 졸음 운전 예측은 타당한 것으로 나타났다.

• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2004.11a
• /
• pp.218-222
• /
• 2004

Envi-met 모델 수행과정과 주요결과를 요약하면 다음과 같다. 첫째, 본 모델의 바람장 패턴을 검증하기 위하여 도심내의 특정지역을 선택하였으며, 바람의 변화가 예상되는 5개 지점을 선정하여 관측하였다. 둘째, 건물에 의한 바람의 영향이 없는 장소를 1개소 선정하여 대표관측지점에서의 관측값을 모델수행의 초기값으로 선정하였다. 넷째, 관측된 데이터와 모델 수행결과 값을 비교하여 바람장의 변화 패턴을 분석하여, 본 모델의 적합성을 고찰하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.393-398
• /
• 2003

본 논문에서는 사용자 인증에 사용되는 패스워드 검증자의 안전성을 더욱 보강한 새로운 패스워드 검증자 기반 키 분배 프로토콜을 제안한다 기존 패스워드 기반 키 분배프로토콜 방식은 네트워크 상에서 패스워드의 안전한 전송이 어려웠고, 패스워드 파일의 안전한 보호가 어렵다는 문제가 있었다. 이에 패스워드 파일을 그대로 서버에 저장하지 않고 패스워드를 사용하여 생성한 검증자(verifier)를 저장하게 함으로써 패스워드파일을 보다 안전하게 보호할 수 있게 되었으며, 서버가 사용자의 패스워드를 알지 못하더라도 검증자를 사용한 증명방식을 통해 사용자를 인증할 수 있게 되었다. 본 논문에서는 사용자와 서버의 비밀정보로 만든 새로운 형태의 검증자를 사용하고, 사용자는 다른 저장정보 없이 기억하고 있는 ID와 패스워드만을 사용하여 키 분배를 수행하는 패스워드 검증자 기반 키 분배 프로토콜을 제안한다. 제안하는 프로토콜의 안전성 분석을 위해 active impersonation과 forward secrecy, man-in-the-middle attack, off-line dictionary attack 등의 공격 모델을 적용하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.190-190
• /
• 2015

현재 임진강 상류 지역을 포함한 한강수계의 일부분이 북한에 속해있다. 북한의 경우 현지조사가 필수적인 계측자료를 구축하는 것이 현실적으로 어렵기 때문에 수문자료를 활용한 강우-유출 분석에 큰 어려움을 갖고 있다. 임진강 유역의 정확한 홍수량 분석은 앞으로 수행될 수문학적 연구에 필수적인 요소이며 북한의 황강댐 무단방류로 인한 남한지역에의 피해 발생 등으로 그 중요성이 더 부각되었다. 최근 레이더 자료를 활용한 수문량 분석에 관한 연구가 많이 수행되고 있다. 레이더 자료의 경우 수문자료의 획득이 어려운 미계측 유역에 대하여 적용성이 기대되고 있다. 본 연구에서는 임진강 유역의 레이더 강우 자료의 활용성을 검증하기 위하여 한탄강 유역을 대상으로 레이더 자료를 이용한 강우-유출 분석을 수행하였다. 레이더 자료의 경우 임진강 레이더 및 광덕산 레이더를 사용하여 그 적용성을 비교하였고, 각 레이더의 강우자료를 HEC-HMS에 적용하여 홍수 유출량을 산정한 후 지점 강우량을 활용한 유출량 자료와 비교하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.422-422
• /
• 2015

수문학적 모델링은 수자원계획에 있어 가장 핵심적인 도구 중에 하나이다. 강우-유출모형의 매개변수 추정시 장기간의 자료를 활용하는데 초점이 맞추어져 있으며, 일반적으로 5년 이상의 자료를 활용하여 매개변수를 추정하는 경년변동(inter-annual variability) 매개변수 추정 방법이 추천되고 있다. 수문학적 변동성 측면에서 볼 때 강우, 온도, 유역의 조건 등의 연내변동성(intra-annual variability)이 경년보다 크게 나타나고 있으나, 이러한 특성을 고려한 수문모형의 매개변수 추정은 이루어지고 있지 않다. 이러한 점에서 연내변동성으로 기인하는 비정상성을 고려한 매개변수 추정 방법의 도입이 필요할 것으로 판단되며, 본 연구에서는 계측유역을 대상으로 다양한 시간규모에서 매개변수 추정을 수행하고 최적의 시간규모를 도출하고자 한다. 이를 위해서 DDS(dynamically dimensioned search) 알고리즘을 도입하여 최적화를 수행하였으며, 다양한 시간 규모에서 모형의 적합특성을 평가하였다. 교차검증을 통하여 매개변수의 통계적 유의성을 확보하였으며, 전통적인 매개변수 추정 절차와 비교 검토를 수행하였다.

• Journal of KIISE
• /
• v.44 no.4
• /
• pp.411-416
• /
• 2017

The spectral radiance received by an infrared (IR) sensor is mainly influenced by the surface temperature of the target itself. Therefore, the precise temperature prediction is important for generating an IR target image. In this paper, we implement the combined three-dimensional surface temperature prediction module against target attitudes, environments and properties of a material for generating a realistic IR signal. In order to verify the calculated surface temperature, we are using the well-known IR signature analysis software, OKTAL-SE and compare the result with that. In addition, IR signal modeling is performed using the result of the surface temperature through coupling with OKTAL-SE.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.4
• /
• pp.19-25
• /
• 2008

This paper proposes a hierarchically structured navigation algorithm for autonomous mobile robot under unknown environment based on fuzzy-neal network. The proposed algorithm consists of two basic layers as follows. The lower layer consists of two parts such as fuzzy algorithm for goal approach and fuzzy-neural algorithm for obstacle avoidance. The upper layer which is basically fuzzy algorithm adjusts the magnitude of the weighting factor depending on the environmental situation. The proposed algorithm provides an efficient method to escape local mimimum points as shown in the simulation result. Most simulation results show that this algorithm is very effective for autonomous mobile robots' traveling in unknown field.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.4
• /
• pp.437-441
• /
• 2010

A new application area in which wireless sensor networks are applied requires the performance of more elaborated and complicated task and the completion of those tasks within a time limit. Until now, it is, however, insufficient to do research on the mechanism of handling interrupt based on real-time sensor operating systems which carefully consider the limitation of resources of sensor nodes and the property of tasks which is executed in a wireless sensor network area. In this paper, the requirements satisfying real-time in sensor operating systems are analyzed and based on this, a system is designed and implemented. In addition, the proposed mechanisms are confirmed by several verification methods, and the efficiency of the performance and the satisfaction of those requirements for real-time are verified by simulation.