Arama · son güncelleme 9 sa önce
8.369
toplam haber
3
kategori
70+
bilim kaynağı
1-4 / 4 haber Sayfa 1 / 1
Teknoloji & Yapay Zeka
22 Apr

HELIX: Robot sistemleri için güvenli kod üretim teknolojisi geliştirildi

Araştırmacılar, siber-fiziksel kontrol sistemleri için HELIX adlı yeni bir kod üretim sistemi geliştirdi. Bu sistem, matematiksel formüllerden başlayarak robot sistemleri gibi kritik uygulamalar için hem yüksek performanslı hem de güvenilir kod üretebiliyor. HELIX'in en önemli özelliği, ürettiği kodun doğruluğunu matematiksel olarak garanti edebilmesi. Sistem, yüksek seviyeli matematiksel tanımlamalardan başlayarak, bir dizi cebirsel dönüşüm uygular ve sonunda verimli bir kod haline getirir. Bu süreçte anlam bütünlüğü korunarak, orijinal formülasyondan son koda kadar her adım doğrulanır. Özellikle paralel işleme optimize edilmiş vektör ve matris hesaplamaları için geliştirilmiş bu teknoloji, kritik güvenlik gerektiren robotik uygulamalarda önemli bir ilerleme sağlıyor.

arXiv (CS + AI) 0
Fizik
21 Apr

Kuantum Hesaplamada Matris Dönüşümlerini Hızlandıran Yeni Algoritma

Araştırmacılar, kuantum bilgisayarlarda karmaşık matris hesaplamalarını çok daha verimli şekilde gerçekleştiren yenilikçi bir algoritma geliştirdi. Poisson Toplam Formülü'nden türetilen bu yöntem, kuantum sistemlerin simülasyonunda karşılaşılan temel zorluklardan birini çözüyor. Geleneksel yöntemlerde ayrı ayrı ele alınan iki farklı matematiksel yaklaşımı birleştiren bu çerçeve, hem tekil dinamiklerde hem de karmaşık düzlem hesaplamalarında üstün performans sergiliyor. Özellikle kuantum kimyası ve malzeme biliminde kullanılan hesaplamaları önemli ölçüde hızlandırma potansiyeline sahip bu gelişme, kuantum bilgisayarların pratik uygulamalarına önemli katkı sağlayabilir.

arXiv — Kuantum Fiziği 0
Fizik
20 Apr

Kuantum Hesaplama ile Karmaşık Matematik Problemlerini Çözmeye Yeni Yaklaşım

Araştırmacılar, dinamik sistemlerin analizinde kritik öneme sahip Lyapunov denklemlerini çözmek için yeni bir olasılıksal kuantum algoritması geliştirdi. Bu algoritma, hem klasik hem de kuantum dinamik sistemlerin incelenmesinde yaygın olarak kullanılan doğrusal matris denklemlerinin çözümlerine orantılı karışık durumlar hazırlayabiliyor. Zhang ve arkadaşlarının önceki çalışmalarından yola çıkan algoritma, her adımda mevcut durumu döndürme, iz azaltıcı tamamen pozitif harita uygulama veya yeniden başlatma seçenekleri sunuyor. Yeni geliştirilen deterministik durma kuralı sayesinde, algoritmanın beklenen verimlilik sınırları belirlenebiliyor ve matris tersine çevirme işlemlerinde de kullanılabiliyor.

arXiv — Kuantum Fiziği 0
Matematik
20 Apr

Matematikçiler Matris Hesaplamalarında Çığır Açan Yöntem Geliştirdi

Araştırmacılar, matris üstel fonksiyonlarının hesaplanmasında devrim yaratacak yeni bir yöntem geliştirdi. Geleneksel yöntemlerin aksine, bu teknik belirli bir zaman aralığındaki tüm değerleri aynı anda hesaplayabiliyor. Yıldız-çarpım yaklaşımı olarak adlandırılan bu yöntem, ortogonal polinom serileri kullanarak hesaplamaları büyük ölçüde hızlandırıyor. Bilim insanları, bu tekniğin mühendislikten fiziğe kadar birçok alanda kullanılan diferansiyel denklem çözümlerini önemli ölçüde iyileştireceğini belirtiyor. Yapılan testlerde yeni yöntemin hem doğruluk hem de hız açısından mevcut teknikleri geride bıraktığı kanıtlandı.

arXiv (CS + AI) 0