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