Tidal Power Generation Process Control Based on Differential Game Theory