Abstract: UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the ...

Kunliulong DC Project is the first UHV multi-terminal hybrid DC in the world. It uses valve-based electronic equipment with domestic technology route, and its internal electrical structure and control ...