http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김선태(Kim, Seontae) 목포대학교 도서문화연구소 2012 島嶼文化 Vol.0 No.40
이 글은 목포 해양문학의 흐름과 앞으로의 과제를 살펴보는 데 목적이 있다. 목포 해양문학의 출발점을 1960년대에 맞추고, 2000년대까지 발표한 목포 출신 주요 작가들의 바다 관련 작품들을 선정한 다음, 그 흐름과 작품세계의 양상을 개략적으로 살펴보았다. 그 결과 목포의 해양문학은 뚜렷하지는 않지만 그 흐름이 지속되어 왔으며, 최근에 이르러 새로운 관심이 증폭되고 있음을 알 수 있었다. 그러나 작품세계를 살피는 과정에서 목포 출신 작가들의 해양에 대한 인식이 바다나 섬에 대한 막연한 동경이나 그리움, 어촌민들의 핍진한 삶의 반영, 설화나 전설의 차용, 바다에 대한 절망과 죽음에 대한 이미지 등에 머물고 있어 새로운 인식 전환의 필요성이 대두됐다. 즉 근래에 우리가 안고 있는 각종 해양문제를 문학적으로 반영할 필요가 있고, 그래야만 목포의 해양문학이 시대에 뒤떨어지지 않을 것임을 역설했다. 그리고 목포가 이러한 해양문학적 전통을 계승하여 앞으로 한국해양문학의 한 거점도시로 발전하기 위해 필요한 과제를 제시하였다. This study has its purpose to suggest the problems what Mokpo will solve in order to emerge as a hub city of Korean maritime literature by looking into the literary works, related with the sea, written by Mokpo birth and its current. To make this goal, the study, first of all, chooses 9 major writers from Mokpo with the history of Mokpo literature after modern times, and selects their literary works related with the sea; 1) Manseon(1964), a drama, and Nak-wol-do(1972), and Singoong(1977), novels written by Cheon, Seung-se, 2) Reminiscence about Poor This Year(1964) and Hwanghon(1976), poems, written by Choi, Harim, 3) At Yongdang-ri(1970) and The Sea, poems written by Kim, Ji-ha, 4) A Crane! It Could Be a Love(1975), a drama written by Cha, Beom-seok, 5) A Tale of Jangsan-do 1 and A Tale of Jangsan-do 2(1978), poems written by Kim, Chang-hwan, 6) A Woman in the Sea(1982) and Tango on the Sea(1991), poems written by Gwon, Il-song, 7) People without Longing Can’t See Aphae-do, a collection of poems written by Roh, Hyang-rim, 8) Goha-do : Ttangsi(1995) and In Front of Waves, poems written by Heo, Hyeong-man, and 9) At Samho Reclamation(1997) and Jogeum-saeggi(2009), poems written by Kim, Seon-tae. The study looks into the current and aspect of Mokpo maritime literature with the works. The results show that the maritime literature has kept up its unremarkable current at the cardinal point in 1960s, and recently new interests has been generated as well. In addition, the result shows that the writers’ recognitions about the sea stay in vague longing and missing about the sea or an island, reflection of fishermen’s poor lives, adoption from tales and legends, and negative images about the sea like despair and death. That is, new awareness conversion is needed. The study suggests some problems to be solved for Mokpo to develop to a future hub city of Korean maritime literature, succeeding to its unique tradition about maritime literature. They are as follows; First, Mokpo literature should be characterized as maritime literature to have uniqueness of local literature. Second, it is necessary to establish the first museum of maritime literature in Korea, which is a center to make a central role, located in Samhak-do of Mokpo or Aphae-do of Shinan. Finally, literary groups including the relative academic departments of local colleges and universities take the head to raise up young future generation who will lead the Mokpo maritime literature.
김선태 ( Seontae Kim ),김제민 ( Jemin Kim ),박준석 ( Joonseok Park ),유원희 ( Weonhee Yoo ) 한국정보처리학회 2011 한국정보처리학회 학술대회논문집 Vol.18 No.2
소프트웨어의 비중이 커짐에 따라 소프트웨어가 안전하게 실행되는 것이 보장되어야 한다. 이를 위해 다양한 검증 도구를 통해 검증이 수행된다. 하지만 소스 코드와 명세를 입력으로 받는 검증도구는 검증조건 생성이 어렵기 때문에 검증 조건 생성에 용이하도록 입력 값을 중간 표현 언어로 변환해 주는 것이 필요하다. 본 논문에서는 검증의 정확성을 위해 다양하게 존재하는 중간 표현 언어의 특성을 분석하고 예제를 통해 비교한다. 중간 표현 언어의 비교 분석 결과를 통해 검증을 수행할 때 검증의 목적과 환경에 적합한 중간 표현 언어 선택으로 검증의 효율성과 정확성을 향상시킨다.
김선태 ( Seontae Kim ),김제민 ( Jemin Kim ),박준석 ( Joonseok Park ),유원희 ( Weonhee Yoo ) 한국정보처리학회 2011 한국정보처리학회 학술대회논문집 Vol.18 No.1
자바는 개발환경의 편리성과 재사용성, 이식성으로 다양한 시스템 환경에서 사용한다. 그러므로 자바는 오류 없이 안전하게 실행하는 것이 중요하다. 하지만 자바 바이트 코드를 통한 자바의 안전한 실행에 대한 검증은 스택코드, 코드의 정보부족 등의 이유로 검증을 어렵게 한다. 본 논문에서는 자바 바이트코드의 문제점을 해결하여 검증을 수행하는데 적합한 중간표현 언어를 소개한다. 중간표현 언어는 스택리스코드로 구현되며, 모든 명령어의 정보를 담고 있다. 이를 통해, 자바 바이트코드를 통한 검증을 수행할 것이다.
마이크로/나노 사이즈의 표면 개질을 통한 풀 비등 임계열유속 향상을 위한 실험적 연구
김선태(Seontae Kim),김형모(Hyungmo Kim),안호선(Ho Seon Ahn),조항진(Hangjin Jo),김준원(Joonwon Kim),김무환(Moo Hwan Kim) 대한기계학회 2008 대한기계학회 춘추학술대회 Vol.2008 No.5
It is well known that modifying the geometry or characteristics of heater surface is one of the effective ways in enhancing CHF. Also many researchers have been struggling to develop fine and fancy heater surface by various methods so far. Lately, there were lots of research about enormous CHF enhancement with nanofluids, which is well dispersed fluid with nano-sized particles, and it was proved that this phenomenon definitely depends on deposition of nanoparticle over heater surface. We have observed micro/nano multi-scale geometry and high wettability characteristic on naturally developed nanoparticle deposited heater surface from boiling experiment with nanofluid. On the base of this observation, we made micro/nano multi-scale surface with good wettability by MEMs technique, and conducted CHF experiments with them.
자바 소스 코드에서의 명세를 활용하기 위한 BML에서 BIRS로의 변환
김선태(Seontae Kim),김제민(Jemin Kim),박준석(Joonseok Park),유원희(Weonhee Yoo) 한국정보과학회 2013 정보과학회논문지 : 시스템 및 이론 Vol.40 No.5
본 논문에서는, 자바 바이트 코드 검증을 위해 설계된 중간 표현 언어인 BIRS(Bytecode Intermediate Representation with Specification)생성기 JBVF(Java Bytecode Verification Framework)를 확장한다. JBVF를 통해 생성된 BIRS는 검증 조건 생성을 위해 자바 소스 코드(하이레벨)가 공개 되었을 경우에도 프로그래머가 BIRS(로우레벨)에 직접 명세 정보를 기술해 주어야 한다. 이를 해결하기 위해, 자바 소스 코드가 공개되었을 경우 자바 소스 코드에 입력된 명세 정보를 이용하여 BIRS 코드를 생성하는 방법을 소개한다. BIRS 코드는 JML2BML도구와 JML, BML을 이용하여 생성한다. BML을 입력으로 받아 생성된 BIRS에 명세 정보가 정확히 표현되었는지 확인한다. In this paper we extend JBVF(Java Bytecode Verification Framework). JBVF generates and verifies BIRS(Bytecode Intermediate Representation with Specification) which is an intermediate language for verifying bytecodes. When BIRS codes are genereted by JBVF, even though a programmer has java source codes(high level) annotated with specifications, he should describe specification information in BIRS codes(low level) for generation of verification conditions from BIRS codes. We present the way to generate BIRS codes from java codes annotated with specification information, when java source codes are available. We present how BIRS code is generated from BML. BML could be generated from JML by a tool JML2BML. We certify that specification information in BIRS from BML is correctly generated.
평판형 히터를 이용한 나노 유체 풀비등 임계열유속의 실험적 연구
안호선(Ho Seon Ahn),김선태(Seontae Kim),조항진(Hangjin Jo),제준호(JunHo Je),김무환(Moo Hwan Kim) 대한기계학회 2008 대한기계학회 춘추학술대회 Vol.2008 No.5
The flat plate experimental apparatus supporting only thermal heating was developed to perform the CHF enhancement experiment with nanofluids in pool boiling. Nickel and copper surface was used as heater surfaces and nanofluids was created with A1₂O₃, TiO₂ nanoparticles and deionized water by 2-step methods. And CHF in deionized water enhance on nanoparticles deposited surface. So, CHF enhancement in nanofluids is also achieved by the surface effect. CHF enhancement quantities are different as a kind of surface. Copper surface have more CHF enhancement than nickel in same nanofluids. And boiling in A1₂O₃, TiO₂ nanofluids made different surface shape. Surface investigation (SEM) about the nanoparticles coated surface was performed. And these different surfaces induced a different CHF enhancement ratio.