BLOG
Çözücü, yönetmelik kontrolleri ve ardındaki kararlar üzerine, yazılımı geliştirenlerin kaleminden notlar.
EN YENİ
Aynı modelin aynı oturumdaki iki çözümü son basamaklarda farklılaşabiliyordu. Bunun neden olduğunu, nasıl düzelttiğimizi ve artık her raporun kendisini hangi sürümün ve hangi verilerin ürettiğini nasıl belirttiğini, böylece herkesin onu yeniden üretebildiğini anlatıyoruz.
Yazıyı okuYanlış kurulmuş bir sistemin doğru çözüldüğünü kanıtlayan bir sertifikanın pek değeri yoktur. Stabileo'nun her çerçeve modelini kendi başına nasıl yeniden kurduğunu ve sonucu modele karşı nasıl sertifikalandırdığını, bunun neler bulduğunu ve neleri dışarıda bıraktığını anlatıyoruz.
Yazıyı oku0.2.0'dan bu yana neler değişti: yanlış sonuç verebilecek on altı kusur düzeltildi ve güvenlik bildirimi olarak yayımlandı; sonucu modele karşı kontrol eden sertifikalar geldi; her çözümde aynı sayılar elde ediliyor.
Yazıyı okuÇözücü, biçimsel doğrulama ve YZ: Stabileo'nun verdiği sayılardaki hataları nasıl aradığımızı, sertifikaların neyi kanıtladığını ve hiçbir doğrulamanın neyi garanti edemeyeceğini anlatıyoruz.
Yazıyı okuYanlış veya güvensiz tarafta sonuç verebilecek Stabileo kusurları: kimi etkiledikleri, bir modelin etkilenip etkilenmediğinin nasıl anlaşılacağı, bu arada ne yapılması gerektiği ve ne zaman düzeltildikleri.
Yazıyı okuPrizmatik bir çubuk için rijitlik yöntemi, sonlu elemanlar yönteminin tam özel halidir. Değişen modeldir; yüksek bir kirişte çubuk modeli sehimi %19 ile %34 arasında küçük verir.
Yazıyı okuÜç formül, bir kesit, üç farklı sayı. Hangisinin geçerli olduğu cidara bağlıdır; ikisinin aynı anda geçerli olduğu yerde Bredt %2 ile %15 arasında düşük çıkar.
Yazıyı okuNeredeyse herkes φMn ≥ Mu ifadesini hatırlar. Bu, kontrolün kendisi değil, son satırıdır. Sonuç daha önce belirlenir ve bu adımlardan biri φ'yi 0,9'un altına çekebilir.
Yazıyı okuÜcretsiz yapı yazılımları var ve iyiler: modelliyor, çözüyor, sonuçları gösteriyorlar. Bulamadığımız şey, ileri araçlara kavramsal taraftan yaklaşan bir yazılım.
Yazıyı okuBir dil modeli bir sayının doğru olduğunu garanti edemez. Yapı mühendisliği için önerdiğimiz mimaride ajan yorumlar ve önerir; her sayı ise doğrulanmış bir çözücüden gelir.
Yazıyı oku