“kritik sistemler” için sonuçlar
10 sonuç bulundu. Sonuçları kategoriye göre daraltabilirsin.
Güvenlik Kritik Sistemlerde Yeni Kontrol Yaklaşımı: MCI-MPC
Araştırmacılar, güvenlik açısından kritik sistemlerin kontrolü için yeni bir Model Öngörülü Kontrol (MPC) yaklaşımı geliştirdi. Maximal Controlled Invariant-MPC (MCI-MPC) adı verilen bu yöntem, Kontrol Engel Fonksiyonlarını (CBF) terminal kısıt olarak kullanarak hem güvenliği garanti ediyor hem de sistemin performansını artırıyor. Geleneksel yöntemlerde güvenlik kısıtları genellikle aşırı muhafazakâr olur, bu da sistem performansını düşürür. Yeni yaklaşım, öngörü ufkunun artmasıyla birlikte fizibiliteyi ve erişilebilir kümeleri iyileştiriyor. Nonholonomik sistemler üzerinde yapılan simülasyonlarda, çözümsüz nokta sayısının 1,7 ila 2,7 kat azaldığı gözlemlendi.
Beyin-Beden Uyumu Bilincin Sırrını Çözebilir
130 yıldır çözülemeyen 'bağlama problemi' yeni bir yaklaşımla aydınlatılıyor. Araştırmacılar, dağınık beyin aktivitelerinin nasıl birleşerek bilinçli deneyim oluşturduğunu anlamak için beyin-beden rezonansına odaklandı. 64 kanallı EEG verileriyle yapılan çalışma, geleneksel beyin tarama yöntemlerinin ironik bir şekilde ölçmeye çalıştığı bütünleştirici dinamikleri yok ettiğini ortaya koyuyor. Normalde 'gürültü' olarak kabul edilen fizyolojik sinyallerin aslında bilincin oluşumu için kritik önemde olduğu keşfedildi. Bu bulgular, insan bilişinin evrensel kritik sistemler sınıfında yer aldığını ve 78 milisaniyelik temel bir beyin-beden rezonansıyla senkronizasyon sağlandığını gösteriyor.
Yapay Zeka Güvenliği İçin Yeni Çerçeve: Deterministik AI Ajanları
Büyük dil modelleri kritik sistemlerde güvenlik açıkları yaratıyor. Araştırmacılar, bu sorunları çözmek için Yakınsak AI Ajan Çerçevesi'ni (CAAF) geliştirdi. Sistem, rastgele davranışları ortadan kaldırarak AI ajanlarının öngörülebilir şekilde çalışmasını sağlıyor. Çerçeve, atomik görev ayrıştırma, makine tarafından okunabilir güvenlik kuralları ve yapısal anlambilim gradyanları olmak üzere üç temel prensibe dayanıyor. Otonom sürüş ve ilaç geliştirme alanlarında test edilen sistem, AI'nın güvenlik kritik uygulamalarda daha güvenilir kullanımına olanak tanıyacak.
RISC-V İşlemciler Otonom Araçların Güvenlik Sertifikasyonunda Yeni Umut
Açık kaynaklı RISC-V işlemci mimarisi, otonom araçlarda güvenlik kritik sistemler için umut vadediyor. Araştırmacılar, RISC-V'nin şeffaf yapısının otomotiv güvenlik standartlarına uygunluğunu analiz etti. ISO 26262 ASIL-D sertifikasyonlarıyla kanıtlanan bu mimari, otonom sürüş sistemlerinde güvenilir deployment için hazır durumda. Ancak otomotiv sektöründe fonksiyonel güvenlik, işlemci sorunundan çok sertifikasyon sorunu olarak karşımıza çıkıyor. Maliyet faktörleri tanı kapsamı analizi, araç zinciri yeterliliği ve güvenlik vakası oluşturma süreçlerinden kaynaklanıyor. RISC-V'nin açık ISA yapısı, formal doğrulanabilirliği ve özel uzantı kontrolü gibi özellikleri, güvenlik gereksinimlerini karşılamada avantaj sağlayabilir.
Yapay Zeka Kısmi Geri Bildirimle Belirsizlik Ölçmeyi Öğreniyor
Güvenlik açısından kritik sistemlerde belirsizlik ölçümü hayati önem taşır. Araştırmacılar, yapay zeka sistemlerinin eksik bilgiyle çalışırken bile güvenilir tahminler yapabilmesi için yeni bir yöntem geliştirdi. Bu yaklaşım, her zaman doğru cevabın verilmediği gerçek dünya koşullarına uygun olarak tasarlandı. Geleneksel yöntemler tam geri bildirim gerektirirken, yeni sistem sadece tahmin doğru olduğunda geri bildirim alarak öğrenebiliyor. Bu durum, tıbbi teşhis sistemlerinden otonom araçlara kadar birçok alanda uygulanabilir. Sistem, adversarial bandit problemi olarak modellenmiş ve pişmanlık minimizasyonu tekniği kullanılmış. Bu gelişme, yapay zekanın daha az veriyle daha güvenli kararlar almasının yolunu açıyor.
Yapay Zeka Güvenlik Kritik Sistemlerin Gereksinimlerini Otomatik Formalize Ediyor
Güvenlik kritik sistemlerin erken geliştirme aşamalarında doğal dille yazılan gereksinimler, doğrulama için uygun formal özelliklere dönüştürülmesi zor belgeler oluşturuyor. Araştırmacılar, büyük dil modellerini kullanan yeni bir yaklaşım geliştirerek bu soruna çözüm getirdi. Geliştirilen otonom metodoloji, yapılandırılmamış şartnamelerden doğrulama için hazır özellikler otomatik olarak çıkarabiliyor. Sistem, gereksinim çıkarma, uyumluluk filtreleme ve formal özelliklere çeviri işlemlerini modüler bir yapıda birleştiriyor. Üç farklı senaryoda yapılan deneyler, sistemin %77.8 doğruluk oranıyla hem sözdizimsel hem de anlamsal olarak uyumlu formal özellikler ürettiğini gösteriyor.
Yapay Zeka ile C Kodlarını Daha Güvenli Rust'a Çeviren Yeni Teknik
Araştırmacılar, C programlama dilinde yazılmış kodları Rust diline çeviren mevcut araçların güvenlik açığı yaratan ham işaretçi problemini çözen yeni bir yöntem geliştirdi. PR2 adlı bu sistem, GPT-4 büyük dil modelini kullanarak ham işaretçileri Rust'ın güvenli veri yapılarına otomatik olarak dönüştürüyor. C dilinde yazılmış eski kodların modern ve güvenli Rust diline geçirilmesi, yazılım güvenliğini artırmak için kritik bir süreç. Mevcut araçlar sözdizimi çevirisini başarıyla yapsa da, ortaya çıkan Rust kodları güvenli olmayan yapılar içeriyor. Yeni geliştirilen teknik, karar ağacı tabanlı yönlendirme kullanarak bu sorunu çözüyor ve hataları otomatik olarak düzeltiyor. Bu gelişme, milyonlarca satır C kodu bulunan kritik sistemlerin daha güvenli hale getirilmesinde önemli bir adım.
Yazılım Güvenliği için Devrim: Hyper Separation Logic Geliştirildi
Bilgisayar bilimciler, yazılım güvenliği ve işlevselliğini analiz etmek için yeni bir mantık sistemi geliştirdi. Hyper Separation Logic (HSL) adı verilen bu sistem, ilk kez hafıza kullanan programlarda karmaşık güvenlik özelliklerini modüler şekilde doğrulayabiliyor. Mevcut mantık sistemleri sadece belirli güvenlik özelliklerini analiz edebilirken, HSL daha geniş bir yelpazede güvenlik açıklarını tespit edebilme kapasitesine sahip. Bu gelişme, modern yazılımların güvenlik analizinde önemli bir adım forward teşkil ediyor ve özellikle kritik sistemlerde kullanılan programların doğrulanmasında yeni olanaklar sunuyor.
Kuantum Lokalizasyon: Yeni Fiziksel Fenomen Sensör Teknolojilerinde Devrim Yaratabilir
Araştırmacılar, tek boyutlu kafes modellerinde yeni bir kuantum lokalizasyon fenomeni keşfetti. Çalışma, parçacıkların komşu noktalar arasındaki atlama genliklerinin güç yasası profiline göre değiştiği sistemlerde kritik davranışları inceliyor. Sıfıra yaklaşan derecelendirme üssü değerinde, sistem temel durumunda lokalize hale geliyor ve lokalizasyon uzunluğu sonsuzluğa doğru artıyor. Bu kritik nokta, yeni nesil sensör teknolojileri için potansiyel uygulamalar sunuyor. Finite boyut ölçeklendirme analizi ve Kibble-Zurek dinamikleri ile karakterize edilen bu fenomen, kuantum fiziğinde kritik sistemlerin anlaşılmasına önemli katkı sağlıyor. Araştırma, dengesiz dinamikler ve lokalizasyon uzunluğunun zaman evrimini de inceleyerek, teorik fizikten pratik uygulamalara kadar geniş bir etki alanına sahip.
Kritik Malzemelerin Gizli Özelliklerini Ortaya Çıkaran Yeni Matematiksel Yöntem
Bilim insanları, kritik noktalarda bulunan iki boyutlu malzemelerin temel özelliklerini keşfetmek için yeni bir matematiksel çerçeve geliştirdi. Bu yöntem, tensor-ağ akışı adı verilen gelişmiş hesaplama tekniğini kullanarak, malzemelerin faz geçişlerindeki davranışlarını daha doğru bir şekilde analiz etmeyi mümkün kılıyor. Araştırmacılar, özellikle Ising ve üç-durumlu saat modelleri gibi klasik fizik sistemlerinde test ettikleri bu yaklaşımla, merkezi yük, ölçekleme boyutları ve konformal spinler gibi temel parametreleri hassas bir şekilde ölçebildiklerini gösterdi. Bu gelişme, kuantum malzemeler ve yoğun madde fiziği alanında önemli uygulamalara sahip olabilir.