ZK4型电空转辙机是一种利用（）控制电磁阀，以（）作为动力的道岔转换设备。