TIDA-SR: Uma rede de atenção deformável condicionada pelo tempo para super-resolução de DEM em regiões montanhosas cobertas por nuvens | Synapse