Localização de vertiportos em São Paulo — Camada B (governança). Gerado por ./gov update em 2026-09-15T12:45:25.045029.
Nós por tipo; arestas ligam decisões, fontes, arquivos, experimentos e interações de IA às metas do projeto.
46 relacao(oes) no grafo (ver grafo.json para a estrutura completa, incluindo arestas).
| # | descricao | resp | prazo | status |
|---|---|---|---|---|
| 1 | Avaliar extensao do modelo com opcao de nao-capturar demanda (arco 'nao-voar' endogeno) para evitar economia de tempo negativa forcada em p baixo | Vitor | 2026-09-16 | aberta |
| # | descricao | resp | aberta em | resolvida em |
|---|---|---|---|---|
| 1 | Link/repositorio-modelo do professor ainda nao distribuido -- por ora seguimos a estrutura propria do cap. 5 do PDF | Vitor | 2026-09-02 09:15:34.453841 | None |
| 2 | Metas do projeto (2 a 4) ainda nao definidas/registradas no banco -- bloqueia registro de decisoes, tarefas e fontes vinculadas | Vitor | 2026-09-02 09:15:34.645325 | 2026-09-14 14:58:13.833034 |
| 3 | Apresentacao oral do grupo ainda nao existe (PDF 6.3) -- precisa cobrir as duas camadas (modelo + processo) e os indicadores minimos comparaveis entre grupos | Vitor | 2026-09-15 09:45:04.147651 | None |
| 4 | Decisoes e criticas de IA registradas ate agora (decisoes #2-#11, interacoes de IA #1-#4) tem autoria Vitor mas ainda nao foram validadas/rediscutidas pelo grupo -- claude.md exige validacao humana da critica antes de vira registro definitivo | Vitor | 2026-09-15 09:45:04.337898 | None |
| 5 | Gilberto e Guilherme ainda sem nenhum commit ou registro proprio no banco de governanca -- contribuicao individual e avaliada por autoria | Vitor | 2026-09-15 09:45:04.526986 | None |
| 6 | Terceiro encontro de acompanhamento com o professor ainda nao agendado (PDF 7.2) | Vitor | 2026-09-15 09:45:04.712651 | None |
| # | descricao | justificativa | alternativas descartadas | resp | quando |
|---|---|---|---|---|---|
| 1 | Usar e-mails placeholder (nome@tra48.local) para git commit --author | A comunicacao do grupo e via WhatsApp, nao e-mail; git exige um e-mail para identificar autoria de cada commit, mas esse e-mail nao precisa ser real ou alcancavel -- e so um identificador tecnico do commit, sem uso para contato | Coletar e-mail real de cada integrante -- descartado porque criaria fricção sem necessidade real: o grupo nao usa e-mail no dia a dia, e o campo do git nao exige que o endereco funcione | Vitor | 2026-09-02 09:15:29.823944 |
| 2 | Base de demanda = Tabela 25 da Pesquisa OD 2017 (individual motorizado: carro/taxi/moto), nao a Tabela 30 (todos os modos) | UAM compete na literatura primariamente com transporte individual motorizado (carro/taxi/app), nao com onibus/metro/a pe -- ver app/literatura.md refs 4-5 (Booz Allen/NASA 2018, Rimjha & Trani 2021) | Tabela 30 completa (todos os modos), que infla a base de demanda incluindo viagens de onibus/metro/a pe que dificilmente migrariam para UAM | Vitor | 2026-09-14 15:24:48.645314 |
| 3 | Uso da Pesquisa OD 2017 como base, nao a Pesquisa OD 2023 mais recente | OD2017 e a pesquisa completa mais recente com o conjunto de tabelas agregadas por zona ja consolidado e testado; a base tratada de 2023 no portal da transparencia nao foi localizada com o mesmo detalhamento dentro do prazo da sessao | Migrar para OD2023 assim que o conjunto agregado equivalente for localizado/confirmado -- registrado como limitacao reconhecida, nao descartado definitivamente | Vitor | 2026-09-14 15:24:48.827885 |
| 4 | Formulacao = p-hub median nao-capacitado de alocacao multipla (Campbell, 1994), linear | Representa a interdependencia entre vertiportos exigida pelo enunciado (valor de abrir k depende de quais outros l estao abertos) e e linearizavel, resolvivel com lpSolve disponivel no ambiente | Formulacao quadratica de alocacao unica de O'Kelly (1987) -- mais fiel a topologia hub-and-spoke classica mas exige MIQP, solver indisponivel na sessao; cobertura maxima / p-mediana simples -- descartadas por nao capturarem a interdependencia entre hubs exigida no enunciado (PDF 2.2) | Vitor | 2026-09-14 15:24:49.011769 |
| 5 | Reducao de instancia: 517 zonas OD -> 8 macrorregioes via k-means ponderado por viagens produzidas; mesmo conjunto usado como candidatos | A variavel de fluxo do MILP de alocacao multipla cresce O(n^4); testado empiricamente que a matriz densa do lpSolve explode em memoria acima de ~10-12 regioes -- ver app/formulacao.md secao 9 | Usar as 517 zonas diretamente (instancia inviavel computacionalmente); usar os 96 distritos municipais (ainda grande demais para o solver denso usado) | Vitor | 2026-09-14 15:24:49.204406 |
| 6 | Candidatos a vertiporto = 1 heliponto ANAC real mais proximo do centroide de demanda de cada macrorregiao | Dado publico verificavel, ja licenciado para pouso de aeronave de asa rotativa em area urbana densa -- proxy mais direto de viabilidade aeronautica do que um ponto generico | Estacoes de metro/terminais de transporte como proxy de no de acesso terrestre (permitido pelo enunciado, mas nao garante viabilidade de pouso); ponto arbitrario no centroide sem verificacao de viabilidade real | Vitor | 2026-09-14 15:24:49.415193 |
| 7 | Hipotese de demanda capturavel por UAM = filtro de distancia (par OD >= 8km) x filtro de renda de origem (tercio superior) x fracao comportamental fixa theta=5% | Cada componente do filtro tem respaldo na literatura de mercado de UAM (Booz Allen/NASA 2018; Rimjha & Trani 2021) -- viagens curtas nao compensam o overhead de acesso/embarque, e a disposicao a pagar tarifa premium de UAM correlaciona com renda | Fracao unica arbitraria sobre toda a matriz OD sem filtro geografico/socioeconomico -- descartada por nao ter fundamentacao e por inflar demanda em pares de curta distancia onde UAM nao compensa | Vitor | 2026-09-14 15:24:49.597884 |
| 8 | Sem custo fixo de implantacao no objetivo; numero de vertiportos p tratado como parametro exogeno variado na curva de implantacao, nao otimizado endogenamente | Nenhuma fonte publica confiavel de custo de implantacao de vertiporto eVTOL no Brasil foi localizada dentro do prazo da sessao | Inventar um custo fixo sem fonte verificavel -- descartado por violar a regra de nao fabricar dado (PDF 8.4); manter p exogeno e reportar a curva de implantacao completa (beneficio vs. p) permite ao leitor aplicar seu proprio custo | Vitor | 2026-09-14 15:24:49.780181 |
| 9 | Modelo sem restricao de capacidade por vertiporto (uncapacitated) | Primeira camada e localizacao, nao dimensionamento operacional -- capacidade por vertiporto depende de decisoes de infraestrutura (num. de pads, frequencia de voo) fora do escopo desta rodada | Incluir capacidade estimada por analogia a heliponto -- descartada por falta de dado de capacidade real de vertiporto eVTOL; registrada como trabalho futuro em app/formulacao.md | Vitor | 2026-09-14 15:24:49.962230 |
| 10 | Implementacao em R + lpSolve, sem bibliotecas de geoprocessamento pesadas (sf/rgdal); parser MIF proprio e projecao UTM em R puro | sf/rgdal nao estavam instaladas e exigiriam compilacao pesada sem garantia de sucesso no ambiente da sessao; R e a linguagem padrao da disciplina (PDF 4.6) e lpSolve ja estava disponivel | Instalar sf/rgdal via compilacao -- descartada por risco de falha/tempo; usar Python com geopandas -- descartada por exigir justificativa registrada de uso de outra linguagem (PDF 4.6), sem necessidade real dado que o parser MIF proprio resolveu o caso de uso | Vitor | 2026-09-14 15:24:50.144889 |
| 11 | Recomendacao final: implantar entre p=4 e p=6 vertiportos, priorizando a rede de p=4 (Sao Bernardo do Campo, Guarulhos, Itaim Bibi, Jardim Paulista) | A partir de p=4 a economia marginal por vertiporto adicional ja caiu para menos de 40% do primeiro salto (p=2->3) e continua caindo monotonicamente; em p=7-8 o ganho marginal fica abaixo de 15% do ganho do primeiro vertiporto util, enquanto o custo de implantacao (nao monetizado, decisao #8) certamente nao cai na mesma proporcao -- ver curva de implantacao, experimento #5 | p=8 (cobertura maxima) -- descartado como recomendacao principal por retorno marginal desproporcionalmente baixo (1984 h-passageiro/dia, a menor marginal de toda a curva); p=2 (minimo viavel) -- descartado por produzir economia de tempo NEGATIVA (achado do experimento #5), pior que nao ter UAM | Vitor | 2026-09-15 09:37:04.553638 |
| # | variante | hipotese | FO | gap | tempo (s) | conclusao | resp |
|---|---|---|---|---|---|---|---|
| 1 | relaxacao_linear | Comparar a relaxacao linear do MILP p-hub median com a solucao inteira original, para todo p testado | None | 0.0 | None | Relaxacao linear e inteira (gap 0%) para todo p testado nesta instancia reduzida de 8 macrorregioes -- achado registrado sem generalizar para instancias maiores/capacitadas; ver app/results/tabelas/01_relaxacao*.csv | Vitor |
| 2 | dual | Interpretar as variaveis duais da relaxacao linear (p=4) para identificar qual recurso e escasso e quanto vale relaxa-lo | None | None | None | Dual da restricao de cardinalidade (p) = -18685.23 h-passageiro/dia por vertiporto adicional -- e o recurso mais escasso do modelo; precos-sombra por candidato em app/results/tabelas/02_dual.csv | Vitor |
| 3 | sensibilidade | A solucao (hubs abertos, economia de tempo) e sensivel as premissas de theta, velocidade de acesso, distancia minima e corte de renda assumidas pelo grupo | None | None | None | 11 cenarios rodados; solucao e mais sensivel a theta (escala linearmente a demanda) e a velocidade de acesso terrestre (domina o tempo total, PDF 2.2) do que ao corte de renda. Tabela completa em app/results/tabelas/03_sensibilidade.csv | Vitor |
| 4 | curva_implantacao | O beneficio (economia de tempo total) em funcao do numero de vertiportos implantados (p) tem retornos marginais decrescentes, sustentando uma recomendacao de p | None | None | None | p=1 e infactivel por construcao (nenhum voo possivel com 1 hub). p=2 produz economia NEGATIVA (-11716.8 h-passageiro/dia, pior que nao ter UAM) -- achado honesto, rede minima forca rotas ruins. Economia so fica positiva a partir de p=3, com retorno marginal caindo monotonicamente de 42469.5 (p=3) a 1984.3 (p=8) h-passageiro/dia por vertiporto adicional. Ver app/results/figuras/curva_implantacao.png | Vitor |
| 5 | hub_median_p4 | Rede de 4 vertiportos (p=4) sobre 8 macrorregioes candidatas maximiza economia de tempo porta-a-porta sob a demanda capturavel estimada | 66712.46 | 0.0 | 0.1 | Hubs abertos: Sao Bernardo do Campo, Guarulhos, Itaim Bibi, Jardim Paulista. Economia de tempo = 50760.2 h-passageiro/dia frente a linha de base sem UAM. Tempo de solucao real < 0.1s (lpSolve, instancia de 8 macrorregioes). | Vitor |
Distribuicao de aceite: {'parcial': 4}
| # | proposito | aceite | critica humana | resp | quando |
|---|---|---|---|---|---|
| 1 | codigo | parcial | O parser MIF e a conversao UTM proprios nao foram validados independentemente contra uma biblioteca de geoprocessamento de referencia (sf) nem contra coordenadas conhecidas de pontos de controle -- o erro exato introduzido pela ambiguidade de datum (SAD69 vs Corrego Alegre) e pela projecao propria nao foi quantificado, apenas estimado como 'poucos metros a dezenas de metros, irrelevante na escala de macrorregioes'. Scripts tambem nao tem testes automatizados. Vale validacao cruzada pontual antes da entrega final. | Vitor | 2026-09-14 15:24:54.405608 |
| 2 | analise | parcial | Os cenarios de sensibilidade e o ponto-base (p=4, theta=5%, etc.) foram escolhidos pela propria IA sem validacao externa contra estudos independentes de dimensionamento de rede UAM em Sao Paulo -- os resultados numericos (ex.: economia de tempo em h-passageiro/dia) ainda nao foram revisados por um integrante humano do grupo nem comparados a uma ordem de grandeza de referencia externa. | Vitor | 2026-09-14 15:24:54.627072 |
| 3 | formulacao | parcial | O modelo forca 100% da demanda elegivel (apos filtro distancia+renda+theta) a ser roteada pela rede aerea mesmo quando, para o p disponivel, a rota otima e mais lenta que ir de carro -- achado explicito: p=2 da economia total negativa, e ha pares OD com economia individual negativa mesmo em p=4. Isso infla artificialmente a demanda 'servida'. Resolver exigiria uma opcao de nao-voar endogena no MILP (arco de 'nao captura' com custo = alternativa terrestre), deixada como trabalho futuro documentado em app/formulacao.md secao 9. O grupo deve decidir se aceita essa simplificacao ou pede a extensao antes da entrega final. | Vitor | 2026-09-14 15:38:14.711177 |
| 4 | texto | parcial | O relatorio foi redigido integralmente pela IA a partir dos artefatos ja produzidos; a faixa de recomendacao final (p=4 a p=6) foi escolhida pela propria IA lendo a curva de retorno marginal, com um criterio informal ('retorno marginal abaixo de ~15-40% do primeiro salto util') que nenhum integrante humano validou ou contestou ainda. O relatorio tambem nao foi revisado por nenhum integrante do grupo quanto a coerencia geral, erros de calculo ou concordancia com a narrativa antes desta entrega. | Vitor | 2026-09-15 09:37:05.502528 |