• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.500-504
• /
• 2007

Sparrow(스패로우)는 C/C++로 작성된 프로그램의 메모리 누수와 버퍼오버런 오류를 자동으로 프로그램 실행전에 찾아주는 도구이다. Sparrow는 실제 현장에서 쓰이는 상용 프로그램의 분석에 유용하게 쓰일 수 있도록 제작되었다. 이를 위해 분석기 엔진은 수십만 라인 이상의 소프트웨어를 적절한 시간과 정확도로 분석하기 할 수 있도록 많은 기술이 적용되었다. 또한 사용자의 편의성을 위해 대상 프로그램의 소스 구조를 자동으로 파악하여 분석을 준비하고, 거짓일 가능성이 높은 알람을 미리 제거하며, 발생한 알람의 원인을 설명해 준다. Sparrow로 httpd-2.2.2를 비롯한 오픈 소프트웨어들을 분석한 결과 실제 오류들을 찾아낼 수 있었다.

• The Journal of Korean Philosophical History
• /
• no.35
• /
• pp.275-308
• /
• 2012

This article aims to investigate the studies of Yi Xue Qi Meng(易學啓蒙) performed by the researchers of Neo-Confucianism in Ki Ho region in later Chosun period. Philologically speaking, these studies were mainly performed by Han Won Jin and his colleagues. While the study of Yi Hwang(李滉)'s Qi Meng Zhuan Yi(啓蒙傳疑) performed by the researchers of Toegye(退溪) School lasts from the end of the sixteenth century to the nineteen's century, the Ki Ho(畿湖) scholars' study of Yi Xue Qi Meng are centered in the eighteenth century and hardly any significant work on this text is found before and after this century. In order to single out the distinctive features of Ki Ho School of Neo-Confucianism, this article examines three subjects the Ki Ho scholars delved into: (i) their theory of Tai Ji(太極), (ii) their theory of He-Tu(河圖) and the formation of eight trigrams, and (iii) the so-called Wu Wei Xiang De Shuo(五位相得說) discussed in one of the sections in Yi Xue Qi Meng titled the Source of He-Tu and Luo Shu[本圖書]. The Ki Ho scholars are remarkable in interpreting Tai Ji in Yi Xue Qi Meng in the context of the theory of Li-Qi and the theory of human nature. There are differences in opinion among the Ki-Ho scholars with regard to the relation between He-Tu and the formation of eight trigrams. Eventually, they withhold Zhu Xi(朱熹) and Hu Fang Ping(胡方平)'s attempt to synthesize He-Tu, the rectangular diagram of Fu Xi(伏羲)'s eight trigrams, and the circular diagram of Fu Xi's eight trigrams into one single principle. Han Won Jin tries to explain the relation between He-tu and the formation of eight trigrams in terms of the relation between He-Tu and the circular diagram, and his attempt is widely supported by his colleagues. This theory runs counter to traditional model of explaining truth. My conjecture is that such academic trend is further developed by the defenders of Practical Learning such as Hong Dae Yong(洪大容), who vigorously reject traditional system of truth and science, and that it partly explains why the study of Yi Xue Qi Meng ceases in the nineteenth century.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.12
• /
• pp.2190-2195
• /
• 2011

Due to enhanced demands on quality, security and reliability of the electric power energy system, a microgrid has become a subject of special interest. In this paper, output characteristics of energy storage system (ESS) with an electric double layer capacitor (EDLC) and battery energy storage system (BESS) of a renewable energy based microgrid were analyzed under grid-connected and islanded operation modes. The microgrid which consists of photovoltaic and wind power turbine generators, diesel generator, ESS with an EDLC, BESS and loads was modeled using real time digital simulator. The results present the effective control patterns of the microgrid system.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1296-1297
• /
• 2011

This paper deals with a power-hardware-in-the loop simulation (PHILS) of permanent magnet synchronous generator (PMSG) type wind power generation system (WPGS) using a real hardware which consists of a motor generator set with motor drive, real time digital simulator (RTDS), and back-to-back converter. A digital signal processor (DSP) controls the back-to-back converter connected between the back-to-back converter and the RTDS. The proposed PHILS can effectively be applied to demonstrate the operational characteristics of PMSG type WPGS under grid connection.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.4
• /
• pp.665-670
• /
• 2009

The second paper, Part 2, describes the field testing of IEEE type PSS2A EX2000 excitation in the Dangjin 612 MVA T/P #4. The final PSS gain, $K_s$, was determined by inputting 2%-step signals into AVR at a loading of 500MW and increasing $K_s$, from 0 to 15 in increments of 3. After the field testing, the measured data was also analyzed by Discrete Fourier Transformation(DFT) analysis, and the model parameters of generation system were verified by replicating the measured data with the transient stability program.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.4
• /
• pp.655-664
• /
• 2009

This paper, Part 1, describes the effective dual-input PSS parameter design procedure for the IEEE Type PSS2A against the Dangjin 612 MVA thermal plant's EX2000 excitation system. The suggested tuning technique used the model-based PSS tuning method and consisted of three steps: 1) generation system modeling; 2) determination of PSS2A model parameters using linear, time-domain transient and 3-phase simultaneous analyses, and 3) field testing and verification, which are described in Part 2. The effective PSS2A model parameters of EX2000 system in the Dangjin T/P #4 were designed according to the suggested procedure, and verified by using three analyses.

• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.6-8
• /
• 2005

본 논문은 제2차 전력수급기본계획을 토대로 2006년부터 2017년도까지 중장기 전력계통의 운영 전망을 분석하였다. 주요 내용으로는 2006년, 2008년, 2010년, 2012년 2017년도에 대한 지역별 전력수급전망, 송전망 조류추이, 고장용량 분석, 조상설비 필요량, 계통전압안정도, 수도권 융통전력한계, 과도안정도 분석 등을 다루고 있으며 본 전력계통 운영전망에 관한 검토내용은 향후 전력계통 운영 및 제3차 전력수급기본계획(발전 및 송전설비계획 부분) 수립에 활용될 예정이다.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10b
• /
• pp.36-39
• /
• 2003

Due to the strength and biocompatibility requirement, the stainless steel SUS 316L is widely used for trauma internal fixation device. SUS 316L can be hardened and strengthened only by cold work. In this work, the material compression test is performed both in laboratory and computer simulation by a FEM analysis software DEFORM to correlate the hardness to strain. This data is then used for preform design and predict the hardness of the finish bone plate forging. Finally, we compared the hardness between the actual forging and computer analysis results. Although the predicted hardness from computer simulation. is 55HV higher than the final forging sample, we can get good compatibility on the hardening tendency of cold forging.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1830-1835
• /
• 2005

It is important to estimate the distribution of intensity of a magnetic field for application of magnetic method to industrial nondestructive evaluation. Magnetic camera provides the distribution of a quantitative magnetic field with homogeneous lift-off and same spatial resolution. And it is possible to interpret the distribution of the magnetic field when the dipole model is introduced. This study introduces the numerical and experimental considering of the quantitative evaluation of several size and shapes of the cracks using the magnetic field images of the scan type magnetic camera.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2008.10a
• /
• pp.1535-1538
• /
• 2008

Carbon nanotube arrays were fabricated using micro molding in capillary (MIMIC) process. Patterns remained on the surface in the pattern complementary to that present in the mold. CNTs were selectively grown on the MIMIC patterned sites with a triode PECVD. And turn on field for $10\;{\mu}A/cm^2$ electron emission current was $2.2\;V/{\mu}m$ turn on field.