Cinco formas de procurar erros
- Comparação com outros programas: os mesmos modelos, fixos e gerados ao acaso toda noite, são resolvidos com OpenSees, Code_Aster, Frame3DD, PyNite, MYSTRAN, Kratos e CalculiX, e cada diferença é investigada.
- Referências publicadas: casos com resultados publicados por seus autores, e verificações de dimensionamento confrontadas com exemplos resolvidos publicados (INTI-CIRSOC, AISC e outros).
- Invariantes físicos: girar, espelhar ou renumerar um modelo, ou mudar suas unidades, tem que mudar a resposta exatamente como diz a física.
- Derivações: as matrizes das barras são derivadas simbolicamente e comparadas termo a termo com o código.
- Fuzzing e testes de mutação: milhões de entradas geradas procuram falhas, e erros são introduzidos de propósito para verificar que os testes os detectam.
Resultados com uma cota de erro
Para os resultados que permitem, o Stabileo calcula com aritmética de intervalos uma cota que contém a solução exata do sistema que resolveu; quando não consegue, o resultado é marcado como não certificado, com o motivo. A matemática central está provada em Lean para a análise linear, as combinações, a análise modal e o colapso plástico. Desde a 0.3.0, na análise linear de pórticos e treliças a cota também é verificada contra o próprio modelo, com uma montagem independente.
Por que publicamos os avisos de segurança
Esta verificação encontrou erros reais, muitos contra a segurança. Publicamos os que podem ter afetado resultados já usados, com como reconhecer um modelo afetado e o que revisar, porque um erro que não é informado continua nos cálculos já entregues.
- SA-2026-001 a 004 foram corrigidos na versão 0.2.0.
- SA-2026-005 a 020 foram corrigidos na versão 0.3.0.
- O aplicativo avisa uma vez quando os resultados podem ter mudado, e os projetos salvos antes de uma mudança que os afeta pedem revisão ao serem abertos.
O que nenhuma verificação garante
- Uma cota de erro limita o erro numérico; não prova que o modelo esteja correto nem limita o erro de discretização da malha.
- Ainda não houve uma revisão independente de um engenheiro estrutural habilitado, e os resultados de aço segundo a CIRSOC 301 seguem rotulados como experimentais.
- A análise não linear de material é um modelo secante de barra inteira.
- O módulo PRO, que inclui o dimensionamento normativo, segue em desenvolvimento.
- Os problemas de segurança abertos são públicos no GitHub, e o nível de verificação de cada análise, elemento e norma está na matriz de maturidade.
Em resumo: o Stabileo serve para análises que podem ser confrontadas, para ensinar e para dimensionar quando um engenheiro revisa os resultados que governam, como com qualquer programa. Se o seu processo exige um programa comercial revisado ou certificado de forma independente, o Stabileo ainda não chegou lá, e dizemos isso.
Perguntas frequentes
O Stabileo é confiável para um cálculo estrutural real?
Seus resultados são verificados de cinco maneiras independentes, entre elas a comparação com outros sete programas de elementos finitos e cotas de erro provadas em Lean, e os erros que podem ter afetado resultados já usados são publicados; os que seguem em avaliação são públicos no GitHub. Ainda não teve uma revisão independente de um engenheiro habilitado e o módulo PRO segue em desenvolvimento, então, como com qualquer programa, quem calcula revisa o modelo e os resultados que governam.
Por que o Stabileo publica avisos de segurança?
Porque sua verificação encontrou erros reais, muitos contra a segurança, e um erro que não é informado continua nos cálculos já entregues. Cada aviso diz como reconhecer um modelo afetado e o que revisar.
Os avisos publicados estão corrigidos?
Sim. SA-2026-001 a 004 foram corrigidos na versão 0.2.0 e SA-2026-005 a 020 na 0.3.0.