“bilgisayar sistemleri” için sonuçlar
14 sonuç bulundu. Sonuçları kategoriye göre daraltabilirsin.
HyperCertificates: Dinamik Sistemlerin Güvenliğini Doğrulayan Yeni Yöntem
Araştırmacılar, bilgisayar sistemlerinin güvenlik ve gizlilik özelliklerini doğrulamak için HyperCertificates adı verilen yeni bir matematiksel framework geliştirdi. Bu yöntem, geleneksel doğrulama tekniklerinin ötesine geçerek, sistemlerin birden fazla çalışma senaryosu arasındaki ilişkileri analiz ediyor. HyperLTL mantıksal formüllerini kullanan sistem, özellikle gizlilik, şeffaflık ve dayanıklılık gibi kritik güvenlik özelliklerini değerlendirmede öne çıkıyor. Yöntem, öngörü modelleme ve bariyer fonksiyonlarını birleştirerek dinamik sistemlerin karmaşık davranışlarını matematiksel olarak kanıtlayabiliyor. Bu gelişme, otonom araçlardan finansal sistemlere kadar geniş bir yelpazede kullanılabilecek daha güvenilir yazılım sistemlerinin tasarlanmasına katkı sağlayabilir.
Yapay Zeka İçin Gerçekçi Bilgisayar Ortamları Yaratılıyor
Araştırmacılar, yapay zeka sistemlerini eğitmek için gerçek bilgisayar kullanıcılarının çalışma ortamlarını taklit eden sentetik bilgisayar sistemleri geliştirdi. Bu yenilikçi yaklaşım, klasör yapıları, belgeler ve sunumlar gibi içerik açısından zengin dosyalarla donatılmış sanal bilgisayarlar oluşturuyor. Sistemde iki farklı yapay zeka ajanı çalışıyor: biri kullanıcıya özgü iş hedefleri belirlerken, diğeri bu hedefleri gerçekleştirmek için sanki gerçek bir kullanıcıymış gibi hareket ediyor. Bu metodoloji, yapay zekanın uzun vadeli ve karmaşık iş süreçlerini öğrenmesi için kritik öneme sahip. Araştırma, AI sistemlerinin gerçek dünya çalışma ortamlarında daha etkili olması yolunda önemli bir adım teşkil ediyor.
Kuantum Kodlarında Pauli Hatası Tespiti İçin Yeni Matematiksel Sınır
Araştırmacılar, kuantum bilgisayarlarda kritik öneme sahip Pauli Manipülasyon Tespit (PMD) kodları için matematiksel alt sınır belirlediler. Bu kodlar, kuantum sistemlerde meydana gelen Pauli hatalarını yüksek olasılıkla tespit edebilen özel quantum kod türleridir. Çalışma, ilk kez hata parametresi ile kodlama oranı arasındaki dengeyi matematiksel formülle ortaya koydu. Bulgular, kuantum hata düzeltme sistemlerinin tasarımında önemli kısıtlamalar ve optimizasyon kriterleri sunuyor. Bu matematiksel keşif, gelecekteki kuantum bilgisayar sistemlerinin güvenilirlik ve performans dengesini anlamamızda yeni perspektifler açıyor.
Kuantum Bilgisayarlarda Elektron Taşıma: SiMOS Cihazlarındaki Kusurların Etkisi
Kuantum bilgisayar teknolojisinin temel taşlarından biri olan elektron taşıma sistemlerinde önemli bir ilerleme kaydedildi. Araştırmacılar, silikon tabanlı SiMOS cihazlarında elektron taşıma sürecini etkileyen kusurları 3D simülasyonlarla incelediler. Çalışma, Si/SiGe sistemlerinde yüksek doğrulukla gerçekleştirilen elektron taşıma işlemlerinin SiMOS sistemlerinde neden daha zorlu olduğunu açıklıyor. Bulgular, oksit arayüz pürüzlülüğü ve kapı üretim kusurları gibi faktörlerin sistemin performansını nasıl etkilediğini ortaya koyuyor. Bu araştırma, gelecekteki kuantum işlemci tasarımları için kritik öngörüler sunarak, daha verimli kuantum bilgisayar sistemlerinin geliştirilmesine katkı sağlayabilir.
Bilgisayar Sistemlerini Doğrulama İçin Yeni Matematiksel Yöntemler Geliştirildi
Araştırmacılar, bilgisayar sistemlerinin güvenilirliğini matematiksel olarak kanıtlamak için yeni supermartingale tabanlı sertifikalar geliştirdi. Bu yöntemler, sistemlerin belirli özellikleri neredeyse kesin olarak sağlayıp sağlamadığını doğrulamak için kullanılıyor. Geliştirilen beş farklı matematiksel araç - GSSMs, LexGSSMs, DVSSMs, PMSMs ve LexPMSMs - mevcut Streett supermartingale yöntemlerinden daha güçlü olduğu kanıtlandı. Bu gelişme, özellikle kritik güvenlik sistemlerinin doğrulanması açısından büyük önem taşıyor.
Süper bilgisayarlar için yeni konteyner teknolojisi: Sarus Suite
Yüksek performanslı bilgisayar sistemleri (HPC), özellikle yapay zeka ve makine öğrenmesi alanlarında hızla gelişen yazılım yığınlarını desteklemek zorunda. Ancak mevcut HPC konteyner çözümleri, ana akım bulut teknolojileriyle uyumsuzluk yaratıyor. Araştırmacılar bu sorunu çözmek için Sarus Suite'i geliştirdi. Bu yeni sistem, değiştirilmemiş Podman motorunu temel alarak, HPC sistemlerine özel işlevsellik katmanları ekliyor. Sistem, bildirimsel çalışma zamanı spesifikasyonu, zamanlayıcı-yerel yürütme, ölçeklenebilir paylaşımlı görüntü erişimi ve standartlara dayalı host yetenek enjeksiyonu sunuyor. Cray EX GH200 sistemi üzerinde yapılan testler, teknolojinin etkinliğini kanıtlıyor.
Linux Sistemleri İçin Tek Çatıda Güvenlik Değerlendirme Sistemi Geliştirildi
Araştırmacılar, Linux sistemlerinin güvenlik durumunu değerlendirmek için birden fazla güvenlik aracını tek bir çerçevede birleştiren Unified Compliance Aggregator (UCA) sistemini geliştirdiler. Modern bilgisayar sistemlerinin güvenliğini değerlendirmek genellikle farklı alanlarda uzmanlaşmış çok sayıda araç kullanmayı gerektiriyor. Bu araçlar yapılandırma uyumluluğu, dosya bütünlüğü ve güvenlik açığı tespiti gibi farklı konulara odaklanıyor ancak çıktılarını birlikte yorumlamak oldukça zor. Yeni framework, Lynis, OpenSCAP, AIDE, Tripwire ve Nmap NSE gibi açık kaynak güvenlik araçlarının çıktılarını 0-100 ölçeğinde tek bir bileşik puana dönüştürüyor. Sistem ayrıca dosya bütünlüğü ölçümleri için logaritmik puanlama modeli kullanarak önceki doğrusal yaklaşımların sınırlarını aşmayı hedefliyor.
Süper bilgisayarlarda enerji tasarrufu sağlayan akıllı zamanlama sistemi geliştirildi
Araştırmacılar, çok GPU'lu süper bilgisayar sistemlerinde enerji verimliliğini artıran yeni bir zamanlama algoritması geliştirdi. EcoSched adlı bu sistem, GPU kaynaklarının daha akıllı dağıtımını sağlayarak hem enerji tasarrufu hem de performans artışı elde ediyor. Geleneksel yöntemlerin aksine, her uygulama için optimal GPU sayısını belirleyip işleri eş zamanlı olarak planlamaktadır. H100, A100 ve V100 sistemlerinde yapılan testlerde %14,8'e varan enerji tasarrufu, %30,1 performans artışı ve %40,4 enerji-gecikme ürünü iyileştirmesi elde edildi. Bu gelişme, süper bilgisayarların artan enerji maliyetleri karşısında önemli bir çözüm sunuyor.
Bilgisayarlar Dilin Sırlarını Nasıl Çözüyor? İşlev Kelimelerin Gizli Rolü
Araştırmacılar, bilgisayar sistemlerinin dil öğrenme sürecinde 've', 'ile', 'için' gibi işlev kelimelerinin kritik rolünü ortaya çıkardı. 186 farklı dili analiz eden kapsamlı çalışma, bu küçük kelimelerin üç temel özelliğe sahip olduğunu gösterdi: yüksek sıklıkta kullanılma, tutarlı sözdizimsel ilişkilere sahip olma ve cümle yapılarını sınırlama. Yapay zeka modellerinde yapılan deneyler, bu özelliklerin korunmasının dil öğrenimini büyük ölçüde kolaylaştırdığını ortaya koydu. Ancak araştırma ilginç bir denge keşfetti: işlev kelimelerin hem sık kullanılması hem de yeterince çeşitli olması gerekiyor. Bu bulgu, hem doğal dil işleme teknolojilerinin geliştirilmesi hem de insan dilinin nasıl öğrenildiğini anlama konusunda önemli ipuçları sunuyor.
Yapay Zeka ile Kuantum Bilgisayarlar Arası İletişim Hızlanıyor
Araştırmacılar, modüler kuantum bilgisayar sistemlerinde çipler arası iletişimi optimize eden yeni bir yapay zeka algoritması geliştirdi. QARMA adı verilen sistem, derin pekiştirmeli öğrenme ve dikkat mekanizması kullanarak kubit haritalamasını optimize ediyor. Modüler kuantum mimarileri, birden fazla kuantum işlem birimini birleştirerek kuantum bilgisayarları büyütmenin umut verici bir yolu olarak görülüyor. Ancak çipler arası işlemler maliyetli ve gürültülü olduğu için kuantum durumlarının bozulmasına neden olabiliyor. Yeni algoritma, graf sinir ağları ile transformatör tabanlı kodlayıcı birleştirerek bu sorunu çözmeyi hedefliyor. QARMA-R uzantısı ise dinamik kubit yeniden kullanım özelliği ekleyerek verimliliği artırıyor.
Sürekli Kıyaslama: AI ve HPC Sistemlerin Hızına Yetişmek
Araştırmacılar, hızla gelişen yapay zeka modelleri ve yüksek performanslı bilgisayar sistemleriyle adım tutabilmek için yenilikçi bir çözüm geliştirdi. Sürekli entegrasyondan ilham alan bu yaklaşım, otomatik kıyaslama sistemi oluşturarak araştırma yazılımlarının performansını sürekli izliyor. Sistem, kullanıcı bağımsız çalışabilmesi ve topluluk işbirliği imkanları sunmasıyla öne çıkıyor. Özellikle nörobilim ve yapay zeka alanlarında çalışan araştırmacılar için tasarlanan bu çözüm, sonuçların tekrarlanabilirliğini artırıyor ve teknolojik ilerlemeyi sürdürülebilir kılıyor. Modern yazılım mühendisliği tekniklerini kullanarak, büyük ölçekli modellerin ve süper bilgisayarların sürekli değişen doğasına uyum sağlayan bu sistem, bilimsel araştırmaların verimlilik standardını yükseltiyor.
Yeni FPGA Hızlandırıcı Süper Bilgisayarlarda İş Yükü Dağılımını Devrimleştiriyor
Süper bilgisayar sistemlerinde iş yüklerinin verimli dağıtılması, modern hesaplamalı bilim için kritik bir zorluktur. Geleneksel yazılım tabanlı zamanlayıcılar, öngörülemeyen iş yükleri karşısında yetersiz kalıyor ve kaynak kullanımı optimal seviyede gerçekleşmiyor. Araştırmacılar bu soruna donanım temelli bir çözüm getirdi: Hercules ve Stannic adlı iki FPGA destekli hızlandırıcı mimarisi. Bu yenilikçi sistemler, paralel işleme, ön hesaplama ve uzamsal bellek erişimi teknikleriyle zamanlama süreçlerini dramatik şekilde hızlandırıyor. Hercules görev odaklı, Stannic ise program odaklı yaklaşım benimsiyor. Bu gelişme, özellikle paylaşımlı süper bilgisayar kümelerinde kaynakların daha verimli kullanılmasını sağlayarak, bilimsel hesaplamaların hızını artırabilir.
Bellek Güvenliğinde Yeni Yaklaşım: Gradüel Bağımsızlık Modeli
Bilgisayar sistemlerinin güvenliğinde kritik olan bellek güvenliği, geleneksel olarak 'olmaması gereken kötü olaylar' üzerinden tanımlanıyor. Araştırmacılar, bu yaklaşımın ötesine geçerek bellek güvenliğinin temel semantic ilkelerini anlayabilmek için yeni bir model geliştirdi. Çalışma, null pointer hatası, serbest bırakılmış bellek alanına erişim ve heap taşması gibi bellek yöneticisi kaynaklı güvenlik sorunlarına odaklanıyor. Önerilen 'gradüel allocator bağımsızlığı' kavramı, bellek güvenliğinin allocator-bağımlı yönlerini daha doğru bir şekilde modelliyor. Bu yaklaşım, bellek güvenliği ile noninterference (karışmazlık) arasındaki bağlantıyı downgrading yönünde genişleterek, güvenlik açıklarının daha sistematik olarak anlaşılmasına katkı sağlıyor.
KRONE: Sistem Loglarındaki Anormallikleri Tespit Eden Yeni Yapay Zeka Çözümü
Bilgisayar sistemlerinin güvenliğini sağlamak için kritik olan log anomali tespitinde çığır açan bir gelişme yaşandı. KRONE adlı yeni framework, geleneksel yöntemlerin aksine sistem loglarını hiyerarşik yapıda analiz ederek daha doğru anomali tespiti gerçekleştiriyor. Sistemlerde oluşan loglar aslında iç içe geçmiş bileşenlerin çalışma kayıtları olmasına rağmen, düz metin dizileri halinde saklanınca bu yapısal ilişkiler kayboluyordu. KRONE, bu sorunu çözerek logları anlamlı hiyerarşik yapılara dönüştürüyor ve modüler tespit stratejisi kullanıyor. Bu yenilik, sistem hatalarının ve güvenlik risklerinin daha erken ve doğru tespit edilmesini sağlayarak siber güvenlik alanında önemli bir adım teşkil ediyor.