https://stabileo.com/de/blog/ Notizen zum Gleichungslöser, zu Normnachweisen und zu den Entscheidungen dahinter, geschrieben von den Menschen, die die Software entwickeln. de Thu, 29 Oct 2026 12:00:00 GMT https://stabileo.com/de/blog/end-to-end-certificates/ https://stabileo.com/de/blog/end-to-end-certificates/ Thu, 22 Oct 2026 12:00:00 GMT Ein Zertifikat, das beweist, dass ein falsch aufgestelltes System korrekt gelöst wurde, ist nicht viel wert. Wie Stabileo jedes Rahmenmodell eigenständig neu aufbaut und das Ergebnis gegen das Modell zertifiziert, was dabei gefunden wurde und was außen vor bleibt. https://stabileo.com/de/blog/same-model-same-numbers/ https://stabileo.com/de/blog/same-model-same-numbers/ Thu, 22 Oct 2026 12:00:00 GMT Zwei Berechnungen desselben Modells in einer Sitzung konnten sich in den letzten Stellen unterscheiden. Warum das passierte, wie wir es behoben haben und wie jede Statische Berechnung jetzt angibt, welche Version und welche Daten sie erzeugt haben, damit jeder sie reproduzieren kann. https://stabileo.com/de/blog/stabileo-0-3-0/ https://stabileo.com/de/blog/stabileo-0-3-0/ Wed, 21 Oct 2026 12:00:00 GMT Was sich seit 0.2.0 geändert hat: sechzehn Fehler, die ein falsches Ergebnis liefern konnten, behoben und als Sicherheitshinweise veröffentlicht; Zertifikate, die das Ergebnis gegen das Modell prüfen; und bei jeder Berechnung dieselben Zahlen. https://stabileo.com/de/blog/safety-advisories/ https://stabileo.com/de/blog/safety-advisories/ Tue, 20 Oct 2026 12:00:00 GMT Die Fehler in Stabileo, die falsche Ergebnisse oder Ergebnisse auf der unsicheren Seite liefern konnten: wen sie betreffen, wie man erkennt, ob ein Modell betroffen ist, was bis zur Korrektur zu tun ist und wann sie behoben wurden. https://stabileo.com/de/blog/how-stabileo-checks-its-results/ https://stabileo.com/de/blog/how-stabileo-checks-its-results/ Tue, 20 Oct 2026 12:00:00 GMT Der Rechenkern, die formale Verifikation und die KI: wie wir nach Fehlern in den Zahlen suchen, die Stabileo liefert, was die Zertifikate beweisen und was keine Verifikation garantieren kann. https://stabileo.com/de/blog/bars-or-finite-elements/ https://stabileo.com/de/blog/bars-or-finite-elements/ Wed, 23 Sep 2026 12:00:00 GMT Für einen prismatischen Stab ist das Weggrößenverfahren der exakte Sonderfall der Finite-Elemente-Methode. Was sich ändert, ist das Modell, und bei einem wandartigen Träger liefert das Stabmodell eine um 19 bis 34 % zu kleine Durchbiegung. https://stabileo.com/de/blog/torsion-bredt-saint-venant/ https://stabileo.com/de/blog/torsion-bredt-saint-venant/ Sat, 29 Aug 2026 12:00:00 GMT Drei Formeln, ein Querschnitt, drei verschiedene Zahlen. Welche gilt, hängt von der Wand ab; wo zwei zugleich gelten, liegt Bredt 2 bis 15 % zu tief. https://stabileo.com/de/blog/verificacion-flexion-cirsoc-201/ https://stabileo.com/de/blog/verificacion-flexion-cirsoc-201/ Wed, 26 Aug 2026 12:00:00 GMT Fast jeder erinnert sich an φMn ≥ Mu. Das ist die letzte Zeile des Nachweises, nicht der Nachweis. Das Ergebnis entscheidet sich vorher, und einer dieser Schritte kann φ unter 0,9 drücken. https://stabileo.com/de/blog/conceptual-side-advanced-tools/ https://stabileo.com/de/blog/conceptual-side-advanced-tools/ Fri, 21 Aug 2026 12:00:00 GMT Es gibt kostenlose Statiksoftware, und sie ist gut: Sie modelliert, sie rechnet, sie zeigt Ergebnisse. Was wir nicht gefunden haben, ist eine, die sich den fortgeschrittenen Werkzeugen von der konzeptionellen Seite nähert. https://stabileo.com/de/blog/the-determinism-boundary/ https://stabileo.com/de/blog/the-determinism-boundary/ Wed, 12 Aug 2026 12:00:00 GMT Ein Sprachmodell kann nicht garantieren, dass eine Zahl stimmt. In der Architektur, die wir für die Tragwerksplanung vorschlagen, interpretiert der Agent und macht Vorschläge, und jede Zahl stammt aus einem verifizierten Rechenkern.