Principles of ocean tidal energy power generation