Hata aramanın beş yolu
- Diğer programlarla karşılaştırma: aynı modeller, yani sabit modeller ve her gece üretilen rastgele modeller, OpenSees, Code_Aster, Frame3DD, PyNite, MYSTRAN, Kratos ve CalculiX ile çözülür ve her fark incelenir.
- Yayımlanmış referanslar: sonuçları yazarları tarafından yayımlanmış durumlar ve yayımlanmış çözümlü örneklerle (INTI-CIRSOC, AISC ve diğerleri) karşılaştırılan tasarım kontrolleri.
- Fiziksel değişmezler: bir modeli döndürmek, aynalamak, yeniden numaralandırmak ya da birimlerini değiştirmek, cevabı tam olarak fiziğin öngördüğü gibi değiştirmelidir.
- Türetmeler: çerçeve elemanı matrisleri sembolik olarak türetilir ve kodla terim terim karşılaştırılır.
- Fuzzing ve mutasyon testi: milyonlarca üretilmiş girdi hata arar; testlerin hataları yakalayıp yakalamadığını kontrol etmek için de koda bilerek hatalar yerleştirilir.
Hata sınırı olan sonuçlar
Buna uygun sonuçlar için Stabileo, çözdüğü sistemin tam çözümünü içeren bir sınırı aralık aritmetiğiyle hesaplar; bunu yapamadığında sonuç, gerekçesiyle birlikte sertifikasız olarak işaretlenir. Temel matematik; doğrusal analiz, kombinasyonlar, modal analiz ve plastik göçme için Lean’de kanıtlanmıştır. 0.3.0’dan bu yana, çerçeve ve kafes kirişlerin doğrusal analizinde sınır, bağımsız bir kurulumla modelin kendisine karşı da kontrol edilir.
Neden güvenlik uyarıları yayımlıyoruz
Bu doğrulama, çoğu güvensiz tarafta kalan gerçek kusurlar buldu. Hâlihazırda kullanılan sonuçları etkilemiş olabilecekleri, etkilenen bir modelin nasıl tanınacağı ve neyin yeniden kontrol edilmesi gerektiğiyle birlikte yayımlıyoruz; çünkü kimsenin bildirmediği bir kusur, daha önce teslim edilmiş hesaplarda kalır.
- SA-2026-001 ile 004 arası 0.2.0 sürümünde düzeltildi.
- SA-2026-005 ile 020 arası 0.3.0 sürümünde düzeltildi.
- SA-2026-021 ile 024 arası 0.4.0 sürümünde düzeltildi.
- Sonuçlar değişmiş olabileceğinde uygulama bunu bir kez bildirir; kendilerini ilgilendiren bir değişiklikten önce kaydedilmiş projeler açıldığında yeniden kontrol ister.
Hiçbir kontrolün garanti etmedikleri
- Bir hata sınırı sayısal hatayı sınırlar; modelin doğru olduğunu kanıtlamaz ve ağın ayrıklaştırma hatasını sınırlamaz.
- Henüz yetkili bir yapı mühendisi tarafından bağımsız bir inceleme yapılmadı ve CIRSOC 301 çelik sonuçları hâlâ deneysel olarak işaretli.
- Malzeme bakımından doğrusal olmayan analiz, çubuğun tamamı için sekant bir modeldir.
- Yönetmeliğe göre tasarım dahil PRO modülü hâlâ geliştirme aşamasındadır.
- Açık güvenlik sorunları GitHub’da herkese açıktır; her analizin, elemanın ve yönetmeliğin doğrulama düzeyi olgunluk matrisinde yer alır.
Kısacası: Stabileo, çapraz kontrol edebileceğiniz analizlere, öğretime ve her programda olduğu gibi belirleyici sonuçları bir mühendisin incelediği tasarım çalışmalarına uygundur. Süreciniz bağımsız olarak incelenmiş veya sertifikalı ticari bir yazılım gerektiriyorsa Stabileo henüz o noktada değil ve bunu açıkça söylüyoruz.
Sıkça sorulan sorular
Stabileo gerçek yapı tasarımı çalışmaları için güvenilir mi?
Sonuçları, diğer yedi sonlu eleman programıyla karşılaştırma ve Lean'de kanıtlanmış hata sınırları dahil, birbirinden bağımsız beş yolla kontrol edilir; hâlihazırda kullanılan sonuçları etkilemiş olabilecek kusurlar yayımlanır, sınıflandırılması sürenler de GitHub'da herkese açıktır. Henüz yetkili bir mühendis tarafından bağımsız olarak incelenmedi ve PRO modülü geliştirme aşamasında; bu nedenle her programda olduğu gibi modeli ve belirleyici sonuçları mühendis inceler.
Stabileo neden güvenlik uyarıları yayımlıyor?
Çünkü doğrulaması, çoğu güvensiz tarafta kalan gerçek kusurlar buldu ve kimsenin bildirmediği bir kusur, daha önce teslim edilmiş hesaplarda kalır. Her uyarı, etkilenen bir modelin nasıl tanınacağını ve neyin yeniden kontrol edilmesi gerektiğini söyler.
Yayımlanan uyarılar düzeltildi mi?
Evet. SA-2026-001 ile 004 arası 0.2.0 sürümünde, SA-2026-005 ile 020 arası 0.3.0'da ve SA-2026-021 ile 024 arası 0.4.0'da düzeltildi.