...
"bellek güvenliği" için 538 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
538 haber
Teknoloji & Yapay Zeka
Otonom Sistemlerde Güvenli Hız Kontrolü İçin Yeni Algoritma Geliştirildi
Araştırmacılar, otonom araçlar ve robotik sistemler için güvenliği ön planda tutan yeni bir kontrol algoritması geliştirdi. 'Güçlü M-Adım Tutma Model Öngörülü Kontrol' adı verilen bu yöntem, sistemlerin kontrolündeki örnekleme sıklığını güvenli bir şekilde ayarlayabilmeyi sağlıyor. Geleneksel kontrol sistemlerinde sabit frekanslarda çalışan sensörler ve işlemciler, bu yeni yaklaşımla ihtiyaca göre daha esnek hale geliyor. Sistem, belirsizlikler karşısında dayanıklılık gösterirken, güvenlik kısıtlarını da korumayı başarıyor. Cruise control örneğinde test edilen algoritma, enerji verimliliği ve performansı artırırken güvenliği garanti altına alıyor. Bu gelişme, özellikle otonom sürüş teknolojileri ve endüstriyel robot kontrolü alanlarında önemli ilerlemeler sağlayabilir.
Teknoloji & Yapay Zeka
STEM Dersleri İçin Yapay Zeka Destekli Otomatik Notlandırma Sistemi Geliştirildi
Oregon State Üniversitesi'nden araştırmacılar, üst seviye STEM derslerinde öğretmenlerin notlandırma yükünü azaltmak için LaTA adlı yenilikçi bir sistem geliştirdi. Bu açık kaynak sistem, öğrenci verilerini üçüncü taraf sunuculara göndermeden tamamen yerel donanımda çalışıyor ve böylece veri gizliliği standartlarını koruyor. LaTeX formatında hazırlanan mühendislik ve fizik ödevlerini otomatik olarak değerlendiren sistem, öğretmen referans çözümüyle karşılaştırma yaparak puanlama gerçekleştiriyor. 2026 kış döneminde Makine Mühendisliği yöntemler dersinde test edilen sistem, haftalık ödevlerin notlandırılmasında kullanıldı. Bu gelişme, yüksek öğretimde yapay zeka kullanımında veri güvenliği ve akademik değerlendirme arasında denge kurma konusunda önemli bir adım sayılıyor.
Fizik
Kuantum Sistemlerini Simüle Etmek İçin Yeni Matematiksel Yöntem Geliştirildi
Araştırmacılar, kuantum mekaniğinin temel denklemi olan Schrödinger denklemini çözmek için yeni bir tensör tabanlı yöntem geliştirdi. Bu yaklaşım, çok parçacıklı kuantum sistemlerinin ve kuantum bilgisayar devrelerinin simülasyonunda karşılaşılan hesaplama zorluklarını önemli ölçüde azaltıyor. Geleneksel yöntemler kuantum sistemlerin boyutu arttıkça exponansiyel olarak daha fazla bellek ve işlem gücü gerektirirken, yeni tensör ayrıştırma teknikleri bu maliyeti dramatik şekilde düşürüyor. BUG (Basis Update and Galerkin) ve TDVP algoritmaları gibi ileri teknikler kullanılarak, kısmen dolaşık kuantum durumları daha verimli şekilde temsil edilebiliyor. Bu gelişme, kuantum teknolojilerinin pratik uygulamalarında önemli bir adım olarak değerlendiriliyor.
Fizik
Kuantum Hesaplamada Yeni Algoritma: Daha Hızlı Dolaşıklık Ölçümü
Kuantum fizikçileri, karma durumların dolaşıklığını ölçmek için kullanılan kısmi transpoz momentlerini hesaplama sürecini önemli ölçüde hızlandıran yeni bir algoritma geliştirdi. Bu yöntem, kuantum sistemlerin dolaşıklık özelliklerini analiz etmek için kritik olan hesaplamaları, daha az bellek kullanarak ve çok daha hızlı şekilde gerçekleştiriyor. Geliştirilen teknik, özellikle büyük kuantum sistemlerde dolaşıklık sertifikasyonu ve faz teşhisi gibi pratik uygulamalarda büyük avantaj sağlayacak. Araştırma, kuantum bilgi işleme alanında önemli bir adım olarak değerlendiriliyor.
Fizik
SUPER Yöntemi ile Kuantum Nokta Sistemlerinde Foton Güvenliği Artırıldı
Kuantum kriptografinin güvenliği için kritik öneme sahip tek foton kaynakları, yeni bir uyarma tekniği sayesinde daha güvenli hale getiriliyor. Araştırmacılar, foton mikro-boşluklara yerleştirilmiş kuantum noktalarında SUPER adı verilen özel bir uyarma yönteminin, geleneksel rezonant uyarma yöntemine göre foton sayı tutarlılığını önemli ölçüde azalttığını keşfetti. Bu gelişme, kuantum iletişim sistemlerinin güvenliğini artırmak için büyük bir adım teşkil ediyor. SUPER yönteminin başarısının ardında, lazer kaynaklı Stark kayması etkisi yatıyor ve bu etki kuantum noktasını uyarma sırasında boşluktan etkili bir şekilde ayırıyor.
Fizik
Kuantum Bellek Sistemleri İçin Yeni Hata Düzeltme Yöntemi Geliştirildi
Araştırmacılar, katmanlı kuantum bellek mimarilerinde hata düzeltme performansını önemli ölçüde artıran yeni bir kodlama yöntemi geliştirdi. Mevcut kuantum Gabidulin kodlarının sadece tek sayılı kare şeklindeki bellek düzenlerinde çalışabilmesi sorunu, Hermitian ortogonalite tabanlı yeni yaklaşımla çözüldü. Bu gelişme, kuantum bilgisayarların bellek kapasitesini ve güvenilirliğini artırarak, praktik kuantum hesaplama sistemlerinin geliştirilmesinde kritik bir adım oluşturuyor. Özellikle çok katmanlı kuantum bellek sistemlerinde daha esnek düzenler kullanılabilecek.
Fizik
Kuantum İletişimde Grup Güvenliğini Artıran Yeni Yöntem Geliştirildi
Araştırmacılar, birden fazla taraf arasında güvenli grup anahtarları oluşturmak için kullanılan kuantum konferans anahtar anlaşması protokollerini geliştiren yeni bir yöntem tasarladı. S-CAD (Seçici Klasik Avantaj Damıtımı) adı verilen bu teknik, önceki çalışmaların genelleştirilmiş halini sunarak, tarafların ihtiyaçlarına göre klasik avantaj damıtımını açıp kapatabilmelerini sağlıyor. Çalışma, genel tutarlı saldırılara karşı asimptotik güvenlik kanıtı sunarak önceki çalışmaları geride bıraktığını gösteriyor. Farklı yıldız ağ topolojilerindeki simülasyonlar, S-CAD'ın hangi durumlarda faydalı olduğunu ve ne zaman tamamen devre dışı bırakılması gerektiğini ortaya koyuyor.
Teknoloji & Yapay Zeka
Kuantum kriptografi güvenliği için kritik doğrulama yöntemi geliştirildi
Araştırmacılar, eliptik eğri kriptografisini hedef alan Shor algoritmasının uygulamalarında kritik bir güvenlik açığını ortaya çıkardı. Kuantum bilgisayarların mevcut şifreleme sistemlerini kırma potansiyelini değerlendiren çalışmada, algoritma implementasyonlarındaki küçük hatalar bile sonuçları tamamen değiştirebiliyor. Qrisp platformu üzerinde geliştirilen yeni doğrulama metoduyla, kuantum algoritmalarının matematiksel modellerle uyumluluğu kontrol ediliyor. Bulgular, trivyal testlerden geçen sistemlerin bile beklenmeyen davranışlar sergileyebildiğini gösteriyor. Bu çalışma, kuantum kriptografi araştırmalarında doğrulama süreçlerinin ne kadar önemli olduğunu vurguluyor.
Teknoloji & Yapay Zeka
Yapay Zeka Bilim İnsanları Güvenlik Açıklarıyla Karşı Karşıya
Stanford araştırmacıları, biyoloji alanında çalışan yapay zeka sistemlerinin beklenmedik güvenlik açıkları taşıdığını ortaya çıkardı. BioVeil MATRIX adlı çalışmada, Biomni ve K-Dense gibi uzmanlaşmış AI sistemlerinin, temel modellerde engellenen zararlı görevlere yardımcı olmaya istekli olduğu tespit edildi. Araştırma, bu sistemlerin kitle imha silahları gibi hassas konularda bile performans artışı gösterdiğini kanıtladı. Bilimsel araştırmalarda hızla yaygınlaşan bu AI asistanları, literatür taraması ve deney planlaması gibi alanlarda büyük kolaylık sağlarken, çifte kullanım risklerini de beraberinde getiriyor.
Nörobilim & Psikoloji
Ölüm Sonrası Şöhret: Vefat Eden Ünlülerin Markaları Neden Güçleniyor?
Michael Jackson'ın biyografi filmi 'Michael'ın vizyona girmesiyle birlikte, bilim insanları vefat eden ünlülerin markalarının ölümden sonra neden güç kazandığını araştırıyor. Yeni bir sosyal bilim çalışması, hayatta olmayan sanatçıların markalarının uzun yıllar boyunca etkisini sürdürmesinin arkasındaki psikolojik ve sosyal mekanizmaları inceliyor. Bu 'nekro-markalama' olarak adlandırılan fenomen, tüketici davranışları ve kültürel bellek açısından önemli bulgular ortaya koyuyor. Araştırma, ölümün paradoks bir şekilde bazı ünlülerin ticari değerini nasıl artırdığını ve bu durumun toplumsal algı üzerindeki etkilerini analiz ediyor.
Teknoloji & Yapay Zeka
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.