考虑系统冗余需要，牵引系统有那些形式（）。