高压截止式逻辑元件是依靠（）推动阀芯或通过（）推动阀芯动作，改变气流通路以实现一定的逻辑功能；而高压膜片式逻辑元件的可动部件是（）。