CFD modeling and experimental verifications of a four-stage Stirling-type pulse tube cryocooler. (April 2019)