Application of reverse electrodialysis power for oxygen generation in undersea diving