离心砻谷机是应用 （ ）砻谷机理的典型设备。