热电联产系统模型:使用ThermoSyspro库的OpenModelica热电联产系统模型