“cebir” için sonuçlar
9 sonuç bulundu. Sonuçları kategoriye göre daraltabilirsin.
Yapay Zeka Elle Yazılmış Kurallar Olmadan Dil Yapısını Öğrendi
Araştırmacılar, semantik ayrıştırma alanında çığır açan bir yöntem geliştirdiler. Yeni sistem, önceden yazılmış kompozisyonel kurallar kullanmadan dilin yapısal özelliklerini öğrenebiliyor. Nöral hücresel otomaton tabanlı model, SLOG veri setinde 17 yapısal genelleme kategorisinin 11'inde mükemmel sonuçlar elde etti. Transformer tabanlı modeller yapısal genelleme konusunda başarısız olurken, mevcut AM-Parser sistemi elle yazılmış cebirsel kurallara ihtiyaç duyuyor. Yeni yaklaşım ise tüm kompozisyonel kuralları veriden öğrenerek bu sınırlamaları aşıyor. Bu gelişme, doğal dil işleme alanında makinelerin dil yapısını daha esnek şekilde kavramasının önünü açıyor.
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.
Karmaşık Mühendislik Sistemleri için Yeni Kontrol Yöntemi Geliştirildi
Araştırmacılar, çok girişli-çok çıkışlı (MIMO) hiperbolik sistemler için yeni bir kontrol formu geliştirdi. Bu sistemler, dalga denklemleri ve ısı transferi gibi fiziksel süreçlerde karşılaşılan karmaşık matematiksel yapılardır. Geleneksel tek girişli-tek çıkışlı sistemlerde başarılı olan kontrol yöntemlerinin çoklu sistem durumunda yetersiz kaldığı tespit edildi. Yeni yaklaşım, sistemdeki gecikmeleri ve tahminleri ifade etmek için quasi-polinomlar kullanarak cebirsel bir çözüm sunuyor. Bu gelişme, robotik, havacılık ve enerji sistemlerinde daha etkili kontrol stratejilerinin geliştirilmesine olanak sağlayabilir.
Drone'lar İçin Yeni Yörünge Planlama Yöntemi: Basit Matematiği, Akıllı Sonuçlar
Araştırmacılar, insansız hava araçları (drone'lar) için daha akıllı uçuş yolları planlayan yeni bir matematiksel yöntem geliştirdi. Bu yaklaşım, karmaşık uçuş dinamiklerini basit parçalara bölerek, her biri için ayrı çözümler üretiyor. Geleneksel yöntemlerden farklı olarak, sadece dönüş açısı kontrolü için optimizasyon gerektiriyor; hız ve uçuş açısı kontrolü ise basit cebirsel formüllerle hallediyor. Yöntem, Dubins uçak modeli adı verilen matematiksel temele dayanıyor ve doğrusal programlama tekniklerini kullanıyor. Araştırma, hem normal uçuş hem de akrobasi hareketleri için uygulanabileceğini gösteriyor. Ayrıca 3D arazi üzerinde traktör yolu planlaması gibi farklı alanlara da genişletilebiliyor. Bu basit ama etkili yaklaşım, drone teknolojisinin daha verimli ve güvenli hale gelmesine katkıda bulunabilir.
Yapay Zeka Modellerinin Güvenilirliği Artık Tasarım Aşamasında Test Edilebilecek
Araştırmacılar, yapay zeka modellerinin güvenilirliğini eğitim başlamadan önce tasarım aşamasında doğrulayabilen yeni bir yöntem geliştirdi. Geleneksel yaklaşımın aksine, bu teknik modelin sayısal kararlılığı, hesaplama doğruluğu ve fiziksel alanlarla tutarlılığı gibi kritik özellikleri önceden test edebiliyor. Özellikle yüksek riskli karar destek sistemleri ve bilimsel uygulamalarda kullanılacak AI modelleri için büyük önem taşıyan bu gelişme, minimal hesaplama maliyetiyle güvenilir yapay zeka sistemleri oluşturulmasını mümkün kılıyor. Yöntem, matematiksel olarak sonlu üretilmiş değişmeli gruplar üzerine kurulu özel bir cebirsel yapı kullanıyor.
Seyrek tensör hesaplamalarında çığır açan paralel işlem algoritması geliştirildi
Araştırmacılar, seyrek tensör cebirinde paralel işlem yükünü dengeli dağıtan ilk algoritmayı geliştirdiler. Seyrek tensörler, çoğunlukla sıfır değerli elemanlardan oluşan çok boyutlu veri yapıları olup, makine öğrenmesi ve bilimsel hesaplamalarda kritik öneme sahip. Ancak bu yapıların düzensiz ve veri-bağımlı doğası, paralel işlem birimlerine eşit iş yükü dağıtımını zorlaştırıyor. Yeni algoritma, mevcut paralel birleştirme yöntemlerini genelleştirerek çok operandlı ve çok boyutlu hiyerarşik seyrek veri yapılarıyla çalışabiliyor. Araştırmacılar algoritmayı mevcut bir derleme çerçevesine entegre ederek, çok çekirdekli CPU'lar ve GPU'lar için otomatik paralel kod üretimi sağladılar. Test sonuçları, üretilen kodun Intel MKL ve NVIDIA cuSPARSE gibi endüstri standardı kütüphanelerle rekabet edebilir performans gösterdiğini ortaya koyuyor. Bu gelişme, büyük veri işleme ve yapay zeka uygulamalarında önemli performans artışları sağlayabilir.
Elektrik şebekelerinde yapay zeka ile parametre tahmini yeni yöntemle geliştiriliyor
Araştırmacılar, çok makineli güç sistemi modellerinde parametre tahmini için yeni bir Bayesian çıkarım çerçevesi geliştirdi. Geleneksel yaklaşımlardan farklı olarak, bu yöntem diferansiyel-cebirsel denklem (DAE) modellerini tam olarak kullanarak jeneratör ve şebeke parametrelerini birlikte tahmin ediyor. Sistem, jeneratör eylemsizliği ve sönümleme değerleri ile şebeke dalı dirençleri ve reaktanslarını aynı anda belirleyebiliyor. IEEE 9-baralı test sisteminde yapılan deneyler, yöntemin parametreleri doğru bir şekilde geri kazanabildiğini gösteriyor. Bu gelişme, elektrik şebekelerinin daha iyi anlaşılması ve kontrol edilmesi açısından önemli.
Yapay Zeka Modellerinin Mantık Hatalarına Karşı Yeni Çözüm: Gamma Beşlisi
Araştırmacılar, büyük dil modellerinin mantıksal akıl yürütmedeki sistemik sorunlarına karşı yenilikçi bir çözüm geliştirdi. Bu modeller hipotez üretimi ile doğrulamayı karıştırıyor, varsayımları doğrulanmış bilgiden ayırt edemiyor ve zayıf mantık adımlarının çıkarım zincirlerinde kontrol edilmeden yayılmasına izin veriyor. Yeni framework, Charles Sanders Peirce'ün üçlü çıkarım teorisini temel alarak abdüksiyon, dedüksiyon ve indüksiyon süreçlerini açık bir protokol haline getiriyor. Beş cebirsel değişmez (Gamma Beşlisi) aracılığıyla mantıksal tutarlılığı zorluyor. Bunların en güçlüsü olan 'En Zayıf Halka' sınırı, akıl yürütme zincirindeki hiçbir sonucun en az desteklenen öncülünden daha güvenilir olamayacağını garanti ediyor.
Lightning Self-Attention'ın Matematiksel DNA'sı Keşfedildi
Yapay zeka sistemlerinin temelinde yer alan attention mekanizmalarının matematiksel yapısı, cebirsel geometri araçlarıyla incelendi. Araştırmacılar, lightning self-attention algoritmasının polinom katsayılarını cebirsel çeşitlilik koordinatları olarak ele alarak, bu sistemlerin davranışını yöneten matematiksel kuralları ortaya çıkardı. Çalışmada Chow-tipi, düşük rank, Veronese-tipi ve Sylvester resultant tabanlı kısıtlamalar dahil olmak üzere çeşitli cebirsel değişmezler tanımlandı. Bu keşif, yapay zeka modellerinin iç işleyişini daha derinlemesine anlamamızı sağlayarak, gelecekteki AI sistemlerinin tasarımında önemli ipuçları sunuyor.