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