Altyapı ağlarından tedarik zincirlerine kadar birçok kritik alanda kullanılan karmaşık sistemlerin güvenilirlik analizi, önemli bir mühendislik sorunu olarak karşımıza çıkıyor. Mevcut yöntemler, sistem bileşen sayısı arttıkça hesaplama yükü nedeniyle yetersiz kalıyor. Araştırmacılar bu soruna çözüm olarak Referans-durum Sistem Güvenilirliği (RSR) adlı yeni bir yöntem geliştirdi. Bu yenilikçi yaklaşım, geleneksel ayrıştırma tabanlı yöntemlerden farklı olarak Monte Carlo örneklemesi kullanarak hesaplama maliyetini önemli ölçüde azaltıyor. RSR yöntemi, sistem durumları arasındaki sınırları referans durumlar kullanarak belirliyor ancak durum uzayını keşfetme biçimi tamamen farklı. Geleneksel yöntemlerin aksine, referans durumları ayrık hiper-küpler oluşturmak yerine Monte Carlo örneklerini sınıflandırmak için kullanıyor. Bu yaklaşım sayesinde hesaplama maliyeti, referans durum sayısından çok daha az etkileniyor.

İngiltere'de tren istasyonlarında engelli yolcular için sunulan yardım hizmetleri, yapay zeka destekli bir sistem sayesinde çok daha verimli hale geliyor. Araştırmacılar, farklı istasyonlarda ve zamanlarda değişen yardım taleplerini tahmin edebilen bir karar destek sistemi geliştirdi. Prophet adlı makine öğrenmesi modelini kullanan sistem, personel planlamasında yüzde 76,9'a kadar hata oranını azaltmayı başardı. LNER tren şirketinin istasyonlarında aktif olarak kullanılan sistem, çok kaynaklı operasyonel verileri analiz ederek gelecekteki talepleri öngörüyor. Sistem ayrıca kırmızı-sarı-yeşil risk çerçevesi ile personel gereksinimlerini görsel olarak sunarak, istasyon yöneticilerinin daha iyi kararlar almasını sağlıyor. Bu yaklaşım, sadece maliyetleri düşürmekle kalmayıp engelli yolcuların daha kaliteli hizmet almasına da katkıda bulunuyor.

Araştırmacılar, şirketlerin finansal sözleşmelerindeki muhasebe düzeltmelerinin nasıl yapıldığını açıklayan yeni bir teori geliştirdi. Çalışma, standart muhasebe kurallarının (GAAP gibi) iki tür hata ürettiğini ortaya koyuyor: gerçekte olmayan sorunları gösteren 'yanlış alarm' hataları ve durumu olduğundan iyi gösteren 'aşırı iyimserlik' hataları. Teoriye göre, yöneticiler bu hataları tespit etmek için özel çaba sarf ediyor ancak her zaman düzeltme yapmıyor. Bulgular, yanlış alarmların her zaman düzeltildiğini, fakat aşırı iyimserlik hatalarının sadece küçük olduğunda düzeltildiğini gösteriyor. Ayrıca, yöneticiler bu hataları bulmak için bazen toplumsal açıdan gereksiz çaba harcıyor. Bu durum, finansal kontrolün yanlış ellere geçmesi ve maliyetli yeniden müzakerelere yol açabiliyor.

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.

Yazılım tedarik zinciri güvenliğinde kritik öneme sahip SBOM (Yazılım Malzeme Listesi) araçlarının etkinliği, ciddi doğruluk sorunları nedeniyle sorgulanıyor. 2.414 açık kaynak kod deposu üzerinde yapılan kapsamlı araştırma, güvenlik tarayıcılarının şaşırtıcı derecede yüksek yanlış pozitif oranlarla çalıştığını ortaya koyuyor. Çalışma, güçlü paket yöneticileri kullanılarak doğru SBOM'lar oluşturulabileceğini gösteriyor ancak asıl sorunun güvenlik tarayıcılarında olduğunu belirtiyor. Araştırmacılar, erişilemeyen kod parçalarındaki güvenlik açıklarının işaretlenmesinin ana neden olduğunu tespit ederek, fonksiyon çağrı analizi ile bu sorunun büyük ölçüde çözülebileceğini kanıtlıyor.

Araştırmacılar, doğal gaz ve elektrik piyasalarının birbirine bağlı yapısında piyasa manipülasyonlarını tespit edebilecek yeni bir simülasyon sistemi geliştirdi. Çalışma, hem elektrik üreticisi hem de doğal gaz tüketicisi olan gaz yakıtlı elektrik santrallerinin, bir piyasadaki fiyatları diğer piyasayı etkilemek için nasıl manipüle edebileceğini inceliyor. Sistem, piyasa yöneticilerinin şüpheli teklif verme davranışlarını tespit etmesine yardımcı olmak üzere tasarlandı. Araştırma, enerji piyasalarındaki adil rekabeti koruma açısından önemli bir araç sunuyor ve gelecekte enerji güvenliği için kritik olabilecek piyasa manipülasyonlarının önlenmesine katkı sağlayabilir.

Araştırmacılar, kombinatorik matematikte önemli olan Delannoy sayıları için uniform üst ve alt sınırlar belirledi. Bu sayılar, yüksek boyutlu çapraz politopların (hiper-oktahedral) kafes noktalarının sayısını temsil eder. Çalışmada, bu kafes noktaları için boyuttan bağımsız uniform sayımlar gerçekleştirilerek, çapraz politoplar üzerindeki ayrık maksimal fonksiyonlar için boyut-serbest tahminler elde edildi. Sürekli durumla karşılaştırma prensibi kullanılarak, büyük yarıçaplar için tüm ℓᵖ uzaylarında boyut-serbest tahminler sağlandı. Küçük yarıçaplar için ℓ² uzayında tam maksimal fonksiyonlar ve her yarıçap için dyadik maksimal fonksiyonlar da incelendi.

MIT ve Stanford araştırmacıları, sunucusuz bilişimin (serverless computing) en büyük sorunlarından birini çözen Nexus adlı yeni bir sistem geliştirdi. Mevcut sunucusuz mimarilerde her sanal makine, ağır iletişim altyapısını (SDK, RPC, TCP/IP) tekrarlamak zorunda kalıyor ve bu durum fonksiyonların bellek ayak izinin %25'inden fazlasını tüketiyor. Nexus, hesaplama işlemlerini giriş/çıkış (I/O) işlemlerinden şeffaf bir şekilde ayırarak bu sorunu çözüyor. KVM tabanlı bu yeni hiper yönetici, mevcut kod tabanlarıyla tam uyumluluk sağlarken performansı önemli ölçüde artırıyor. Bu gelişme, bulut bilişim sağlayıcılarının daha yoğun sunucusuz ortamlar kurmasına ve maliyetleri düşürmesine olanak tanıyacak.

Araştırmacılar, termodinamik çevrimlerin tasarımında devrim yaratabilecek yeni bir yapay zeka sistemi geliştirdi. Geleneksel yöntemler uzman bilgisine dayalı ve zaman alıcıyken, bu yeni yaklaşım graf tabanlı hiyerarşik pekiştirmeli öğrenme kullanarak yüksek performanslı enerji dönüştürme sistemlerini otomatik olarak tasarlayabiliyor. Sistem, termodinamik çevrimleri matematiksel graflar halinde kodlayarak, bileşenleri düğümler ve bağlantıları kenarlar olarak temsil ediyor. İki seviyeli yapısında üst düzey yönetici yapısal evrimi keşfederken, alt düzey işçi parametreleri optimize ediyor. Bu yenilikçi yaklaşım, enerji verimliliği arayışında geleneksel tasarım sınırlarını aşma potansiyeli taşıyor ve gelecekteki enerji teknolojilerinin gelişiminde önemli rol oynayabilir.