卡诺定理判断循环能否实现