以色列国防军称，袭击了伊朗一处用于研发潜艇的海军设施。