Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...

Abstract: With the increasing penetration of virtual synchronous generator (VSG)-controlled inverters in the renewable power system, the transient stability analysis of the paralleled VSG system with ...

Abstract: Crack, cavity, and leakage defects in subway tunnels significantly threaten tunnel operational safety. Due to the limited detection time window, the trend in the tunnel detection has shifted ...