Agendamento de imageamento por satélite via planejamento SAT-based
Visão geral
Sobre o que é este desafio
Você codifica um agendamento de imageamento por satélite como problema SAT e compara com PDDL2.1. Gera um cronograma válido e ganha um certificado verificável.
O Brief
O que você vai fazer e o que vai demonstrar.
Uma codificação SAT-based do problema de agendamento de imageamento consegue produzir cronogramas de melhor qualidade — respeitando janelas de captura, downlink, energia e prioridade contratual — do que um planejador temporal clássico, dentro do tempo de computação disponível entre as passagens dos satélites?
Earning criteria — what you'll demonstrate
- Codificar um problema de planejamento com restrições temporais como uma instância SAT
- Comparar SAT-based planning com planejamento temporal clássico (PDDL2.1)
- Analisar escalabilidade e desempenho de diferentes técnicas de planejamento automatizado
- Projetar uma arquitetura de planejamento adequada a restrições de recursos reais (energia, tempo, prioridade)
Adequação ao Programa
Onde isso se encaixa no seu programa.
Aperfeiçoa as mesmas habilidades que seu curso espera que você demonstre.
Conteúdo alinhado em breve.
Habilidades
Habilidades que você vai demonstrar.
Cada um aparece no seu certificado verificado.
Carreiras
Cargos para os quais este desafio te prepara.
Títulos reais. Pontes reais de habilidades. Escolha o mais próximo da sua trajetória.
Trilhas de carreira que este desafio desenvolve
Funções canônicasEngenheiro de Machine Learning
Implementar e otimizar uma codificação SAT para um problema real de agendamento com múltiplas restrições desenvolve a mesma disciplina de engenharia usada para levar algoritmos de otimização a produção.
Este desafio aprimora
- ai-assisted-coding
- sat-based-planning
- temporal-planning
Engenheiro de Sistemas
Projetar uma arquitetura de planejamento que respeite restrições reais de energia, tempo e prioridade contratual espelha o trabalho de engenharia de sistemas em operações de satélite.
Este desafio aprimora
- ai-native-architecture
- temporal-planning
- analytical-reasoning
Cientista Pesquisador
Comparar rigorosamente duas técnicas de planejamento automatizado com evidência empírica de desempenho é o tipo de investigação comparativa central ao trabalho de pesquisa aplicada.
Este desafio aprimora
- sat-based-planning
- temporal-planning
- analytical-reasoning
Só mais uma coisa