https://stabileo.com/pt/blog/ Notas sobre o solver, as verificações normativas e as decisões por trás delas, escritas por quem desenvolve o Stabileo. pt Mon, 26 Oct 2026 12:00:00 GMT https://stabileo.com/pt/blog/end-to-end-certificates/ https://stabileo.com/pt/blog/end-to-end-certificates/ Thu, 22 Oct 2026 12:00:00 GMT Um certificado que prova que um sistema mal montado foi bem resolvido não vale muito. Como o Stabileo reconstrói cada modelo de barras por conta própria e certifica o resultado contra o modelo, o que isso encontrou e o que fica de fora. https://stabileo.com/pt/blog/same-model-same-numbers/ https://stabileo.com/pt/blog/same-model-same-numbers/ Thu, 22 Oct 2026 12:00:00 GMT Dois cálculos do mesmo modelo na mesma sessão podiam diferir nos últimos dígitos. Por que isso acontecia, como corrigimos e como cada memória de cálculo diz agora com que versão e quais dados foi obtida, para que qualquer pessoa possa reproduzi-la. https://stabileo.com/pt/blog/stabileo-0-3-0/ https://stabileo.com/pt/blog/stabileo-0-3-0/ Wed, 21 Oct 2026 12:00:00 GMT O que mudou desde a 0.2.0: dezesseis erros que podiam dar um resultado errado, corrigidos e publicados como avisos; certificados que verificam o resultado contra o modelo; e os mesmos números em cada cálculo. https://stabileo.com/pt/blog/safety-advisories/ https://stabileo.com/pt/blog/safety-advisories/ Tue, 20 Oct 2026 12:00:00 GMT Os defeitos do Stabileo que podiam dar resultados errados ou contra a segurança: a quem afetam, como saber se um modelo foi afetado, o que fazer enquanto isso e quando foram corrigidos. https://stabileo.com/pt/blog/how-stabileo-checks-its-results/ https://stabileo.com/pt/blog/how-stabileo-checks-its-results/ Tue, 20 Oct 2026 12:00:00 GMT O solver, a verificação formal e a IA: como procuramos erros nos números que o Stabileo dá, o que os certificados provam e o que nenhuma verificação pode garantir. https://stabileo.com/pt/blog/bars-or-finite-elements/ https://stabileo.com/pt/blog/bars-or-finite-elements/ Wed, 23 Sep 2026 12:00:00 GMT Para uma barra prismática, o método da rigidez é o caso exato do método dos elementos finitos. O que muda é o modelo, e numa viga alta o modelo de barras dá uma flecha entre 19 e 34 % menor. https://stabileo.com/pt/blog/torsion-bredt-saint-venant/ https://stabileo.com/pt/blog/torsion-bredt-saint-venant/ Sat, 29 Aug 2026 12:00:00 GMT Três fórmulas, uma seção, três números diferentes. Qual se aplica depende de como é a parede; e, onde duas valem ao mesmo tempo, Bredt fica de 2 a 15 % abaixo do exato. https://stabileo.com/pt/blog/verificacion-flexion-cirsoc-201/ https://stabileo.com/pt/blog/verificacion-flexion-cirsoc-201/ Wed, 26 Aug 2026 12:00:00 GMT Quase todo mundo lembra de φMn ≥ Mu. Essa é a última linha da verificação, não a verificação. O resultado se decide antes, e um desses passos pode derrubar φ para menos de 0,9. https://stabileo.com/pt/blog/conceptual-side-advanced-tools/ https://stabileo.com/pt/blog/conceptual-side-advanced-tools/ Fri, 21 Aug 2026 12:00:00 GMT Existe software estrutural gratuito e muito bom: modela, resolve e mostra resultados. O que não encontramos foi um que aborde as funções avançadas pelo lado conceitual. https://stabileo.com/pt/blog/the-determinism-boundary/ https://stabileo.com/pt/blog/the-determinism-boundary/ Wed, 12 Aug 2026 12:00:00 GMT Um modelo de linguagem não consegue garantir que um número esteja certo. Na arquitetura que propomos para o cálculo estrutural, o agente interpreta e propõe, e todos os números saem de um solver verificado.