"matematiksel sınıflandırma" için 1678 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
1678 haber
Yapay Zeka Ajanları Artık Niyetlerini Gizleyebiliyor
Araştırmacılar, otonom sistemlerin hedeflerini gizleyebilme kabiliyeti üzerine çığır açan bir çalışma gerçekleştirdi. Özellikle güvenlik açısından kritik ortamlarda çalışan yapay zeka ajanlarının, düşman gözlemcilerden niyetlerini nasıl saklayabileceği matematiksel olarak modellendi. Çalışma, geleneksel Lyapunov kararlılığının ötesinde, ajanların davranışlarından çıkarılabilecek niyet bilgilerinin kontrolü üzerine odaklanıyor. Bu yaklaşım, savunma sistemleri, otonom araçlar ve stratejik robotik uygulamalar için kritik önem taşıyor. Araştırma, fiziksel durum kontrolü ile gözlemci inancının yönetimini birleştiren yeni bir kontrol teorisi yaklaşımı sunuyor.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Havada Uçan Rüzgar Türbinleri İçin Yeni Uçuş Rotası Algoritması Geliştirildi
Araştırmacılar, havacılık teknolojisiyle rüzgar enerjisini birleştiren yenilikçi sistemler için daha verimli uçuş rotaları tasarlayabilen bir algoritma geliştirdi. Geleneksel rüzgar türbinlerinin aksine, bu sistemler yüksek irtifadaki güçlü rüzgarları kullanmak için kablolarla bağlı uçan cihazlar kullanıyor. Yeni yöntem, Lissajous eğrileri adı verilen matematiksel formüller kullanarak enerji üretimini maksimize eden uçuş yolları hesaplıyor. Bu yaklaşım, önceki karmaşık hesaplama yöntemlerinin aksine çok daha hızlı ve pratik sonuçlar üretiyor. Havacı rüzgar enerji sistemleri, yerdeki türbinlerin erişemediği yüksek irtifadaki güçlü ve istikrarlı rüzgarları kullanarak enerji üretebiliyor. Bu teknoloji, yenilenebilir enerji sektöründe umut vadeden bir gelişim olarak görülüyor.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Kripto Borsalarında Fiyat Dengesini Koruyan Gizli Mekanizma Keşfedildi
MIT araştırmacıları, merkezi olmayan kripto borsalarında fiyatların nasıl dengede kaldığını matematiksel olarak modellediler. Otomatik piyasa yapıcıları (AMM) adı verilen bu sistemler, geleneksel borsalardan farklı olarak emir defteri yerine havuz durumundan fiyat belirler. Araştırma, arbitraj işlemlerinin fiyat sapmaları nasıl düzelttiğini ve bu düzeltme mekanizmasının blok zinciri seviyesinde nasıl çalıştığını açıklıyor. Çalışma, DeFi ekosisteminin temel işleyişini anlamamız açısından kritik öneme sahip.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Güvenlik Sertifikasyonu Artık Sınıflandırma Problemi Olarak Çözülüyor
Araştırmacılar, dinamik sistemlerin güvenliğini doğrulamak için yenilikçi bir yaklaşım geliştirdi. Geleneksel yöntemler, zaman adımlarında biriken hatalar nedeniyle uzun vadeli güvenlik tahminlerinde başarısız oluyordu. Yeni kernel embedding çerçevesi, güvenlik sertifikasyonunu bir sınıflandırma problemi olarak ele alarak bu sorunu çözüyor. Özellikle otonom sistemler ve robotik uygulamalarda kritik olan bu yöntem, Markov olmayan dinamiklere sahip sistemler için de güvenlik garantisi verebiliyor. Araştırma, mevcut barrier sertifikaları ve robust Markov modelleri gibi yaklaşımları özel durumlar olarak içeriyor ve onların sınırlarını aşmayı başarıyor.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Yeni Matematiksel Model: Eşit Olmayan Kütleleri Optimal Şekilde Taşıma
Araştırmacılar, farklı kütlelere sahip sistemler arasında optimal kaynak aktarımı yapabilen yeni bir matematiksel model geliştirdi. 'Dengesiz optimal taşıma' adı verilen bu yaklaşım, klasik optimal taşıma teorisinin sınırlarını aşarak, kaynak ve hedef arasındaki kütle farklılıklarını hesaba katıyor. Model, özellikle doğrusal sistemler ve Gaussian dağılımlar için global olarak optimal çözümler sunuyor. Bu gelişme, lojistik optimizasyondan makine öğrenmesine kadar birçok alanda uygulanabilir. Dinamik uzantısı olan 'dengesiz yoğunluk kontrolü' ise sistem kısıtlarını ve zaman faktörünü de modele dahil ediyor.
arXiv — Bilgisayar Sistemleri · 6 gün önce
1
Uçan Robotlar İçin Yeni Matematik Modeli: Daha Hızlı ve Kararlı Hareket
Araştırmacılar, havada yüzen robotların hareketlerini kontrol etmek için yeni bir matematiksel yaklaşım geliştirdi. Lie grupları teorisini kullanan bu yöntem, robotların dinamiklerini daha yüksek hassasiyetle hesaplayabiliyor. Özellikle drone üzerine monte edilmiş robot kolları gibi karmaşık sistemler için tasarlanan algoritma, robotun hem yörünge planlaması hem de gerçek zamanlı kontrol işlemlerini iyileştiriyor. 12 serbestlik dereceli bir hava manipülatörü üzerinde test edilen sistem, geleneksel yöntemlere kıyasla daha kararlı ve verimli sonuçlar verdi. Bu gelişme, arama-kurtarma operasyonlarından endüstriyel uygulamalara kadar birçok alanda kullanılabilecek uçan robotların performansını artırabilir.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Yapay zeka ajanları artık merkezi kontrol olmadan işbirliği yapabiliyor
Araştırmacılar, birden fazla yapay zeka ajanının merkezi bir kontrol sistemi olmadan koordineli şekilde çalışabilmesini sağlayan yeni bir yöntem geliştirdi. Bu breakthrough yaklaşım, ajanların kendi aralarında iletişim kurarak ortak hedeflere ulaşmalarını ve belirli kısıtlamaları gözetmelerini mümkün kılıyor. Geleneksel çok-ajan pekiştirmeli öğrenme sistemleri merkezi bir eğitim süreci gerektirirken, yeni yöntem tamamen dağıtık bir yapıda çalışıyor. Her ajan, yerel bilgilerini kullanarak hem ana değişkenleri hem de dual değişkenleri tahmin ediyor ve bu sayede sistem genelinde uyum sağlanıyor. Algoritmanın matematiksel yakınsama garantileri de kanıtlanmış durumda. Bu gelişme, otonom araç filosundan akıllı şehir sistemlerine kadar geniş bir uygulama alanına sahip.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Düzensiz Verilerle Çalışan Yeni Durum Tahmin Sistemi Geliştirildi
Araştırmacılar, az sayıda ve düzensiz ölçümlerle sistem durumunu tahmin edebilen yeni bir yaklaşım geliştirdi. Bu yöntem, geleneksel matematiksel modeller yerine doğrudan ölçülen veriler üzerine kurulu. Özellikle ölçüm yapmanın pahalı veya zaman alıcı olduğu durumlarda büyük avantaj sağlıyor. Sistem, hareketli ufuk tahmini adı verilen teknikle çalışıyor ve teorik olarak güçlü kararlılık özelliklerine sahip. Araştırmacılar, yöntemi gastrointestinal sistem emilim süreçlerinin izlenmesinde başarıyla test etti. Bu gelişme, tıbbi tanı sistemlerinden endüstriyel süreç kontrolüne kadar birçok alanda uygulanabilir.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Sanat ve Robotik Buluşuyor: Titreşim Sorunu Çözen Askıda Kemerlerin Hikayesi
Rafael Lozano-Hemmer'ın ünlü etkileşimli sanat enstalasyonu 'Standards and Double Standards', ciddi bir mühendislik yenileme sürecinden geçti. Tavandan asılı kemerlerden oluşan bu robotik sanat eseri, ziyaretçilerin hareketlerini takip eden görüş sistemiyle çalışıyor. Ancak orijinal sistemde kemerlerin aşırı titreşim yapması nedeniyle dönüş hızları sınırlanıyor ve etkileşim kalitesi düşüyordu. Araştırmacılar bu sorunu çözmek için matematiksel modelleme ve gelişmiş kontrol algoritmaları geliştirdi. Çalışma, sanat ve mühendisliğin kesişim noktasında ortaya çıkan teknik zorlukların nasıl bilimsel yöntemlerle aşılabileceğini gösteriyor.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
Dinamik Sistemlerde Yeni Matematiksel Yaklaşım: Olasılık Ölçümleriyle Davranış Analizi
Araştırmacılar, dinamik sistemlerin davranışlarını analiz etmek için yenilikçi bir matematiksel yaklaşım geliştirdi. Geleneksel yöntemler doğrusal sistemlerde başarılı olsa da, doğrusal olmayan ve stokastik sistemlerde zorluklar yaşanıyordu. Yeni yaklaşım, sistemlerin davranışlarını yörüngeler üzerindeki olasılık dağılımları olarak temsil ediyor. Bu yöntem, doğrusal olmayan sistemlerde bile konveks matematiksel yapılar oluşturarak optimizasyon problemlerini çözmeyi kolaylaştırıyor. Araştırma, kontrol teorisi ve sistem mühendisliğinde önemli uygulamalara sahip olabilir.
arXiv — Bilgisayar Sistemleri · 6 gün önce
0
P-adik Geometride Yeni Açı Sistemi: Denizcilik Açıları ile Ölçüm Devrimi
Araştırmacılar, p-adik sayı sistemlerinde üç boyutlu rotasyon grupları için yeni bir ölçüm yöntemi geliştirdi. Çalışma, klasik geometrinin aksine p-adik ortamda çalışan bu sistemde, denizcilik açıları olarak bilinen Cardano parametreleştirmesini kullanıyor. Bu yöntem, rotasyonları üç bağımsız açı ile tanımlayarak, karmaşık matematiksel yapıları daha anlaşılır hale getiriyor. P-adik geometri, klasik Öklid geometrisinden farklı bir matematik dalı olup, özellikle teorik fizik ve sayılar teorisinde önemli uygulamaları bulunuyor. Araştırma, bu soyut matematiksel yapılarda pratik hesaplamalar yapılmasını kolaylaştıran somut araçlar sunuyor.
arXiv — Matematiksel Fizik · 9 gün önce
0