http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Land and Sea Cable Interconnections with HVDC Light
Gunnar, Asplund,Kjell, Eriksson,Ove, Tollerz The Korean Institute of Power Electronics 2001 전력전자학회 논문지 Vol.6 No.4
HVDC Light는 300MW에 이르는 전력을 가지고 있는 아불 성형된 DC Cable과 Voltage Source 컨버터에 기반을 둔 가장 최근의 HVDC 기술이다. HVDC Light 컨버터는 IGBT(Insulated Gate bi-polar Transistor)와 유효전력과 무효전력 사이의 고속 컨트롤을 위한 PWM(펄스 폭 변조)의 기능을 가지고 있다. HVDC Light 케이블은 압출 성형된 폴리머의 절연을 가진 케이블이며 직류 전압을 위해 특별히 개조되었다. 전력 범위 내에서 HVDC Light 컨버터와 케이블은 지중 또는 해저 송전 등에서도 송전전력을 위해 훌륭하게 조합될 수 있었다. 본 원고는 실제의 케이스로부터 얻은 경험지식으로, HVDC Light 기술의 조합을 사용해 해결된 문제점을 소개하고, HVDC Light의 장점을 설명하였다.
Automatically proving the correctness of vehicle coordination
Mikael Asplund 한국통신학회 2018 ICT Express Vol.4 No.1
In the next generation of road-based transportation systems, where vehicles exchange information and coordinate their actions, a major challenge will be to ensure that the interaction rules are safe and lead to progress. In this paper we address the problem of automatically verifying the correctness of such distributed vehicular coordination protocols. We propose a novel modeling approach for communicating mobile entities based on the concept of satisfiability modulo theories (SMT). We apply this method to an intersection collision avoidance protocol and show how the method can be used to investigate the settings under which such a protocol achieves safety and progress.