电涡流式传感器激磁线圈的电源是（ ）。