以压缩空气为动力、用电气来操纵控制的制动机是( )制动机。