http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
윤용호,이우석,이광근 한국정보과학회 2023 정보과학회논문지 Vol.50 No.12
One of the sources of inefficiency in counterexample-guided inductive synthesis algorithms is the fresh restart of inductive synthesis for each iteration. In this paper, we propose an incremental approach for the generalized counterexample-guided bidirectional inductive synthesis algorithm. The incremental algorithm reuses knowledge from the last iteration therefore reducing the search space, and making the remaining search faster. We applied our approach to the state-of-the-art bidirectional inductive synthesis algorithm, Simba, which is based on iterative forward-backward abstract interpretation. We implemented our approach and evaluated it on a set of benchmarks from the Simba paper. The experimental results showed that, on average, our approach reduces synthesis time to 74.2% of the original, without any loss in the quality.
연료전지 발전시스템 구현을 위한 전력변환장치 하드웨어 세부설계
윤용호 한국인터넷방송통신학회 2022 한국인터넷방송통신학회 논문지 Vol.22 No.1
In addition to the stack that directly generates electricity by the reaction of hydrogen and oxygen, the fuel cell power generation system has a reformer that generates hydrogen from various fuels such as methanol and natural gas. It also consists of a power converter that converts the DC voltage generated in the stack into a stable AC voltage. The fuel cell output of such a system is direct current, and in order to be used at home, an inverter device that converts it into alternating current through a power converter is required. In addition, a DC-DC step-up converter is used to boost the fuel cell voltage to about 30~70V, which is the inverter operating voltage, to about 380V. The DC-DC step-up converter is a DC voltage variable device that exists between the fuel cell output and the inverter. Accordingly, since a constant output voltage of the converter is generated in response to a change in the output voltage of the fuel cell, the inverter can receive constant power regardless of the voltage change of the fuel cell. Therefore, in this paper, we discuss the detailed hardware design of the full-bridge converter, which is the main power source of the inverter that receives the fuel cell output voltage (30~70V) as an input and is applied to the grid among the members of the fuel cell power generation system. 연료전지 발전시스템은 수소와 산소의 반응 작용에 의해 직접 전기를 발생하는 스택(Stack) 이외에 메탄올, 천연가스 등 각종 연료로부터 수소를 만들어 내는 개질기와 스택에서 발전된 직류전압을 안정된 교류전압으로 변환시켜주는전력변환기 등으로 구성되어진다. 이러한 시스템의 연료전지 출력은 직류로 가정에서 사용하기 위해서는 전력변환장치를 통하여 교류로 변환시키는 인버터 장치가 필요하다. 또한 연료전지 전압이 30∼70V 정도로 이를 인버터 동작 전압인380V 정도로 승압하기 위하여 DC-DC 승압형 컨버터를 사용한다. DC-DC 승압형 컨버터는 연료전지 출력과 인버터사이에 존재하는 직류전압 가변장치로 연료전지 출력전압의 변동에 반응하여 컨버터의 일정 출력전압을 만들어 내므로인버터는 연료전지의 전압 변동에 무관하게 일정한 전원을 공급 받을 수 있다. 따라서 본 논문에서는 연료전지발전 시스템의 구성 원 중 연료전지 출력전압(30∼70V)을 입력으로 받아 계통연계에 적용되는 인버터의 주요 전원인 풀 브리지(Full-Bridge) 컨버터의 하드웨어 세부설계에 대하여 논하고자 한다.
기계언어를 통한 Switched Reluctance Motor(SRM)의 Modeling과 특성
윤용호,Yoon, Yongho 한국인터넷방송통신학회 2021 한국인터넷방송통신학회 논문지 Vol.21 No.4
영구자석 동기전동기는 높은 출력밀도와 효율 확보가 가능하나, 제작에 필요한 재료의 가격이 비싸고 설계가 유도전동기 대비 다소 어려운 문제점을 가지고 있다. 따라서 효율 및 유지보수 편의성 등이 모두 고려된 최적의 전동기 개발 및 관련 제어연구가 필요한 실정이다. 뿐만 아니라, 실질적인 전동기에 의한 구동은 좁은 정격영역에서의 최고효율의 증대 요구와 전체 전기구동 영역에서의 평균 효율 증대, 평균 출력의 증대 요구로 이어지고 있다. 이러한 움직임에 의해 영구자석이 필요 없는 릴럭턴스 전동기 (Reluctance Motor)가 하나의 대안으로 검토되고 있다. 본 논문에서는 희토류 영구자석 전동기를 대체할 수 있는 미래기술 개발과, 희토류 저감형 전동기와 탈 희토류 전동기의 기술 선점을 요구하는 시대적 이슈 (Issue)에 맞춰 영구자석이 필요 없는 스위치드 릴럭턴스 전동기 (Switched Reluvtance Motor, SRM)에 대해 기계언어(C 언어)를 통한 modeling과 그에 따른 SRM의 특성을 연구하고자 한다. Permanent magnet synchronous motors can secure high power density and efficiency, but have problems in that the materials required for manufacturing are expensive and design is somewhat more difficult than induction motors. Therefore, it is necessary to develop an optimal motor that considers both efficiency and maintenance convenience and related control research. In addition, driving by a practical motor leads to a request to increase the highest efficiency in a narrow rated range, an increase in average efficiency in the entire electric driving range, and an increase in average output. Due to this movement, a reluctance motor that does not require a permanent magnet is being considered as an alternative. In this paper, in line with the issues of the times that require the development of future technology that can replace rare earth permanent magnet motors and the technological preemption of rare earth reduction motors and rare earth motors, switched reluctance motors without permanent magnet For motor, SRM), modeling through machine language (C language) and the characteristics of SRM accordingly are to be studied.
A Hysteresis Current Controlled Resonant C-Dump Converter for Switched Reluctance Motor
尹溶湖(Yong-Ho Yoon),金才文(Jae-Moon Kim) 대한전기학회 2008 전기학회논문지 P Vol.57 No.2
The speed variation of SRM is fulfilled throughout a transition from chopping control to single pulse operation. (i.e., low speed to high speed operation). It is unsatisfied with performance at all operational regimes. In this paper, the operational performance of SRM can be improved by using current hysteresis control method. This method maintains a generally flat current waveform. At the high speed, the current chopping capability is lost due to the development of the back-EMF. Therefore SRM operates in single pulse mode. By using zero-current switching and zero-voltage switching technique, the stress of power switches can be reduce in chopping mode. When the commutation from one phase winding to another phase winding, the current can be zero as fast as possible in this period because several times negative voltage of DC-source voltage produce in phase winding. This paper is compared to performance based on conventional C-dump converter topology and the proposed resonant C-dump converter topology. Simulation and experimental results are presented to verify the effectiveness of the proposed circuit.