BLOG
Notizen zum Gleichungslöser, zu Normnachweisen und zu den Entscheidungen dahinter, geschrieben von den Menschen, die die Software entwickeln.
NEUESTER BEITRAG
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.
Beitrag lesenEin 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.
Beitrag lesenWas 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.
Beitrag lesenDer 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.
Beitrag lesenDie 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.
Beitrag lesenFü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.
Beitrag lesenDrei 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.
Beitrag lesenFast 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.
Beitrag lesenEs 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.
Beitrag lesenEin 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.
Beitrag lesen