• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.207-207
• /
• 2019

최근 우리나라는 지역 특성 및 기후변화의 영향으로 인해 수문학적 요소의 변동성이 커지고 수자원의 지속적인 관리에 있어 유출량은 중요한 문제로 여겨지고 있다. 특히 일부 소하천 또는 접경지역과 같은 미계측유역은 수문학적 요소에 대한 자료가 부족하고 수문모형의 초기치 설정과 과거 유출량 자료를 통하여 최적화한 매개변수를 결정해야하므로 장기유출분석이 어렵다. 본 연구의 적용유역으로 미계측유역인 임진강상류 유역에 대한 유출량 추정을 위해 계측 유역의 자료를 활용하여 모형의 매개변수 등을 추정하는 지역화 기법인 다중선형회귀분석과 공간근접분석을 활용하여 유출량을 산정 및 검증하였다. 또한, 확률론적 예측이 가능한 앙상블 기법 적용을 통한 유출량 예측을 하였고, 이를 예측 정확성 평가지표를 통해 효율성 검토를 수행하여 미계측유역의 유출량에 대해 확률론적 예측을 수행하였다. 대표적 지역화 기법의 적용성을 검토한 결과, 계측유역을 통해 다중선형회귀분석과 공간근접분석을 abcd 모형에 적용하였다. 모의유출량을 산정하고 실측 유출량과 비교 분석 결과 모의정확성이 높게 분석되었다. 이와 같은 검증 결과를 토대로 미계측유역의 유출량을 추정하였다. 또한, 지역화 기법을 앙상블 기법에 적용하여 확률론적 유출량 예측의 효율성을 검토하였다. 적용유역과 같은 지류를 포함하고 있는 임진강하류 유역을 대상으로 수행하였다. 검증기간(2013년~2017년) 동안의 월 예측 유출량 앙상블 생성을 위해 과거 강우량와 증발량(1988년~2012년) 자료를 사용하였으며, 지역화 기법을 적용한 abcd 모형을 이용하였다. 예측 유출량의 정확성 평가를 실시하였으며, 정확성이 비교적 높게 분석되었다. 이와 같은 결과를 토대로 미계측유역의 확률론적 유출량을 예측하였다. 따라서, 대표적 지역화 기법을 앙상블 기법에 적용하여 확률론적 유출량을 예측할 경우 보다 정확한 유출량 예측이 가능하다.

• Journal of the Korean Society of Radiology
• /
• v.15 no.6
• /
• pp.833-839
• /
• 2021

The Possibility of Denuclearization Verification of Korean peninsula is mentioned. Considering the geographical and linguistic advantages, it is necessary to show willingness to participate in the denuclearization verification. In this study, investigation about nuclear facilities, characteristic of facilities, core resource, operation history, geographic/weather environment were performed. Transport route accessibility analysis and risk analysis for development of transport scenario were performed. Accessibility analysis was classified into airport, port, and vehicle transport. Distance by route, estimated time required, and transit roads were analyzed. In this process, it was possible to confirm the suitability of the vehicle transport scenario. Through follow-up studies, we intend to develop an optimal transport scenario.

• Current Industrial and Technological Trends in Aerospace
• /
• v.6 no.2
• /
• pp.40-50
• /
• 2008

Most of satellite program process consists of mission analysis, thermal, structure, electronics design, and operation, etc. Each step has several steps like design phase, development phase, and verification phase, etc. As to do this kind of process, very high costs and much time are required, further high risk is included. So for solving those difficulties, satellite developers have designed and used satellite simulator system. In early stage of satellite development, simulator system was just used for a fragment of development and verification, so it could not give enough advantage on satellite development. In order to get high advantage on satellite development, full system level simulators which can be used for several steps for development and verification are evolved. So This paper introduces the trend of simulation systems for satellite development and verification used by several satellite developers.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.69-85
• /
• 2003

In this paper, we discuss a validation test for cryptographic algorithms. The cryptographic algorithms decide on the security and the confidence of a security system protecting sensitive information. So. the implementation of cryptographic algorithms is very critical of the system. The validation lest specifies the procedures involved in validating implementations of the cryptographic standards and provides conformance testing for components or procedures of the algorithm. We propose a SEED Validation System(SVS) to verify that the implementation correctly performs the SEED algorithm. The SVS is composed of two types of validation tests, the Known Answer test and the Monte Carlo test. The System generates the testing data for the Known Answer tests and the random data for the Monte Carlo tests. This system can be used to validate and certify the cryptographic product.

• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.59-59
• /
• 2003

과학위성 1호는 고도 685 km 태양동기궤도에서 운용되는 소형인공위성으로 지구 그림자에 의한 주기적인 온도변화, 태양과 지구로부터의 자외선복사, 진공환경과 같은 가혹한 우주환경에서 정상적으로 임무를 수행해야 한다. 이러한 가혹한 우주환경에서 위성 각 시스템의 온도를 허용범위 내에서 조절하고 구조적인 열변형을 최소화하기 위하여 열제어 시스템이 필요하며, 위성개발과정에서 상세한 열설계 요구조건을 도출하고 반영하여 과학위성 1호의 열제어 시스템을 설계하였다. 열제어 시스템은 위성의 내\ulcorner외부에서 위성외부로부터의 열유입을 최소화하고 위성내부에서 발생한 열을 효과적으로 방출하는 역할을 한다. 열제어 시스템의 성능을 검증하기 위하여 다양한 임무와 궤도를 고려한 궤도열해석이 수행되었으며, 주기적인 온도변화와 진공환경을 모사하는 열진공시험을 통하여 예상되는 우주환경에서 위성 각 시스템의 정상동작 여부가 검증되었다. 본 연구는 과학위성 1호의 열설계 결과와 효과적인 열설계를 위한 궤도열해석 과정 그리고 위성 시스템의 신뢰성 검증을 위한 열진공시험결과를 다룬다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05c
• /
• pp.535-540
• /
• 1996

원자로에서 연소되고 나온 사용후핵연료는 영구 처분하기 이전에 대부분 수조(pool)속에 임시로 저장되어 관리되고 있다. 이와 같이 관리되고 있는 사용후핵연료속에 핵폭발 장치로 전용될수 있는 매우 민감한 핵물질인 플루토늄이 다량 포함되어 있기 때문에, 원자력의 평화적 이용·개발을 위한 핵활동의 투명성을 확보하기 위해서는 국가사찰 수행시 현장 적용 가능한 사용후핵연료 검증 기술과 장비를 확보하는 것이 필요하다. 이를 위해 사용후핵연료봉 및 사용후핵연료 집합체 검증을 휘한 고분해능 감마선 분광분석 시스템을 개발하여 현장 테스트를 수행한다. 이를 바탕으로 강화되는 핵비확산 체제와 통제관련 기술의 발전에 대비하고 우리 나라의 국가계량관리체제(SSAC) 확립에 필요한 자체적인 사찰 기술을 개발하여 국가사찰에 적용하는 것이 비파괴측정기술 개발 목적이다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.1376-1380
• /
• 2004

본 연구에서는 홍수범람지도 제작을 위해 사용되는 수치모형의 검증을 수행하고자 한다. 검증할 수치모형은 스위스의 Beffa에 의해 개발된 FLUMEN(FLUvial Modeling ENgine)으로서 수심 적분된 2차원 비선형 천수방정식에 불규칙 심각망을 이용한 유한체적법(finite volume method)이 적용된 수치모형이며 스위스, 독일, 오스트리아 등에서 홍수범람해석에 사용된 바 있는 모델이다. FLUMEN 모형의 검증을 위하여 범람해석시 가장 중요한 문제인 이동경계조건(moving boundary condition)을 포함하고 있는 원형섬에서의 고립파에 처오름높이를 계산하여 수리모형실험 결과와 비교한다. 수리모형실험은 미국 육군 공병단 산하의 해안공학연구소(CERC, Coastal Engineering Research Center)에서 수행되었으며(Liu 등, 1995) 수조의 중앙에 높이 0.625m, 해저지름 7.2m, 경사각 $14.04^{\circ}$의 원형섬이 위치한다. 본 연구 결과, 수치해석으로 계산된 섬에서의 실제 처오름높이와 입사파의 파고의 비(R/A)는 수리모형실험의 결과와 어느 정도 일치하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.203-208
• /
• 1997

CASMO-3 코드의 기존 라이브러리들을 혼합핵연료 격자문제에 대한 검증계산을 수행하였다. CASMO-3 코드와 함께 도입되어 사용되고 있는 E4LIB-JA라이브러리는 플루토늄의 함량이 낮고, fissile 플루토늄 원소의 비율이 높은 조성의 혼합핵연료로 적용범위가 한정되었다. 혼합핵연료에 사용할 목적으로 Studsvik사가 수정한 40에너지군의 E4LIB-KA 라이브러리는 플루토늄의 함량이 약 12%이내로 제한되기는 하지만 비교적 혼합핵연료 계산에 유용한 것으로 나타났으나, 라이브러리의 개선된 내용이 구체적으로 알려지지 않아 앞으로 이를 사용자가 유지 관리하는데 문제점이 따르고 있다. 따라서 혼합핵연료 계산을 위하여 CASMO-3용 E63LIB/A 70에너지군 라이브러리를 ENDF/B-Ⅵ자료로부터 생산하였으며, 이를 알려진 혼합핵연료 임계실험자료를 대상으로 검증계산을 수행하여 그 유용성을 입증하였다.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.15 no.4
• /
• pp.333-341
• /
• 2017

The Korea Atomic Energy Research Institute (KAERI) constructed the PyRoprocessing Integrated inactive Demonstration facility (PRIDE) to carry out experiments on engineering scale pyroprocessing. PRIDE has a large processing cell that human workers are not allowed to access, and thus the equipment inside is operated from outside using remote handling systems. It is therefore essential to examine the operability and maintainability of the equipment in view of remote handling systems, and the equipment is thoroughly examined in a mockup cell before it is installed in the processing cell. If the equipment is tested in a virtual mockup rather than in a mockup cell, the development cost can be significantly reduced. The PRIDE 3D simulator was integrated for virtual verification of equipment that will be installed in the processing cell. All remote handling devices in the actual PRIDE were also virtually installed in the PRIDE 3D simulator. The 3D model of the equipment was loaded and located in the exact position in the virtual processing cell. A scenario to replace an actual electrode was implemented in the PRIDE 3D simulator. The design of the equipment and the working procedures in the scenario were successfully evaluated. The results demonstrated that the PRIDE 3D simulator can be used successfully as an alternative to actual mockup testing.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.198-202
• /
• 2002

이동 네트워크 기술의 발달과 이의 활용도가 증가함에 따라 무선 보안 시스템에 대한 연구 및 솔루션 개발이 활발히 진행중이다. 그러나 개발된 제품들의 신뢰성과 안정성을 검증할 만한 평가도구 및 연구가 매우 미비하다. 따라서 본 논문에서는 이동 네트워크 보안 장비들의 안전성을 검증할 수 있는 응용계층 전송 데이터 무결성 평가 도구를 설계 및 구현하였다. 설계된 무결성 평가 도구는 Web서버와 이동 단말간에 전송되는 패킷의 데이터 변조 기능을 수행하는 변조서버 시스템과 무선 보안 시스템의 무결성 모듈이 변조된 데이터의 무결성 위반을 탐지하는지를 검증하는 무결성 검증 시스템으로 구성된다.