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

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

• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.600-610
• /
• 1994

원자력산업계에서는 원전 계측제어계통의 디지털화를 위해 많은 노력을 기울이고 있으나, 원자력산업의 특수성인 시스템 안전성 확보에 필요한 소프트웨어 개발기준과 규제방법이 정립되지 못하고 있다. 뿐만 아니라 디지털 계측제어계통의 핵심 기반기술인 고신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 논란의 대상이 되고 있다. 이와 같이 원전 계측제어계통 디지털화 성공을 위해서는 소프트웨어 신뢰도 확보가 관건이며 고신뢰도 소프트웨어 확인 및 검증 기술 개발이 절실히 요구된다. 본 기술보고에서는 디지털 계측제어계통 소프트웨어에 대한 규제요건을 소프트웨어 신뢰도 보장을 위한 개발자, 사용자, 규제자 사이의 합의 기준측면에서 분석하였다. 또한 최근의 미국 원자력규제위원회의 디지털 계측제어계통 소프트웨어에 대한 규제방법과 규제동향을 살펴보았으며 마지막으로 고신뢰도 소프트웨어 개발과 확인 및 검증 방법, 규제 요건, 규제 방법 등에서 공통적으로 고려해야 할 기술적 측면의 현안과 이의 해결을 위한 연구 현황등을 파악하였다.

• Review of KIISC
• /
• v.33 no.1
• /
• pp.7-12
• /
• 2023

현존 암호인프라에 대한 양자컴퓨터 위협이 가시화됨에 따라, 다각도의 양자리스크 대응 연구가 이루어지고 있다. 그 중에서 양자컴퓨터 상에서 주어진 암호를 해독하기 위해서 소요되는 양자자원량(큐비트수, 양자게이트수, 수행시간 등)을 계산하여 양자보안강도를 추정하는 양자안전성 검증 기술은 대규모의 큐비트를 컨트롤할 수 있는 범용 양자컴퓨터가 아직 없는 상태에서는 쉽지 않은 기술이라 할 수 있다. 이에, 본 고에서는 암호 양자안전성 검증을 위한 현실적이고 유일한 접근이라 할 수 있는 <Q|Crypton> 기술 개념을 설명하고, 이러한 개념을 바탕으로 개발되고 있는 <Q|Crypton> 플랫폼의 전반적인 설명을 제공하고자 한다. 이러한 <Q|Crypton> 기술은 향후, 효율적이면서 높은 양자 저항성을 가지는 암호를 선별하는 데 있어서 실제적인 기여를 할 것으로 예상되고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.506-508
• /
• 2003

개방형 네트워크인 인터넷에 급속한 발달로 인하여 Offline상에서 처리되던 기존의 업무들이 Online상의 업무로 빠르게 전환되어 가고 있다. 하지만 Online상에서의 업무처리는 항상 개인 정보누출, 개인정보의 위조 및 변조의 문제를 내포하고 있으며, 위와 같은 문제를 해결하기 위한 대안으로 PKI 기반의 인증서 검증 시스템이 제안 되었고 현재도 연구가 계속 되어지고 있다. 본 논문에서는 PKI 기반의 인증서 상태검증 방식 중의 하나인 CRL기반의 인증서 상태검증 방식과 OCSP기반의 인증서 상태 검증 방식의 대하여 기술하고, 실시간으로 인증서 상태를 검증 할 수 없는 CRL 기반의 인증서 상태검증 방식의 단점과 네트워크 상태의 따라 인증서 검증 속도가 달라지는 OCSP기반의 인증서 상태 검증 시스템의 단점을 해결하기 위한 데이터베이스를 이용한 클라이언트-서버 기반의 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통해서 CRL기반의 인증서 검증 시스템과 OCSP기반의 인증서 검증 시스템 그리고 제안하는 데이터베이스를 이용한 클라이언트-서버 인증서 검증 시스템의 검증속도를 비교해 보고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.102-102
• /
• 2022

소하천의 홍수 예측은 대부분 수치모형을 직접 활용하거나, 미리 설정된 시나리오에 기반하여 수치모의를 수행하고 계산된 결과를 이용하여 추정한 경험식을 활용한다. 수치모형과 그 결과를 홍수 예·경보에 활용하기 위해서는 계측자료에 기반하여 변수를 최적화하는 등의 수치모형 검증 절차가 매우 중요하다. 소하천은 국가, 지방하천에 비해 계측자료가 절대적으로 부족한 형편으로 소하천의 홍수 모의를 위해서 주로 국가, 지방하천에서 계측한 자료를 이용하여 검증을 수행한다. 이렇게 검증된 소하천 수치모형은 국가 혹은 지방하천 유역 전체를 모의하여야 하므로 모의시간이 많이 소요되어 1시간내에 홍수유출이 이루어지는 소하천 홍수 모의에는 적절치 않다. 또한 소하천은 하천경사가 급하고 유속이 빨라 실시간 홍수모의가 어려울 수 있다. 따라서 소하천의 홍수 예측 방법으로 수치모형 보다는 계측자료에 기반한 추정삭이 보다 더 효율적이다. 행정안전부와 국립재난안전연구원은 2017년부터 소하천 홍수 예측기술 개발을 위하여 자동유량계측기술을 소하천에 확대적용하고 실시간 수리량 자료를 계측하고 있다. 자동유량계측기술은 CCTV를 이용하여 표면유속을 구하고 동시에 계측된 수위와 단면자료를 이용하여 자동으로 유량을 계측하는 기술이다. 자동유량계측기술은 저비용, 저노동, 고효율의 유량계측기술로써 부족한 계측인력과 계측의 안전성을 고려할 때 소하천에 적합한 계측기솔이라고 할 수 있다. 행정안전부와 국립재난안전연구원은 2025년 까지 전국 소하천의 10%인 2,230개 소하천에 자동유량계측기술을 확대 구축하고 실시간으로 수리량 자료를 걔측할 계획이다. 본 연구에서는 이들 계측자료와 AI 등 첨단기술에 기반한 홍수 예측기술 개발하고자 한다. 예측기술은 계측유역과 미계측유역을 구분하며, 계측유역에 대해서는 계측자료를 이용하고 미계측 유역에 대해서는 단위도법과 CES를 이용하여 구한 결과를 이용하여 강우-유량 노모그래프와 수위-유량 관계식을 개발한다. 이때 노모그래프는 토양수분조건을 고려하여 개발하며, 미계측 소하천의 예측결과는 소하천을 그룹화하고 동일 그룹내에 포함된 소하천의 계측자료를 이용하여 검증한다. 개발된 홍수 예측기술은 소하천 홍수 예·경보시스템에 적용되며 이렇게 개발된 시스템은 소하천의 인명피해 저감에 크게 기여할 수 있을 것으로 기대된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.107-107
• /
• 2022

소하천의 홍수 예측은 대부분 수치모형을 직접 활용하거나, 미리 설정된 시나리오에 기반하여 수치모의를 수행하고 계산된 결과를 이용하여 추정한 경험식을 활용한다. 수치모형과 그 결과를 홍수 예·경보에 활용하기 위해서는 계측자료에 기반하여 변수를 최적화하는 등의 수치모형 검증절차가 매우 중요하다. 소하천은 국가, 지방하천에 비해 계측자료가 절대적으로 부족한 형편으로 소하천의 홍수 모의를 위해서 주로 국가, 지방하천에서 계측한 자료를 이용하여 검증을 수행한다. 이렇게 검증된 소하천 수치모형은 국가 혹은 지방하천 유역 전체를 모의하여야 하므로 모의시간이 많이 소요되어 1시간내에 홍수유출이 이루어지는 소하천 홍수 모의에는 적절치 않다. 또한 소하천은 하천경사가 급하고 유속이 빨라 실시간 홍수모의가 어려울 수 있다. 따라서 소하천의 홍수 예측방법으로 수치모형 보다는 계측자료에 기반한 추정삭이 보다 더 효율적이다. 행정안전부와 국립재난안전연구원은 2017년부터 소하천 홍수 예측기술 개발을 위하여 자동유량계측기술을 소하천에 확대적용하고 실시간 수리량 자료를 계측하고 있다. 자동유량계측기술은 CCTV를 이용하여 표면유속을 구하고 동시에 계측된 수위와 단면자료를 이용하여 자동으로 유량을 계측하는 기술이다. 자동유량계측기술은 저비용, 저노동, 고효율의 유량계측기술로써 부족한 계측인력과 계측의 안전성을 고려할 때 소하천에 적합한 계측기솔이라고 할 수 있다. 행정안전부와 국립재난안전연구원은 2025년 까지 전국 소하천의 10%인 2,230개 소하천에 자동유량계측기술을 확대 구축하고 실시간으로 수리량 자료를 걔측할 계획이다. 본 연구에서는 이들 계측자료와 AI 등 첨단기술에 기반한 홍수 예측기술 개발하고자 한다. 예측기술은 계측유역과 미계측유역을 구분하며, 계측유역에 대해서는 계측자료를 이용하고 미계측 유역에 대해서는 단위도법과 CES를 이용하여 구한 결과를 이용하여 강우-유량 노모그래프와 수위-유량 관계식을 개발한다. 이때 노모그래프는 토양수분조건을 고려하여 개발하며, 미계측 소하천의 예측결과는 소하천을 그룹화하고 동일 그룹내에 포함된 소하천의 계측자료를 이용하여 검증한다. 개발된 홍수 예측기술은 소하천 홍수 예·경보시스템에 적용되며 이렇게 개발된 시스템은 소하천의 인명피해 저감에 크게 기여할 수 있을 것으로 기대된다.

• Journal of Korea Technology Innovation Society
• /
• v.20 no.1
• /
• pp.81-102
• /
• 2017

Financing, manpower support and tax are the most popular tools for policy for small and medium enterprises (SMEs). This paper, however, will introduce information analysis support for SMEs and will prove that can be a good tool. The information analysis support means the support of technology and market information for the technology development or commercialization of SMEs. Therefore, the support is a customized one. In the theory domain, we adopt and prove two theoretical grounds as an SMEs policy such as market and system failure. In the policy tool domain, we suggest four requirements to be an SMEs policy and prove the tool to satisfy these requirements. All the data and proofs are from a government research institute called K.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.904-906
• /
• 2005

최근 유비쿼터스 컴퓨팅 환경이 부각되면서 유비쿼터스 컴퓨팅 환경에서의 모델 검증을 위해 기존의 심볼릭 검증 모델을 응용한 매우 크고 여러 콤포넌트로 구성된 모델 검증 대상이 빈번히 변화하는 상황을 가정한 모델 검증 기술이 요구되었다. 본 논문에서는 빈번히 변화하는 모델 검증을 위해 새로운 알고리즘을 제시하고 완전히 증명하였으며 기존의 모델과 새로운 모델간의 성능 비교 실험으로 새로운 모델의 효율성을 증명하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.345-348
• /
• 2001

The paper describes the physical design flow & verification of Digital Video Broadcasting(DVB) compliant satellite receiver chip. It includes problems and issues of earth design flow, verification process for physical layout.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.357-359
• /
• 2010

본 논문에서는 논리 설계를 위해서 I-ROB 3000이라는 로봇 키트를 사용하여 논리 설계를 검증하였다. 이 검증에는 iRoV-Lab 3000의 장착된 로봇 모듈인 FPA 모듈,Stepper Motor 모듈,적외선 송수신센서 모듈, 카메라 모듈,RF 모듈 LED,TEXT LCD, 7-segment를 제어하기 위한 FPGA를 사용하며,FPGA설계를 위해 Schematic Design 또는HDL에 대해 연구한다.로봇 설계 시스템의 내부구조를 이해하고 개발환경을 구축할수 있다. 로봇의 구성요소와 각각의 구성요소(Sensor 모듈,display 모듈, Stepper Motor 모듈,RF 모듈)의 동작 원리를 개발한다.