冰下湖泊的主动源地震特征:数值模拟、现场验证及其对南极探索的意义 | Synapse