http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
SMT-Solver 를 사용한 자바바이트코드의 배열 오버플로우 검증
이상협 ( Sanghyup Lee ),김제민 ( Jemin Kim ),박준석 ( Joonseok Park ),유원희 ( Weonhee Yoo ) 한국정보처리학회 2011 한국정보처리학회 학술대회논문집 Vol.18 No.1
자바프로그램 검증은 안전하고 정확한 프로그램을 만들기 위한 필수적인 조건이지만 자바언어로 작성된 프로그램은 바이트코드로 작성되어 있는 클래스 파일로 배포되기 때문에 바이트코드에 대한 검증이 필요하다. 하지만 자바 바이트코드는 가독성이 떨어져 중간언어로 변환을 하고 그 중간코드에서 검증에 필요한 조건들을 작성 해야 한다. 이 논문에서는 새로 정의된 중간언어인 BIRS 을 통해 컴파일시 검증이 되지 않는 배열 오버플로우에 대한 정적검증을 설명하고 검증 절차에 필요한 명제의 정의와 검증 시 사용되는 SMT-Solver 인 Z3 의 사용법에 대하여 서술하였다.
비전해 방법을 이용한 니켈 코팅 알루미늄 분말 제조 및 열물성 평가
이상협(Sanghyup Lee),임지환(Jihwan Lim),노관영(Kwanyoung Noh),윤웅섭(Woongsup Yoon) 한국추진공학회 2014 한국추진공학회지 Vol.18 No.4
In this study, in order to improve the ignitability of high energy aluminum powder, natural oxide films (alumina) were chemically removed, and instead nickel coat was applied. We used an electroless plating for nickel coating and confirmed quantitatively and qualitatively a time-dependent degree of nickel coating through analysis of surface by SEM/EDS. We also conducted element analysis by XRD and thermal properties by TGA/DSC in air oxidizer environment. There results explained the ignition enhancement mechanism of the nickel-coated aluminum powder in air. The difference between coated and un-coated aluminum powder, the effectiveness of coated powder has better ignitability.
메탄/공기 예혼합 화염의 Hydroxyl Radical을 이용한 Pyrometer 온도 보정방법에 대한 연구
이상협(Sanghyup Lee),임지환(Jihwan Lim),노관영(Kwanyoung Noh),이도형(Dohyung Lee),윤웅섭(Woongsup Yoon) 한국추진공학회 2013 한국추진공학회 학술대회논문집 Vol.2013 No.12
본 연구에서는 상용 Pyrometer를 화염온도 측정에 적용할 수 있도록 메탄/공기 예혼합 화염을 이용하여 온도 보정기법을 개발하였다. 메탄/공기 예혼합 화염의 온도는 기 개발한 OH radical을 이용한 방출 스펙트럼 비교법을 사용하여 정밀하게 측정하였고 Pyrometer 측정결과와 비교하여 보정계수를 도출하였다. 이를 이용하여 온도를 알고 있는 메탄/공기 예혼합 평면 화염 버너를 이용하여 온도 측정결과를 검증하였고 잘 일치함을 확인하였다. In this study, in order to apply the commercial pyrometer to measurement of the flame temperature, methane / air premixed flame temperature calibration method was developed. Methane / air premixed flame temperature was precisely measured by using comparison technique of OH radical emission spectra. It was compared with pyrometer measurement result and then we calculated correction factor. With this method, the temperature measurement result was verified by methane / air premixed flat-flame burner whose temperature was already known. We confirmed that both were in good agreement.
이상협(Sanghyup Lee),고태호(Taeho Ko),임지환(Jihwan Lim),이도형(Dohyung Lee),윤웅섭(Woongsup Yoon) 한국추진공학회 2013 한국추진공학회 학술대회논문집 Vol.2013 No.5
본 연구에서는 고에너지 금속 알루미늄 군입자 연소 화염 분석을 위한 측정기법 개발 연구로서 스펙트로메터를 사용하여 화염 온도와 자발광 스펙트럼을 측정하였다. 마이크로 크기의 알루미늄 군입자 연소 반응시 발생하는 화염온도는 약 2400 K 이상의 초고온이므로 비접촉식 광학 계측 방법을 사용하였으며, 측정을 위해 개발된 기법은 520 nm, 640 nm를 사용하는 이색법을 응용한 방법과 광대역 파장 비교법으로서 각각의 방법은 정밀하게 검증 후 실험에 적용되었다. 연소실 하단에서 화염온도 측정결과 두 방법 모두 2400 K 이상의 화염온도를 확인할 수 있었으며 자발광 측정 결과 알루미늄 연소 반응시 가장 지배적으로 발생하는 화학종인 AlO를 확인할 수 있었다. In this study, In order to develop the measurement method of high energy density metal aluminum dust cloud combustion, flame temperature and emission spectrum was measured using spectrometer. Because of the ultra high ㎛-sized aluminum flame temperature more than 2400 K, it was measured by non-contact optical technique which is the modified two wavelength pyrometry with 520, 640 nm and spectrum comparison method. These methods were applied to experiment after accurate verification. As a result, we could identify that flame temperature is more than 2400 K in bottom of combustor in both methods. And on the emission spectrum analysis, we could measure AlO radical which is occurred dominantly in aluminum combustion.
Fall-cone test와 Casagrande방법을 이용한 준설토의 액·소성한계 결과 비교
이상협 ( Sanghyup Lee ),민슬기 ( Seulgi Min ),박재성 ( Jaesung Park ),최우석 ( Wooseok Choi ),손영환 ( Younghwan Son ) 한국농공학회 2012 한국농공학회 학술대회초록집 Vol.2012 No.-
기존 Casagrande의 액성한계, 소성한계 시험 방법은 실험방식에 오차를 일으킬 수 있는 원인이 많이 존재하여 실험자의 주관적인 판단과 실험 숙련도에 따라 오차가 발생하게 된다. Fall-cone test는 중력에 의해 콘을 낙하시켜 액·소성한계를 측정하는 방법으로 Casagrande의 시험법보다 실험방법이 간단해 숙련도에 따른 오차를 크게 줄일 수 있으며 실험자의 주관적인 판단에 따른 오차도 적다는 장점이 있다. 따라서 최근 여러나라에서 Fall-cone test를 이용하여 액·소성한계를 추정하는 기준을 만들어 기존의 Casagrande의 방법을 대체하는 추세이다. 본 연구에서는 시흥, 안성, 제천시에 위치한 저수지의 준설토를 사용하여 Casagrande방법과 Fall-cone test로 액·소성한계를 추정하여 비교하였다. 실험 결과 시흥 준설토의 액성한계는 Casagrande방법에서는 33.62% Fall-cone test에서는 36.17%로 추정되었으며 소성한계는 Casagrande방법에서는 25.58% Fall-cone test에서는 23.70%로 추정되었다. 안성 준설토의 경우 액성한계는 각각43.69%, 48.57%로 추정되었고 소성한계는 각각 37.60%, 39.84%로 추정되었다. 제천 준설토의 액성한계는 각각 46.03%, 51.77%로 추정되었으며 소성한계는 각각 37.01%, 34.17%로 추정되었다. 결과를 종합해보았을 때, Casagrande방법으로 추정한 액성한계와 Fall-cone test로 추정한 액성한계는 약 3∼5%의 함수비 차이가 있는 것으로 나타났으며, 소성한계는 약 3%의 함수비 차이가 있는 것으로 나타났다.