在高铁技规中要求，牵引供电设备包括牵引变压器。（）