目前，气体分离与提纯技术主要有深冷分离、膜分离、（）、（）。