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 cenário
O arquivo descreve a operação de uma fabricante de pequenos satélites e cargas úteis de sensoriamento remoto sediada no polo aeroespacial de São José dos Campos (SP), que atende clientes de monitoramento agrícola e ambiental com uma constelação de três satélites em órbita baixa. A equipe de operações recebe diariamente dezenas de pedidos de imageamento com prazos distintos, mas hoje prioriza manualmente a fila de tarefas, o que já causou o descumprimento de contrato com dois clientes por perda de janela de captura.
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.
- Analytical Reasoning
Apply analytical reasoning to solve real industry problems and demonstrate production-level capability.
- Ai Native Architecture
Apply ai native architecture to solve real industry problems and demonstrate production-level capability.
- Ai Assisted Coding
Apply ai assisted coding to solve real industry problems and demonstrate production-level capability.
- Sat Based Planning
Apply sat based planning to solve real industry problems and demonstrate production-level capability.
- Temporal Planning
Apply temporal planning to solve real industry problems and demonstrate production-level capability.
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