https://stabileo.com/es/blog/ Notas sobre el solver, las verificaciones normativas y las decisiones detrás de ellas, escritas por quienes desarrollan Stabileo. es Mon, 26 Oct 2026 12:00:00 GMT https://stabileo.com/es/blog/end-to-end-certificates/ https://stabileo.com/es/blog/end-to-end-certificates/ Thu, 22 Oct 2026 12:00:00 GMT Un certificado que prueba que se resolvió bien un sistema mal armado no sirve de mucho. Cómo Stabileo reconstruye cada modelo de barras por su cuenta y certifica el resultado contra el modelo, qué encontró y qué queda fuera. https://stabileo.com/es/blog/same-model-same-numbers/ https://stabileo.com/es/blog/same-model-same-numbers/ Thu, 22 Oct 2026 12:00:00 GMT Dos cálculos del mismo modelo en la misma sesión podían diferir en los últimos dígitos. Por qué pasaba, cómo lo corregimos y cómo cada memoria de cálculo dice ahora con qué versión y qué datos se obtuvo, para que cualquiera pueda reproducirla. https://stabileo.com/es/blog/stabileo-0-3-0/ https://stabileo.com/es/blog/stabileo-0-3-0/ Wed, 21 Oct 2026 12:00:00 GMT Qué cambió desde la 0.2.0: dieciséis errores que podían dar un resultado equivocado, corregidos y publicados como avisos; certificados que verifican el resultado contra el modelo; y los mismos números en cada cálculo. https://stabileo.com/es/blog/safety-advisories/ https://stabileo.com/es/blog/safety-advisories/ Tue, 20 Oct 2026 12:00:00 GMT Los errores de Stabileo que pudieron dar resultados equivocados o del lado inseguro: a quién afectan, cómo saber si un modelo está afectado, qué hacer mientras tanto y cuándo quedaron corregidos. https://stabileo.com/es/blog/how-stabileo-checks-its-results/ https://stabileo.com/es/blog/how-stabileo-checks-its-results/ Tue, 20 Oct 2026 12:00:00 GMT El solver, la verificación formal y la IA: cómo buscamos errores en los números que da Stabileo, qué prueban los certificados y qué no puede garantizar ninguna verificación. https://stabileo.com/es/blog/bars-or-finite-elements/ https://stabileo.com/es/blog/bars-or-finite-elements/ Wed, 23 Sep 2026 12:00:00 GMT Para una barra prismática, el método de las rigideces es el caso exacto de los elementos finitos. Lo que cambia es el modelo, y en una viga de canto grande el de barras da una flecha entre 19 y 34 % menor. https://stabileo.com/es/blog/torsion-bredt-saint-venant/ https://stabileo.com/es/blog/torsion-bredt-saint-venant/ Sat, 29 Aug 2026 12:00:00 GMT Tres fórmulas, una sección, tres números distintos. Cuál corresponde depende de cómo es la pared; y donde dos valen a la vez, Bredt queda 2 a 15 % por debajo. https://stabileo.com/es/blog/verificacion-flexion-cirsoc-201/ https://stabileo.com/es/blog/verificacion-flexion-cirsoc-201/ Wed, 26 Aug 2026 12:00:00 GMT Casi todos recuerdan φMn ≥ Mu. Esa es la última línea de la verificación, no la verificación. Los pasos que deciden el resultado son otros, y uno hace que φ no valga 0,9. https://stabileo.com/es/blog/conceptual-side-advanced-tools/ https://stabileo.com/es/blog/conceptual-side-advanced-tools/ Fri, 21 Aug 2026 12:00:00 GMT Hay software estructural gratuito y muy bueno: modela, resuelve y muestra resultados. Lo que no encontramos es uno que encare las funciones avanzadas del lado conceptual. https://stabileo.com/es/blog/the-determinism-boundary/ https://stabileo.com/es/blog/the-determinism-boundary/ Wed, 12 Aug 2026 12:00:00 GMT Un modelo de lenguaje no puede garantizar que un número sea correcto. En la arquitectura que proponemos para cálculo estructural, el agente interpreta y propone, y todos los números salen de un solver verificado.