行程开关也称（）开关或终点开关。