http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김한석(Hanseok Kim),최원석(Wonseok Choi),조주형(Juhyeong Cho),안국영(Kookyoung Ahn) 대한기계학회 2009 大韓機械學會論文集B Vol.33 No.5
The present study has experimentally investigated the effects of CO₂ diluted oxygen on the structure of swirl-stabilized flame in a lab-scale combustor. The methane fuel and oxidant mixture gas (CO₂ and O₂) were mixed in a pre-mixer and introduced to the combustor through different degrees of swirl vanes. The flame characteristics were examined for various amount of carbon dioxide addition to the methane fuel and various swirl strengths. The effects of carbon dioxide addition and swirl intensity on the combustion characteristics of pre-mixed methane flames were examined using chemiluminescence techniques to provide information about flow field. The results show that the hot combustion zone increases at the upstream reaction zone because of an increase in the recirculation flow for an increase in swirl intensity. The hot combustion zone is also increased at the downstream zone by recirculation flow because of an increase in swirl intensity which results in higher centrifugal force. The OH and CH radical intensities of reaction zone decrease with carbon dioxide addition because the carbon dioxide plays a role of diluted gas in the reaction zone.
타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구
김한석(Hanseok Kim),지은경(Eunkyoung Jee),배두환(Doo-Hwan Bae) 한국정보과학회 2015 정보과학회 컴퓨팅의 실제 논문지 Vol.21 No.2
실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다. A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.
주연소 영역 공기배분 및 희석공기공 배치에 따른 연소 성능 변화 연구
김민국(Minkuk Kim),김한석(Hanseok Kim),정승채(Seungchai Jung),박희호(Heeho Park) 한국추진공학회 2017 한국추진공학회 학술대회논문집 Vol.2017 No.5
본 논문에서는 항공 가스 터빈용 연소기 개발을 위한 단일 연소기 섹터 시험 결과에 대한 논의하였다. 연소기로 공급되는 전체 공기 중 주 연소 영역으로 공급되는 공기비율을 변화 시키면서 배출물 농도, 라이너 표면 온도 분포 및 연소기 출구 온도 패턴 등의 연소 성능 변화를 연구하였다. 주 연소 공기량이 증가함에 따라 CO와 NOx 배출 농도가 증가하는 경향이 있었으며, 연소기 출구 패턴은 개선되는 것으로 나타났다. 희석 공기공을 회전시켜 배치하는 경우 연소기 출구 온도 패턴의 변화가 민감하게 변하는 것을 확인하였다. 이러한 연구 결과는 연소기의 효율, 내구성 및 배출물 감소 성능을 고려한 연소기 라이너 설계 최적화 과정의 기초 자료로 활용할 예정이다. As a part of the development of aircraft gas turbines, combustion performance tests have been conducted in the single combustor sector. The effects of change in the amount of air supplied to the main combustion zone to the performance of the combustor, such as a pollutant emission, a liner temperature distribution and an exit temperature patterns, were studied. Emissions of CO and NOx increased with the main air-ratio and exit temperature pattern was improved. When changing the pattern of the dilution holes, it was shown that the temperature patterns on the exit plane of the combustor and the surface of liner changed depending on the main flame structure and mixing with diluent air. These observations will be applied to combustor liner designs to improve combustor durability and emissions reduction performance.