http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김재진(Jaejin Kim),정동헌(Dong-Heon Jung),김수현(Suhyun Kim),문수묵(Soo-Mook Moon) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1C
가상 머신은 중간코드로 컴파일 되어 한 프로그램을 여러 플랫폼에서 수행 가능하게 한다. 이러한 가상 머신에는 이미 널리 알려진 썬 마이크로시스템즈의 자바 가상 머신과 구글의 안드로이드 플랫폼의 달빅 가상 머신 그리고 애플이 지원하는 LLVM 등이 있으며, 파이어폭스의 TraceMonkey, 구글 크롬의 v8, 사파리의 SquirrelFish Extreme 같은 자바스크립트 엔진도 일종의 가상 머신으로 볼 수 있다. 가상 머신은 필연적으로 성능 저하를 동반하게 되는데, 이는 가상 머신의 주요 이슈 중 하나이다. 본 논문에서는 간단한 벤치마크를 통해서 이들 가상 머신간의 성능을 비교하고, 각 가상 머신의 특징을 알아본다. LLVM은 여러 단계에 걸친 컴파일 전략으로 JIT 컴파일을 사용하였을 때 높은 성능을 보이나 JIT 컴파일을 사용하지 않았을 경우는 매우 낮은 성능을 보인다. 달빅 가상 머신은 인터프리터 모드에서 자바 가상 머신 보다 조금 나았으나, 아직 개발된 지 얼마 되지 않아 JIT 컴파일러가 없다는 것이 약점이다. 자바스크립트 엔진들은 동적 언어인 자바스크립트를 지원하는 특성상 최적화를 적용하지 못해 비교적 낮은 성능을 보였다.
정동헌(Dong-Heon Jung),이석영(Seok-Young Lee),김재진(Jaejin Kim),문수묵(Soo-Mook Moon) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1C
LLVM(Low-level Virtual machine)은 최적화된 컴파일 코드 생성을 위한 컴파일러 프레임워크를 목적으로 제작되었다. LLVM은 C언어로 작성된 코드를 효과적으로 머신에 비종속적인 중간코드로 표현하여 사용하므로 이를 잘 활용한다면 C언어를 위한 머신 비종속적인 ‘가상머신’으로 사용할 수 있다. 하지만 LLVM은 효과적인 컴파일러라는 원래의 설계목적 때문에 전반적으로 동적 수행에 대해 큰 고민 없이 디자인되었다. 이러한 디자인상의 한계는 가상 머신으로서의 성능에는 좋지 않은 영향을 끼치므로 이에 대한 보안이 필요하다. 우리는 LLVM의 명령어 셋에 추가명령어를 제안하여 LLVM 해석기의 성능향상을 얻어낼 것이다.
정영달(Youngdal Jung),김재진(Jaejin Kim),여운석(Unseok Yeo),강병도(Byungdo Kang),권해붕(Haeboung Kwon) 한국자동차공학회 2013 한국자동차공학회 부문종합 학술대회 Vol.2013 No.5
Korea has operated separately in each periodic vehicle inspection and periodic vehicle check system for efficient management of in-use vehicle. Periodic inspection is a system that for all vehicles, evaluate the suitability of the road driving without the disassembly and maintenance of the vehicle, and periodic check is a system that for the commercial vehicles, through the disassembly and maintenance of the vehicle, implement to ensure the safety and performance of vehicle. However, periodic check has been pointed out steadily because it had slipped into the institutional formal system to weight the economic burden of the public. Therefore, in this study, we would present the suggestion to integrate periodic inspection and periodic check through the analyses on domestic and foreign status of periodic check and the deducting problem. In particular, whereas periodic vehicle inspection has been implementing in all 34 countries member countries on Organization for Economic Cooperation and Development(OECD), periodic check has been implementing in japan, only one in the world. So, we compared and analyzed the items of periodic inspection and periodic check, and we presented the suggestion on the integration of two systems. In addition, another purpose in this study is to enhance the vehicle safety and to reduce burden on the public by presenting the compensation plan of the integration of two systems.
분리기술 열역학 / 콜로이드 현탁액의 Dead - End 막여과에서 용액의 이온화세기가 투과플럭스에 미치는 영향
장재동(Jae Dong Chang),전명석(Myung Seok Jeon),정귀영(Gui Yung Chung),김재진(Jae Jin Kim) 한국화학공학회 2000 Korean Chemical Engineering Research(HWAHAK KONGHA Vol.38 No.4
The permeate flux of fully retentive dead-end ultrafiltration has been monitored with the progress of filtration time, so as to understand a membrane fouling mechanism due to the consistent formation of cake layer. We selected the polystyrene latex with negatively charged surfaces as well as the flat membrane having asymmetric pores as a model colloid and a model membrane, respectively, and their zeta potentials incorporated with a physicochemical interaction between particle and membrane surface were characterized. As the tcansmembrane pressure difference(i.e., △p) increases, the permeate flux increases, while it shows a decreasing behavior with the increase of solution ionic strength. Note that the effect of solution ionic strength on the permeate flux is Found to increase, as △p decreases. When △p is 4 psi, the permeate flux at KCl 100 mM decreased by about 16% compared to the flux at KCl 0.01 mM. It is obvious that, as the solution ionic strength decreases, the estimated specific cake resistance decreases, but the cake compressibility increases. This phenomena allow us to analyze the long-range electrostatic interaction between pairs of suspended latex particles, in which the expanded double layer around particle surfaces due to a decreasing solution ionic strength provides the development of loosely packed cake layer during the membrane filtration.