第一次从理论上说明热机运行过程、建立热力学原理的是( )。