BLOG
Notes sur le solveur, les vérifications réglementaires et les décisions qui les sous-tendent, écrites par celles et ceux qui développent le logiciel.
DERNIER ARTICLE
Deux calculs du même modèle dans une même session pouvaient différer sur les derniers chiffres. Pourquoi, comment nous l'avons corrigé, et comment chaque rapport indique désormais la version et les données qui l'ont produit, pour que chacun puisse le reproduire.
Lire l'articleUn certificat qui prouve qu'un système mal assemblé a été correctement résolu ne vaut pas grand-chose. Comment Stabileo reconstruit lui-même chaque modèle de portique et certifie le résultat par rapport au modèle, ce que cela a permis de trouver et ce qui reste en dehors.
Lire l'articleCe qui a changé depuis la 0.2.0 : seize défauts pouvant donner un résultat erroné, corrigés et publiés sous forme d'avis ; des certificats qui vérifient le résultat par rapport au modèle ; et les mêmes chiffres à chaque calcul.
Lire l'articleLe solveur, la vérification formelle et l'IA : comment nous cherchons les erreurs dans les chiffres que donne Stabileo, ce que prouvent les certificats et ce qu'aucune vérification ne peut garantir.
Lire l'articleLes défauts de Stabileo qui pouvaient donner des résultats erronés ou allant dans le sens de l'insécurité : qui ils concernent, comment savoir si un modèle est concerné, que faire en attendant et quand ils ont été corrigés.
Lire l'articlePour une barre prismatique, la méthode des déplacements est le cas particulier exact de la méthode des éléments finis. Ce qui change, c'est le modèle, et pour une poutre de grande hauteur le modèle à barres donne une flèche trop faible de 19 à 34 %.
Lire l'articleTrois formules, une section, trois valeurs différentes. Celle qui s'applique dépend de la paroi ; quand deux s'appliquent à la fois, Bredt donne une valeur trop faible de 2 à 15 %.
Lire l'articlePresque tout le monde se souvient de φMn ≥ Mu. C'est la dernière ligne de la vérification, pas la vérification. L'issue se décide avant, et l'une de ces étapes peut faire descendre φ sous 0,9.
Lire l'articleIl existe des logiciels de structures gratuits, et ils sont bons : ils modélisent, ils calculent, ils affichent les résultats. Ce que nous n'avons pas trouvé, c'est un logiciel qui aborde les outils avancés par leur côté conceptuel.
Lire l'articleUn modèle de langage ne peut pas garantir qu'un nombre est juste. Dans l'architecture que nous proposons pour l'ingénierie des structures, l'agent interprète et propose, et chaque nombre provient d'un solveur vérifié.
Lire l'article