"konveks optimizasyon" için 668 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
668 haber
Yapay Zeka Yeni Programcıların Kod Anlama Zorluğunu Çözüyor
Programlama öğrenmeye başlayan kişilerin en büyük zorluklarından biri karmaşık kodları anlamak. Araştırmacılar, bu soruna çözüm olarak bilişsel yük teorisine dayanan otomatik kod yeniden düzenleme sistemi geliştirdi. CDDRefactorER adlı bu sistem, kodun işlevselliğini korurken yapısını daha anlaşılır hale getiriyor. İki farklı veri seti ve yapay zeka modeli üzerinde yapılan testlerde sistem, yeniden düzenleme hatalarını %54-71 oranında azalttı. Yeni öğrenen programcılarla yapılan kontrollü çalışmalar da sistemin kod karmaşıklığını önemli ölçüde düşürdüğünü gösterdi. Bu yaklaşım, programlama eğitiminde devrim yaratma potansiyeli taşıyor.
arXiv (CS + AI) · 25 gün önce
0
Matematikçiler Graf Renklendirme Teorisinde Yeni Keşif Yaptı
Türk matematik literatürüne önemli bir katkı sunan yeni araştırma, graf teorisinin en karmaşık alanlarından biri olan kenar renklendirme problemine ışık tutuyor. Araştırmacılar, tek sayıda düğüme sahip grafların özel renklendirme özelliklerini inceleyerek, 4-bağlantılı basit grafların sadece 3 renk kullanılarak renklendirilebileceğini matematiksel olarak kanıtladı. Bu buluş, bilgisayar ağları, lojistik optimizasyonu ve kaynak dağılımı gibi alanlarda pratik uygulamalara sahip. Özellikle her renk sınıfının 'tek alt graf' oluşturması koşuluyla yapılan bu renklendirme, klassik graf renklendirmesinden farklı bir yaklaşım sunuyor. Çalışma aynı zamanda Euler grafları için de önemli sonuçlar ortaya koyarak, bu tür grafların tek bir kenar çıkarıldığında 2 renkle renklendirilebileceğini gösteriyor.
arXiv (Matematik) · 25 gün önce
0
Alt-Phillips Fonksiyonelinin Özgür Sınırlarında Matematiksel Düzenlilik Kanıtlandı
Matematikçiler, Alt-Phillips fonksiyonelinin negatif üsler için özgür sınırlarının sonsuz derecede düzenli olduğunu kanıtladı. Bu çalışma, değişken katsayılı kısmi diferansiyel denklemlerin çözümlerinde ortaya çıkan serbest sınır problemlerinin davranışını anlamak için önemli bir adım. Araştırmacılar, belirli koşullar altında bu fonksiyonelin minimize edicilerinin düzenli noktalarda C∞ sınıfında olduğunu matematiksel olarak gösterdi. Sonuç, optimizasyon teorisi ve matematiksel analiz alanlarında yeni yaklaşımların geliştirilmesine katkı sağlayacak.
arXiv (Matematik) · 25 gün önce
0
Hareketli Hedefleri Yakalayan Robot Filosu İçin Yeni Optimizasyon Algoritması
Araştırmacılar, hareketli hedefleri yakalamak için çalışan robot filosunun rotalarını optimize eden yeni bir algoritma geliştirdi. MT-VRP-O olarak adlandırılan bu problem, birden fazla robotun engelleri aşarak ve zaman kısıtları içinde hareket eden hedeflere ulaşmasını gerektiriyor. Geliştirilen Lazy BPRC algoritması, robotların hız ve kapasite sınırlarını da göz önünde bulundurarak en optimal çözümü buluyor. Bu teknoloji, kargo dağıtımından askeri operasyonlara, arama-kurtarma görevlerinden otonom araç koordinasyonuna kadar geniş bir uygulama alanına sahip. Algoritma, sınırlı tur seçenekleri arasından en uygununu belirleyerek hesaplama maliyetini düşürürken, optimal sonuçları garanti ediyor.
arXiv (CS + AI) · 25 gün önce
0
Robotlara İnsan Hareketlerini Öğretmenin Yeni Yolu: Yapay Zeka Destekli Sistem
Araştırmacılar, humanoid robotların insan hareketlerini daha doğal bir şekilde taklit etmesi için yenilikçi bir yapay zeka sistemi geliştirdi. Neural Motion Retargeting (NMR) adlı bu framework, geleneksel optimizasyon yöntemlerinin yarattığı fiziksel tutarsızlıkları çözerek robotların insan verilerinden öğrenme sürecini revolutionize ediyor. Sistem, hareketleri kümeleyerek gruplandıran ve dinamik özelliklerini dikkate alan bir yaklaşım benimsiyor. Bu gelişme, robotların karmaşık çevrelerde daha etkili çalışabilmesi için gereken motor becerileri kazanmalarında önemli bir adım.
arXiv (CS + AI) · 25 gün önce
0
Matematikçiler Boyut Teorisinde Yeni Bir Keşif Yaptı
Araştırmacılar, geometrik kümelerin boyutsal özelliklerini anlamamızı derinleştiren önemli bir matematiksel sonuç elde ettiler. Çalışma, d-boyutlu zayıf teğet alanına sahip kümelerin, Lipschitz dönüşümler altında nasıl davrandığını inceliyor. Bulgular, tipik 1-Lipschitz dönüşümlerin bu kümeleri beklenen boyutsal sınırlar içinde tuttuğunu gösteriyor. Bu sonuç, özellikle Hausdorff boyutu ve ölçü teorisi alanlarında önemli ilerlemeler sağlıyor. Araştırma ayrıca, düzeltilemeyen kümelerin boyutsal davranışları hakkında da yeni perspektifler sunuyor ve sonuçların Öklid uzayları ile sıkı konveks Banach uzaylarında keskin olduğunu kanıtlıyor.
arXiv (Matematik) · 25 gün önce
0
Kuantum Bilgisayarlarda Hata Bütçesi Dağıtımı için Oyun Teorisi Çözümü
MIT araştırmacıları, kuantum bilgisayarlardaki hata toleransı sistemlerinde kaynak kullanımını optimize etmek için oyun teorisi yaklaşımını kullandılar. Geleneksel yöntemler hata bütçelerini eşit şekilde dağıtırken, yeni yaklaşım Nash dengesi kullanarak optimal dağılım sağlıyor. 433 farklı kuantum devresinde yapılan testlerde, fiziksel kaynak gereksinimlerinde ortalama %30 azalma, bazı örneklerde ise %98'e varan iyileştirmeler elde edildi. Bu yaklaşım, kuantum hesaplama hatalarının stratejik olarak yönetilmesinde yeni bir paradigma sunuyor ve gelecekteki kuantum bilgisayarların daha verimli çalışmasını sağlayabilir.
arXiv (CS + AI) · 25 gün önce
0
Matematikçiler 50 Yıllık Optimizasyon Problemini Çözdü
Bilgisayar bilimciler, mantık problemlerinin daha verimli çözümü için yeni kodlama yöntemleri geliştirdi. Araştırma, 'en fazla bir' kısıtlaması için önceki yöntemlerden daha az sayıda mantık kuralı kullanan bir teknik sunuyor. Bu buluş, 50 yıldır açık kalan bir devre karmaşıklığı problemini çözerken, Chen'in ürün kodlaması gibi optimal olduğu düşünülen yöntemlerin aslında geliştirilebileceğini kanıtladı. Yeni yaklaşım, yapay zeka ve otomatik mantık yürütme sistemlerinde önemli verimlilik artışları sağlayabilir.
arXiv (CS + AI) · 25 gün önce
0
Matematikçiler Yönlü Grafların 'Genel Konum' Problemini Çözmeye Çalışıyor
Yönlü graflar teorisinde önemli bir gelişme yaşandı. Araştırmacılar, bir grafta en fazla kaç köşenin aynı anda 'genel konumda' bulunabileceği sorusunu yönlü graflar için incelediler. Genel konum problemi, hiçbir üç köşenin aynı en kısa yol üzerinde bulunmadığı en büyük köşe kümesini bulmaya odaklanır. Bu çalışma, problemin yönlü graflar için NP-zor olduğunu kanıtlarken, çeşitli özel graf ailelerinde sınırlar belirledi. Circulant, Kautz ve permütasyon grafları gibi önemli graf türleri detaylı olarak incelendi. Ayrıca yönsüz bir grafın tüm yönlendirmelerinden elde edilen genel konum sayıları araştırıldı. Bu sonuçlar, ağ teorisi ve kombinatorik optimizasyon alanlarında yeni ufuklar açıyor.
arXiv (Matematik) · 25 gün önce
0
Fizik kurallarını koruyan yapay zeka, karmaşık dalga etkileşimlerini çözüyor
Araştırmacılar, hiperbolik korunum yasalarını takip eden karmaşık fiziksel olayları simüle etmek için yeni bir yapay zeka modeli geliştirdi. Şok dalgaları, temas süreksizlikleri ve dalga etkileşimleri gibi zorlu fenomenleri modellemede kullanılan bu sistem, klasik sayısal yöntemlerin doğruluğunu korurken hesaplama süresini önemli ölçüde azaltıyor. Mevcut sinir ağı tabanlı çözümler genellikle fiziksel gerçekliği ihlal eden sonuçlar üretirken, bu yeni yaklaşım graf sinir ağları kullanarak hem hızlı hem de fiziksel olarak geçerli sonuçlar sunuyor. Özellikle parametrik çalışmalar ve tasarım optimizasyonu gibi çok sayıda hesaplama gerektiren görevlerde büyük avantaj sağlıyor.
arXiv (CS + AI) · 25 gün önce
0
Çoklu Yapay Zeka Sistemlerinden Tekli Sisteme Geçiş: Ne Zaman Faydalı?
Araştırmacılar, birden fazla yapay zeka ajanının birlikte çalıştığı sistemlerin tek bir ajana dönüştürülmesinin ne zaman avantajlı olduğunu belirlemeyi başardı. Çoklu ajan sistemleri karmaşık görevleri paylaştırarak çözer ancak koordinasyon maliyeti yüksektir. MIT ve diğer kurumlardan bilim insanları, bu dönüşümün başarısını önceden tahmin edebilen 'Metrik Özgürlük' adlı bir ölçüm geliştirdi. Çalışma, aynı görevde %28 iyileşmeden %2 performans kaybına kadar değişen sonuçların nedenini açıklıyor. Araştırma, yapay zeka sistemlerinin verimliliğini artırmak için önemli bir adım oluşturuyor.
arXiv (CS + AI) · 25 gün önce
0