Theoretical analysis on temperature-lifting cycle for ocean thermal energy conversion