Development of a dual flapping tidal current generator in Korea | IEEE Conference Publication | IEEE Xplore