Caracterização sísmica com fonte ativa de lagos subglaciais: modelagem numérica, validação de campo e implicações para a exploração da Antártica | Synapse