DiffAero: Uma Estrutura de Simulação Diferenciável Acelerada por GPU para Aprendizado Eficiente de Políticas de Quadrotor | Synapse