http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 김진섭 (검색결과 887 건)
- 무료
- 기관 내 무료
- 유료
-
-
-
-
-
-
-
In-DEBS 시험장치의 설계 및 공학적방벽의 최적 제작조건 분석
김진섭,최영철,이민수,이창수,윤석,조원진,김건영 한국방사성폐기물학회 2019 방사성폐기물학회지 Vol.17 No.Special
The objective of this study is to propose a design for the In-DEBS (In-situ Demonstration of Engineered Barrier System) and suggest optimized conditions for manufacturing engineered barriers. The In-DEBS design was made from the AKRS (Advanced Korea Reference disposal System of HLW), based on performance experience carried out at KAERI (Korea Atomic Energy Research Institute) and from literature reviews. The optimal manufacturing conditions were derived from the test production with regard to the canister and the bentonite buffer. The performance of the manufactured engineered barriers was also evaluated in advance of in-situ application. In-DEBS was designed at 1/2.3 scale of AKRS. An aluminum mold-type heater of 4.2 kW was used to simulate the heating from nuclear fuel. A new methodology using a floating die press and CIP (Cold Isostatic Press) was introduced to fabricate a reliable engineering-scale buffer block for in-situ experiments, leading to a homogeneous and uniform distribution in the densities of the buffer blocks. From the test results, it was found that a floating die press of 40 MPa and CIP of 50 MPa are necessary to satisfy AKRS design premises for the buffer blocks (dry density > 1.6 kg·cm-3). With regard to the THM sensor installations, CNC (Computer Numerical Control) was applied to shape the sensor holes. 본 연구의 목적은 In-DEBS (In-situ Demonstration of Engineered Barrier System) 시험장치에 대한 설계안을 도출하고, 현장실증용 공학적방벽재의 생산을 위한 최적 제작조건을 도출하는 것이다. 이와 관련하여 그간 한국원자력연구원에서 수행한 실증실험 수행경험과 문헌분석 그리고 선진핵주기 고준위폐기물처분시스템(AKRS)을 근거로 시험장치를 설계하였다. 또한 처분용기와 벤토나이트 완충재는 시험제작을 통해 최적의 제작조건을 도출하였고, 예비 성능평가를 통해 제작된 공학적방벽재의 성능을 검증하였다. In-DEBS 현장시험을 위해서 AKRS의 1/2.3 규모로 설계하였으며, 고른 온도분포의 핵연료 모사를 위하여 설계 전력량 4.2 kW의 알루미늄 재질 몰드히터를 사용하였다. 한편 In-DEBS에 사용될 공학규모 이상의 균질완충재 블록을 제작하기 위해 플롯팅 다이(floating die) 방식의 프레스 재하 및 냉간등방압프레스(CIP; Cold Isostatic Press) 기법을 국내 최초로 완충재 제작에 적용하였다. 연구결과 AKRS 완충재 블록 제한요건(건조밀도 › 1.6 kg·cm-3)을 충족하기위해서는 1차로 40 MPa 이상의 플롯팅 다이 프레스 압력을 가하고, 2차로 50 MPa의 CIP 압력이 소요됨을 확인하였다. 또한완충재 블록 내 센서설치를 위하여 CNC (Computer Numerical Control) 기법을 이용하여 센서위치를 정교하게 성형하였다.
-
SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언어의 제약 조건과 변환 방법
김진섭,차성덕 한국정보과학회 2003 정보과학회논문지 : 소프트웨어 및 응용 Vol.30 No.5
일반적으로 C언어는 고신뢰도를 요구하는 소프트웨어에 적합하지 않다고 알려졌음에도 불구하고 적지 않은 수의 안전성이 중요시되는(safety-critical) 시스템들이 C언어로 구현되었거나 C언어를 기반으로 개발되고 있다. 본 연구의 목적은 C언어의 안전한 subset을 정의하고 이 subset 언어로 작성된 프로그램을 SPARK Ada로 변환하여 SPARK의 분석 도구들을 사용해 프로그램의 안전성을 분석하는 데 있다. SPARK은 Ada의 안전한 subset으로 고신뢰도를 요하는 시스템을 구현하는데 성공적으로 사용되어왔다. SPARK으로 변환된 C 프로그램은 SPARK 수준의 안전성을 갖게 되며 SPARK의 분석 도구인 Examiner를 통해 프로그램의 정확성 검증 등의 분석을 할 수 있다. 본 연구에서는 엘리베이터 컨트롤러 사례 연구를 통해 정의한 subset이 현실적인 시스템을 구현하기에 부족하지 않음을 발견하였으며, SPARK Ada로의 변환을 자동화해주는 변환기를 구현하였다. The C language is widely adopted for safety-critical systems. However, it is known that the C language is an unsuitable choice for safety-critical system since the C language includes several bad language features such as heavy use of pointers. The aim of this work is to define safe subset of the C language and translate the subset into the SPARK Ada so that we can verify the program's safety using SPARK analysis tools. SPARK is a safe subset of Ada and has been successfully applied to high integrity system development. The C program translated into SPARK has the same integrity level as SPARK, and the program correctness can be verified by using Examiner which is a SPARK analysis tool. An elevator controller case study is presented and is used to demonstrate the potential use of our approach to implement a realistic system. We also developed a translator that automatically translates C code into SPARK in accordance with the translation rules.
-
-
Fighting Corruption of Korea Customs Office
김진섭 한국관세학회 2004 관세학회지 Vol.5 No.3
Corruption thrives when public accountability is weak, where governments or political parties are inclined to pursue their own private agendas often disguising the true cost to their country, where there are big differences between public and private sector pay, and when there is impunity for the corrupt. The issue of fighting corruption should be addressed not by stop-gap measures and temporary remedies, but by systematic and comprehensive integrity enhancement measures. The Korea Customs Service(KCS) has diminished the opportunity of corruption through minimization of direct person-to-person contact between Customs officers and their clients by establishment of automated paperless Customs procedures.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
