A buoyancy device design for antisink ships | IEEE Journals & Magazine | IEEE Xplore