克劳修斯不等式和可逆性判据