使用寿命长、操作频率高的行程开关是（ ）。