Numerical simulation of salinity gradient power generation using reverse electrodialysis