Research on the Prosumer Electricity Market Trading Model Based on the Transactive Energy Mechanism | IEEE Conference Publication | IEEE Xplore