Traducido automáticamente
🏛 GRANTS_GOV · 📍 US
$18.000.000
10/5/2024
11/8/2026
Bilim ve Teknoloji ve diğer Araştırma ve Geliştirme
Bilimsel Hesaplama Sistemleri için Doğruluk (CS²) Ulusal Bilim Vakfı (NSF) ve Enerji Bakanlığı (DOE) ortak programıdır. Program, hem DOE'nin misyonunun temelini oluşturan hem de NSF'nin geniş bilimsel ilerlemeyi sağlama misyonu için gerekli olan zorlukları ele almaktadır. Programın temel amacı, düşük seviyeli kütüphanelerden karmaşık çoklu fizik simülasyonlarına ve gelişmekte olan bilimsel iş akışlarına kadar bilimsel hesaplama araçları ve araç zincirleri için doğruluğu temel bir gereklilik olarak yükseltmektir. Temel düzeyde, bir sistemin doğruluğu, sistemin yürütülmesi sırasında istenen davranışsal özelliklerin karşılanacağı anlamına gelir. Bilimsel hesaplama bağlamında, doğruluk hem yazılım hem de donanım düzeyinde, aşırı sayısal yuvarlama, kayan nokta istisnaları, veri yarışları, kilitlenmeler, bellek hataları, sistem modüllerinin arayüzlerindeki spesifikasyon ihlalleri vb. gibi hatalı davranışların olmaması olarak anlaşılabilir. CS² programı, doğruluğu, mevcut bilimsel hesaplama araştırmalarının odak noktası olan performansla eşit bir zemine oturtmaktadır. Bu program, performanslı bilimsel hesaplama sistemlerinde bile doğruluğu kanıtlama gerekliliğini öngörmektedir. Bu tür doğruluk kanıtları, statik ve çalışma zamanı program analizlerinin doğruluğu dahil olmak üzere birden fazla faktöre dayanabilir. Birçok bilimsel hesaplama uygulamasının doğası gereği istatistiksel olduğunu, olasılıksal veya…