The rapid development of high-speed railways (HSRs) puts forward high requirements on the corresponding communication system. Millimeter wave (mmWave) can be a promising solution due to its wide bandwidth, narrow beams, and rich spectrum resources. However, with large number antenna elements employed, energy-efficient solutions at mmWave frequencies are in great demand. Based HSR system multipl...

This paper investigates a linear generator (LIG) for application in high speed maglev train. Its configuration and working principle are introduced detail. The mathematic models of magnetic field induced voltage established by the equivalent circuit method law electromagnetic induction respectively, through which characteristics LIG impact factors analyzed preliminarily. An analytical numerical...

The high speed train control system is a typical hybrid system, which not only contains a continuous evolution process (train position and speed), but also the discrete event between subsystems. Although some formal methods like HUML, HA and DL have already been used in modeling and verification train control systems, they are not good at describing communication behaviors which are in the inte...